Eric Madelaine

Address:

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

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

    Research [2001-today]:

  • The Kairos Team [2017-today]: Kairos
  • The Aoste 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 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-2009)
  • 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
  • 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