Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thibaut Le Guilly
@inproceedings{DBLP:conf/icbc2/GuillyKK22,
author = {Thibaut Le Guilly and
Nadav Kohen and
Ichiro Kuwahara},
title = {Bitcoin Oracle Contracts: Discreet Log Contracts in Practice},
booktitle = {{IEEE} International Conference on Blockchain and Cryptocurrency,
{ICBC} 2022, Shanghai, China, May 2-5, 2022},
pages = {1--8},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICBC54727.2022.9805512},
doi = {10.1109/ICBC54727.2022.9805512},
timestamp = {Mon, 04 Jul 2022 17:06:16 +0200},
biburl = {https://dblp.org/rec/conf/icbc2/GuillyKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AgesenEGMOS17,
author = {Mads Kronborg Agesen and
S{\o}ren Enevoldsen and
Thibaut Le Guilly and
Anders Mariegaard and
Petur Olsen and
Arne Skou},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Energy Consumption Forecast of Photo-Voltaic Comfort Cooling Using
{UPPAAL} Stratego},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {603--622},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_30},
doi = {10.1007/978-3-319-63121-9\_30},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AgesenEGMOS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrie/Guilly0PSKS16,
author = {Thibaut Le Guilly and
Michael Nielsen and
Thomas Pedersen and
Arne Skou and
Jesper Kjeldskov and
Mikael B. Skov},
title = {User constraints for reliable user-defined smart home scenarios},
journal = {J. Reliab. Intell. Environ.},
volume = {2},
number = {2},
pages = {75--91},
year = {2016},
url = {https://doi.org/10.1007/s40860-016-0020-z},
doi = {10.1007/S40860-016-0020-Z},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrie/Guilly0PSKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GuillySOMAFPPCM16,
author = {Thibaut Le Guilly and
Arne Skou and
Petur Olsen and
Per Printz Madsen and
Michele Albano and
Luis Lino Ferreira and
Lu{\'{\i}}s Miguel Pinho and
Keld Pedersen and
Miquel Casals and
Marcel Macarulla and
Marta Gangolells},
title = {ENCOURAGEing results on {ICT} for energy efficient buildings},
booktitle = {21st {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2016, Berlin, Germany, September 6-9, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ETFA.2016.7733715},
doi = {10.1109/ETFA.2016.7733715},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/GuillySOMAFPPCM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/p/GuillyORS16,
author = {Thibaut Le Guilly and
Petur Olsen and
Anders P. Ravn and
Arne Skou},
editor = {Luigia Petre and
Emil Sekerinski},
title = {Modeling and Analysis of Component Faults and Reliability},
booktitle = {From Action Systems to Distributed Systems - The Refinement Approach},
pages = {45--60},
publisher = {Chapman and Hall/CRC},
year = {2016},
url = {https://doi.org/10.1201/b20053-7},
doi = {10.1201/B20053-7},
timestamp = {Tue, 16 May 2017 14:01:47 +0200},
biburl = {https://dblp.org/rec/books/crc/p/GuillyORS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/GuillyLORS15,
author = {Thibaut Le Guilly and
Shaoying Liu and
Petur Olsen and
Anders P. Ravn and
Arne Skou},
title = {Validating Timed Component Contracts},
booktitle = {41st Euromicro Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2015, Madeira, Portugal, August 26-28, 2015},
pages = {245--249},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEAA.2015.62},
doi = {10.1109/SEAA.2015.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/GuillyLORS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/PedersenGRS15,
author = {Thomas Pedersen and
Thibaut Le Guilly and
Anders P. Ravn and
Arne Skou},
editor = {Pascal Lorenz and
Leszek A. Maciaszek},
title = {A Method for Model Checking Feature Interactions},
booktitle = {{ICSOFT-EA} 2015 - Proceedings of the 10th International Conference
on Software Engineering and Applications, Colmar, Alsace, France,
20-22 July, 2015},
pages = {219--228},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005516402190228},
doi = {10.5220/0005516402190228},
timestamp = {Thu, 14 Dec 2017 12:26:02 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/PedersenGRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GuillyOPRS15,
author = {Thibaut Le Guilly and
Petur Olsen and
Thomas Pedersen and
Anders P. Ravn and
Arne Skou},
editor = {Pascal Lorenz and
Jorge Cardoso and
Leszek A. Maciaszek and
Marten van Sinderen},
title = {Model Checking Feature Interactions},
booktitle = {Software Technologies - 10th International Joint Conference, {ICSOFT}
2015, Colmar, France, July 20-22, 2015, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {586},
pages = {307--325},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-30142-6\_17},
doi = {10.1007/978-3-319-30142-6\_17},
timestamp = {Tue, 21 Mar 2023 21:01:55 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/GuillyOPRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/GuillySPS15,
author = {Thibaut Le Guilly and
Jacob H. Smedeg{\aa}rd and
Thomas Pedersen and
Arne Skou},
title = {To Do and Not to Do: Constrained Scenarios for Safe Smart House},
booktitle = {2015 International Conference on Intelligent Environments, {IE} 2015,
Prague, Czech Republic, July 15-17, 2015},
pages = {17--24},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IE.2015.11},
doi = {10.1109/IE.2015.11},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/intenv/GuillySPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/FerreiraSPSCGASTP14,
author = {Luis Lino Ferreira and
Laurynas Siksnys and
Per Pedersen and
Petr Stluka and
Christos Chrysoulas and
Thibaut Le Guilly and
Michele Albano and
Arne Skou and
C{\'{e}}sar Teixeira and
Torben Bach Pedersen},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {Arrowhead compliant virtual market of energy},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005193},
doi = {10.1109/ETFA.2014.7005193},
timestamp = {Fri, 25 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/FerreiraSPSCGASTP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocon/AlbanoFGRFDFGCRLSSGPS13,
author = {Michele Albano and
Luis Lino Ferreira and
Thibaut Le Guilly and
Manuel Ramiro and
J. Eduardo Faria and
Lara Perez Duenas and
Rodrigo Ferreira and
Earl Gaylard and
David Jorquera Cubas and
Eammon Roarke and
Daniel Lux and
Sandra Scalari and
Susanne Majlund Sorensen and
Marta Gangolells and
Lu{\'{\i}}s Miguel Pinho and
Arne Skou},
title = {The {ENCOURAGE} {ICT} architecture for heterogeneous smart grids},
booktitle = {Proceedings of Eurocon 2013, International Conference on Computer
as a Tool, Zagreb, Croatia, July 1-4, 2013},
pages = {1383--1390},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/EUROCON.2013.6625159},
doi = {10.1109/EUROCON.2013.6625159},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/eurocon/AlbanoFGRFDFGCRLSSGPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/DalsgaardGMOPRS13,
author = {Peter H. Dalsgaard and
Thibaut Le Guilly and
Daniel Middelhede and
Petur Olsen and
Thomas Pedersen and
Anders P. Ravn and
Arne Skou},
editor = {Onur Demir{\"{o}}rs and
Oktay T{\"{u}}retken},
title = {A Toolchain for Home Automation Controller Development},
booktitle = {39th Euromicro Conference on Software Engineering and Advanced Applications,
{SEAA} 2013, Santander, Spain, September 4-6, 2013},
pages = {122--129},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SEAA.2013.36},
doi = {10.1109/SEAA.2013.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/DalsgaardGMOPRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/GuillyORRS13,
author = {Thibaut Le Guilly and
Petur Olsen and
Anders P. Ravn and
Jesper Brix Rosenkilde and
Arne Skou},
title = {HomePort: Middleware for heterogeneous home automation networks},
booktitle = {2013 {IEEE} International Conference on Pervasive Computing and Communications
Workshops, {PERCOM} 2013 Workshops, San Diego, CA, USA, March 18-22,
2013},
pages = {627--633},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/PerComW.2013.6529570},
doi = {10.1109/PERCOMW.2013.6529570},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/GuillyORRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
