| Publication | Date of Publication | Type |
|---|
| Early verification of legal compliance via bounded satisfiability checking | 2024-02-01 | Paper |
Validating safety arguments with Lean
Software Engineering and Formal Methods | 2023-05-26 | Paper |
| Verification by gambling on program slices | 2022-06-22 | Paper |
A verification-driven framework for iterative design of controllers
Formal Aspects of Computing | 2019-11-18 | Paper |
| Supporting verification-driven incremental distributed design of components | 2019-09-16 | Paper |
| Observational refinement and merge for disjunctive MTSs | 2018-10-25 | Paper |
Variability-based model transformation: formal foundation and application
Formal Aspects of Computing | 2018-02-02 | Paper |
\textit{RuleMerger}: automatic construction of variability-based model transformation rules
Fundamental Approaches to Software Engineering | 2016-04-21 | Paper |
Robust vacuity for branching temporal logic
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Monitoring and recovery for web service applications
Computing | 2015-01-23 | 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 |
Merging partial behaviour models with different vocabularies
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
From under-approximations to over-approximations and back
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
Whale: an interpolation-based algorithm for inter-procedural verification
Lecture Notes in Computer Science | 2012-06-15 | Paper |
On the consistency, expressiveness, and precision of partial modeling formalisms
Information and Computation | 2011-01-13 | 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 |
On closure under stuttering
Formal Aspects of Computing | 2004-03-07 | 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 1863178 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1744958 (Why is no real title available?) | 2002-05-23 | Paper |
| scientific article; zbMATH DE number 1701772 (Why is no real title available?) | 2002-02-05 | Paper |
| scientific article; zbMATH DE number 1693429 (Why is no real title available?) | 2002-01-22 | Paper |
