Eric Madelaine

Address:

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

News:

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)

  • Research, Meije [1983-1996]:

  • Verification Tools, 2nd generation: Autograph et 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