Paul Pettersson

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.1K citations

Educational Entertainment, Mashup (Music), Communication

UPPAAL—a Tool Suite for Automatic Verification of Real–Time Systems

Johan Bengtsson, Kim G. Larsen, Fredrik Larsson et al. · BRICS Report Series · 1996 · 191 citations · Full text

Engineering, Verification, Computer-aided Verification +20

Efficient verification of real-time systems: compact data structure and state-space reduction

Kim G. Larsen, Fredrik Larsson, Paul Pettersson et al. · 2002 · 180 citations

Engineering, Reachability Problem, Verification +21

Compositional and symbolic model-checking of real-time systems

Kim G. Larsen, Paul Pettersson, Wang Yi · 2002 · 162 citations

Engineering, Verification, Computer-aided Verification +18

Task automata: Schedulability, decidability and undecidability

Elena Fersman, Pavel Krčál, Paul Pettersson et al. · Information and Computation · 2007 · 160 citations

Logical Automaton, Task Automata, Engineering +7