Professor Pettersson's current research interests include
component-based design, and model-based verification techniques 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.
