Andreas Engelbredt Dalsgaard
Andreas Engelbredt Dalsgaard
Unknown affiliation
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
Metamoc: Modular execution time analysis using model checking
AE Dalsgaard, MC Olesen, M Toft, RR Hansen, KG Larsen
10th international workshop on worst-case execution time analysis (WCET 2010), 2010
932010
Multi-core emptiness checking of timed Büchi automata using inclusion abstraction
A Laarman, MC Olesen, AE Dalsgaard, KG Larsen, J Van De Pol
International Conference on Computer Aided Verification, 968-983, 2013
352013
Multi-core reachability for timed automata
AE Dalsgaard, A Laarman, KG Larsen, MC Olesen, J Van De Pol
International Conference on Formal Modeling and Analysis of Timed Systems …, 2012
262012
Multi-core reachability for timed automata
AE Dalsgaard, A Laarman, KG Larsen, MC Olesen, J Van De Pol
International Conference on Formal Modeling and Analysis of Timed Systems …, 2012
262012
Private memory allocation analysis for safety-critical Java
AE Dalsgaard, RR Hansen, M Schoeberl
Proceedings of the 10th International Workshop on Java Technologies for Real …, 2012
162012
Worst-case memory consumption analysis for SCJ
JL Andersen, M Todberg, AE Dalsgaard, RR Hansen
Proceedings of the 11th International Workshop on Java Technologies for Real …, 2013
152013
opaal: A lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ...
NASA Formal Methods Symposium, 487-493, 2011
152011
opaal: A lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ...
NASA Formal Methods Symposium, 487-493, 2011
152011
Extended dependency graphs and efficient distributed fixed-point computation
AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, TS Jepsen, I Kaufmann, ...
International Conference on Application and Theory of Petri Nets and …, 2017
112017
Modular execution time analysis using model checking
AE Dalsgaard, MC Olesen, M Toft
Master’s thesis, Department of Computer Science, Aalborg University, Denmark, 2009
92009
Distributed computation of fixed points on dependency graphs
AE Dalsgaard, S Enevoldsen, KG Larsen, J Srba
International Symposium on Dependable Software Engineering: Theories, Tools …, 2016
82016
A distributed fixed-point algorithm for extended dependency graphs
AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, PG Jensen, TS Jepsen, ...
Fundamenta Informaticae 161 (4), 351-381, 2018
72018
Olesen, Petur Olsen, Jiří Srba, opaal: a lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, M Chr
Proceedings of the Third international conference on NASA Formal methods, 2011
72011
Certifiable Java for embedded systems
M Schoeberl, AE Dalsgaard, RR Hansen, SE Korsholm, AP Ravn, ...
Proceedings of the 12th International Workshop on Java Technologies for Real …, 2014
62014
Safety‐critical Java for embedded systems
M Schoeberl, AE Dalsgaard, RR Hansen, SE Korsholm, AP Ravn, ...
Concurrency and Computation: Practice and Experience 29 (22), e3963, 2017
52017
WCET Analysis of ARM Processors using Real-Time Model Checking
AE Dalsgaard, MC Olesen, M Toft, RR Hansen, KG Larsen
Doctoral Symposium on Systems Software Verification (DS SSV’09) Real …, 2009
12009
Verification of Safety Critical Systems using Program Analysis and Model Checking
AE Dalsgaard
2016
Opaal
AE Dalsgaard, RR Hansen, K Yrke, KG Larsen, MC Olesen, P Olsen, ...
Lecture Notes in Computer Science, 2011
2011
METAMOC: Modular Execution Time Analysis Using Model Checking
MC Olesen, AE Dalsgaard, M Toft, RR Hansen, KG Larsen
2010
METAMOC
AE Dalsgaard, MC Olesen, M Toft
2009
The system can't perform the operation now. Try again later.
Articles 1–20