Thomas Hune

According to our database1, Thomas Hune authored at least 9 papers between 1998 and 2001.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2001
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

2000
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

1999
Bisimulation and Open Maps for Timed Transition Systems.
Fundam. Inform., 1999

1998
Timed Bisimulation and Open Maps.
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998


  Loading...