Petur Olsen
Selma Lagerlöfs Vej 300, 1.1.10
Department of Computer Science
Aalborg University
9220 Aalborg Øst, Denmark
Telephone: +45 9940 8920
petur <at-sign> cs.aau.dk
Publications:
Model Checking Feature Interactions (VBN)
Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders Peter Ravn, and Arne Joachim Skou
Software Technologies. Vol. 586 Springer, 2016. s. 307-325 (Communications in Computer and Information Science, Vol. 586).
Modeling and Analysis of Component Faults and Reliability (VBN)
Thibaut Le Guilly, Petur Olsen, Anders Peter Ravn, and Arne Joachim Skou
From Action Systems to Distributed Systems: The Refinement Approach. red. / Luigia Petre; Emil Sekerinski. Chapman & Hall, 2016. s. 45-60.
Validating Timed Component Contracts (VBN)
Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, and Arne Skou
Software Engineering and Advanced Applications (SEAA), 2015 41st Euromicro Conference on, Funchal, Madeira, 26-28 Aug. 2015
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools (VBN)
Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, and Petur Olsen
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015
HomePort: Middleware for heterogeneous home automation networks (VBN)
Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, and Arne Skou
Pervasive Computing and Communications Workshops (PERCOM Workshops), 2013 IEEE International Conference on, San Diego, CA, 18-22 March 2013
A Toolchain for Home Automation Controller Development (VBN)
Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, and Arne Skou
Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO Conference on, Santander, Spain, 4-6 September 2013
Automata Learning through Counterexample Guided Abstraction Refinement (VBN)
Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, and Frits Vaandrager
18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Model-Based Testing of Industrial Transformational Systems (VBN)
Petur Olsen, Johan Foederer, and Jan Tretmans
23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
opaal: A Lattice Model Checker (VBN)
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 (VBN)
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 (VBN)
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: