| Publication | Date of Publication | Type |
|---|
Achieving high coverage in hardware equivalence checking via concolic verification
Formal Methods in System Design | 2023-10-30 | Paper |
BDD-based symbolic model checking
Handbook of Model Checking | 2018-07-20 | Paper |
SMT-based model checking for recursive programs
Formal Methods in System Design | 2017-03-28 | Paper |
Model checking with multi-threaded IC3 portfolios
Lecture Notes in Computer Science | 2016-03-23 | Paper |
Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)
Formal Methods in System Design | 2016-02-25 | Paper |
Types as models: model checking message-passing programs
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Compositional sequentialization of periodic programs
Lecture Notes in Computer Science | 2014-11-03 | Paper |
| Parallel assignments in software model checking | 2013-10-07 | Paper |
| Automated compositional abstraction refinement for concurrent C programs: a two-level approach | 2013-08-30 | Paper |
Parametric verification of address space separation
Lecture Notes in Computer Science | 2012-06-29 | Paper |
Regression verification for multi-threaded programs
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Boxes: A Symbolic Abstract Domain of Boxes
Static Analysis | 2010-10-01 | Paper |
Predicate abstraction with minimum predicates
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Integrated Formal Methods
Lecture Notes in Computer Science | 2009-05-07 | Paper |
Verification of evolving software via component substitutability analysis
Formal Methods in System Design | 2008-07-30 | Paper |
Three optimizations for assume-guarantee reasoning with \(L^{*}\)
Formal Methods in System Design | 2008-07-30 | Paper |
State/Event Software Verification for Branching-Time Specifications
Lecture Notes in Computer Science | 2007-11-29 | Paper |
Optimized L*-Based Assume-Guarantee Reasoning
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 | 2007-05-02 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Concurrent software verification with states, events, and deadlocks
Formal Aspects of Computing | 2006-10-25 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
FM 2005: Formal Methods
Lecture Notes in Computer Science | 2006-01-10 | Paper |
An Iterative Framework for Simulation Conformance
Journal Of Logic And Computation | 2005-10-18 | Paper |
Efficient verification of sequential and concurrent C programs
Formal Methods in System Design | 2004-11-22 | Paper |
| scientific article; zbMATH DE number 1701757 (Why is no real title available?) | 2002-02-05 | Paper |
