Eric Madelaine


INRIA, Centre Sophia Antipolis
2004 route des Lucioles
B.P. 93
F-06902 Sophia Antipolis, FRANCE

Student subject offers:

  • Decidability and implementation of SMT theories for the verification of CPS system models. Master internship subject, 2018
  • Compositional (symbolic) models for parametrized networks of synchronised processes with logical clocks. Master internship subject, 2018
  • Applying machine learning to the analysis and verification of CPS and IoT systems. PhD subject, 2018
  • Diplomas and Positions:

  • Jan. 2017: Join the Kairos Team, INRIA, Sophia Antipolis Méditerrannée.
  • Jan. 2015: Member of the Scale common team, INRIA-I3S
  • March 2011: Head of Oasis project Team, INRIA, Sophia Antipolis Méditerrannée.
  • 2001-2011: Senior Research Scientist, INRIA project-team Oasis, Sophia Antipolis
  • 1996-2000: Computer system deputy (Responsable des moyens informatiques), INRIA, Sophia Antipolis
  • 1992: NSF-INRIA exchange visit, 7 months, U. of North-Carolina (NCSU, Raleigh, USA)
  • 1983-1996: Research Scientist (Chargé de recherches), INRIA, MEIJE project-team, Sophia-Antipolis
  • 1983: PhD, University of Paris 7, advisors M. Nivat & M.C. Gaudel
  • 1981: DEA degree in Computer Science, University of Paris 7
  • 1980: Engineer degree from Ecole Polytechnique, Paris
  • Selected Bibliography

    Direct links:

    [J-17a] Rabéa Ameur-Boulifa, Ludovic Henrio, Oleksandra Kulankhina, Eric Madelaine, A. Savu:
    Behavioural semantics for asynchronous components. J. Log. Algebr. Meth. Program. 89: 1-40 (2017)

    [C-16] Ludovic Henrio, Eric Madelaine, and Min Zhang
    A Theory for the Composition of Concurrent Processes.
    In 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, LNCS-9688
    Conference version (local copy), Extended version (

    [J-15b] Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine, Eric Madelaine, Cristian Ruz, Noëmie Simoni:
    Management of service composition based on self-controlled components.
    J. Internet Services and Applications 6(1): 15:1-15:17 (2015)

    Research [2001-today]:

  • The Kairos Team [2017-today]: Kairos
  • The Aoste Project-Team [2016-2017]: Aoste
  • The Scale Project [2014-2016]: Scale
  • The OASIS Project-Team [2001-2013]: Oasis
  • Curriculum Vitae and publications : en francais, in english,
  • Software:

    see the web pages of the VERCORS platform:
    "VERification of models for distributed communicating COmponents, with Reliability and Security"

  • Committees

  • Steering Committees: Formal Aspects of Component Software (FACS,2006-today), Formal Methods for Components and Objects (FMCO,2007-2009)
  • Journals: SCP, JLAMP, IET-Software L'OBJET 2008,
  • Program committees: FACS'06-'18, Vecos'2018, TASE'17, FMCO'07-'11, ICPP'11, FESCA'09, PDMC'09, Euromicro-SEAA'09, SAVCBS'08, SeRA'08, QoSA'08, Provecs'07, SCCC'07, LDTA'05,
  • Chairs: TASE'17, FACS'14, FMCO'08, FACS'07
  • Collaborations and Projects

  • Int. Joint Lab. of Trustworthy Software, 2015-18, East China Normal University, Shanghai
  • OpenCloudWare, 2014-2016, FUI
  • DC4Cities, 2014-2016, FP7
  • Spinnaker, 2011-2014, OSEO
  • MCorePHP, 2010-2012, ANR Int. China
  • RESECO, 2006-2009, Stic-Amsud project
  • GridComp, 2006-2008, FP6 Strep
  • NESSI-Grid, 2006-2008, FP6 SSA
  • FIACRE, 2004-2008, ACI Securite
  • CoreGRID Network of excellence, 2004-2008
  • OSCAR, 2004-2006, Associated Team with Universitad de Chili
  • Modocop, ARC (Collaborative Research Action) 2002-2003
  • Lotosphere, FP2-Esprit2, 1989-92
  • Concur and Concur2, Esprit "Basic research actions", 1989-1991, 1992-1995
  • Software tools and prototypes

  • Autograph: the "best seller" transition system editor from the MEIJE team. Twelve years after the last time we managed to compile it, this is still working properly, on most Linux platforms. Get the binary, installation scripts, and documentation here: Autograph
  • The following tools from the Meije Team [1983-1996] are no longer maintained, nor available online. Contact us if you want some information:

  • Verification Tools, 2nd generation: Fc2Tools
  • Meije Verification Tools (Documentation, Distribution)
  • Lotos Tool Environment (Documentation, Distribution)
  • See also: Jonathan Bowen's Formal Methods Tools list

    Other interests:

  • Agos: S.I.S. Caving Group
  • SophiTaupes
  • CDS-06
  • FFS