List of Contributors to the CADP Toolbox
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.6 last updated on 06/07/20 12:22:35
Back to the VASY Home Page