Thibaut Le Guilly

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 4

Top Topics

Feature Interactions

Energy Consumption

Ambient Assisted Living

Home Automation

Top Venues

J. Reliab. Intell. Environ.

PerCom Workshops

Publications

Thibaut Le Guilly, Nadav Kohen, Ichiro Kuwahara
Bitcoin Oracle Contracts: Discreet Log Contracts in Practice. ICBC (2022)
Mads Kronborg Agesen, Søren Enevoldsen, Thibaut Le Guilly, Anders Mariegaard, Petur Olsen, Arne Skou
Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego. Models, Algorithms, Logics and Tools (2017)
Thibaut Le Guilly, Michael Nielsen, Thomas Pedersen, Arne Skou, Jesper Kjeldskov, Mikael B. Skov
User constraints for reliable user-defined smart home scenarios. J. Reliab. Intell. Environ. 2 (2) (2016)
Thibaut Le Guilly, Arne Skou, Petur Olsen, Per Printz Madsen, Michele Albano, Luis Lino Ferreira, Luís Miguel Pinho, Keld Pedersen, Miquel Casals, Marcel Macarulla, Marta Gangolells
ENCOURAGEing results on ICT for energy efficient buildings. ETFA (2016)
Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou
A Method for Model Checking Feature Interactions. ICSOFT-EA (2015)
Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou
Validating Timed Component Contracts. EUROMICRO-SEAA (2015)
Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
Model Checking Feature Interactions. ICSOFT (Selected Papers) (2015)
Thibaut Le Guilly, Jacob H. Smedegård, Thomas Pedersen, Arne Skou
To Do and Not to Do: Constrained Scenarios for Safe Smart House. Intelligent Environments (2015)
Luis Lino Ferreira, Laurynas Siksnys, Per Pedersen, Petr Stluka, Christos Chrysoulas, Thibaut Le Guilly, Michele Albano, Arne Skou, César Teixeira, Torben Bach Pedersen
Arrowhead compliant virtual market of energy. ETFA (2014)
Peter H. Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou
A Toolchain for Home Automation Controller Development. EUROMICRO-SEAA (2013)
Michele Albano, Luis Lino Ferreira, Thibaut Le Guilly, Manuel Ramiro, J. Eduardo Faria, Lara Perez Duenas, Rodrigo Ferreira, Earl Gaylard, David Jorquera Cubas, Eammon Roarke, Daniel Lux, Sandra Scalari, Susanne Majlund Sorensen, Marta Gangolells, Luís Miguel Pinho, Arne Skou
The ENCOURAGE ICT architecture for heterogeneous smart grids. EUROCON (2013)
Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou
HomePort: Middleware for heterogeneous home automation networks. PerCom Workshops (2013)