Publications

My research interests include Interface Theories, Model Checking, Compositional Verification, Software Verification and Model Based Schedulability Analysis.

• Full publication list  (Official university page: vbn.aau.dk)
• Publications on Google scholar 
• Publications on DBLP

Other pages on this site contains lists of publications sorted by topic:

• Model-bases Schedulability Analysis
• ARINC 653
• Timed Input/Output Automata (Ecdar)
• Model Predictive Control
• Randomized Methods
• Distributed Route Planning