Eric Madelaine

Address:

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

Research, Oasis Team [2000-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 COmponants, with safety and Security"

    • Committees

  • Steering Committees: Formal Aspects of Component Software (FACS)
  • Program committees: L'OBJET 2008, SAVCBS'08, SeRA'08, QoSA'08, FACS'08, Provecs 2007 SCCC'07, FACS'07, FACS'06, LDTA'05,
  • Chairs: FMCO'08, FACS'07

    • Collaborations and Projects

  • RESECO, 2006-2009, a Stic-Amsud project
  • CoreGRID Network of excellence, 2004-2008
  • FIACRE, 2004-2008, ACI Securite
  • 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
    •