Concepedia

Paul Pettersson

PP

Statistics

Publications

59

Citations

4.8K

H-Index

30

Active since

1995

Affiliations

Uppsala University(Current)

Mälardalen University

Aalborg University

Aarhus University

Swedish Institute

Paul Pettersson is an author at Uppsala University specializing in computer science, computer engineering, and timed automata.

Publications per year

1995–2024

59

Publications

59

Uppaal in a nutshell

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

Dentistry, Health Promotion, Restitution +1

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

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

Computing, Computer Engineering, Computer Science +17

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

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

Computing, Computer Engineering, Computer Science +17

Compositional and symbolic model-checking of real-time systems

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

Computing, Computer Engineering, Computer Science +11

Task automata: Schedulability, decidability and undecidability

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

Computing, Computer Engineering, Computer Science +12

1–5 of 59