Timed Bisimulation and Open Maps. - Thomas Hune; Mogens Nielsen (MFCS, 1998)

Bisimulation and Open Maps for Timed Transition Systems. - Mogens Nielsen; Thomas Hune (Fundam. Informaticae, 1999)

Distributing Timed Model Checking - How the Search Order Matters. - Gerd Behrmann; Thomas Hune; Frits W. Vaandrager (CAV, 2000)

A Case Study on Using Automata in Control Synthesis. - Thomas Hune; Anders Sandholm 001 (FASE, 2000)

UPPAAL - Now, Next, and Future. - 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; et al. (MOVEP, 2000)

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. - Kim Guldstrand Larsen; Gerd Behrmann; Ed Brinksma; Ansgar Fehnker; Thomas Hune; Paul Pettersson; Judi Romijn (CAV, 2001)

Minimum-Cost Reachability for Priced Timed Automata. - Gerd Behrmann; Ansgar Fehnker; Thomas Hune; Kim Guldstrand Larsen; Paul Pettersson; Judi Romijn; Frits W. Vaandrager (HSCC, 2001)

Efficient Guiding Towards Cost-Optimality in UPPAAL. - Gerd Behrmann; Ansgar Fehnker; Thomas Hune; Kim G. Larsen; Paul Pettersson; Judi Romijn (TACAS, 2001)

Guided Synthesis of Control Programs Using UPPAAL. - Thomas Hune; Kim Guldstrand Larsen; Paul Pettersson (Nord. J. Comput., 2001)

Linear parametric model checking of timed automata. - Thomas Hune; Judi Romijn; Mariëlle Stoelinga; Frits W. Vaandrager (J. Log. Algebraic Methods Program., 2002)