Petur Olsen
Petur Olsen
Unknown affiliation
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
Automata learning through counterexample guided abstraction refinement
F Aarts, F Heidarian, H Kuppens, P Olsen, F Vaandrager
International Symposium on Formal Methods, 10-27, 2012
682012
Model-based schedulability analysis of safety critical hard real-time Java programs
T Bøgholm, H Kragh-Hansen, P Olsen, B Thomsen, KG Larsen
Proceedings of the 6th international workshop on Java technologies for real …, 2008
672008
Formal analysis and testing of real-time automotive systems using UPPAAL tools
JH Kim, KG Larsen, B Nielsen, M Mikučionis, P Olsen
International Workshop on Formal Methods for Industrial Critical Systems, 47-61, 2015
312015
Formal analysis and testing of real-time automotive systems using UPPAAL tools
JH Kim, KG Larsen, B Nielsen, M Mikučionis, P Olsen
International Workshop on Formal Methods for Industrial Critical Systems, 47-61, 2015
312015
HomePort: Middleware for heterogeneous home automation networks
T Le Guilly, P Olsen, AP Ravn, JB Rosenkilde, A Skou
Pervasive Computing and Communications Workshops (PERCOM Workshops), 2013 …, 2013
262013
opaal: A lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ...
NASA Formal Methods Symposium, 487-493, 2011
152011
A toolchain for home automation controller development
PH Dalsgaard, T Le Guilly, D Middelhede, P Olsen, T Pedersen, AP Ravn, ...
Software Engineering and Advanced Applications (SEAA), 2013 39th EUROMICRO …, 2013
122013
An energy flexibility framework on the internet of things
T Le Guilly, L Siksnys, M Albano, P Pedersen, P Stluka, L Lino Ferreira, ...
The Success of European Projects using New Information and Communication …, 2016
92016
Model-based schedulability analysis of real-time systems
T Bøgholm, H Kragh-Hansen, P Olsen
Master’s thesis, Aalborg University, 2008
72008
Modeling and Analysis of Component Faults and Reliability
T Le Guilly, P Olsen, AP Ravn, AJ Skou
From Action Systems To Distributed Systems, 45-60, 2016
42016
Modeling and Analysis of Component Faults and Reliability
T Le Guilly, P Olsen, AP Ravn, AJ Skou
From Action Systems To Distributed Systems, 45-60, 2016
42016
Model-based testing of industrial transformational systems
P Olsen, J Foederer, J Tretmans
IFIP International Conference on Testing Software and Systems, 131-145, 2011
42011
Toolchain for user-centered intelligent floor heating control
MK Agesen, KG Larsen, M Mikučionis, M Muniz, P Olsen, T Pedersen, ...
Industrial Electronics Society, IECON 2016-42nd Annual Conference of the …, 2016
22016
Present and absent sets: Abstraction for testing of reactive systems with databases
P Olsen, KG Larsen, A Skou
Electronic Notes in Theoretical Computer Science 264 (3), 53-68, 2010
22010
Present and absent sets: Abstraction for data intensive systems suited for testing
P Olsen, KG Larsen, M Mikucionis, A Skou
Doctoral Symposium on Systems Software Verification (DS SSV’09) Real …, 2009
22009
ENCOURAGEing results on ICT for energy efficient buildings
T Le Guilly, A Skou, P Olsen, PP Madsen, M Albano, LL Ferreira, ...
Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st …, 2016
12016
Application system design-energy optimisation Kondratjevs, and Nadezhda Kunicina
M Albano, A Skou, LL Ferreira, T Le Guilly, PD Pedersen, TB Pedersen, ...
IoT Automation, 247-282, 2017
2017
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego
MK Agesen, S Enevoldsen, T Le Guilly, A Mariegaard, P Olsen, A Skou
Models, Algorithms, Logics and Tools, 603-622, 2017
2017
Application system design–energy optimization
M Albano, R Castiñeira, C Desdouits, L Lino Ferreira, T Le Guilly, I Isasa, ...
IoT Automation: Arrowhead Framework, 217-252, 2017
2017
Modeling and Analysis of Component Faults and Reliability
A Skou, AP Ravn, P Olsen, T Le Guilly
From Action Systems to Distributed Systems, 69-84, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20