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 | 100 | 2012 |
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 | 70 | 2008 |
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 | 56 | 2015 |
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 | 32 | 2013 |
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 | 23 | 2011 |
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 | 13 | 2013 |
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 | 12 | 2016 |
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 | 9 | 2016 |
Model based schedulability analysis of real-time systems T Bøgholm, H Kragh-Hansen, P Olsen Master's thesis, Aalborg University, 1-137, 2008 | 7 | 2008 |
Model-based testing of industrial transformational systems P Olsen, J Foederer, J Tretmans IFIP International Conference on Testing Software and Systems, 131-145, 2011 | 6 | 2011 |
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 | 5 | 2017 |
Project work P Olsen, K Pedersen P. Olsen, & K. Pedersen, Problem-Oriented Project work: A workbook, 63-75, 2008 | 5 | 2008 |
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 | 4 | 2016 |
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 | 3 | 2016 |
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 | 3 | 2010 |
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 | 2 | 2017 |
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 | 2 | 2009 |
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 |
Model Checking Feature Interactions T Le Guilly, P Olsen, T Pedersen, AP Ravn, A Skou Software Technologies: 10th International Joint Conference, ICSOFT 2015 …, 2016 | | 2016 |
Validating Timed Component Contracts T Le Guilly, S Liu, P Olsen, AP Ravn, A Skou 2015 41st Euromicro Conference on Software Engineering and Advanced …, 2015 | | 2015 |