Paul Pettersson, Professor


Paul Pettersson is Vice-Chancellor (Rektor) and Professor of Real-Time Systems (specialised in modelling and verification) at Mälardalen University. He received a Ph.D. in Computer Systems from Uppsala University in 1999 for his thesis on theory and practice of modeling and verification of real-time systems. After a Post Doc period at Aalborg University in Denmark, he joined Department of Information Technology at Uppsala University as Senior Lecturer in 2000. He was appointed Associated Professor (Docent) in Computer Science at Uppsala University in 2006, and joined Mälardalen University later in 2006.

Professor Pettersson's current research interests include component-based design, and model-based verification techniques - in particular model-checking and model-based testing - for real-time and embedded systems. He is co-founders of the UPPAAL tool (model-checker for timed systems), and several related tools, including TIMES (schedulability analysis and code-generation of embedded systems), UPPAAL Port (partial order reduction verification of component-based embedded systems), and UPPAAL CoVer (model-based testing of timed systems). For more information, see this short Curriculum Vitae. 

[Show all publications]

[Google Scholar author page]

Latest publications:

AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)

Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool (Oct 2017)
Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm
The 28th International Symposium on Software Reliability Engineering (ISSRE) - IEEE (ISSRE 2017)

Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough (Apr 2017)
Andreas Johnsen, Gordana Dodig-Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson
2nd International Workshop on Decision Making in Software Architecture (MARCH)

A Comparative Study of Manual and Automated Testing for Industrial Control Software (Mar 2017)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson
International Conference on Software Testing, Verification and Validation (ICST 2017)

Using mutation to design tests for aspect-oriented models (Jan 2017)
Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F. Andler, Paul Pettersson
Information and Software Technology (IST)

An Industrial Study on Automated Test Generation and Manual Testing of IEC 61131-3 Software (Nov 2016)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson

PhD students supervised as main supervisor:

Aida Causevic (former)
Anders Hessel (former)
John Håkansson (former)
Kivanc Doganay
Leo Hatvani (former)
Stefan Björnander (former)

PhD students supervised as assistant supervisor:

Andreas Johnsen
AnneMarie Ericsson (former)
Birgitta Lindström (former)
Hang Yin (former)
Tobias Amnell (former)