Thomas Hune
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1998–2001
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | CAV | 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 |
| 2001 | TACAS | Efficient Guiding Towards Cost-Optimality in UPPAAL. | Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn |
| 2001 | TACAS | Linear Parametric Model Checking of Timed Automata. | Thomas Hune, Judi Romijn, Marille Stoelinga, Frits W. Vaandrager |
| 2000 | CAV | Distributing Timed Model Checking - How the Search Order Matters. | Gerd Behrmann, Thomas Hune, Frits W. Vaandrager |
| 2000 | FASE | A Case Study on Using Automata in Control Synthesis. | Thomas Hune, Anders Sandholm |
| 1998 | MFCS | Timed Bisimulation and Open Maps. | Thomas Hune, Mogens Nielsen |