# Thomas Hune

According to our database

Collaborative distances:

^{1}, Thomas Hune authored at least 9 papers between 1998 and 2001.Collaborative distances:

## 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