Thomas Hune

12 papers A* 2A 2B 2Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2002 J jnl
Linear parametric model checking of timed automata.
J. Log. Algebraic Methods Program.
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
2001 A* conf
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.
CAV
Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn
2001 A conf
Efficient Guiding Towards Cost-Optimality in UPPAAL.
TACAS
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn
2001 J jnl
Guided Synthesis of Control Programs Using UPPAAL.
Nord. J. Comput.
Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
2001 A conf
Linear Parametric Model Checking of Timed Automata.
TACAS
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
2001 — conf
Minimum-Cost Reachability for Priced Timed Automata.
HSCC
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
2000 B conf
A Case Study on Using Automata in Control Synthesis.
FASE
Thomas Hune, Anders Sandholm
2000 A* conf
Distributing Timed Model Checking - How the Search Order Matters.
CAV
Gerd Behrmann, Thomas Hune, Frits W. Vaandrager
2000 — conf
Guided Synthesis of Control Programs Using UPPAAL.
ICDCS Workshop on Distributed System Validation and Verification
Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
2000 — conf
UPPAAL - Now, Next, and Future.
MOVEP
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
1999 J jnl
Bisimulation and Open Maps for Timed Transition Systems.
Fundam. Informaticae
Mogens Nielsen, Thomas Hune
1998 B conf
Timed Bisimulation and Open Maps.
MFCS
Thomas Hune, Mogens Nielsen