| Arrowhead compliant virtual market of energy LL Ferreira, L Siksnys, P Pedersen, P Stluka, C Chrysoulas, T Le Guilly, ... Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014 | 33 | 2014 |
| 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 | 31 | 2013 |
| User constraints for reliable user-defined smart home scenarios T Le Guilly, MK Nielsen, T Pedersen, A Skou, J Kjeldskov, M Skov Journal of Reliable Intelligent Environments 2, 75-91, 2016 | 26 | 2016 |
| The ENCOURAGE ICT architecture for heterogeneous smart grids M Albano, L Ferreira, T Le Guilly, M Ramiro, JE Faria, LP Dueñas, ... Eurocon 2013, 1383-1390, 2013 | 21 | 2013 |
| To do and not to do: constrained scenarios for safe smart house T Le Guilly, JH Smedegård, T Pedersen, A Skou 2015 International Conference on Intelligent Environments, 17-24, 2015 | 15 | 2015 |
| A method for model checking feature interactions T Pedersen, T Le Guilly, AP Ravn, A Skou 2015 10th International Joint Conference on Software Technologies (ICSOFT) 1 …, 2015 | 13 | 2015 |
| 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 |
| 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 |
| Modeling and Analysis of Component Faults and Reliability T Le Guilly, P Olsen, AP Ravn, A Skou From Action Systems to Distributed Systems, 73-88, 2016 | 4 | 2016 |
| Bitcoin oracle contracts: Discreet log contracts in practice T Le Guilly, N Kohen, I Kuwahara 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-8, 2022 | 3 | 2022 |
| 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 |
| Android Application for Aalborg University A Arfe, P Deguy, L Guillot, TL Guilly, R Louge Project report, 2011 | 3 | 2011 |
| Discreet log contracts channels and integration in the lightning network TNI Kuwahara, T Le Guilly, T Nakagawa | 2 | 2020 |
| 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 |
| 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 | 1 | 2017 |
| 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 |
| 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 |
| D2. 3-ENCOURAGE platform reference architecture LL Ferreira, LM Pinho, M Albano, M Ramiro, E Faria, R Ferreira, ... | | 2012 |
| ENCOURAGE architecture: support for heterogeneous smart grids LL Ferreira, M Albano, T Le Guilly, M Ramiro, E Faria, LP Dueñas, ... ENERGYCON 2012 (IEEE International Energy Conference and Exhibition), 2012 | | 2012 |
Petur OlsenVerified email at cs.aau.dk
