Erik Ramsgaard Wognsen

I am a Ph.D. student under Kim G. Larsen and René R. Hansen in the Distributed and Embedded Systems group at the Department of Computer Science at Aalborg University.

Ph.D. Project


Battery-Aware Scheduling of Mixed Criticality Systems

Paper accepted for the ISoLA Symposium. Joint work with Kim G. Larsen and René R. Hansen.

Formalisation and analysis of Dalvik bytecode

Paper accepted to Science of Computer Programming. Joint work with Henrik S. Karlsen, Mads Chr. Olesen and René R. Hansen.

A Secure Relay Protocol for Door Access Control

Paper accepted for SBSeg'12. Joint work with Henrik S. Karlsen, Marcus Calverley, Mikkel Normann Follin, Bent Thomsen, and Hans Hüttel.

Master's Thesis

Static Analysis of Dalvik Bytecode and Reflection in Android

Master's thesis. Joint work with Henrik S. Karlsen.


I taught a mini-course on smartphone programming at the AAU Center for IS Management using App Inventor.

Contact Information

Department of Computer Science
Aalborg University
Selma Lagerlöfs Vej 300
DK-9220 Aalborg Ø

Office: 1.2.16
Office phone: (+45) 9940 7223

Email: my username at