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 (JTRES, 2008)

Present and Absent Sets: Abstraction for Testing of Reactive Systems with Databases. - Petur Olsen; Kim G. Larsen; Arne Skou (MBT@ETAPS, 2010)

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 (NASA Formal Methods, 2011)

Model-Based Testing of Industrial Transformational Systems. - Petur Olsen; Johan Foederer; Jan Tretmans (ICTSS, 2011)

Automata Learning through Counterexample Guided Abstraction Refinement. - Fides Aarts; Faranak Heidarian; Harco Kuppens; Petur Olsen; Frits W. Vaandrager (FM, 2012)

A Toolchain for Home Automation Controller Development. - Peter H. Dalsgaard; Thibaut Le Guilly; Daniel Middelhede; Petur Olsen; Thomas Pedersen; Anders P. Ravn; Arne Skou (EUROMICRO-SEAA, 2013)

HomePort: Middleware for heterogeneous home automation networks. - Thibaut Le Guilly; Petur Olsen; Anders P. Ravn; Jesper Brix Rosenkilde; Arne Skou (PerCom Workshops, 2013)

Validating Timed Component Contracts. - Thibaut Le Guilly; Shaoying Liu; Petur Olsen; Anders P. Ravn; Arne Skou (EUROMICRO-SEAA, 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 (FMICS, 2015)

Model Checking Feature Interactions. - Thibaut Le Guilly; Petur Olsen; Thomas Pedersen; Anders P. Ravn; Arne Skou (ICSOFT (Selected Papers), 2015)

Modeling and Analysis of Component Faults and Reliability. - Thibaut Le Guilly; Petur Olsen; Anders P. Ravn; Arne Skou (From Action Systems to Distributed Systems, 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 (ETFA, 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 (IECON, 2016)

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 (Models, Algorithms, Logics and Tools, 2017)