| 2002 |
|---|
| 11 | EE | Thomas Hune,
Judi Romijn,
Mariëlle Stoelinga,
Frits W. Vaandrager:
Linear parametric model checking of timed automata.
J. Log. Algebr. Program. 52-53: 183-220 (2002) |
| 2001 |
|---|
| 10 | EE | Kim Guldstrand Larsen,
Gerd Behrmann,
Ed Brinksma,
Ansgar Fehnker,
Thomas Hune,
Paul Pettersson,
Judi Romijn:
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.
CAV 2001: 493-505 |
| 9 | EE | Gerd Behrmann,
Ansgar Fehnker,
Thomas Hune,
Kim Guldstrand Larsen,
Paul Pettersson,
Judi Romijn,
Frits W. Vaandrager:
Minimum-Cost Reachability for Priced Timed Automata.
HSCC 2001: 147-161 |
| 8 | EE | Thomas Hune,
Judi Romijn,
Mariëlle Stoelinga,
Frits W. Vaandrager:
Linear Parametric Model Checking of Timed Automata.
TACAS 2001: 189-203 |
| 7 | | Thomas Hune,
Kim Guldstrand Larsen,
Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL.
Nord. J. Comput. 8(1): 43-64 (2001) |
| 2000 |
|---|
| 6 | | Gerd Behrmann,
Thomas Hune,
Frits W. Vaandrager:
Distributing Timed Model Checking - How the Search Order Matters.
CAV 2000: 216-231 |
| 5 | EE | Thomas Hune,
Anders Sandholm:
A Case Study on Using Automata in Control Synthesis.
FASE 2000: 349-362 |
| 4 | | Thomas Hune,
Kim Guldstrand Larsen,
Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL.
ICDCS Workshop on Distributed System Validation and Verification 2000: E15-E22 |
| 3 | EE | Tobias Amnell,
Gerd Behrmann,
Johan Bengtsson,
Pedro R. D'Argenio,
Alexandre David,
Ansgar Fehnker,
Thomas Hune,
Bertrand Jeannet,
Kim Guldstrand Larsen,
M. Oliver Möller,
Paul Pettersson,
Carsten Weise,
Wang Yi:
UPPAAL - Now, Next, and Future.
MOVEP 2000: 99-124 |
| 1999 |
|---|
| 2 | | Mogens Nielsen,
Thomas Hune:
Bisimulation and Open Maps for Timed Transition Systems.
Fundam. Inform. 38(1-2): 61-77 (1999) |
| 1998 |
|---|
| 1 | EE | Thomas Hune,
Mogens Nielsen:
Timed Bisimulation and Open Maps.
MFCS 1998: 378-387 |
