Volgen
Petur Olsen
Petur Olsen
Onbekend partnerschap
Geverifieerd e-mailadres voor cs.aau.dk
Titel
Geciteerd door
Geciteerd door
Jaar
Automata learning through counterexample guided abstraction refinement
F Aarts, F Heidarian, H Kuppens, P Olsen, F Vaandrager
FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012
952012
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
702008
Formal analysis and testing of real-time automotive systems using UPPAAL tools
JH Kim, KG Larsen, B Nielsen, M Mikučionis, P Olsen
Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015
562015
Formal analysis and testing of real-time automotive systems using UPPAAL tools
JH Kim, KG Larsen, B Nielsen, M Mikučionis, P Olsen
Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015
562015
Homeport: Middleware for heterogeneous home automation networks
T Le Guilly, P Olsen, AP Ravn, JB Rosenkilde, A Skou
2013 IEEE international conference on pervasive computing and communications …, 2013
322013
opaal: A lattice model checker
AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ...
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011
222011
A toolchain for home automation controller development
PH Dalsgaard, T Le Guilly, D Middelhede, P Olsen, T Pedersen, AP Ravn, ...
2013 39th Euromicro Conference on Software Engineering and Advanced …, 2013
132013
Toolchain for user-centered intelligent floor heating control
MK Agesen, KG Larsen, M Mikučionis, M Muniz, P Olsen, T Pedersen, ...
IECON 2016-42nd Annual Conference of the IEEE Industrial Electronics Society …, 2016
112016
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
102016
Model based schedulability analysis of real-time systems
T Bøgholm, H Kragh-Hansen, P Olsen
Master's thesis, Aalborg University, 1-137, 2008
72008
Model-based testing of industrial transformational systems
P Olsen, J Foederer, J Tretmans
IFIP International Conference on Testing Software and Systems, 131-145, 2011
62011
Project work
P Olsen, K Pedersen
P. Olsen, & K. Pedersen, Problem-Oriented Project work: A workbook, 63-75, 2008
52008
Modeling and Analysis of Component Faults and Reliability.
T Le Guilly, P Olsen, AP Ravn, A Skou, L Petre, E Sekerinski
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, A Skou, L Petre, E Sekerinski
From Action Systems to Distributed Systems, 45-60, 2016
42016
ENCOURAGEing results on ICT for energy efficient buildings
T Le Guilly, A Skou, P Olsen, PP Madsen, M Albano, LL Ferreira, ...
2016 IEEE 21st International Conference on Emerging Technologies and Factory …, 2016
32016
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
32010
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: Essays Dedicated to Kim Guldstrand …, 2017
22017
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
Application system design-energy optimisation
M Albano, A Skou, LL Ferreira, T Le Guilly, PD Pedersen, TB Pedersen, ...
IoT Automation: Arrowhead Framework, 211-246, 2017
12017
Application system design-energy optimisation
M Albano, A Skou, LL Ferreira, T Le Guilly, PD Pedersen, TB Pedersen, ...
IoT Automation: Arrowhead Framework, 211-246, 2017
12017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20