• Model-checking of real-time systems
• Multiprocessor scheduling and analysis
• Real-time applications on multicore

• CoDeR-MP - Real-Time Applications on Multicore Platforms, Supported by SSF - the Swedish strategic research foundation (Coordinator, 5-year research program with ABB and SAAB, 2009-2014).
• UPMARC - Uppsala Programming for Multicore Architectures Research Center (PI, 10-year Linne-center grant from the Swedish Research Council).
• SAVE++ - Component Based Design of Safety Critical Vehicular Systems, National 5-year research program supported by Swedish strategic research foundation (site leader, co-applicant).
• CREDO - Modeling and analysis of evolutionary structures for distributed services, STREP project, IST-33826 supported by the EC (site leader, WP coordinator).
• ARTIST - Network of Excellence on Embedded Systems Design supported by EC (core member, Modelling and Validation).
• Modelling and Verification of Timed Systems, VR basic research project supported by Swedish Research Council (PI).

I am leading the UPPAAL group at Uppsala. Our research focus is on theories, techniques and tools for modelling, design and validation of embedded and real-time systems. We have developed these tools:

• UPPAAL a model checker for real-time systems (with Aalborg University).
• TIMES for schedulability analysis and code generation for embedded systems.
• CATS for compositional analysis of timed systems based on over-approximation.

Check what the others say about our work in the KoF evaluation report (12 MB) on page 368 .

For further information on my research, see my publications (on a separated page). I also try to maintain a small database to keep track of UPPAAL group's publications and papers we have read, and plan to read (group member only).