io-port 06109496 Dalsgaard, Andreas E.; Laarman, Alfons; Larsen, Kim G.; Olesen, Mads Chr.; van de Pol, Jaco

Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 91-106 (2012).

io-port 05930551 Dalsgaard, Andreas Engelbredt; Hansen, René Rydhof; Jørgensen, Kenneth Yrke; Larsen, Kim Gulstrand; Olesen, Mads Chr.; Olsen, Petur; Srba, Jiří

Bobaru, Mihaela (ed.) et al., NASA formal methods. Third international symposium, NFM 2011, Pasadena, CA, USA, April 18‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20397-8/pbk). Lecture Notes in Computer Science 6617, 487-493 (2011).

io-port 70771068 Dalsgaard, Andreas Engelbredt; Hansen, René Rydhof; Jørgensen, Kenneth Yrke; Larsen, Kim Guldstrand; Olesen, Mads Chr.; Olsen, Petur; Srba, Jirí

NASA Formal Methods, 487-493 (2011).

io-port 06087896 Dalsgaard, Andreas E.; Olesen, Mads Chr.; Toft, Martin; Hansen, René Rydhof; Larsen, Kim Guldstrand

Lipser, Björn (ed.), 10th international workshop on worst-case execution time analysis (WCET 2010). Selected papers based on the presentations at the workshop, July 6, 2010, Brussels, Belgium. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-21-7). OASIcs ‒ OpenAccess Series in Informatics 15, 113-123, electronic only (2010).

io-port 70923441 Dalsgaard, Andreas Engelbredt; Olesen, Mads Chr.; Toft, Martin; Hansen, René Rydhof; Larsen, Kim Guldstrand

WCET, 113-123 (2010).