Werner Damm

From MaRDI portal
Person:209472

Available identifiers

zbMath Open damm.wernerMaRDI QIDQ209472

List of research outcomes

PublicationDate of PublicationType
Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata2017-05-16Paper
Component based design of hybrid systems2017-05-16Paper
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata2017-02-27Paper
Contracts for Schedulability Analysis2015-09-14Paper
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems2013-08-26Paper
PTIME parametric verification of safety properties for reasonable linear hybrid automata2013-05-16Paper
Taming Dr. Frankenstein: contract-based design for cyber-physical systems2013-02-28Paper
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces2012-07-20Paper
Crossing the Bridge between Similar Games2011-10-07Paper
Eliminating Queues from RT UML Model Representations2011-04-08Paper
Towards Component Based Design of Hybrid Systems: Safety and Stability2010-09-07Paper
A Design Methodology for Distributed Real-Time Automotive Applications2010-06-02Paper
Formal Methods for Components and Objects2010-02-09Paper
Formal Methods for Components and Objects2010-02-09Paper
Automating Verification of Cooperation, Control, and Design in Traffic Applications2008-09-25Paper
Automatic Verification of Hybrid Systems with Large Discrete State Space2008-09-04Paper
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space2008-07-03Paper
On the Expressive Power of Live Sequence Charts2007-09-24Paper
Verification of cooperating traffic agents2007-05-18Paper
GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS2007-03-13Paper
Automated Technology for Verification and Analysis2006-10-10Paper
Formal Methods for Components and Objects2005-08-22Paper
A discrete-time UML semantics for concurrency and communication in safety-critical applications2005-05-12Paper
Live and let die: LSC based verification of UML models2005-05-12Paper
A semantics for distributed execution of Statemate2005-02-08Paper
https://portal.mardi4nfdi.de/entity/Q44358652003-11-20Paper
https://portal.mardi4nfdi.de/entity/Q27666252002-06-17Paper
https://portal.mardi4nfdi.de/entity/Q27831152002-06-02Paper
LSCs: Breathing life into message sequence charts2002-05-21Paper
Verification of a radio-based signaling system using the STATEMATE verification environment2002-04-11Paper
https://portal.mardi4nfdi.de/entity/Q27541222001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q42519141999-06-17Paper
https://portal.mardi4nfdi.de/entity/Q48739971996-04-21Paper
Specifying distributed computer architectures in AADL1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37774421987-01-01Paper
An automata-theoretical characterization of the OI-hierarchy1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33392591984-01-01Paper
A sound and relatively* complete Hoare-logic for a language with higher type procedures1983-01-01Paper
The IO- and OI-hierarchies1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39486121982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39471001981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33180981980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39260621980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41280241977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41309521977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41396491977-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Werner Damm