Accueil

Researcher in the Mosel Research Group – Loria

Scientific Leader of  GDR CNRS GPL (Génie de la Programmation et du Logiciel)

Research

Teaching

Activities

Events

  • WRLA 2018 (PC): 12th International Workshop on Rewriting Logic and its Applications
  • GDR GPL 2018 : Journées du GDR-GPL (Génie de la Programmation et du Logiciel)
  • GDR GPL 2017 : Journées du GDR-GPL (Génie de la Programmation et du Logiciel)
  • GDR GPL 2016 : Journées du GDR-GPL (Génie de la Programmation et du Logiciel)
  • SLE 2016 (PC): 9th International Conference on Software Language Engineering
  • WRLA 2016 (PC): 11th International Workshop on Rewriting Logic and its Applications
  • EJCP 2015 (OC-chair) : École des Jeunes Chercheurs en Programmation
  • Past Events
    [PC: Program Committee member, OC: Organisation Committee member]

Publications

PhD committees

  • Dan Zhang, Eindhoven, 2018
    From Concurrent State Machines to Reliable Multi-threaded Java Code
  • Thi-Kim-Dung Pham, reviewer, Paris, 2017
    Development of Correct-by-Construction Software using Product Lines
  • Vivien Pelletier, Orléans, 2017
    Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité
  • Duy Duc Nguyen, president, Besançon, 2017
    Modélisation d’une matrice de micro-mirroirs et contribution au développement d’un simulateur de matrices de micro-systèmes
  • Geoffrey Hetch, president, Lille, 2016
    Détection et analyse de l’impact des défauts de code dans les applications mobiles
  • Luc André, president, Nancy, 2016
    Préservation des intentions et maintien de la cohérence des données répliquées en temps réel
  • Past Committees