Thomas Hune
Danish National Research Foundation(DK)National Research Foundation(ZA)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Real-Time Systems Scheduling, Software Testing and Debugging Techniques, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Minimum-Cost Reachability for Priced Time Automata(2001)297 cited
- → Linear parametric model checking of timed automata(2002)173 cited
- → As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata(2001)140 cited
- → Efficient Guiding Towards Cost-Optimality in UPPAAL(2001)138 cited
- → Distributing Timed Model Checking — How the Search Order Matters(2000)83 cited
- → UPPAAL - Now, Next, and Future(2001)66 cited
- → Minimum-Cost Reachability for Priced Timed Automata(2001)65 cited
- Guided Synthesis of Control Programs Using UPPAAL(2000)