| 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 | 111 | 2010 |
| 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 | 47 | 2013 |
| 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 | 31 | 2012 |
| 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 | 31 | 2012 |
| 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 | 21 | 2011 |
| 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 | 21 | 2011 |
| 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 | 16 | 2020 |
| 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 | 15 | 2017 |
| 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 | 15 | 2013 |
| 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 | 15 | 2012 |
| 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 | 13 | 2018 |
| Distributed computation of fixed points on dependency graphs AE Dalsgaard, S Enevoldsen, KG Larsen, J Srba Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016 | 12 | 2016 |
| Modular execution time analysis using model checking AE Dalsgaard, MC Olesen, M Toft Master’s thesis, Department of Computer Science, Aalborg University, Denmark, 2009 | 11 | 2009 |
| 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 | 8 | 2017 |
| 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 | 8 | 2014 |
| 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 | 1 | 2009 |
| 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 |
