| Publication | Date of Publication | Type |
|---|
| Supervisory control synthesis of timed automata using forcible events | 2024-07-21 | Paper |
| 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 |
| Discretization of Timed Automata in Timed μCRL à la Regions and Zones | 2015-07-10 | Paper |
| Topological Aspects of Hybrid Processes | 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 |
| A congruence rule format with universal quantification | 2014-01-10 | Paper |
| On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference) | 2013-12-13 | Paper |
| Relating hybrid chi to other formalisms | 2013-12-06 | Paper |
| A hierarchy of SOS rule formats | 2013-10-07 | Paper |
| Prototyping SOS meta-theory in Maude | 2013-10-07 | Paper |
| Exploiting Algebraic Laws to Improve Mechanized Axiomatizations | 2013-09-13 | Paper |
| Topological (bi-)simulation | 2013-09-09 | Paper |
| Rule formats for determinism and idempotence | 2012-07-13 | 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 |
| Analysis of distributed systems with mCRL2 | 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 |
| Syntax and consistent equation semantics of hybrid Chi | 2006-04-28 | Paper |
| Linearization of hybrid processes | 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 |
| Algebraic process verification. | 2001-01-01 | Paper |
| A process algebra for interworkings. | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4252989 | 1999-06-23 | Paper |
