Gerd Behrmann
Nordic e-Infrastructure Collaboration(NO)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Advanced Data Storage Technologies, Model-Driven Software Engineering Techniques, Logic, programming, and type systems
Most-Cited Works
- → A Tutorial on Uppaal(2004)1,544 cited
- → Minimum-Cost Reachability for Priced Time Automata(2001)297 cited
- The Optimized Link State Routing Protocol: Evaluation through Experiments and Simulation(2001)
- → UPPAAL 4.0(2006)283 cited
- → UPPAAL-Tiga: Time for Playing Games!(2007)260 cited
- → Efficient Timed Reachability Analysis Using Clock Difference Diagrams(1999)159 cited
- → As Cheap as Possible: Effcient Cost-Optimal Reachability for Priced Timed Automata(2001)140 cited
- → Optimal scheduling using priced timed automata(2005)139 cited
- → Efficient Guiding Towards Cost-Optimality in UPPAAL(2001)138 cited
- → UppaaL Implementation Secrets(2002)125 cited