Thomas Hune

According to our database, Thomas Hune authored at least 10 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Linear Parametric Model Checking of Timed Automata.

Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Efficient Guiding Towards Cost-Optimality in UPPAAL.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Minimum-Cost Reachability for Priced Timed Automata.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

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

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

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, Wang Yi

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Guided Synthesis of Control Programs Using UPPAAL.

Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

A Case Study on Using Automata in Control Synthesis.

Thomas Hune, Anders Sandholm

Proceedings of the Fundamental Approaches to Software Engineering, 2000

Distributing Timed Model Checking - How the Search Order Matters.

Gerd Behrmann, Thomas Hune, Frits W. Vaandrager

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Bisimulation and Open Maps for Timed Transition Systems.

Mogens Nielsen, Thomas Hune

Fundam. Informaticae, 1999

1998

Timed Bisimulation and Open Maps.

Thomas Hune, Mogens Nielsen

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998