Thibaut Le Guilly

Postdoctoral Researcher Aalborg University

Department of Computer Science

About

I am a Postdoctoral Fellow in the Distributed and Embedded System (DES) group of the Department of Computer Science at Aalborg University, part of the Center for Embedded Software Systems (CISS) research center.
My research is focused on modeling and analysis of Cyber-Physical systems and their intergration to the Internet of Things, in particular in the domain of Smart Homes and Smart Grids, to ensure dependability properties. I am also involved in several European projects working on ICT infrastructure for energy management.

Publications

ENCOURAGEing Results on ICT for Energy Efficient Buildings

in Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation To appear
Thibaut Le Guilly, Arne Skou, Petur Olsen, Per P. Madsen, Michele Albano, Luis L. Ferreira, Luis M. Pinho, Keld Pedersen, Miquel Casals, Marcel Macarulla, Marta Gangollels

An Energy Flexibility Framework on the Internet of Things

in The Success of European Projects using New Information and Communication Technologies, Scitepress To appear
Thibaut Le Guilly, Laurynas Siksnys, Michele Albano, Per D. Pedersen, Petr Stluka, Luis L. Ferreira, Arne Skou, Torben B. Pedersen, Petur Olsen

User constraints for reliable user-defined smart home scenarios

in Journal of Reliable Intelligent Environments, Springer
Thibaut Le Guilly, Michael K. Nielsen, Thomas Pedersen, Arne Skou,Jesper Kjeldskov, Mikael Skov

Model Checking Feature Interactions

in Software Technologies, Communication in Computer and Information Science (CCIS), Revised Selected Papers of ICSOFT 2015
Thibaut Le Guilly, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou

Validating Timed Component Contracts

in Proceedings of the 41th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2015)
Thibaut Le Guilly, Shaoying Liu, Petur Olsen, Anders P. Ravn, Arne Skou

A Method for Model Checking Feature Interactions

in Proceedings of the 10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015)
Thomas Pedersen, Thibaut Le Guilly, Anders P. Ravn, Arne Skou

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

in Proceedings of the 11th International Conference on Intelligent Environments (IE'15)
Thibaut Le Guilly, Jacob Smedgård, Thomas Pedersen, Arne Skou

Modelling and Analysis of Component Faults and Reliability

in From Action System to Distributed Systems: The Refinement Approach
Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Arne Skou

Arrowhead Compliant Virtual Market of Energy

in Proceedings of the 19th International Conference on Emerging Technologies and Factory Automation (ETFA 2014)
Luis Lino Ferreira, Laurynas Siksnys, Per Pedersen, Petr Stluka, Christos Chrysoulas, Thibaut Le Guilly, Michele Albano, Arne Skou, César Teixeira, Torben Pedersen

A Toolchain for Home Automation Controller Development

in Proceedings of the 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2013)
Peter Dalsgaard, Thibaut Le Guilly, Daniel Middelhede, Petur Olsen, Thomas Pedersen, Anders P. Ravn, Arne Skou

HomePort: Middleware for Heterogeneous Home Automation Networks

in Proceedings of the 5th International Workshop on Smart Environments and Ambient Intelligence 2013 (SENAmI 2013)
Thibaut Le Guilly, Petur Olsen, Anders P. Ravn, Jesper Rosenkilde, Arne Skou

The ENCOURAGE ICT architecture for heterogeneous smart grids

in Proceedings of the IEEE EUROCON 2013
Albano, M. and Ferreira, L. and Le Guilly, T. and Ramiro, M. and Faria, J.E. and Perez Duenas, L. and Ferreira, R. and Gaylard, E. and Jorquera Cubas, D. and Roarke, E. and Lux, D. and Scalari, S. and Majlund Sorensen, S. and Gangolells, M. and Pinho, L.M. and Skou, A
"This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All people copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder."

Profile

Timeline

«
»

Work Experience

Postdoctoral researcher April 2016 - January 2017

Department of Computer Science, Aalborg University, Aalborg, Denmark
Full Time

Research in tools and techniques for dependability of Cyber Physical systems in the context of the Internet of Things.

Visiting Ph.D. fellow September 2014 - January 2015

Department of Computer Science, Hosei University, Tokyo, Japan
Full Time

Visiting the Software Engineering Laboratory for Dependable Systems of Professor Shaoying Liu to work on testing software systems.

Ph.D. fellow July 2012 - March 2016

Department of Computer Science, Aalborg University, Aalborg, Denmark
Full Time

Research in dependability of dynamic heterogeneous distributed systems. Takes part in European and Danish projects on Smart Grids (Encourage, TotalFlex, Intrepid, ArrowHead).

Research Assistant August 2011 - June 2012

Department of Computer Science, Aalborg University, Aalborg, Denmark
Full Time

Developer of the HomePort middleware. Collaboration with several danish companies to integrate different technologies and protocols into a unique home automation network. Involvement in the Encourage European project.

Embedded System Developer April 2010 - July 2010

Zyken, Paris, France
Trainee

Embedded system and real time software development under Windows CE. Improvement and implementation of new functionalities for the NightCove product.

Education

M.Sc. in Software System Engineering September 2010 - June 2011

Department of Computer Science, Aalborg University, Aalborg, Denmark
Specialization: Distributed systems

Master's degree in Engineering September 2006 - June 2011

Ecole Centrale d'Electronique, Paris, France
Specialization: Embedded Systems

Exchange Program September 2008 - December 2008

Concordia University, Montreal, Canada
Specialization: Digital Systems Design and Object Oriented Programming

Activities

Academic

Program Committee Member of CyberSciTech 2016 (Cyber Physical Computing and Systems track)

Program Committee Member of WoRIE 2016 (Workshop on the Reliability of Intelligent Environments)

Teaching

Spring 2015

Supervising one Software Engineering (6th semester) group project and one Embedded Software System (8th semester) group project.

Spring 2014

Supervising two Software Engineering (6th semester) group projects and co-supervising one Embedded Software System (8th semester) group project.

Fall 2013

Teaching Assistant in the Distributed Systems and Networks course.

Spring 2013

Supervising student developers working on the HomePort middleware and guest lecturer in Network and Embedded Systems course.

Fall 2012

Supervising two Computer Science (5th semester) group projects and Teaching Assistant in Distributed Systems and Networks course.

Projects

TotalFlex April 2012-December 2016

ForskEL
TotalFlex Logo

The TotalFlex project is a Danish project aiming at taking advantage of the energy flexibility provided by some devices and appliances in homes, buildings or factories, by developing a framework enabling flexibility estimation, aggregation and trading through a specific market place. My involvement in the project has been on the architectural design and implementation of the communication architecture enabling information exchange between distributed components. It was implemented using the HTTP over XMPP protocol for M2M communication and HTTP web interfaces for H2M communication. To ensure consistency of the interfaces I have developed a "REST" wrapper for the open source Smack library. Details on the TotalFlex framework are available here.

ArrowHead March 2013-February 2017

Artemis
ArrowHead Logo

The European Arrowhead project aims at enabling collaborative automation by providing a service oriented framework facilitating integration and interoperability between services of different domains. The energy flexibility market, and the system developed in TotalFlex is one of the pilot domain of the project. In this project, I have contributed to the integration of the TotalFlex system to the Arrowhead framework, and participated to the design, implementation and presentation of several real life demonstrators.

Encourage June 2011-May 2014

Artemis
Encourage Logo

The European Embedded iNtelligent COntrols for bUildings with Renewable generAtion and storaGE (ENCOURAGE) aimed at developing ICT solution for energy efficient buildings. I have contributed to the design and implementation of the open source middleware that enables the deployment of applications in Smart Buildings, such as energy optimization. The results of the project are presented here.

Ph.D. Schools

EMSIG Autumn School on Cyber Physical Systems November 9-13 2015

Copenhagen, Denmark

Nordic Spring School in Logic 2013 May 27-31 2013

Nordfjordeid, Norway

Quantitative Model Checking 2012 February 27-March 1 2012

Copenhagen, Denmark

Massively Open Online Courses

Software Security October 2016

University of Maryland - Professor Michael Hicks
Platform: Coursera - Certificate

Cryptography I August 2016

Stanford University - Professor Dan Boneh
Platform: Coursera

Introduction to Functional Programming in OCaml January 2016

Université Paris Diderot - Professors Roberto Di Cosmo, Ralf Treinen and Associate Professor Yann Régis-Gianas
Platform: France Université Numérique - Attestation

Machine Learning November 2015

Stanford University - Professor Andrew Ng
Platform: Coursera - Certificate

Evolutionary Stochastic Optimization June 2015

Université de Strasbourg - Professor Pierre Collet
Platform: France Université Numérique - Attestation - Original title: "Optimisation Stochastique Évolutionnaire"

Introduction to statistics with R May 2015

Université Paris Sud - Professor Bruno Falissard
Platform: France Université Numérique - Attestation - Original title: "Introduction à la statistique avec R"

Conferences

SEAA 15 August 26-28 2015

Funchal, Portugal
Presenting the paper "Validating Timed Component Contracts"

ICSOFT-EA 15 July 20-22 2015

Colmar, France
Presenting the paper "A Method for Model Checking Feature Interactions"

IE'15 July 15-17 2015

Prague, Czech
Presenting the paper "To Do and Not To Do: Constrained Scenarios for Safe Smart House"

Journée Francophone de la Recherche (JFR) 2014 November 21 2014

Tokyo, Japan
Presenting a poster on my ongoing research

SEAA 2014 August 27-29 2014

Verona, Italy
Presenting a work in progress paper

SEAA 2013 September 4-6 2013

Santander, Spain
Presenting the paper "A Toolchain for Home Automation Controller Development" in the Model-Based Development, Components and Services (MOCS) track.

Percom 2013 March 18-22 2013

San Diego, USA
Presenting the paper "HomePort: Middleware for Heterogeneous Home Automation Networks" at the SENAmI workshop.

ICTSS 2012 November 19-21 2012

Aalborg, Denmark
Attendee