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 06088659 Cassez, Franck; Hansen, René Rydhof; Olesen, Mads Chr.

Vardanega, Tullio (ed.), 12th international workshop on worst-case execution time analysis, WCET’12, July 10, 2012, Pisa, Italy. Proceedings. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-41-5). OASIcs ‒ OpenAccess Series in Informatics 23, 1-12, electronic only (2012).

io-port 06088655 Brauer, Jörg; Hansen, René Rydhof; Kowalewski, Stefan; Larsen, Kim G.; Olesen, Mads Chr.

Brauer, Jörg (ed.) et al., 6th international workshop on systems software verification, SSV’11, August 26, 2011, Nijmegen, The Netherlands. Papers based on the presentations at the workshop. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-36-1). OASIcs ‒ OpenAccess Series in Informatics 24, 32-43, electronic only (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 50005847 Olesen, Mads Chr.; Hansen, René Rydhof; Lawall, Julia L.; Palix, Nicolas

ECEASST 33 (2010).

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

WCET, 113-123 (2010).

io-port 05459391 Møller, Anders; Olesen, Mads østerby; Schwartzbach, Michael I.

ACM Trans. Program. Lang. Syst. 29, No. 4 (2007).

io-port 50198647 Gauffriau, Marianne; Larsen, Peder Olesen; Maye, Isabelle; Roulin-Perriard, Anne; Von Ins, Markus

Scientometrics 73, No. 2, 175-214 (2007).

io-port 50352276 Rasmussen, Steen; Baas, Nils A.; Mayer, Bernd; Nilsson, Martin; Olesen, Michael W.

Artificial Life 7, No. 4, 329-353 (2001).

io-port 01329882 Rasmussen, S.; Baas, N.A.; Barrett, C.L.; Olesen, M.W.

Schweitzer, Frank (ed.), Self-organization of complex structures. From individual to collective dynamics. Foreword by Hermann Haken. Reading: Gordon and Breach. 83-89 (1997).

io-port 70850698 Olesen, Morten

EUROSPEECH (1993).