What is CADP?
Home Page Tools Overview Current Status
Installation
How to obtain CADP? Usage Statistics Issues & Patches
Documentation
Tutorials Publications Manual Pages Demo Examples FAQ
CADP Newsletters
Nr. 1 - Dec. 1996 Nr. 2 - Jun. 1997 Nr. 3 - Sep. 1997 Nr. 4 - Jan. 1999 Nr. 5 - Jul. 2001 Nr. 6 - Apr. 2007
CADP Community
Forum Education & Training Case Studies Research Tools
CADP Resources
VLTS Benchmarks Other Resources
About CADP
Contributors

Current contributors at INRIA/VASY

• David Champelovier: BCG_GRAPH, BCG_STEADY, BCG_TRANSIENT, CAESAR.ADT, TRAIAN
• Jérôme Fereyre: CAESAR_NETWORK
• Hubert Garavel: BCG, CAESAR, CAESAR.ADT, OPEN/CAESAR, XTL, etc.
• Frédéric Lang: ALDEBARAN 7.0, BCG_GRAPH, EXP.OPEN 2.0, NTIF, PROJECTOR 2.0, REDUCTOR 5.0, SVL, TRAIAN
• Nathalie Lépy: Eclipse environment for CADP
• Radu Mateescu: BCG_DRAW, BCG_MERGE, BISIMULATOR, CAESAR.ADT, CAESAR_SOLVE, DISTRIBUTOR, EVALUATOR, XTL
• Gwen Salaün: Translators from FSP and CHP into LOTOS
• Wendelin Serwe: CAESAR, CAESAR.ADT, TGV
• Damien Thivolle: EVALUATOR 4.0

Former contributors:

• Laurent Aublet-Cuvelier (Université Joseph Fourier, 1993): ALBATOR
• Christian Bard (Université Joseph Fourier, 1988): first prototype of CAESAR.ADT
• Khalid Benabdelkhader (ENSIMAG, 1990-1991): first prototypes of BCG and XTL
• Damien Bergamini (INRIA/VASY, 2002-2005): BCG_INFO, BCG_MERGE 3.0, BCG_MIN, BISIMULATOR, CAESAR, CAESAR.BDD, DISTRIBUTOR 3.0
• Pascal Bouchon (ENSIMAG, 1987-1988): front-end of CAESAR and CAESAR.ADT
• Marius Bozga (VERIMAG, 1995-1999): versions 1-2 of EVALUATOR
• Alban Catry (Ecole Polytechnique, 2003): AAL
• Claude Chaudet (IIE-CNAM/VASY, 1999): TRAIAN
• Moez Cherif (INRIA/VASY, 1999-2000): OCIS, BCG_MIN
• Aurore Collomb (INRIA/VASY, 2002-2004): NTIF
• Adrian Curic (INRIA/VASY, 2000-2001): DISTRIBUTOR 2.0
• Nicolas Descoubes (INRIA/VASY, 2002-2004): BCG_MERGE 3.0, DISTRIBUTOR 3.0, PROJECTOR 2.0
• Christophe Discours (INRIA/VASY, 1998-1999): OPEN/CAESAR library, BCG_LABELS, SVL
• Xavier Etchevers (ENSIMAG, 1996): EXHIBITOR 2.0
• Jean-Claude Fernandez ALDEBARAN, EVALUATOR 1.0-2.0, TGV
• Jean-Michel Frume (ENSIMAG, 1996): EUCALYPTUS 2.0 user interface
• Juan Galvez (DEA, 1992-1993): CAESAR
• Marc Herbert (INRIA/VASY, 1999-2000): ALDEBARAN, SVL, TRAIAN, manual pages, Windows version of CADP
• Holger Hermanns (Saarland University / University of Twente, 1999-2005): BCG_MIN, BCG_STEADY, BCG_TRANSIENT, DETERMINATOR
• Bruno Hondelatte (ENSIMAG/VASY, 1998): OCIS
• Jean-Michel Houdoin (ENSIMAG, 1987-1988): front-end of CAESAR and CAESAR.ADT
• David Jacquemin (ENSIMAG/VASY, 1997) EXP2FC2 and adaptation of BCG_IO to the FC2 format
• Claude Jard (IRISA): TGV
• Thierry Jéron (IRISA, 1997-2000): TGV
• Mark Jorgensen (INRIA/VASY, 1997-1998): BRIDGE, CAESAR, EUCALYPTUS, INSTALLATOR, SVL, Vasy Web server
• Christophe Joubert (INRIA/VASY, 2001-2005): BCG_STEADY, BCG_TRANSIENT, CAESAR_SOLVE, DETERMINATOR 3.0, DISTRIBUTOR 3.0
• Alain Kerbrat (VERIMAG, 1991-1998): ALDEBARAN, MAGEL, TGV
• Pierre Kessler (ENSIMAG/VASY, 1998): OCIS
• Mats Kindahl (University of Uppsala, 1994): OPEN/CAESAR library
• Jean-Pierre Krimm: (VERIMAG, 1996-2000): DES2AUT, PROJECTOR
• Tarik Maaouni (ENSIMAG, 1990-1991): first prototype of BCG and XTL
• Stéphane Martin (INRIA/VASY, 2000-2001): quality assessment
• Aldo Mazzilli (CNAM/VASY, 1998-1999): Windows version of CADP, BCG_DRAW, BCG_EDIT, EUCALYPTUS
• Pierre Morel (IRISA, 1997-2000): TGV
• Laurent Mounier (VERIMAG, 1990-2002): ALDEBARAN, DES2AUT, EXP.OPEN 1.0, PROJECTOR 1.0, EVALUATOR 1.0-2.0
• Bruno Ondet (INRIA/VASY, 2001-2002): BCG_INFO, BCG_STEADY, BCG_TRANSIENT, PROJECTOR 2.0, SEQ.OPEN
• Gordon Pace (INRIA/VASY, 2001-2002): PROJECTOR 2.0
• Charles Pecheur (INRIA/VASY, 1997-1998): toolbox assessment and CAESAR
• Frédéric Perret (INRIA/VASY, 2000-2001): BCG_MIN, OCIS
• Renaud Ruffiot (CNAM, 1993-1994): BCG environment
• Guillaume Schaeffer (SUPELEC Metz, 2003): NTIF
• Christian Schneiter (Université Joseph Fourier, 1994): first prototype of EVALUATOR
• Mihaela Sighireanu (INRIA/VASY, 1994-1998): CAESAR.ADT, TRAIAN, EVALUATOR 3.0
• Séverine Simon (IRISA, 1999-2001): TGV
• Irina Smarandache (INRIA/VASY, 1999-2000): DISTRIBUTOR 1.0
• Gilles Stragier (INRIA/VASY, 2001-2002): DISTRIBUTOR 2.0
• Louis-Pascal Tock (ENSIMAG, 1995): BCG_EDIT
• Frédéric Tronel (INRIA/VASY, 2001-2003): BCG_GRAPH
• Philippe Turlier (CNAM, 1992): CAESAR.ADT
• Bruno Vivien (CNAM/VASY, 1997): CAESAR.INDENT, TRAIAN
• Patrick Wendel (ENSIMAG/VASY, 1997): INSTALLATOR

See also:

• Acknowlegements for CADP 97b "Liège"


• Ackowlegements for CADP 2001 "Ottawa"

---

Version 1.9 last updated on 11/11/24 14:44:47

---

Back to the VASY Home Page