Andreas E. Dalsgaard, PhD Student

Andreas E. Dalsgaard

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

Basketball

Overview of doodles for the Basketball group at computer science at Aalborg University.

Contact Information

Email: andrease cs.aau.dk

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

Office: 1.2.59
Phone: (+45) 2849 8082