Helmut Veith

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution.

[BibT_eX]

[DOI]

Azadeh Farzan

Andreas Holzer

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs.

[BibT_eX]

[DOI]

Moritz Sinn

Proceedings of the Formal Methods in Computer-Aided Design, 2015

What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms.

[BibT_eX]

[DOI]

Igor V. Konnov

Josef Widder

Proceedings of the Perspectives of System Informatics, 2015

SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms.

[BibT_eX]

[DOI]

Igor Konnov

Josef Widder

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Extending ALCQIO with reachability.

[BibT_eX]

[DOI]

CoRR, 2014

A Logic-Based Framework for Verifying Consensus Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Executable Software Models, 2014

Concolic Testing of Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Reusing Information in Multi-Goal Reachability Analyses.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

iDQ: Instantiation-Based DQBF Solving.

[BibT_eX]

[DOI]

Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014

On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Vienna Summer of Logic.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Shape and Content: Incorporating Domain Knowledge into Shape Analysis.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

Verification across Intellectual Property Boundaries.

[BibT_eX]

[DOI]

Sagar Chaki

Christian Schallhart

ACM Trans. Softw. Eng. Methodol., 2013

Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Con2colic testing.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

On the Structure and Complexity of Rational Sets of Regular Languages.

[BibT_eX]

[DOI]

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

Parameterized model checking of fault-tolerant distributed algorithms by abstraction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2013

On the concept of variable roles and its use in software analysis.

[BibT_eX]

[DOI]

Yulia Demyanova

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Information Reuse for Multi-goal Reachability Analyses.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2013

Challenges in compiler construction for secure two-party computation.

[BibT_eX]

[DOI]

Proceedings of the PETShop'13, 2013

The first workshop on language support for privacy-enhancing technologies (PETShop'13).

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

Special Issue: Games in Verification.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms

[BibT_eX]

[DOI]

CoRR, 2012

Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms

[BibT_eX]

[DOI]

CoRR, 2012

Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)

[BibT_eX]

[DOI]

CoRR, 2012

Proving Reachability Using FShell - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Secure two-party computations in ANSI C.

[BibT_eX]

[DOI]

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2011

Bound Analysis of Imperative Programs with the Size-Change Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 18th International Symposium, 2011

Seamless Testing for Models and Code.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

Semantic integrity in large-scale online simulations.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2010

On the distributivity of LTL specifications.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2010

Proactive Detection of Computer Worms Using Model Checking.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2010

How did you specify your test suite.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

An Introduction to Test Specification in FQL.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2010

Precise static analysis of untrusted driver binaries.

[BibT_eX]

[DOI]

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware.

[BibT_eX]

[DOI]

Proceedings of the Decision Procedures in Software, Hardware and Bioware, 18.04., 2010

10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware.

[BibT_eX]

[DOI]

Proceedings of the Decision Procedures in Software, Hardware and Bioware, 18.04., 2010

The Localization Reduction and Counterexample-Guided Abstraction Refinement.

[BibT_eX]

[DOI]

Robert P. Kurshan

Proceedings of the Time for Verification, 2010

2009

Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2009

Query-Driven Program Testing.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2009

Automated Software Analysis.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

Embedding Formal Methods into Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

Encoding Treewidth into SAT.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.

[BibT_eX]

[DOI]

Muralidhar Talupur

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Jakstab: A Static Analysis Platform for Binaries.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Software transformations to improve malware detection.

[BibT_eX]

[DOI]

J. Comput. Virol., 2007

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2007

On the Notion of Vacuous Truth.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2007

Using Verification Technology to Specify and Detect Malware.

[BibT_eX]

[DOI]

Andreas Holzer

Proceedings of the Computer Aided Systems Theory, 2007

2006

The first order definability of graphs: Upper bounds for quantifier depth.

[BibT_eX]

[DOI]

Oleg Pikhurko

Oleg Verbitsky

Discret. Appl. Math., 2006

Environment Abstraction for Parameterized Verification.

[BibT_eX]

[DOI]

Muralidhar Talupur

Proceedings of the Verification, 2006

2005

An Iterative Framework for Simulation Conformance.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

Enforcing Semantic Integrity on Untrusted Clients in Networked Virtual Environments

[BibT_eX]

[DOI]

CoRR, 2005

Model Checking: Back and Forth between Hardware and Software.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

From Temporal Logic Queries to Vacuity Detection.

[BibT_eX]

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

Deterministic CTL Query Solving.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Malware Engineering.

[BibT_eX]

[DOI]

Christian Schallhart

Proceedings of the Sicherheit 2005: Sicherheit, 2005

Ensuring Media Integrity on Third-Party Infrastructures.

[BibT_eX]

Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005

State/Event Software Verification for Branching-Time Specifications.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Detecting Malicious Code by Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Detection of Intrusions and Malware, 2005

Temporal Logic Model Checking.

[BibT_eX]

Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004

Modular Verification of Software Components in C.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Provably Secure Authentication of Digital Media Through Invertible Watermarks.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2004

A Syntactic Characterization of Distributive LTL Queries.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

Parameterized Vacuity.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

Verification by Network Decomposition.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Counterexample-guided abstraction refinement for symbolic model checking.

[BibT_eX]

[DOI]

J. ACM, 2003

Integrating Publish/Subscribe into a Mobile Teamwork Support Platform.

[BibT_eX]

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

SAT Based Predicate Abstraction for Hardware Verification.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Watermarking schemes provably secure against copy and ambiguity attacks.

[BibT_eX]

[DOI]

André Adelsbach

Proceedings of the 2003 ACM workshop on Digital rights management 2003, Washington, 2003

Friends or Foes? Communities in Software Verification (Invited Lecture).

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

Validity of CTL Queries Revisited.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

Counterexamples Revisited: Principles, Algorithms, Applications.

[BibT_eX]

[DOI]

Proceedings of the Verification: Theory and Practice, 2003

2002

Datalog LITE: a deductive query language with linear time model checking.

[BibT_eX]

[DOI]

Erich Grädel

ACM Trans. Comput. Log., 2002

On the complexity of data disjunctions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Securing symmetric watermarking schemes against protocol attacks.

[BibT_eX]

[DOI]

Proceedings of the Security and Watermarking of Multimedia Contents IV, 2002

Tree-Like Counterexamples in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

Complexity of t-tautologies.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2001

Efficient Filtering in Publish-Subscribe Systems Using Binary Decision.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

Non-linear Quantification Scheduling in Image Computation.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001

Progress on the State Explosion Problem in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Informatics - 10 Years Back. 10 Years Ahead., 2001

Using Combinatorial Optimization Methods for Quantification Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

An Analytic Calculus for Quantified Propositional Gödel Logic.

[BibT_eX]

[DOI]

Christian G. Fermüller

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Executable Protocol Specification in ESL.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Counterexample-Guided Abstraction Refinement.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Succinctness as a Source of Complexity in Logical Formalisms.

[BibT_eX]

[DOI]

Nicola Leone

Ann. Pure Appl. Log., 1999

Interpolation in fuzzy logic.

[BibT_eX]

[DOI]

Arch. Math. Log., 1999

On the Undecidability of some Sub-Classical First-Order Logics.

[BibT_eX]

[DOI]

Agata Ciabattoni

Christian G. Fermüller

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

Succinct Representation, Leaf Languages, and Projection Reductions.

[BibT_eX]

[DOI]

Inf. Comput., 1998

Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics.

[BibT_eX]

[DOI]

Agata Ciabattoni

Christian G. Fermüller

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

A General Method to Determine the Expression Complexity of Database Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Kurzfassungen, 1998

Quantifier Elimination in Fuzzy Logic.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 12th International Workshop, 1998

How to Encode a Logical Structure by an OBDD.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual IEEE Conference on Computational Complexity, 1998

1997

Languages Represented by Boolean Formulas.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1997

Modular Logic Programming and Generalized Quantifiers.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Generalized Quantifiers in Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Generalized Quantifiers and Computation, 1997

1995

Succinct Representation and Leaf Languages

[BibT_eX]

[DOI]

Electron. Colloquium Comput. Complex., 1995

Second Order Logic and the Weak Exponential Hierarchies.

[BibT_eX]

[DOI]

Nicola Leone