Thomas Hune

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
Linear parametric model checking of timed automata. J. Log. Algebraic Methods Program. (2002)
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)
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
Linear Parametric Model Checking of Timed Automata. TACAS (2001)
Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. 8 (1) (2001)
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)
Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
Guided Synthesis of Control Programs Using UPPAAL. ICDCS Workshop on Distributed System Validation and Verification (2000)
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)
Gerd Behrmann, Thomas Hune, Frits W. Vaandrager
Distributing Timed Model Checking - How the Search Order Matters. CAV (2000)
Thomas Hune, Anders Sandholm
A Case Study on Using Automata in Control Synthesis. FASE (2000)
Mogens Nielsen, Thomas Hune
Bisimulation and Open Maps for Timed Transition Systems. Fundam. Informaticae 38 (1-2) (1999)
Thomas Hune, Mogens Nielsen
Timed Bisimulation and Open Maps. MFCS (1998)