The following pages link to Werner Damm (Q209472):
Displaying 47 items.
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
- A semantics for distributed execution of Statemate (Q706501) (← links)
- (Q1116318) (redirect page) (← links)
- Specifying distributed computer architectures in AADL (Q1116320) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- A sound and relatively* complete Hoare-logic for a language with higher type procedures (Q1172384) (← links)
- A discrete-time UML semantics for concurrency and communication in safety-critical applications (Q1776580) (← links)
- Live and let die: LSC based verification of UML models (Q1776581) (← links)
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313) (← links)
- PTIME parametric verification of safety properties for reasonable linear hybrid automata (Q1949771) (← links)
- (Q2754122) (← links)
- (Q2766625) (← links)
- (Q2783115) (← links)
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860) (← links)
- Contracts for Schedulability Analysis (Q2945603) (← links)
- Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (Q2964462) (← links)
- Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata (Q2986715) (← links)
- Component based design of hybrid systems (Q2986959) (← links)
- Crossing the Bridge between Similar Games (Q3172850) (← links)
- (Q3318098) (← links)
- (Q3339259) (← links)
- GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS (Q3426788) (← links)
- Verification of cooperating traffic agents (Q3442637) (← links)
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space (Q3510811) (← links)
- Automatic Verification of Hybrid Systems with Large Discrete State Space (Q3522915) (← links)
- Automating Verification of Cooperation, Control, and Design in Traffic Applications (Q3526930) (← links)
- A Design Methodology for Distributed Real-Time Automotive Applications (Q3564028) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)
- On the Expressive Power of Live Sequence Charts (Q3593076) (← links)
- An automata-theoretical characterization of the OI-hierarchy (Q3765259) (← links)
- (Q3777442) (← links)
- (Q3926062) (← links)
- (Q3947100) (← links)
- (Q3948612) (← links)
- (Q4128024) (← links)
- (Q4130952) (← links)
- (Q4139649) (← links)
- (Q4251914) (← links)
- (Q4435865) (← links)
- (Q4873997) (← links)
- Formal Methods for Components and Objects (Q5311300) (← links)
- Eliminating Queues from RT UML Model Representations (Q5392300) (← links)
- Automated Technology for Verification and Analysis (Q5491856) (← links)
- Formal Methods for Components and Objects (Q5897124) (← links)
- Formal Methods for Components and Objects (Q5897125) (← links)
- LSCs: Breathing life into message sequence charts (Q5946346) (← links)
- Verification of a radio-based signaling system using the STATEMATE verification environment (Q5959851) (← links)
