Logotype Mälardalen University

Staff

Paul Pettersson   
Paul Pettersson, Professor

E-mail:
Room:U3-085
Phone:+46-21-151741
Research group:Real-Time Systems Modelling and Analysis
Web:Official university homepage

Research    Publications    Projects    MSc theses    PhD students   

Research interests  [ Show full biography ]

The current research interests of Paul include component-based design, analysis, and verification techniques for embedded real-time systems. He is co-founder of the tools UPPAAL (model-checking of timed systems), TIMES (schedulability analysis of real-time systems), UPPAAL Port (component-based modelling and analysis of embedded systems), and UPPAAL CoVer (model-based testing of timed systems). For more information about my research, see my short Curriculum Vitae or my old web page at Uppsala University.

Current programme committees:

 

Latest publications [ Show all publications ]


Developing UPPAAL over 15 years, Gerd Berhmann (Aalborg University, Denmark), Alexandre David (Aalborg University, Denmark), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external), Workshop on Tool Building in Formal Methods, February, 2010

Real-Time Systems, Hans Hansson, Jan Carlson, Damir Isovic, Kristina Lundqvist, Thomas Nolte, Martin Ouimet (MIT), Paul Pettersson, Sasikumar Punnekkat, Cristina Seceleanu, Fraunhofer IESE, February, 2010

Tools forModel-Checking, Alexandre David (Aalborg University, Denmark), Gerd Berhmann (Aalborg University, Denmark), Peter Bulychev (external), Joakim Byg (external), Thomas Chatain (external), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Jacob Illum Rasmussen (external), Jiri Srba (external), Wang Yi (external), Kenneth Y. Joergensen (external), Didier Lime (external), Morgan Magnin (external), Olivier H. Roux (external), Louis-Marie Tranonouez (external), Formal Approaches for Communicating Embedded Systems, ISTE Publishing / John Wiley, ISBN: 978-1-8482-1143-8, Editor(s): Jard, Claude and Roux, Olivier (H.), December, 2009

 

Research projects

 

Supervised Ph D students

 


Supervised BSc and MSc theses

 
Research    Publications    Projects    MSc theses    PhD students   
  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.12.14