| Publication | Date of Publication | Type |
|---|
| Component based design of hybrid systems | 2017-05-16 | Paper |
| Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata | 2017-05-16 | Paper |
| Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata | 2017-02-27 | Paper |
| Contracts for Schedulability Analysis | 2015-09-14 | Paper |
| Can we build it: formal synthesis of control strategies for cooperative driver assistance systems | 2013-08-26 | Paper |
| PTIME parametric verification of safety properties for reasonable linear hybrid automata | 2013-05-16 | Paper |
| Taming Dr. Frankenstein: contract-based design for cyber-physical systems | 2013-02-28 | Paper |
| Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces | 2012-07-20 | Paper |
| Crossing the Bridge between Similar Games | 2011-10-07 | Paper |
| Eliminating Queues from RT UML Model Representations | 2011-04-08 | Paper |
| Towards Component Based Design of Hybrid Systems: Safety and Stability | 2010-09-07 | Paper |
| A Design Methodology for Distributed Real-Time Automotive Applications | 2010-06-02 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| Formal Methods for Components and Objects | 2010-02-09 | Paper |
| Automating Verification of Cooperation, Control, and Design in Traffic Applications | 2008-09-25 | Paper |
| Automatic Verification of Hybrid Systems with Large Discrete State Space | 2008-09-04 | Paper |
| Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space | 2008-07-03 | Paper |
| On the Expressive Power of Live Sequence Charts | 2007-09-24 | Paper |
| Verification of cooperating traffic agents | 2007-05-18 | Paper |
| GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS | 2007-03-13 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| Formal Methods for Components and Objects | 2005-08-22 | Paper |
| A discrete-time UML semantics for concurrency and communication in safety-critical applications | 2005-05-12 | Paper |
| Live and let die: LSC based verification of UML models | 2005-05-12 | Paper |
| A semantics for distributed execution of Statemate | 2005-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4435865 | 2003-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766625 | 2002-06-17 | Paper |
| Formal analysis and verification of Statemate designs | 2002-06-02 | Paper |
| LSCs: Breathing life into message sequence charts | 2002-05-21 | Paper |
| Verification of a radio-based signaling system using the STATEMATE verification environment | 2002-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754122 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251914 | 1999-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873997 | 1996-04-21 | Paper |
| Specifying distributed computer architectures in AADL | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777442 | 1987-01-01 | Paper |
| An automata-theoretical characterization of the OI-hierarchy | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3339259 | 1984-01-01 | Paper |
| A sound and relatively* complete Hoare-logic for a language with higher type procedures | 1983-01-01 | Paper |
| The IO- and OI-hierarchies | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3948612 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3947100 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3926062 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3318098 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4128024 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4130952 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4139649 | 1977-01-01 | Paper |
