| 2007 |
|---|
| 20 | EE | Henning Dierks,
Sebastian Kupferschmid,
Kim Guldstrand Larsen:
Automatic Abstraction Refinement for Timed Automata.
FORMATS 2007: 114-129 |
| 19 | EE | Sebastian Kupferschmid,
Klaus Dräger,
Jörg Hoffmann,
Bernd Finkbeiner,
Henning Dierks,
Andreas Podelski,
Gerd Behrmann:
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.
TACAS 2007: 679-682 |
| 2006 |
|---|
| 18 | EE | Sebastian Kupferschmid,
Jörg Hoffmann,
Henning Dierks,
Gerd Behrmann:
Adapting an AI Planning Heuristic for Directed Model Checking.
SPIN 2006: 35-52 |
| 2004 |
|---|
| 17 | EE | Henning Dierks:
Comparing model checking and logical reasoning for real-time systems.
Formal Asp. Comput. 16(2): 104-120 (2004) |
| 2003 |
|---|
| 16 | EE | Henning Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems.
Electr. Notes Theor. Comput. Sci. 82(2): (2003) |
| 15 | EE | Ernst-Rüdiger Olderog,
Henning Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems.
J. UCS 9(2): 88-105 (2003) |
| 2002 |
|---|
| 14 | EE | Henning Dierks,
Marc Lettrari:
Constructing Test Automata from Graphical Real-Time Requirements.
FTRTFT 2002: 433-454 |
| 2001 |
|---|
| 13 | EE | Henning Dierks:
PLC-automata: a new class of implementable real-time automata.
Theor. Comput. Sci. 253(1): 61-93 (2001) |
| 2000 |
|---|
| 12 | EE | Henning Dierks:
A Process Algebra for Real-Time Programs.
FASE 2000: 66-81 |
| 11 | EE | Henning Dierks,
Josef Tapken:
Modelling and Verifying of a `Cash-Point Service' Using MOBY/PLC.
Formal Asp. Comput. 12(4): 220-221 (2000) |
| 1999 |
|---|
| 10 | EE | Henning Dierks:
Synthesizing controllers from real-time specifications.
IEEE Trans. on CAD of Integrated Circuits and Systems 18(1): 33-43 (1999) |
| 1998 |
|---|
| 9 | EE | Henning Dierks,
Josef Tapken:
Tool-supported hierarchical design of distributed real-time systems.
ECRTS 1998: 222-229 |
| 8 | EE | Henning Dierks,
Ansgar Fehnker,
Angelika Mader,
Frits W. Vaandrager:
Operational and Logical Semantics for Polling Real-Time Systems.
FTRTFT 1998: 29-40 |
| 7 | EE | Josef Tapken,
Henning Dierks:
MOBY/PLC - Graphical Development of PLC-Automata.
FTRTFT 1998: 311-314 |
| 6 | EE | Henning Dierks,
Michael Schenke:
A Unifying Framework for Correct Program Construction.
MPC 1998: 122-150 |
| 1997 |
|---|
| 5 | | Henning Dierks:
PLC-Automata: A New Class of Implementable Real-Time Automata.
ARTS 1997: 111-125 |
| 4 | EE | Ernst-Rüdiger Olderog,
Henning Dierks:
Decomposing Real-Time Specifications.
COMPOS 1997: 465-489 |
| 3 | | Henning Dierks,
Cheryl Dietz:
Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing.
FME 1997: 20-39 |
| 2 | EE | Henning Dierks:
Synthesising Controllers from Real-Time Specifications.
ISSS 1997: 126-133 |
| 1996 |
|---|
| 1 | | Henning Dierks:
The Production Cell: A Verified Real-Time System.
FTRTFT 1996: 208-227 |
