The ENCOURAGE ICT architecture for heterogeneous smart grids. - 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; et al. (EUROCON, 2013)

A Toolchain for Home Automation Controller Development. - Peter H. Dalsgaard; Thibaut Le Guilly; Daniel Middelhede; Petur Olsen; Thomas Pedersen; Anders P. Ravn; Arne Skou (EUROMICRO-SEAA, 2013)

HomePort: Middleware for heterogeneous home automation networks. - Thibaut Le Guilly; Petur Olsen; Anders P. Ravn; Jesper Brix Rosenkilde; Arne Skou (PerCom Workshops, 2013)

Arrowhead compliant virtual market of energy. - Luis Lino Ferreira; Laurynas Siksnys; Per Pedersen; Petr Stluka; Christos Chrysoulas; Thibaut Le Guilly; Michele Albano; Arne Skou; César Teixeira; Torben Bach Pedersen (ETFA, 2014)

Validating Timed Component Contracts. - Thibaut Le Guilly; Shaoying Liu; Petur Olsen; Anders P. Ravn; Arne Skou (EUROMICRO-SEAA, 2015)

Model Checking Feature Interactions. - Thibaut Le Guilly; Petur Olsen; Thomas Pedersen; Anders P. Ravn; Arne Skou (ICSOFT (Selected Papers), 2015)

A Method for Model Checking Feature Interactions. - Thomas Pedersen; Thibaut Le Guilly; Anders P. Ravn; Arne Skou (ICSOFT-EA, 2015)

To Do and Not to Do: Constrained Scenarios for Safe Smart House. - Thibaut Le Guilly; Jacob H. Smedegård; Thomas Pedersen; Arne Skou (Intelligent Environments, 2015)

Modeling and Analysis of Component Faults and Reliability. - Thibaut Le Guilly; Petur Olsen; Anders P. Ravn; Arne Skou (From Action Systems to Distributed Systems, 2016)

ENCOURAGEing results on ICT for energy efficient buildings. - 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 (ETFA, 2016)

User constraints for reliable user-defined smart home scenarios. - Thibaut Le Guilly; Michael Nielsen 003; Thomas Pedersen; Arne Skou; Jesper Kjeldskov; Mikael B. Skov (J. Reliab. Intell. Environ., 2016)

Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using UPPAAL Stratego. - Mads Kronborg Agesen; Søren Enevoldsen; Thibaut Le Guilly; Anders Mariegaard; Petur Olsen; Arne Skou (Models, Algorithms, Logics and Tools, 2017)

Bitcoin Oracle Contracts: Discreet Log Contracts in Practice. - Thibaut Le Guilly; Nadav Kohen; Ichiro Kuwahara (ICBC, 2022)