| Publication | Date of Publication | Type |
|---|
Reasoning about vectors: satisfiability modulo a theory of sequences
Journal of Automated Reasoning | 2023-10-24 | Paper |
Layered concurrent programs
Computer Aided Verification | 2023-05-26 | Paper |
On the completeness of verifying message passing programs under bounded asynchrony
Computer Aided Verification | 2023-05-05 | Paper |
Reasoning about vectors using an SMT theory of sequences
| 2022-12-07 | Paper |
Synchronizing the asynchronous
| 2021-08-04 | Paper |
Refinement for structured concurrent programs
| 2021-02-04 | Paper |
Model checking concurrent programs
Handbook of Model Checking | 2018-07-20 | 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 |
Summarizing procedures in concurrent programs
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
A calculus of atomic actions
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | 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 |
Predicate abstraction for software verification
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | 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 |
Reachability modulo theories
Lecture Notes in Computer Science | 2014-07-07 | Paper |
Delay-bounded scheduling
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Transactions for software model checking
| 2013-08-30 | Paper |
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
Programming Languages and Systems | 2013-08-05 | Paper |
Context-bounded analysis for concurrent programs with dynamic creation of threads
Logical Methods in Computer Science | 2012-04-02 | Paper |
Simplifying linearizability proofs with reduction and abstraction
Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
Thread-modular abstraction refinement.
Lecture Notes in Computer Science | 2010-04-20 | 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 |
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures
Computer Aided Verification | 2007-11-29 | Paper |
A Reachability Predicate for Analyzing Low-Level Software
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2005-11-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 |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
Modular verification of multithreaded programs
Theoretical Computer Science | 2005-06-30 | Paper |
scientific article; zbMATH DE number 2102707 (Why is no real title available?)
| 2004-09-24 | Paper |
scientific article; zbMATH DE number 2102714 (Why is no real title available?)
| 2004-09-24 | Paper |
From pre-historic to post-modern symbolic model checking
Formal Methods in System Design | 2004-09-09 | Paper |
scientific article; zbMATH DE number 2087551 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 1982207 (Why is no real title available?)
| 2003-09-16 | Paper |
scientific article; zbMATH DE number 1903353 (Why is no real title available?)
| 2003-05-01 | Paper |
scientific article; zbMATH DE number 1670785 (Why is no real title available?)
| 2001-12-17 | Paper |
Partial-order reduction in symbolic state-space exploration
Formal Methods in System Design | 2001-09-09 | Paper |
