Thibaut Le Guilly

According to our database, Thibaut Le Guilly authored at least 13 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Bitcoin Oracle Contracts: Discreet Log Contracts in Practice.

Thibaut Le Guilly, Nadav Kohen, Ichiro Kuwahara

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

2017

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

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

User constraints for reliable user-defined smart home scenarios.

Thibaut Le Guilly, Michael Nielsen, Thomas Pedersen, Arne Skou, Jesper Kjeldskov, Mikael B. Skov

J. Reliab. Intell. Environ., 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

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Modeling and Analysis of Component Faults and Reliability.

Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

To Do and Not to Do: Constrained Scenarios for Safe Smart House.

Thibaut Le Guilly, Jacob H. Smedegård, Thomas Pedersen, Arne Skou

Proceedings of the 2015 International Conference on Intelligent Environments, 2015

A Method for Model Checking Feature Interactions.

Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou

Proceedings of the ICSOFT-EA 2015, 2015

Model Checking Feature Interactions.

Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou

Proceedings of the Software Technologies - 10th International Joint Conference, 2015

Validating Timed Component Contracts.

Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

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

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

HomePort: Middleware for heterogeneous home automation networks.

Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou

Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, 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

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

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, Susanne Majlund Sorensen, Marta Gangolells, Luís Miguel Pinho, Arne Skou

Proceedings of Eurocon 2013, 2013