METAMOC: Modular Execution Time Analysis using Model Checking. - Andreas Engelbredt Dalsgaard; Mads Chr. Olesen; Martin Toft; René Rydhof Hansen; Kim Guldstrand Larsen (WCET, 2010)

opaal: A Lattice Model Checker. - Andreas Engelbredt Dalsgaard; René Rydhof Hansen; Kenneth Yrke Jørgensen; Kim Guldstrand Larsen; Mads Chr. Olesen; Petur Olsen; Jirí Srba (NASA Formal Methods, 2011)

Multi-core Reachability for Timed Automata. - Andreas Engelbredt Dalsgaard; Alfons Laarman; Kim G. Larsen; Mads Chr. Olesen; Jaco van de Pol (FORMATS, 2012)

Private memory allocation analysis for safety-critical Java. - Andreas Engelbredt Dalsgaard; René Rydhof Hansen; Martin Schoeberl (JTRES, 2012)

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 (CAV, 2013)

Worst-case memory consumption analysis for SCJ. - Jeppe L. Andersen; Mikkel Todberg; Andreas Engelbredt Dalsgaard; René Rydhof Hansen (JTRES, 2013)

Certifiable Java for Embedded Systems. - Martin Schoeberl; Andreas Engelbredt Dalsgaard; René Rydhof Hansen; Stephan Erbs Korsholm; Anders P. Ravn; Juan Ricardo Rios Rivas; Tórur Biskopstø Strøm; Hans Søndergaard (JTRES, 2014)

Distributed Computation of Fixed Points on Dependency Graphs. - Andreas Engelbredt Dalsgaard; Søren Enevoldsen; Kim Guldstrand Larsen; Jirí Srba (SETTA, 2016)

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. - Andreas Engelbredt Dalsgaard; Søren Enevoldsen; Peter Fogh; Lasse S. Jensen; Tobias Skovgaard Jepsen; Isabella Kaufmann; Kim G. Larsen; Søren M. Nielsen; Mads Chr. Olesen; Samuel Pastva; Jirí Srba (Petri Nets, 2017)

Safety-critical Java for embedded systems. - Martin Schoeberl; Andreas Engelbredt Dalsgaard; René Rydhof Hansen; Stephan Erbs Korsholm; Anders P. Ravn; Juan Ricardo Rios Rivas; Tórur Biskopstø Strøm; Hans Søndergaard; Andy J. Wellings; Shuai Zhao 004 (Concurr. Comput. Pract. Exp., 2017)

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. - Andreas Engelbredt Dalsgaard; Søren Enevoldsen; Peter Fogh; Lasse S. Jensen; Peter Gjøl Jensen; Tobias Skovgaard Jepsen; Isabella Kaufmann; Kim G. Larsen; Søren M. Nielsen; Mads Chr. Olesen; Samuel Pastva; Jirí Srba (Fundam. Informaticae, 2018)