| Publication | Date of Publication | Type |
|---|
| On an invariance problem for parameterized concurrent systems | 2024-08-13 | Paper |
| Checking deadlock-freedom of parametric component-based systems | 2023-11-24 | Paper |
| Specification and validation of autonomous driving systems: a multilevel semantic framework | 2023-08-10 | Paper |
| Verification of component-based systems with recursive architectures | 2023-04-20 | Paper |
| Decision problems in a logic for reasoning about reconfigurable distributed systems | 2022-12-07 | Paper |
| Structural Invariants for the Verification of Systems with Parameterized Architectures | 2022-10-13 | Paper |
| A compositional approach to the verification of hybrid systems | 2021-05-20 | Paper |
| Checking deadlock-freedom of parametric component-based systems | 2021-02-26 | Paper |
| Priority-based scheduling of mixed-critical jobs | 2020-07-13 | Paper |
| Compositional parameter synthesis | 2020-01-03 | Paper |
| Local planning of multiparty interactions with bounded horizons | 2020-01-03 | Paper |
| Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation | 2018-01-08 | Paper |
| Compositional Verification for Timed Systems Based on Automatic Invariant Generation | 2015-10-29 | Paper |
| A Theory Agenda for Component-Based Design | 2015-06-22 | Paper |
| Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops | 2015-01-13 | Paper |
| Deciding Conditional Termination | 2014-09-05 | Paper |
| Model-Driven Information Flow Security for Component-Based Systems | 2014-07-24 | Paper |
| Verification of Asynchronous Circuits using Timed Automata | 2013-08-15 | Paper |
| As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty | 2013-08-05 | Paper |
| A framework for automated distributed implementation of component-based models | 2013-02-04 | Paper |
| Deciding Conditional Termination | 2012-06-29 | Paper |
| Runtime Verification of Component-Based Systems | 2011-10-28 | Paper |
| Performance Evaluation of Schedulers in a Probabilistic Setting | 2011-10-07 | Paper |
| Programs with lists are counter automata | 2011-05-23 | Paper |
| Verification of Timed Automata via Satisfiability Checking | 2011-04-08 | Paper |
| Quantitative separation logic and programs with lists | 2010-10-08 | Paper |
| Methods for Knowledge Based Controlling of Distributed Systems | 2010-10-04 | Paper |
| Fast Acceleration of Ultimately Periodic Relations | 2010-08-18 | Paper |
| Automatic Verification of Integer Array Programs | 2009-06-30 | Paper |
| Flat Parametric Counter Automata | 2009-06-23 | Paper |
| Iterating Octagons | 2009-03-31 | Paper |
| Quantitative Separation Logic and Programs with Lists | 2008-11-27 | Paper |
| Compositional Verification for Component-Based Systems and Application | 2008-11-20 | Paper |
| On Flat Programs with Lists | 2008-04-04 | Paper |
| Model Checking Software | 2007-09-28 | Paper |
| Flat Parametric Counter Automata | 2007-09-11 | Paper |
| Programs with Lists Are Counter Automata | 2007-09-05 | Paper |
| On Interleaving in Timed Automata | 2007-09-04 | Paper |
| Formal Methods for the Design of Real-Time Systems | 2006-10-19 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-01-10 | Paper |
| Foundations of Software Science and Computational Structures | 2005-11-10 | Paper |
| Static Analysis | 2005-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4817550 | 2004-09-24 | Paper |
| State space reduction based on live variables analysis. | 2003-08-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806206 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2779769 | 2002-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754117 | 2001-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729078 | 2001-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722048 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494380 | 2000-08-10 | Paper |
| Protocol verification with the Aldébaran toolset | 1997-01-01 | Paper |
