default search action

combined dblp search
author search
venue search
publication search

ask others

Thibaut Le Guilly

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2016
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jrie/Guilly0PSKS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jrie/Guilly0PSKS16
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): 75-91 (2016)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icbc2/GuillyKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icbc2/GuillyKK22
Thibaut Le Guilly, Nadav Kohen, Ichiro Kuwahara:
Bitcoin Oracle Contracts: Discreet Log Contracts in Practice. ICBC 2022: 1-8
2017
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AgesenEGMOS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AgesenEGMOS17
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: 603-622
2016
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/GuillySOMAFPPCM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/GuillySOMAFPPCM16
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: 1-8
2015
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/GuillyLORS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/GuillyLORS15
Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou:
Validating Timed Component Contracts. EUROMICRO-SEAA 2015: 245-249
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/PedersenGRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/PedersenGRS15
Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou:
A Method for Model Checking Feature Interactions. ICSOFT-EA 2015: 219-228
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/GuillyOPRS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/GuillyOPRS15
Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou:
Model Checking Feature Interactions. ICSOFT (Selected Papers) 2015: 307-325
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/intenv/GuillySPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/intenv/GuillySPS15
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: 17-24
2014
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/FerreiraSPSCGASTP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/FerreiraSPSCGASTP14
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: 1-8
2013
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocon/AlbanoFGRFDFGCRLSSGPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocon/AlbanoFGRFDFGCRLSSGPS13
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: 1383-1390
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/DalsgaardGMOPRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/DalsgaardGMOPRS13
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: 122-129
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/percom/GuillyORRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/percom/GuillyORRS13
Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Brix Rosenkilde, Arne Skou:
HomePort: Middleware for heterogeneous home automation networks. PerCom Workshops 2013: 627-633

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2016
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/crc/p/GuillyORS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/crc/p/GuillyORS16
Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou:
Modeling and Analysis of Component Faults and Reliability. From Action Systems to Distributed Systems 2016: 45-60

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.