| Publication | Date of Publication | Type |
|---|
| Nondeterminism and guarded commands | 2024-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6124952 | 2024-04-10 | Paper |
| Concurrent hyperproperties | 2024-02-28 | Paper |
| Spatial and timing properties in highway traffic | 2023-07-28 | Paper |
| Model checking, synthesis, and learning | 2023-05-26 | Paper |
| High-level representation of benchmark families for Petri games | 2023-05-26 | Paper |
| Model Checking Branching Properties on Petri Nets with Transits | 2022-12-22 | Paper |
| A case study in transformational design of concurrent systems | 2022-11-02 | Paper |
| The synthesis problem for repeatedly communicating Petri games | 2022-08-19 | Paper |
| Assessing the Success and Impact of Hoare’s Logic | 2022-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995371 | 2021-06-24 | Paper |
| A sound and complete Hoare logic for dynamically-typed, object-oriented programs | 2021-05-20 | Paper |
| \textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL | 2021-02-09 | Paper |
| Model Checking Data Flows in Concurrent Network Updates | 2020-07-20 | Paper |
| Solving high-level Petri games | 2020-05-26 | Paper |
| Formalising a Hazard Warning Communication Protocol with Timed Automata | 2020-02-24 | Paper |
| Fifty years of Hoare's logic | 2019-12-18 | Paper |
| Interfaces between languages for communicating systems | 2019-12-04 | Paper |
| Petri games: synthesis of distributed systems with causal memory | 2017-03-16 | Paper |
| Structural transformations for data-enriched real-time systems | 2015-09-03 | Paper |
| Automatic Verification of Combined Specifications: An Overview | 2014-01-24 | Paper |
| Proving Safety of Traffic Manoeuvres on Country Roads | 2013-08-16 | Paper |
| Layered reasoning for randomized distributed algorithms | 2013-03-22 | Paper |
| Verification of object-oriented programs: a transformational approach | 2012-08-17 | Paper |
| Layered Composition for Timed Automata | 2010-09-10 | Paper |
| Kleene, Rabin, and Scott Are Available | 2010-08-31 | Paper |
| Fairness for Dynamic Control | 2010-04-27 | Paper |
| Explicit Fair Scheduling for Dynamic Control | 2010-03-09 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| Verification of sequential and concurrent programs | 2009-09-10 | Paper |
| Modular Verification of Recursive Programs | 2009-06-03 | Paper |
| Real-Time Systems | 2008-10-09 | Paper |
| Automating Verification of Cooperation, Control, and Design in Traffic Applications | 2008-09-25 | Paper |
| Integrating a formal method into a software engineering process with UML and Java | 2008-04-09 | Paper |
| Verification of cooperating traffic agents | 2007-05-18 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| Specification and (property) inheritance in CSP-OZ | 2005-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4654725 | 2005-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737563 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430301 | 2003-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430313 | 2003-10-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2764111 | 2002-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2760239 | 2001-12-18 | Paper |
| Transformational design of real-time systems. I: From requirements to program specifications | 1999-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4344071 | 1997-07-09 | Paper |
| Programmverifikation | 1994-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3999717 | 1993-01-23 | Paper |
| Nets, Terms and Formulas | 1992-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975137 | 1992-06-26 | Paper |
| Correctness of concurrent processes | 1992-06-25 | Paper |
| Hiding in stream semantics of uniform concurrency | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733431 | 1989-01-01 | Paper |
| Transition systems, metric spaces and ready sets in the semantics of uniform concurrency | 1988-01-01 | Paper |
| Readies and Failures in the Algebra of Communicating Processes | 1988-01-01 | Paper |
| Infinite streams and finite observations in the semantics of uniform concurrency | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030243 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3776645 | 1987-01-01 | Paper |
| Specification-oriented semantics for communicating processes | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3731021 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3745260 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3681902 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3700805 | 1985-01-01 | Paper |
| Correctness of programs with Pascal-like procedures without global variables | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3221388 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347267 | 1984-01-01 | Paper |
| Proof rules and transformations dealing with fairness | 1983-01-01 | Paper |
| On the notion of expressiveness and the rule of adaptation | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3700806 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3939210 | 1982-01-01 | Paper |
| Sound and complete Hoare-like calculi based on copy rules | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3040481 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3948574 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3883459 | 1980-01-01 | Paper |
