Andreas E. Dalsgaard, PhD Student
I am a PhD student in the
Distributed and Embedded Systems group
Department of Computer Science at
Aalborg University in Aalborg, Denmark.
My supervisors are René Rydhof Hansen and
Kim Guldstrand Larsen,
and I am funded partially by the Certifiable Java for Embedded Systems(CJ4ES) project which is funded by the Danish Research Council for Technology and Production
Sciences and by the MBAT project.
Research Interests
- (Multi-core) Model checking (of abstractions/of timed systems/of programs)
- Program analysis using model checking
- Distributed systems
- Safety critical systems
Publications
My list of publications can be seen below, at VBN, at DBLP or at Google Scholar.
- Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction
- Alfons Laarman, Mads Chr. Olesen, Andreas Engelbredt Dalsgaard, Kim Guldstrand Larsen, Jaco van de Pol
In CAV, pages 968-983, 2013.
- Worst-case Memory Consumption Analysis for SCJ
- Jeppe L. Andersen, Mikkel Todberg, Andreas E. Dalsgaard, René Rydhof Hansen
In Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, pages 2--10, 2013, ACM.
- Private Memory Allocation Analysis for Safety-Critical Java
- Andreas E. Dalsgaard, René Rydhof Hansen, Martin Schoeberl
In Proceedings of the 10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), 2012, ACM.
- Multi-Core Reachability for timed automata
- A.E. Dalsgaard, A.W. Laarman, K.G. Larsen, M.C. Olesen, J.C. van de Pol
In FORMATS, 2012.
- opaal: A Lattice Model Checker
- A.E. Dalsgaard, R.R. Hansen, K. Jørgensen, K.G. Larsen, M.C. Olesen, P. Olsen, J. Srba, 2011
- METAMOC: Modular Execution Time Analysis Using Model Checking
- A.E. Dalsgaard, M.C. Olesen, M. Toft, R.R. Hansen, K.G. Larsen
In 10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010), pages 114-124, 2010.
- Modular Execution Time Analysis Using Model Checking (METAMOC)
- A.E. Dalsgaard, M.C. Olesen, M. Toft
Masters thesis, Aalborg University, 2009.
- WCET Analysis of ARM Processors using Real-Time Model Checking
- A.E. Dalsgaard, M.C. Olesen, M. Toft, R.R. Hansen, K.G. Larsen, 2009
Overview of doodles for the Basketball group at computer science at Aalborg University.