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
Comments are closed.