Current and Past Projects of the VASY Team

Version 1.65 - Date 11/12/01 17:42:15

Current Projects

International Working Groups

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