Paul Pettersson
Mälardalen University(SE)
Publications by Year
Research Areas
Formal Methods in Verification, Real-Time Systems Scheduling, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Embedded Systems Design Techniques
Most-Cited Works
- → Uppaal in a nutshell(1997)2,137 cited
- → UPPAAL — a tool suite for automatic verification of real-time systems(1996)739 cited
- → Minimum-Cost Reachability for Priced Time Automata(2001)297 cited
- → Testing Real-Time Systems Using UPPAAL(2008)205 cited
- → TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems(2004)205 cited
- → Model-checking for real-time systems(1995)196 cited
- → UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems(1996)191 cited
- → Efficient verification of real-time systems: compact data structure and state-space reduction(2002)180 cited
- → Compositional and symbolic model-checking of real-time systems(2002)162 cited
- → Task automata: Schedulability, decidability and undecidability(2007)160 cited