 | 2007 |
|---|
| 4 |       | Marc Segelken:
Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models.
CAV 2007: 433-448 |
| 3 | | Werner Damm,
Alfred Mikschl,
Jens Oehlerking,
Ernst-Rüdiger Olderog,
Jun Pang,
André Platzer,
Marc Segelken,
Boris Wirtz:
Automating Verification of Cooperation, Control, and Design in Traffic Applications.
Formal Methods and Hybrid Real-Time Systems 2007: 115-169 |
| 2004 |
|---|
| 2 | | Eckard Böde,
Werner Damm,
Jarl Høyem,
Bernhard Josko,
Jürgen Niehaus,
Marc Segelken:
Adding Value to Automotive Models.
ASWSD 2004: 86-102 |
| 2003 |
|---|
| 1 |  | Werner Damm,
Christoph Schulte,
Hartmut Wittke,
Marc Segelken,
Uwe Higgen,
Michael Eckrich:
Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung.
GI Jahrestagung (1) 2003: 340-344 |
