Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Paul Pettersson | Researchclopedia

Back to researchers

Paul Pettersson

Mälardalen University ORCID

205

Works

8,280

Citations

42

h-index

93

i10-index

Research Topics

Formal Methods in Verification Real-Time Systems Scheduling Software Testing and Debugging Techniques

Affiliations

Uppsala University1995–2008

Information Technology University2000–2001

University of Southern Denmark2008–2008

Association for Behavior Analysis International2024–2024

Swedish Institute1994–1994

Top Works

Uppaal in a nutshell

Kim G. Larsen,Paul Pettersson,et al.

19972,138 citations

Software Reliability and Analysis Research

Embedded Systems Design Techniques

UPPAAL — a tool suite for automatic verification of real-time systems

Johan Bengtsson,Kim G. Larsen,et al.

1996739 citations

Minimum-Cost Reachability for Priced Time Automata

Gerd Behrmann,Ansgar Fehnker,et al.

2001297 citations

Testing Real-Time Systems Using UPPAAL

Anders Hessel,Kim G. Larsen,et al.

2008205 citations

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems

Tobias Amnell,Elena Fersman,et al.

2004205 citations

Model-checking for real-time systems

Kim G. Larsen,Paul Pettersson,et al.

1995196 citations

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

Johan Bengtsson,Kim G. Larsen,et al.

1996191 citations

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

Kim G. Larsen,Fredrik Larsson,et al.

2002180 citations

Compositional and symbolic model-checking of real-time systems

Kim G. Larsen,Paul Pettersson,et al.

2002162 citations