Follow
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
1072010
Multi-core emptiness checking of timed Büchi automata using inclusion abstraction
A Laarman, MC Olesen, AE Dalsgaard, KG Larsen, J Pol
International Conference on Computer Aided Verification, 968-983, 2013
432013
Multi-core reachability for timed automata
AE Dalsgaard, A Laarman, KG Larsen, MC Olesen, J Pol
International Conference on Formal Modeling and Analysis of Timed Systems …, 2012
312012
Multi-core reachability for timed automata
AE Dalsgaard, A Laarman, KG Larsen, MC Olesen, J Pol
International Conference on Formal Modeling and Analysis of Timed Systems …, 2012
312012
opaal: A lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ...
NASA Formal Methods Symposium, 487-493, 2011
192011
opaal: A lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ...
NASA Formal Methods Symposium, 487-493, 2011
192011
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
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
142017
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
122018
Modular execution time analysis using model checking
AE Dalsgaard, MC Olesen, M Toft
Master’s thesis, Department of Computer Science, Aalborg University, Denmark, 2009
112009
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
102016
Incidence of infective endocarditis during the coronavirus disease 2019 pandemic: a nationwide study
E Havers-Borgersen, EL Fosbøl, JH Butt, JK Petersen, A Dalsgaard, ...
IJC Heart & Vasculature 31, 100675, 2020
82020
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
72017
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
72014
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
IJC Heart & Vasculature
E Havers-Borgersen, EL Fosbøl, JH Butt, JK Petersen, A Dalsgaard, ...
2020
P863 Impact of the duration of schizophrenia in patients without known cardiac disease on myocardial function assessed by echocardiography
J Sarajuddin, C Polcwiartek, B Tayal, K Kragholm, P Sogaard, ...
European Heart Journal 39 (suppl_1), ehy564. P863, 2018
2018
Verification of Safety Critical Systems using Program Analysis and Model Checking
AE Dalsgaard
2016
METAMOC: Modular Execution Time Analysis Using Model Checking
MC Olesen, AE Dalsgaard, M Toft, RR Hansen, KG Larsen
2010
The system can't perform the operation now. Try again later.
Articles 1–20