Werner Damm

Available identifiers

zbMath Open damm.wernerMaRDI QIDQ209472

List of research outcomes

Publication	Date of Publication	Type
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata	2017-05-16	Paper
Component based design of hybrid systems	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
https://portal.mardi4nfdi.de/entity/Q2783115	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/Q3318098	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3926062	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Werner Damm