| Publication | Date of Publication | Type |
|---|
| A compositional real-time semantics of STATEMATE designs | 2025-03-19 | Paper |
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Component based design of hybrid systems: a case study on concurrency and coupling
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Decidability of verification of safety properties of spatial families of linear hybrid automata
Frontiers of Combining Systems | 2017-02-27 | Paper |
Contracts for schedulability analysis
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems
MSCS. Mathematical Structures in Computer Science | 2013-08-26 | Paper |
PTIME parametric verification of safety properties for reasonable linear hybrid automata
Mathematics in Computer Science | 2013-05-16 | Paper |
Taming Dr. Frankenstein: contract-based design for cyber-physical systems
European Journal of Control | 2013-02-28 | Paper |
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
Science of Computer Programming | 2012-07-20 | Paper |
Crossing the Bridge between Similar Games
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Eliminating queues from RT UML model representations
Lecture Notes in Computer Science | 2011-04-08 | Paper |
Towards Component Based Design of Hybrid Systems: Safety and Stability
Time for Verification | 2010-09-07 | Paper |
A design methodology for distributed real-time automotive applications
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems | 2010-06-02 | Paper |
Understanding UML: a formal semantics of concurrency and communication in real-time UML.
Lecture Notes in Computer Science | 2010-02-09 | Paper |
Live and let die: LSC-based verification of UML-models.
Lecture Notes in Computer Science | 2010-02-09 | Paper |
Automating Verification of Cooperation, Control, and Design in Traffic Applications
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
Automatic Verification of Hybrid Systems with Large Discrete State Space
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
On the Expressive Power of Live Sequence Charts
Program Analysis and Compilation, Theory and Practice | 2007-09-24 | Paper |
Verification of cooperating traffic agents
International Journal of Control | 2007-05-18 | Paper |
GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
International Journal of Foundations of Computer Science | 2007-03-13 | Paper |
Automated Technology for Verification and Analysis
Lecture Notes in Computer Science | 2006-10-10 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2005-08-22 | Paper |
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Science of Computer Programming | 2005-05-12 | Paper |
Live and let die: LSC based verification of UML models
Science of Computer Programming | 2005-05-12 | Paper |
A semantics for distributed execution of Statemate
Formal Aspects of Computing | 2005-02-08 | Paper |
| scientific article; zbMATH DE number 2006491 (Why is no real title available?) | 2003-11-20 | Paper |
| scientific article; zbMATH DE number 1696494 (Why is no real title available?) | 2002-06-17 | Paper |
Formal analysis and verification of Statemate designs
it + ti. Informationstechnik und Technische Informatik | 2002-06-02 | Paper |
LSCs: Breathing life into message sequence charts
Formal Methods in System Design | 2002-05-21 | Paper |
Verification of a radio-based signaling system using the STATEMATE verification environment
Formal Methods in System Design | 2002-04-11 | Paper |
| scientific article; zbMATH DE number 1670805 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1304992 (Why is no real title available?) | 1999-06-17 | Paper |
| scientific article; zbMATH DE number 868111 (Why is no real title available?) | 1996-04-21 | Paper |
Specifying distributed computer architectures in AADL
Parallel Computing | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4039272 (Why is no real title available?) | 1987-01-01 | Paper |
An automata-theoretical characterization of the OI-hierarchy
Information and Control | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3872652 (Why is no real title available?) | 1984-01-01 | Paper |
A sound and relatively* complete Hoare-logic for a language with higher type procedures
Acta Informatica | 1983-01-01 | Paper |
The IO- and OI-hierarchies
Theoretical Computer Science | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3767074 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3765112 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3848594 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3738945 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3555484 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3558912 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3567996 (Why is no real title available?) | 1977-01-01 | Paper |
