| Publication | Date of Publication | Type |
|---|
| Correction to: ``Transformational supervisor synthesis for evolving systems | 2024-03-25 | Paper |
| Refinement in Interworkings | 2023-06-28 | Paper |
| Transformational supervisor synthesis for evolving systems | 2022-06-13 | Paper |
| Partial-Order Reduction for Supervisory Controller Synthesis | 2022-02-24 | Paper |
| Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems | 2021-12-09 | Paper |
| Compositional coordinator synthesis of extended finite automata | 2021-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965861 | 2021-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964002 | 2021-02-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150133 | 2021-02-09 | Paper |
| Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices | 2020-10-07 | Paper |
| Maximally permissive controlled system synthesis for non-determinism and modal logic | 2017-03-03 | Paper |
| Nominal SOS | 2016-07-08 | Paper |
| Structural Operational Semantics with First-Order Logic | 2016-06-03 | Paper |
| Structural Analysis of Boolean Equation Systems | 2015-09-17 | Paper |
| Topological Aspects of Hybrid Processes | 2015-07-10 | Paper |
| Discretization of Timed Automata in Timed μCRL à la Regions and Zones | 2015-07-10 | Paper |
| Maximally Permissive Controlled System Synthesis for Modal Logic | 2015-02-20 | Paper |
| Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi | 2014-01-17 | Paper |
| Relating Hybrid Chi to Other Formalisms | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2847419 | 2013-09-09 | Paper |
| A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus | 2011-07-07 | Paper |
| Folk Theorems on the Correspondence between State-Based and Event-Based Systems | 2011-02-15 | Paper |
| Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study | 2011-01-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3404131 | 2010-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395989 | 2009-09-15 | Paper |
| A syntactic commutativity format for SOS | 2009-08-27 | Paper |
| Foundations of a Compositional Interchange Format for Hybrid Systems | 2009-03-11 | Paper |
| An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets | 2009-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3614665 | 2009-03-09 | Paper |
| Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions | 2008-09-02 | Paper |
| Action Abstraction in Timed Process Algebra | 2008-07-01 | Paper |
| SOS formats and meta-theory: 20 years after | 2007-04-19 | Paper |
| Duplication of constants in process algebra | 2007-02-09 | Paper |
| Processes, Terms and Cycles: Steps on the Road to Infinity | 2006-11-13 | Paper |
| Formal Methods for the Design of Real-Time Systems | 2006-10-19 | Paper |
| Linearization of hybrid processes | 2006-04-28 | Paper |
| Syntax and consistent equation semantics of hybrid Chi | 2006-04-28 | Paper |
| Formal Modeling and Analysis of Timed Systems | 2006-01-10 | Paper |
| Hybrid process algebra | 2005-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3148335 | 2003-05-22 | Paper |
| Analysis of an industrial system | 2003-05-11 | Paper |
| A hierarchy of communication models for message sequence charts | 2002-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760254 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760256 | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4252989 | 1999-06-23 | Paper |
