| Publication | Date of Publication | Type |
|---|
| Validating safety arguments with Lean | 2023-05-26 | Paper |
| Verification by gambling on program slices | 2022-06-22 | Paper |
| A verification-driven framework for iterative design of controllers | 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 | 2018-02-02 | Paper |
| RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules | 2016-04-21 | Paper |
| Robust Vacuity for Branching Temporal Logic | 2015-09-17 | Paper |
| Monitoring and recovery for web service applications | 2015-01-23 | Paper |
| Symbolic optimization with SMT solvers | 2014-04-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2848053 | 2013-09-25 | Paper |
| Merging Partial Behaviour Models with Different Vocabularies | 2013-08-12 | Paper |
| From Under-Approximations to Over-Approximations and Back | 2012-06-29 | Paper |
| Whale: An Interpolation-Based Algorithm for Inter-procedural Verification | 2012-06-15 | Paper |
| On the consistency, expressiveness, and precision of partial modeling formalisms | 2011-01-13 | Paper |
| CONCUR 2003 - Concurrency Theory | 2010-03-30 | Paper |
| Finding State Solutions to Temporal Logic Queries | 2009-03-06 | Paper |
| Mixed Transition Systems Revisited | 2009-02-10 | Paper |
| Model Checking Recursive Programs with Exact Predicate Abstraction | 2008-11-20 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-28 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| Data structures for symbolic multi-valued model-checking | 2007-01-24 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
| Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
| On closure under stuttering | 2004-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417920 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806210 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791849 | 2003-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531751 | 2002-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2769604 | 2002-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763963 | 2002-01-22 | Paper |
