Andreas Engelbredt Dalsgaard
- 2012
-
Udgivet
Multi-core reachability for timed automata. / Dalsgaard, Andreas Engelbredt; Laarman, Alfons; Larsen, K.G.; Olesen, M.Chr.; Van De Pol, Jaco.
Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. red. / Marcin Jurdzinski; Dejan Nickovic. 2012. s. 91-106 (Lecture Notes in Computer Science, Vol. 7595).Publikation: Forskning - peer review › Konferenceartikel i proceeding
-
Udgivet
Private memory allocation analysis for safety-critical java. / Dalsgaard, Andreas Engelbredt; Hansen, Rene Rydhof; Schoeberl, Martin.
JTRES '12 Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, 2012. s. 9-17 (International Workshop of Java Technologies for Real-Time and Embedded Systems. Proceedings).Publikation: Forskning - peer review › Konferenceartikel i proceeding
- 2011
-
Udgivet
opaal: A Lattice Model Checker. / Dalsgaard, Andreas Engelbredt; Hansen, Rene Rydhof; Jørgensen, Kenneth Yrke; Larsen, Kim Guldstrand; Olesen, Mads Chr.; Olsen, Petur; Srba, Jiri.
I: Lecture Notes in Computer Science, Vol. 6617, 2011, s. 487-493.Publikation: Forskning - peer review › Konferenceartikel i tidsskrift
- 2010
-
Udgivet
METAMOC; Modular Execution Time Analysis using Model Checking. / Dalsgaard, Andreas Engelbredt; Olesen, Mads Chr.; Toft, Martin; Hansen, Rene Rydhof; Larsen, Kim Guldstrand.
Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010). 2010.Publikation: Forskning - peer review › Konferenceartikel i proceeding
- 2009
-
Udgivet
WCET Analysis of ARM Processors using Real-Time Model Checking. / Toft, Martin; Olesen, Mads Christian; Dalsgaard, Andreas; Larsen, Kim Guldstrand; Hansen, Rene Rydhof.
I: RWTH Aachen, Dept. of Computer Science, Nr. 14, 2009, s. 4-6.Publikation: Forskning - peer review › Konferenceartikel i tidsskrift