| Publication | Date of Publication | Type |
|---|
Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT
| 2024-04-26 | Paper |
scientific article; zbMATH DE number 7444022 (Why is no real title available?)
| 2021-12-13 | Paper |
Temporal prophecy for proving temporal properties of infinite-state systems
Formal Methods in System Design | 2021-12-08 | Paper |
Incremental search for conflict and unit instances of quantified formulas with E-matching
| 2021-10-18 | Paper |
Solving and interpolating constant arrays based on weak equivalences
| 2020-01-23 | Paper |
A tree-based approach to data flow proofs
| 2018-12-07 | Paper |
The map equality domain
| 2018-12-07 | Paper |
Efficient interpolation for the theory of arrays
| 2018-10-18 | Paper |
Cutting the mix
| 2018-03-01 | Paper |
Thread modularity at many levels: a pearl in compositional verification
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
Weakly equivalent arrays
Frontiers of Combining Systems | 2017-02-27 | Paper |
Proof tree preserving tree interpolation
Journal of Automated Reasoning | 2016-05-25 | Paper |
Automated program verification
Language and Automata Theory and Applications | 2016-04-08 | Paper |
Fairness for infinitary control
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Nested interpolants
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
Linear ranking for linear lasso programs
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Proof tree preserving interpolation
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Splitting via Interpolants
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Doomed program points
Formal Methods in System Design | 2011-03-31 | Paper |
Kleene, Rabin, and Scott Are Available
CONCUR 2010 - Concurrency Theory | 2010-08-31 | Paper |
Fairness for dynamic control
Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
Refinement of Trace Abstraction
Static Analysis | 2009-08-18 | Paper |
Model checking duration calculus: a practical approach
Formal Aspects of Computing | 2008-08-21 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
scientific article; zbMATH DE number 2143088 (Why is no real title available?)
| 2005-03-08 | Paper |
scientific article; zbMATH DE number 2086955 (Why is no real title available?)
| 2004-08-11 | Paper |
