Petur Olsen

According to our database, Petur Olsen authored at least 14 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.

Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Toolchain for user-centered intelligent floor heating control.

Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou

Proceedings of the IECON 2016, 2016

ENCOURAGEing results on ICT for energy efficient buildings.

Thibaut Le Guilly, Arne Skou, Petur Olsen, Per Printz Madsen, Michele Albano, Luis Lino Ferreira, Luís Miguel Pinho, Keld Pedersen, Miquel Casals, Marcel Macarulla, Marta Gangolells

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Modeling and Analysis of Component Faults and Reliability.

Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Model Checking Feature Interactions.

Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.

Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

Validating Timed Component Contracts.

Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2013

HomePort: Middleware for heterogeneous home automation networks.

Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 2013

A Toolchain for Home Automation Controller Development.

Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

2012

Automata Learning through Counterexample Guided Abstraction Refinement.

Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager

Proceedings of the FM 2012: Formal Methods, 2012

2011

Model-Based Testing of Industrial Transformational Systems.

Petur Olsen, Johan Foederer, Jan Tretmans

Proceedings of the Testing Software and Systems, 2011

opaal: A Lattice Model Checker.

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

Proceedings of the NASA Formal Methods, 2011

2010

Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases.

Petur Olsen, Kim G. Larsen, Arne Skou

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

2008

Model-based schedulability analysis of safety critical hard real-time Java programs.

Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen

Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, 2008