Research Interests

My current research interests are centered around Interface Theories. This includes both Timed Interface Theories as implemented in the ECDAR tool and Modal Interface Theories extended with data as currently under implementation in the MIO Workbench.

In connection with the CRAFTERS project  I am also involved in using model checking techniques to do schedulability analysis.

EMSIG Autumn School 2015

Embedded Systems Special Interest Group is together with IDEA4CPS, Aalborg University and Technical University of Denmark organizing a five day Autumn School on Embedded Systems.

Link to EMSIG Autumn School 2015 webpage


Comments are closed.