Petur Olsen
Selma Lagerlöfs Vej 300, 1.1.50
Department of Computer Science
Aalborg University
9220 Aalborg Øst, Denmark
petur <at-sign> cs.aau.dk
Publications:
opaal: A Lattice Model Checker
Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen and Jirí Srba
NASA Formal Methods 2011, Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases
Petur Olsen, Kim G. Larsen, and Arne Skou
In Proceedings MBT 2010, 6th International Workshop on Model-Based Testing, Paphos, Cyprus, March 21, 2010
Present and Absent Sets: Abstraction for Data Intensive Systems Suited for Testing (Extended Abstract)
Petur Olsen, Kim G. Larsen, Marius Mikučionis, and Arne Skou
Aachener Informatik Berichte, Doctoral Symposium on Systems Software Verification (DS SSV'09), Aachen, Germany, June 22 - 24, 2009
Model-Based Schedulability Analysis of Safety Critical Hard Real-Time Java Programs
Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, and Kim G. Larsen
In Proceedings JTRES 2009, 6th International Workshop on Java Technologies for Real-Time and Embedded Systems, Santa Clara, California, September 23 - 25, 2008
Model-Based Schedulability Analysis of Real-Time Systems (Master Thesis)
Thomas Bøgholm, Henrik Kragh-Hansen, and Petur Olsen
Teaching: