Paul Pettersson, Professor
Paul Pettersson is Professor of Real-time systems at Mälardalen University, Sweden. He has a PhD in Computer Systems and has been appointed Docent in Computer Science at Uppsala University, Sweden. Professor Pettersson has co-authored over 100 scientific papers, articles, and book chapters in Computer Science. During his career, he has held various leadership positions in academia, including Vice-Chancellor (President) and Deputy Vice-Chancellor of Mälardalen University. He has also served on a number of boards of deeptech startup companies, science parks, and governmental authorities. Professor Pettersson received the Computer Aided Verification Award in 2013 "For developing UPPAAL which is the foremost tool suite for the automated analysis and verification of real-time systems.". Paul Pettersson is currently located in Palo Alto, CA.
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.
Confessions of an AI Brain (May 2023) Elena Fersman , Paul Pettersson, Athanasios Karapantelakis
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)
Anders Hessel (former)
John Håkansson (former)
Kivanc Doganay
Leo Hatvani (former)
Stefan Björnander (former)
Andreas Johnsen (former)
AnneMarie Ericsson (former)
Birgitta Lindström (former)
Hang Yin (former)
Tobias Amnell (former)