Helmut Veith

Publication Activity (10 Years)

Years Active: 1995-2020
Publications (10 Years): 18

Top Venues

CoRR

CONCUR

Software Engineering

FMCAD

Publications

Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
with Two Orders. LATA (2020)
Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith
Pebble-Intervals Automata and FO2 with Two Orders (Extended Version). CoRR (2019)
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Parameterized model checking of rendezvous systems. Distributed Comput. 31 (3) (2018)
Moritz Sinn, Florian Zuleger, Helmut Veith
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints. J. Autom. Reason. 59 (1) (2017)
Igor V. Konnov, Helmut Veith, Josef Widder
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability. Inf. Comput. 252 (2017)
Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. POPL (2017)
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Empirical software metrics for benchmarking of verification tools. Formal Methods Syst. Des. 50 (2-3) (2017)
Niklas Büscher, Martin Franz, Andreas Holzer, Helmut Veith, Stefan Katzenbeisser
On compiling Boolean circuits optimized for secure multi-party computation. Formal Methods Syst. Des. 51 (2) (2017)
Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger
On the Automated Verification of Web Applications with Embedded SQL. ICDT (2017)
Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Formal Methods Syst. Des. 51 (2) (2017)
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
Decidability in Parameterized Verification. SIGACT News 47 (2) (2016)
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
Local Linearizability for Concurrent Container-Type Data Structures. CONCUR (2016)
Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis
Parameterized Systems in BIP: Design and Model Checking. CONCUR (2016)
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Empirical software metrics for benchmarking of verification tools. Software Engineering (2016)
Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger
On the automated verification of web applications with embedded SQL. CoRR (2016)
Moritz Sinn, Florian Zuleger, Helmut Veith
A simple and scalable static analysis for bound analysis and amortized complexity analysis. Software Engineering (2016)
Tomer Kotek, Helmut Veith, Florian Zuleger
Monadic Second Order Finite Satisfiability and Unbounded Tree-Width. CSL (2016)
Igor Konnov, Marijana Lazic, Helmut Veith, Josef Widder
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms. CoRR (2016)
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Empirical Software Metrics for Benchmarking of Verification Tools. CAV (1) (2015)
Igor Konnov, Helmut Veith, Josef Widder
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms. CAV (1) (2015)
Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Extending ALCQIO with Trees. LICS (2015)
Tomer Kotek, Helmut Veith, Florian Zuleger
Monadic second order finite satisfiability and unbounded tree-width. CoRR (2015)
Igor V. Konnov, Helmut Veith, Josef Widder
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. Ershov Memorial Conference (2015)
Thomas Pani, Helmut Veith, Florian Zuleger
Loop Patterns in C Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Moritz Sinn, Florian Zuleger, Helmut Veith
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. FMCAD (2015)
Moritz Sinn, Florian Zuleger, Helmut Veith
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. CoRR (2015)
Azadeh Farzan, Andreas Holzer, Helmut Veith
Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. ICST (2015)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Closure properties and complexity of rational sets of regular languages. Theor. Comput. Sci. 605 (2015)
Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Compilation for Secure Two-Party Computations. Software Engineering & Management (2015)
Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith
Local Linearizability. CoRR (2015)
Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey
A Logic-Based Framework for Verifying Consensus Algorithms. VMCAI (2014)
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Parameterized Model Checking of Rendezvous Systems. CONCUR (2014)
Martin Franz, Andreas Holzer, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations. CC (2014)
Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability. Description Logics (2014)
Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. SFM (2014)
Matthias Baaz, Thomas Eiter, Helmut Veith
Vienna Summer of Logic. KR (2014)
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. IFM (2014)
Moritz Sinn, Florian Zuleger, Helmut Veith
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. CoRR (2014)
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
Reusing Information in Multi-Goal Reachability Analyses. Software Engineering (2014)
Igor Konnov, Helmut Veith, Josef Widder
On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability. CONCUR (2014)
Moritz Sinn, Florian Zuleger, Helmut Veith
A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis. CAV (2014)
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
Concolic Testing of Concurrent Programs. Software Engineering (2014)
Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Extending ALCQIO with reachability. CoRR (2014)
Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith
iDQ: Instantiation-Based DQBF Solving. POS@SAT (2014)
Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. MFCS (2) (2014)
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Shape and Content: Incorporating Domain Knowledge into Shape Analysis. Description Logics (2014)
Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
Information Reuse for Multi-goal Reachability Analyses. ESOP (2013)
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, Helmut Veith
Con2colic testing. ESEC/SIGSOFT FSE (2013)
Sagar Chaki, Christian Schallhart, Helmut Veith
Verification across Intellectual Property Boundaries. ACM Trans. Softw. Eng. Methodol. 22 (2) (2013)
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
Shape and Content: Incorporating Domain Knowledge into Shape Analysis. CoRR (2013)
Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith
The first workshop on language support for privacy-enhancing technologies (PETShop'13). CCS (2013)
Andreas Holzer, Nikolaos P. Karvelas, Stefan Katzenbeisser, Helmut Veith, Martin Franz
Challenges in compiler construction for secure two-party computation. PETShop@CCS (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. PODC (2013)
Yulia Demyanova, Helmut Veith, Florian Zuleger
On the concept of variable roles and its use in software analysis. FMCAD (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Parameterized model checking of fault-tolerant distributed algorithms by abstraction. FMCAD (2013)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. SPIN (2013)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
On the Structure and Complexity of Rational Sets of Regular Languages CoRR (2013)
Yulia Demyanova, Helmut Veith, Florian Zuleger
On the Concept of Variable Roles and its Use in Software Analysis CoRR (2013)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
On the Structure and Complexity of Rational Sets of Regular Languages. FSTTCS (2013)
Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig, Helmut Veith
Proving Reachability Using FShell - (Competition Contribution). TACAS (2012)
Andreas Holzer, Martin Franz, Stefan Katzenbeisser, Helmut Veith
Secure two-party computations in ANSI C. CCS (2012)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms CoRR (2012)
Helmut Veith
Special Issue: Games in Verification. J. Comput. Syst. Sci. 78 (2) (2012)
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version) CoRR (2012)
Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms CoRR (2012)
Andreas Holzer, Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Seamless Testing for Models and Code. FASE (2011)
Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith
Bound Analysis of Imperative Programs with the Size-Change Abstraction. SAS (2011)
Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). Dagstuhl Reports 1 (7) (2011)
Johannes Kinder, Helmut Veith
Precise static analysis of untrusted driver binaries. FMCAD (2010)
Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov
10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware. Decision Procedures in Software, Hardware and Bioware (2010)
Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Proactive Detection of Computer Worms Using Model Checking. IEEE Trans. Dependable Secur. Comput. 7 (4) (2010)
Nikolaj Bjørner, Robert Nieuwenhuis, Helmut Veith, Andrei Voronkov
10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware. Decision Procedures in Software, Hardware and Bioware (2010)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
How did you specify your test suite. ASE (2010)
Edmund M. Clarke, Robert P. Kurshan, Helmut Veith
The Localization Reduction and Counterexample-Guided Abstraction Refinement. Essays in Memory of Amir Pnueli (2010)
Andreas Holzer, Michael Tautschnig, Christian Schallhart, Helmut Veith
An Introduction to Test Specification in FQL. Haifa Verification Conference (2010)
Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith
New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective. ISoLA (1) (2010)
Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
Semantic integrity in large-scale online simulations. ACM Trans. Internet Techn. 10 (1) (2010)
Marko Samer, Helmut Veith
On the distributivity of LTL specifications. ACM Trans. Comput. Log. 11 (3) (2010)
Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith
Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction. DISC (2009)
Marko Samer, Helmut Veith
Encoding Treewidth into SAT. SAT (2009)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Query-Driven Program Testing. VMCAI (2009)
Johannes Kinder, Florian Zuleger, Helmut Veith
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries. VMCAI (2009)
Helmut Veith
Embedding Formal Methods into Systems Engineering. SYNASC (2009)
Helmut Veith
Automated Software Analysis. SYNASC (2009)
Péter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith
Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. ICFEM (2009)
Edmund M. Clarke, Muralidhar Talupur, Helmut Veith
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. TACAS (2008)
Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement. CAV (2008)
Johannes Kinder, Helmut Veith
Jakstab: A Static Analysis Platform for Binaries. CAV (2008)
Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IACR Cryptol. ePrint Arch. 2007 (2007)
Somesh Jha, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith, Stephen Chenney
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments. IEEE Symposium on Security and Privacy (2007)
Andreas Holzer, Johannes Kinder, Helmut Veith
Using Verification Technology to Specify and Detect Malware. EUROCAST (2007)
Marko Samer, Helmut Veith
On the Notion of Vacuous Truth. LPAR (2007)
Sagar Chaki, Christian Schallhart, Helmut Veith
Verification Across Intellectual Property Boundaries CoRR (2007)
Sagar Chaki, Christian Schallhart, Helmut Veith
Verification Across Intellectual Property Boundaries. CAV (2007)
Mihai Christodorescu, Somesh Jha, Johannes Kinder, Stefan Katzenbeisser, Helmut Veith
Software transformations to improve malware detection. J. Comput. Virol. 3 (4) (2007)
Oleg Pikhurko, Helmut Veith, Oleg Verbitsky
The first order definability of graphs: Upper bounds for quantifier depth. Discret. Appl. Math. 154 (17) (2006)
Edmund M. Clarke, Muralidhar Talupur, Helmut Veith
Environment Abstraction for Parameterized Verification. VMCAI (2006)
Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Detecting Malicious Code by Model Checking. DIMVA (2005)
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith
Model Checking: Back and Forth between Hardware and Software. VSTTE (2005)
Uwe Hermann, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments CoRR (2005)

Helmut Veith.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Helmut Veith