| Publication | Date of Publication | Type |
|---|
| Decoupled fitness criteria for reactive systems | 2024-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6128594 | 2024-04-15 | Paper |
| On tolerance of discrete systems with respect to transition perturbations | 2024-03-25 | Paper |
| Automated synthesis of secure platform mappings | 2024-02-16 | Paper |
| Safe environmental envelopes of discrete systems | 2024-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6083447 | 2023-12-08 | Paper |
| Metrics and methods for robustness evaluation of neural networks with generative models | 2023-10-24 | Paper |
| Compositional runtime enforcement revisited | 2023-06-29 | Paper |
| Counterexample classification | 2023-05-26 | Paper |
| On neural network equivalence checking using SMT solvers | 2023-01-18 | Paper |
| The refinement calculus of reactive systems | 2022-06-08 | Paper |
| Mechanically proving determinacy of hierarchical block diagram translations | 2020-01-23 | Paper |
| Learning Moore machines from input-output traces | 2020-01-03 | Paper |
| Modeling for Verification | 2018-07-20 | Paper |
| Implementing Synchronous Models on Loosely Time Triggered Architectures | 2018-06-12 | Paper |
| Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems | 2018-04-23 | Paper |
| Supervisory control and reactive synthesis: a comparative introduction | 2018-01-31 | Paper |
| Predictive runtime enforcement | 2017-09-08 | Paper |
| Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication | 2017-07-12 | Paper |
| Requirements for hybrid cosimulation standards | 2017-05-19 | Paper |
| The earlier the better | 2017-05-16 | Paper |
| Checking timed Büchi automata emptiness on simulation graphs | 2015-09-17 | Paper |
| Modular code generation from synchronous block diagrams | 2015-07-03 | Paper |
| Feedback in Synchronous Relational Interfaces | 2014-07-24 | Paper |
| A modular formal semantics for Ptolemy | 2013-08-26 | Paper |
| On the Verification of Timed Discrete-Event Models | 2013-08-16 | Paper |
| Verifying hierarchical Ptolemy II discrete-event models using real-time maude | 2013-06-06 | Paper |
| Fault Diagnosis for Timed Automata | 2011-04-08 | Paper |
| Folk theorems on the determinization and minimization of timed automata | 2010-01-29 | Paper |
| Conformance testing for real-time systems | 2009-09-25 | Paper |
| Undecidable problems of decentralized observation and control on regular languages | 2009-07-21 | Paper |
| Actors without Directors: A Kahnian View of Heterogeneous Systems | 2009-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3602752 | 2009-02-12 | Paper |
| Automatic generation of path conditions for concurrent timed systems | 2008-10-07 | Paper |
| Interesting Properties of the Real-Time Conformance Relation tioco | 2008-09-11 | Paper |
| Generating Path Conditions for Timed Systems | 2007-11-29 | Paper |
| Model Checking Software | 2007-09-28 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-11-14 | Paper |
| Checking timed Büchi automata emptiness efficiently | 2006-02-20 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-01-10 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| Algorithms for the Multi-constrained Routing Problem | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439585 | 2003-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439565 | 2003-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417937 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152831 | 2002-01-01 | Paper |
| Analysis of timed systems using time-abstracting bisimulations | 2001-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4503927 | 2000-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953384 | 2000-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4493880 | 1999-01-01 | Paper |
