Current and Past Projects of the VASY Team

Current Projects

• FMICS: ERCIM Working Group on Formal Methods for Industrial Critical Systems

• IFIP Working Group 1.8 on Concurrency Theory

Former Projects

• 1993-1996: Euro-Canadian Projects EUCALYPTUS-1 and EUCALYPTUS-2

• 1993-2001: ISO/IEC project on the standardization of E-LOTOS (Enhanced LOTOS)

• 1994-1997: Pan-European Action COST 247 on Verification and Validation Methods for Formal Descriptions

• 1995-1998: Dyade/Vasy action between Bull and INRIA

• 1998-1999: VERDON Working Group on Verification and Testing for Reactive Systems involving Data

• 1998-2001: Dyade/FormalFame action between Bull and INRIA

• 1999-2000: Reutel-2000 project between Alcatel and INRIA

• 2000-2001: Dyade/FormalCard action between Bull SmartCards and INRIA

• 2001-2003: The RNTL "Parfums" project between Scalagent, Silicomp, MGE-UPS, and INRIA

• 2001-2004: FormalFame project between Bull and INRIA

• 2002-2003: The ModoCop action initiated by the Scientific Direction of INRIA

• 2002-2005: IST "ArchWare" project (project No. IST-2001-3236)

• 2004-2007: FIACRE (ACI Sécurité & Informatique) between ENST, INRIA, and LAAS-CNRS

• 2004-2007: FormalFame Plus project between Bull and INRIA

• 2004-2007: SENVA joint research team between CWI and INRIA

• 2004-2008: System-on-Chip pilot research center between CEA/LETI and INRIA (More information...)

• 2006-2009: RNTL "OpenEmbedd" national project

• 2007-2010: EC-MOAN European project

• 2006-2011: AESE / TOPCASED project led by Airbus France

• 2006-2011: Minalogic/Multival project between Bull, CEA/LETI, INRIA, and ST Microelectronics

Back to the VASY Home Page