| Publication | Date of Publication | Type |
|---|
Global guidance for local generalization in model checking
Formal Methods in System Design | 2024-11-04 | Paper |
Property directed self composition
Computer Aided Verification | 2024-02-16 | Paper |
Interpolating strong induction
Computer Aided Verification | 2024-02-16 | Paper |
Fast approximations of quantifier elimination
| 2024-01-12 | Paper |
Quantifiers on demand
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Efficient modular SMT-based model checking of pointer programs
Static Analysis | 2023-07-28 | Paper |
Compositional verification of smart contracts through communication abstraction
| 2022-06-17 | Paper |
scientific article; zbMATH DE number 7364138 (Why is no real title available?)
| 2021-06-28 | Paper |
Global guidance for local generalization in model checking
| 2021-02-09 | Paper |
Lazy but effective functional synthesis
| 2020-01-23 | Paper |
Property directed equivalence via abstract simulation
Computer Aided Verification | 2019-05-03 | Paper |
Automated analysis of Stateflow models
EPiC Series in Computing | 2019-01-10 | Paper |
BDD-based symbolic model checking
Handbook of Model Checking | 2018-07-20 | Paper |
Fast interpolating BMC
| 2018-03-01 | Paper |
SMT-based model checking for recursive programs
Formal Methods in System Design | 2017-03-28 | Paper |
IC3 -- flipping the E in ICE
Lecture Notes in Computer Science | 2017-02-21 | Paper |
Maximal specification synthesis
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
Formal Methods in System Design | 2016-02-25 | Paper |
Automated discovery of simulation between programs
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Horn clause solvers for program verification
Fields of Logic and Computation II | 2015-09-22 | Paper |
Reachability problems in piecewise FIFO systems
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Robust vacuity for branching temporal logic
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Property directed polyhedral abstraction
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Compositional sequentialization of periodic programs
Lecture Notes in Computer Science | 2014-11-03 | Paper |
Interpolation Properties and SAT-Based Model Checking
Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
Beyond vacuity: towards the strongest passing formula
Formal Methods in System Design | 2014-06-30 | Paper |
Symbolic optimization with SMT solvers
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
A practical approach to partial functions in CVC Lite
| 2013-09-25 | Paper |
From under-approximations to over-approximations and back
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Regression verification for multi-threaded programs
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Whale: an interpolation-based algorithm for inter-procedural verification
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Variants of LTL query checking
Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
On the consistency, expressiveness, and precision of partial modeling formalisms
Information and Computation | 2011-01-13 | Paper |
Boxes: A Symbolic Abstract Domain of Boxes
Static Analysis | 2010-10-01 | Paper |
Multi-valued model checking via classical model checking.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Finding State Solutions to Temporal Logic Queries
Lecture Notes in Computer Science | 2009-03-06 | Paper |
Mixed Transition Systems Revisited
Lecture Notes in Computer Science | 2009-02-10 | Paper |
Model Checking Recursive Programs with Exact Predicate Abstraction
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Data structures for symbolic multi-valued model-checking
Formal Methods in System Design | 2007-01-24 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
scientific article; zbMATH DE number 1956579 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1905120 (Why is no real title available?)
| 2003-05-21 | Paper |
scientific article; zbMATH DE number 1744958 (Why is no real title available?)
| 2002-05-23 | Paper |
