According to our database1, Thomas Hune authored at least 9 papers between 1998 and 2001.
Legend:Book In proceedings Article PhD thesis Other
Linear Parametric Model Checking of Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001
Minimum-Cost Reachability for Priced Timed Automata.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
UPPAAL - Now, Next, and Future.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000
Guided Synthesis of Control Programs Using UPPAAL.
Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000
A Case Study on Using Automata in Control Synthesis.
Proceedings of the Fundamental Approaches to Software Engineering, 2000
Distributing Timed Model Checking - How the Search Order Matters.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
Bisimulation and Open Maps for Timed Transition Systems.
Fundam. Inform., 1999
Timed Bisimulation and Open Maps.
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998