Thibaut Le Guilly
Thibaut Le Guilly
Postdoctoral fellow, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
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
292013
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
282014
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 (2), 75-91, 2016
222016
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
212013
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
162015
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
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
112015
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
82016
Modeling and Analysis of Component Faults and Reliability
T Le Guilly, P Olsen, AP Ravn, AJ Skou
From Action Systems to Distributed Systems: The Refinement Approach, 45-60, 2016
42016
Android Application for Aalborg University
A Arfe, P Deguy, L Guillot, TL Guilly, R Louge
Project report, 2011
32011
Embedded intelligent controls for buildings with renewable generation and storage
A Skou
September, 2010
32010
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
22016
Application system design-energy optimisation
M Albano, R Castiñeira, C Desdouits, L Lino Ferreira, T Le Guilly, I Isasa, ...
IoT Automation: Arrowhead Framework, 217-252, 2017
2017
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
2017
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
Model Checking Feature Interactions
T Le Guilly, P Olsen, T Pedersen, AP Ravn, A Skou
ICSOFT, 307-325, 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
CyberSciTech 2016 Program Committee
SA Chun, TP Hong, J Hua, Y Kakuda, P Karampelas, N Laranjeiro, S Lee, ...
2015 International Conference on Intelligent Environments
KP Engelbrecht, S Schmiedeke, M Quade, S Möller, J Shin, D Itten, ...
The system can't perform the operation now. Try again later.
Articles 1–20