Paul Pettersson, Professor

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), and of the spin-off company UP4ALL International AB.