Eric Madelaine


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


Habilitation diriger les Recherches (HDR)
Defense on Thursday sept. 29, 14:00 at INRIA Sophia-Antipolis
HDR manuscript

Diplomas and Positions:

  • 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

    Research, Oasis Team [2001-today]:

  • The OASIS Project-Team: (français) (english)
  • Curriculum Vitae and publications : en francais, in english,
  • Recent papers, presentations, software, students, and more :

    see the VERCORS pages:
    "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-today)
  • Journals: L'OBJET 2008, SCP, IET-Software
  • Program committees: FACS'06-'11, 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: FMCO'08, FACS'07
  • Collaborations and Projects

  • 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
  • Teaching:

  • Master RDS 2005 - today (Presentations, exercices, corrections)

  • 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
  • Deprecated, from the Meije Team [1983-1996]:

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

  • Other interests:

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