Hugues Evrard

See my up-to-date personal homepage at: http://hevrard.org

• Email: Hugues ~dot~ Evrard ~at~ inria.fr
• Address:

  Office D 104
  Inria Grenoble - Rhône-Alpes
  655, avenue de l'Europe
  Montbonnot Saint-Martin
  38334 SAINT-ISMIER CEDEX
  FRANCE

About

I am a young researcher in Computer Science, I focus on formal methods and concurrent systems.

I prepared my PhD within he CONVECS team (associated to Inria and LIG) from March 2012 to July 2015, under the direction of Frédéric Lang. From April 2016 to July 2016, I am back in CONVECS as an expert engineer to work mainly on improving network support for tools of CADP.

Thesis Overview

During my PhD, I worked on the generation of distributed implementation from formal models of concurrent systems. In a nutshell, I developed the DLC compiler that takes a formal specification of concurrent processes as an input, and produces several programs that can be distributed on distinct machines as an output.

Thesis manuscript: Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones (Automatic Distributed Code Generation from Formal Models of Concurrent Asynchronous Processes)

Publications

After the summer of 2016, this page may not be updated, please check http://hevrard.org.

• DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
  Hugues Evrard. Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2016 (Eindhoven, The Netherlands), April 2-8, 2016.
• Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes
  Hugues Evrard and Frédéric Lang. Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing PDP'2015 (Turku, Finland), March 4-6, 2015.
• Formal Verification of Distributed Branching Multiway Synchronization Protocols
  Hugues Evrard and Frédéric Lang. Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems 33rd FORTE / 15th FMOODS (Florence, Italy), June 3-6, 2013.