| Publication | Date of Publication | Type |
|---|
Synthesis of compact strategies for coordination programs
| 2024-01-23 | Paper |
Synthesis of asynchronous reactive programs from temporal specifications
Computer Aided Verification | 2023-05-26 | Paper |
The impact of program transformations on static program analysis
Static Analysis | 2023-05-26 | Paper |
A self-certifying compilation framework for WebAssembly
| 2021-10-18 | Paper |
Model checking in bits and pieces
| 2021-06-21 | Paper |
Witnessing secure compilation
| 2020-08-05 | Paper |
Parameterized compositional model checking
| 2019-09-17 | Paper |
Symmetry reduction for the local mu-calculus
| 2019-09-16 | Paper |
Securing the SSA transform
Static Analysis | 2019-09-16 | Paper |
Securing a compiler transformation
Formal Methods in System Design | 2018-10-04 | Paper |
Securing a compiler transformation
Static Analysis | 2018-08-27 | Paper |
Compositional reasoning
Handbook of Model Checking | 2018-07-20 | Paper |
On the completeness of compositional reasoning methods
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
From Verification to Optimizations
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Uncovering symmetries in irregular process networks
Lecture Notes in Computer Science | 2014-11-03 | Paper |
Local symmetry and compositional verification
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Parallelizing a symbolic compositional model-checking algorithm
Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
Abstraction for branching time properties.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Abstract patterns of compositional reasoning.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Local proofs for global safety properties
Formal Methods in System Design | 2009-11-23 | Paper |
Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
Static Analysis | 2008-08-28 | Paper |
Local Proofs for Linear-Time Properties of Concurrent Programs
Computer Aided Verification | 2008-07-15 | Paper |
Symmetry and Completeness in the Analysis of Parameterized Systems
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Local Proofs for Global Safety Properties
Computer Aided Verification | 2007-11-29 | Paper |
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Formal Methods for Components and Objects | 2007-09-11 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2005-12-06 | Paper |
On Reasoning About Rings
International Journal of Foundations of Computer Science | 2005-10-19 | Paper |
Computer Aided Verification
Lecture Notes in Computer Science | 2005-08-25 | Paper |
scientific article; zbMATH DE number 2102721 (Why is no real title available?)
| 2004-09-24 | Paper |
scientific article; zbMATH DE number 2102719 (Why is no real title available?)
| 2004-09-24 | Paper |
scientific article; zbMATH DE number 1973986 (Why is no real title available?)
| 2003-09-03 | Paper |
scientific article; zbMATH DE number 1953030 (Why is no real title available?)
| 2003-07-25 | Paper |
scientific article; zbMATH DE number 1953039 (Why is no real title available?)
| 2003-07-25 | Paper |
scientific article; zbMATH DE number 1798181 (Why is no real title available?)
| 2002-11-04 | Paper |
scientific article; zbMATH DE number 1796148 (Why is no real title available?)
| 2002-09-04 | Paper |
scientific article; zbMATH DE number 1701775 (Why is no real title available?)
| 2002-02-05 | Paper |
scientific article; zbMATH DE number 1670793 (Why is no real title available?)
| 2001-11-11 | Paper |
scientific article; zbMATH DE number 1670774 (Why is no real title available?)
| 2001-11-11 | Paper |
scientific article; zbMATH DE number 1392309 (Why is no real title available?)
| 2000-01-25 | Paper |
