The focus of our research is on theories, methods and tools for design, modelling and verification of real-time, concurrent and reactive systems. Current topics include:
Our main efforts have been on the development of UPPAAL - a model-checker for real-time systems, developed and maintained jointly with Aalborg University, Denmark, and TIMES - a tool box for (1) schedulability analysis of real-time systems and (2) generation of executable code from timed models, whose executions guarantee given timing constraints.
Currently we are aslo developing a tool for compositional analysis of timing and performance properties of systems with asynchronous communication and resource sharing. For further information, check CATS (a prototype tool for Compositional Analysis of Timed Systems).