| 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 | 83 | 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 International Workshop on Formal Methods for Industrial Critical Systems, 47-61, 2015 | 52 | 2015 |
| 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 | 52 | 2015 |
| 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 | 31 | 2013 |
| opaal: A lattice model checker AE Dalsgaard, RR Hansen, KY Jørgensen, KG Larsen, MC Olesen, ... NASA Formal Methods Symposium, 487-493, 2011 | 21 | 2011 |
| 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 | 13 | 2013 |
| 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 | 10 | 2016 |
| Model-based schedulability analysis of real-time systems T Bøgholm, H Kragh-Hansen, P Olsen Master’s thesis, Aalborg University, 2008 | 8 | 2008 |
| 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 | 7 | 2016 |
| Model-based testing of industrial transformational systems P Olsen, J Foederer, J Tretmans IFIP International Conference on Testing Software and Systems, 131-145, 2011 | 5 | 2011 |
| 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 | 4 | 2016 |
| 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 | 4 | 2016 |
| 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 | 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, 603-622, 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 |
| 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 | 1* | 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 | 1 | 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 |
