Name Card

Full name Familienname, Vorname
Veith, Helmut
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 80 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Labai, Nadia ; Kotek, Tomer ; Ortiz, Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO$$^2$$ with Two OrdersKonferenzbeitrag Inproceedings 2020
2Labai, Nadia ; Kotek, Tomer ; Ortiz de la Fuente, M.Magdalena ; Veith, Helmut Pebble-Intervals Automata and FO2 with Two Orders (Extended VersionBericht Report2019
3Aminof, Benjamin ; Kotek, Tomer ; Rubin, Sasha ; Spegni, Francesco ; Veith, Helmut Parameterized model checking of rendezvous systemsArtikel Article 2018
4Shachar, Itzhaky ; Kotek, Tomer ; Rinetzky, Noam ; Sagiv, Mooly ; Tamir, Orr ; Veith, Helmut ; Zuleger, Florian On the Automated Verification of Web Applications with Embedded SQLKonferenzbeitrag Inproceedings 2017
5Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithmsKonferenzbeitrag Inproceedings 2017
6Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian Empirical software metrics for benchmarking of verification toolsArtikel Article 2017
7Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed AlgorithmsArtikel Article 2017
8Konnov, Igor ; Veith, Helmut ; Widder, Josef On the completeness of bounded model checking for threshold-based distributed algorithms: ReachabilityArtikel Article 2017
9Sinn Moritz - 2017 - Complexity and Resource Bound Analysis of Imperative...pdf.jpgSinn, Moritz ; Zuleger, Florian ; Veith, Helmut Complexity and Resource Bound Analysis of Imperative Programs Using Difference ConstraintsArticle Artikel 2017
10Lazić, Marijana ; Konnov, Igor ; Veith, Helmut ; Widder, Josef Model Checking of Threshold-based Fault-Tolerant Distributed AlgorithmsPräsentation Presentation2016
11Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef Parameterized Verification of Liveness of Distributed AlgorithmsPräsentation Presentation2016
12Kotek, Tomer ; Veith, Helmut ; Zuleger, Florian Monadic Second Order Finite Satisfiability and Unbounded Tree-WidthKonferenzbeitrag Inproceedings 2016
13Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationArtikel Article2016
14Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Sifakis, Joseph Parameterized Systems in BIP: Design and Model CheckingKonferenzbeitrag Inproceedings 2016
15Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian Extending ALCQIO with TreesKonferenzbeitrag Inproceedings 2015
16Konnov, Igor ; Veith, Helmut ; Widder, Josef SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed AlgorithmsKonferenzbeitrag Inproceedings 2015
17Farzan, Azadeh ; Holzer, Andreas ; Veith, Helmut Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic ExecutionKonferenzbeitrag Inproceedings2015
18Demyanova, Yulia ; Pani, Thomas ; Veith, Helmut ; Zuleger, Florian Empirical Software Metrics for Benchmarking of Verification ToolsKonferenzbeitrag Inproceedings 2015
19Sinn, Moritz ; Veith, Helmut ; Zuleger, Florian Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative ProgramsKonferenzbeitrag Inproceedings 2015
20Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationBuch Book2015

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 23 (Search time: 0.01 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Farokhi, Soodeh Quality of service control mechanisms in cloud computing environmentsThesis Hochschulschrift2015
2Ehsani Anna Parisa - 2015 - Der Animationsfilm im Informationsdesign die Eignung...pdf.jpgEhsani, Anna Parisa Der Animationsfilm im Informationsdesign : die Eignung von narrativen Animationsfilmen zur Darstellung von komplexen Inhalten aus der InformatikThesis Hochschulschrift 2015
3Gmeiner Annu - 2015 - Parameterized model checking of fault-tolerant distributed...pdf.jpgGmeiner, Annu Parameterized model checking of fault-tolerant distributed algorithmsThesis Hochschulschrift 2015
4Dobiasch Martin - 2014 - Concolic testing of concurrent software in the context...pdf.jpgDobiasch, Martin Concolic testing of concurrent software in the context of weak memory modelsThesis Hochschulschrift 2014
5Sharygina, Natasha ; Veith, Helmut CAVBuch Book2013
6Kovács, Laura ; Voronkov, Andrei First-Order Theorem Proving and VampireKonferenzbeitrag Inproceedings2013
7Holzer, Andreas Markus Michael Query-based test case generationThesis Hochschulschrift2013
8Birgmeier Johannes - 2013 - Software verification with IC3 via abstraction and...pdf.jpgBirgmeier, Johannes Software verification with IC3 via abstraction and interpolationThesis Hochschulschrift 2013
9Pani Thomas - 2013 - Loop patterns in C programs.pdf.jpgPani, Thomas Loop patterns in C programsThesis Hochschulschrift 2013
10Vegliach Gil - 2013 - Monitoring of data-centric business rules and processes.pdf.jpgVegliach, Gil Monitoring of data-centric business rules and processesThesis Hochschulschrift 2013
11Pötzl, Daniel Achieving high coverage and finding bugs in sequential and concurrent softwareThesis Hochschulschrift2012
12Krall Stephan - 2012 - A source-level interpreter for C programs.pdf.jpgKrall, Stephan A source-level interpreter for C programsThesis Hochschulschrift 2012
13Baaz, Matthias ; Fermüller, Christian A resolution mechanism for Prenex Gödel logicKonferenzbeitrag Inproceedings 2010
14Savenkov, Vadim ; Pichler, Reinhard Towards Practical Feasibility of Core Computation in Data ExchangeKonferenzbeitrag Inproceedings 2008
15Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas Reasoning Using KnotsKonferenzbeitrag Inproceedings2008
16Jakl, Michael ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Fast Counting with Bounded TreewidthKonferenzbeitrag Inproceedings2008
17Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian Cut elimination for first order Gödel logic by hyperclause resolutionKonferenzbeitrag Inproceedings2008
18Schallhart, Christian Architecture and security in networked virtual environmentsThesis Hochschulschrift2007
19Steiner, Wilfried Startup and recovery of fault-tolerant time-triggered communicationThesis Hochschulschrift2004
20Katzenbeisser Stefan - 2004 - Cryptographic watermarking.pdf.jpgKatzenbeisser, Stefan Cryptographic watermarkingThesis Hochschulschrift 2004