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 | 32 | 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 | 32 | 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 | 28 | 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 | 14 | 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 | 9 | 2016 |
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 |
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 |
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 |
Discreet log contracts channels and integration in the lightning network TNI Kuwahara, T Le Guilly, T Nakagawa | 3 | 2020 |
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 |
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 Kondratjevs, and Nadezhda Kunicina M Albano, A Skou, LL Ferreira, T Le Guilly, PD Pedersen, TB Pedersen, ... IoT Automation, 247-282, 2017 | | 2017 |
ATTESTATION OF ACHIEVEMENT T Le Guilly Université Paris Diderot, 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 |
Validating Timed Component Contracts AP Ravn, P Olsen, A Skou, S Liu, T Le Guilly 2015 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015 | | 2015 |