Kim G. Larsen
Oxford Instruments (United Kingdom)(GB)Centre National de la Recherche Scientifique(FR)Université Paris-Saclay(FR)Institut des Neurosciences Paris-Saclay(FR)Aalborg University(DK)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Model-Driven Software Engineering Techniques, Software Reliability and Analysis Research
Most-Cited Works
- → Uppaal in a nutshell(1997)2,137 cited
- → A Tutorial on Uppaal(2004)1,544 cited
- → UPPAAL — a tool suite for automatic verification of real-time systems(1996)739 cited
- → A modal process logic(2003)464 cited
- → Uppaal SMC tutorial(2015)456 cited
- → Specification and refinement of probabilistic processes(2002)341 cited
- → Minimum-Cost Reachability for Priced Time Automata(2001)297 cited