Sign in
Petur Olsen
Publication Activity (10 Years)
Years Active: 2008-2017
Publications (10 Years): 6
Top Topics
Energy Efficient
Feature Interactions
Model Checking
Formal Analysis
Top Venues
EUROMICRO-SEAA
IECON
PerCom Workshops
ICSOFT (Selected Papers)
</>
Publications
</>
Mads Kronborg Agesen
,
Søren Enevoldsen
,
Thibaut Le Guilly
,
Anders Mariegaard
,
Petur Olsen
,
Arne Skou
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego.
Models, Algorithms, Logics and Tools
(2017)
Mads Kronborg Agesen
,
Kim Guldstrand Larsen
,
Marius Mikucionis
,
Marco Muñiz
,
Petur Olsen
,
Thomas Pedersen
,
Jirí Srba
,
Arne Skou
Toolchain for user-centered intelligent floor heating control.
IECON
(2016)
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
ENCOURAGEing results on ICT for energy efficient buildings.
ETFA
(2016)
Thibaut Le Guilly
,
Shaoying Liu
,
Petur Olsen
,
Anders P. Ravn
,
Arne Skou
Validating Timed Component Contracts.
EUROMICRO-SEAA
(2015)
Thibaut Le Guilly
,
Petur Olsen
,
Thomas Pedersen
,
Anders P. Ravn
,
Arne Skou
Model Checking Feature Interactions.
ICSOFT (Selected Papers)
(2015)
Jin Hyun Kim
,
Kim G. Larsen
,
Brian Nielsen
,
Marius Mikucionis
,
Petur Olsen
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools.
FMICS
(2015)
Peter H. Dalsgaard
,
Thibaut Le Guilly
,
Daniel Middelhede
,
Petur Olsen
,
Thomas Pedersen
,
Anders P. Ravn
,
Arne Skou
A Toolchain for Home Automation Controller Development.
EUROMICRO-SEAA
(2013)
Thibaut Le Guilly
,
Petur Olsen
,
Anders P. Ravn
,
Jesper Brix Rosenkilde
,
Arne Skou
HomePort: Middleware for heterogeneous home automation networks.
PerCom Workshops
(2013)
Fides Aarts
,
Faranak Heidarian
,
Harco Kuppens
,
Petur Olsen
,
Frits W. Vaandrager
Automata Learning through Counterexample Guided Abstraction Refinement.
FM
(2012)
Petur Olsen
,
Johan Foederer
,
Jan Tretmans
Model-Based Testing of Industrial Transformational Systems.
ICTSS
(2011)
Andreas Engelbredt Dalsgaard
,
René Rydhof Hansen
,
Kenneth Yrke Jørgensen
,
Kim Guldstrand Larsen
,
Mads Chr. Olesen
,
Petur Olsen
,
Jirí Srba
opaal: A Lattice Model Checker.
NASA Formal Methods
(2011)
Petur Olsen
,
Kim G. Larsen
,
Arne Skou
Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases.
Electron. Notes Theor. Comput. Sci.
264 (3) (2010)
Thomas Bøgholm
,
Henrik Kragh-Hansen
,
Petur Olsen
,
Bent Thomsen
,
Kim Guldstrand Larsen
Model-based schedulability analysis of safety critical hard real-time Java programs.
JTRES
(2008)