Seguir
Thibaut Le Guilly
Thibaut Le Guilly
Postdoctoral fellow, Aalborg University
Email confirmado em cs.aau.dk - Página inicial
Título
Citado por
Citado por
Ano
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
322014
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
322013
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
282016
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
142015
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
132015
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
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
92016
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
52017
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
42016
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
32022
Discreet log contracts channels and integration in the lightning network
TNI Kuwahara, T Le Guilly, T Nakagawa
32020
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
32016
Android Application for Aalborg University
A Arfe, P Deguy, L Guillot, TL Guilly, R Louge
Project report, 2011
32011
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
22017
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20