| Publication | Date of Publication | Type |
|---|
Automated synthesis of asynchronizations
Static Analysis | 2023-07-28 | Paper |
Abstract Semantic Diffing of Evolving Concurrent Programs
Static Analysis | 2019-09-16 | Paper |
Abstract semantic diffing of evolving concurrent programs
Formal Methods in System Design | 2019-09-04 | Paper |
Wireless protocol validation under uncertainty
Formal Methods in System Design | 2018-08-30 | Paper |
Verifying relative safety, accuracy, and termination for program approximations
Journal of Automated Reasoning | 2018-02-02 | Paper |
Verifying properties of well-founded linked lists
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
Predicate abstraction with indexed predicates
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Modular verification of procedure equivalence in the presence of memory allocation
Programming Languages and Systems | 2017-05-19 | Paper |
Underspecified harnesses and interleaved bugs
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
Unifying type checking and property checking for low-level code
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
Back to the future, revisiting precise program verification using SMT solvers
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
An efficient Nelson-Oppen decision procedure for difference constraints over rationals
| 2013-09-26 | Paper |
Towards modularly comparing programs using automated theorem provers
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
ExplainHoudini: making Houdini inference transparent
Lecture Notes in Computer Science | 2011-02-15 | Paper |
A symbolic approach to predicate abstraction.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Deductive verification of advanced out-of-order microprocessors.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Convergence testing in term-level bounded model checking
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Abstract threads
Lecture Notes in Computer Science | 2010-01-14 | Paper |
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction
Automated Deduction – CADE-22 | 2009-07-28 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2009-05-15 | Paper |
Solving Sparse Linear Constraints
Automated Reasoning | 2009-03-12 | Paper |
Zap: Automated Theorem Proving for Software Analysis
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Interpolant based decision procedure for quantifier-free Presburger arithmetic
| 2008-04-14 | Paper |
Predicate Abstraction via Symbolic Decision Procedures
Logical Methods in Computer Science | 2007-10-11 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
A Reachability Predicate for Analyzing Low-Level Software
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Frontiers of Combining Systems
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
scientific article; zbMATH DE number 1979548 (Why is no real title available?)
| 2003-09-14 | Paper |
scientific article; zbMATH DE number 1903346 (Why is no real title available?)
| 2003-05-01 | Paper |
