Volgen
Andreas Engelbredt Dalsgaard
Andreas Engelbredt Dalsgaard
Onbekend partnerschap
Geverifieerd e-mailadres voor cs.aau.dk
Titel
Geciteerd door
Geciteerd door
Jaar
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
1132010
Multi-core emptiness checking of timed Büchi automata using inclusion abstraction
A Laarman, MC Olesen, AE Dalsgaard, KG Larsen, J Van De Pol
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
522013
Multi-core reachability for timed automata
AE Dalsgaard, A Laarman, KG Larsen, MC Olesen, J Van De Pol
Formal Modeling and Analysis of Timed Systems: 10th International Conference …, 2012
312012
Multi-core reachability for timed automata
AE Dalsgaard, A Laarman, KG Larsen, MC Olesen, J Van De Pol
Formal Modeling and Analysis of Timed Systems: 10th International Conference …, 2012
312012
opaal: A lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ...
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011
222011
opaal: A lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ...
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011
222011
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
202020
Extended dependency graphs and efficient distributed fixed-point computation
AE Dalsgaard, S Enevoldsen, P Fogh, LS Jensen, TS Jepsen, I Kaufmann, ...
Application and Theory of Petri Nets and Concurrency: 38th International …, 2017
172017
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
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
152012
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
132018
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
132016
Modular execution time analysis using model checking
AE Dalsgaard, MC Olesen, M Toft
Master's thesis, Dpt. of Comp. Sc., Aalborg Univ., Denmark, 2009
112009
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
82017
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20