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.
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
