Early developments of the CADP Toolbox


What is CADP?
Home Page Tools Overview Current Status Recent Changes
Installation
How to obtain CADP? Usage Statistics
Documentation
FAQ Tutorials Publications Manual Pages Demo Examples Wikipedia
CADP Community
Newsletters Education & Training Case Studies Research Tools
CADP Resources
VLSAT Benchmarks VLTS Benchmarks Other Resources
About CADP
Contributors

Contributors before 1997

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
Pascal Bouchon (ENSIMAG, 1987-1988): front-end of CAESAR and CAESAR.ADT
Marius Bozga (VERIMAG, 1995-1999): versions 1-2 of EVALUATOR
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): dead variable reduction on CAESAR networks
Hubert Garavel (1986-now): BCG, CAESAR, CAESAR.ADT, OPEN/CAESAR, XTL, etc.
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
Alain Kerbrat (VERIMAG, 1991-1998): ALDEBARAN, MAGEL, TGV
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
Radu Mateescu (1993-now): BCG_DRAW, BCG_MERGE, BISIMULATOR, CAESAR.ADT, CAESAR_SOLVE, DISTRIBUTOR, EVALUATOR, XTL
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
Charles Pecheur (INRIA/VASY, 1997-1998): toolbox assessment and CAESAR
Renaud Ruffiot (CNAM, 1993-1994): BCG environment
Christian Schneiter (Université Joseph Fourier, 1994): first prototype of EVALUATOR
Mihaela Sighireanu (INRIA/VASY, 1994-1998): CAESAR.ADT, TRAIAN, EVALUATOR 3.0
Louis-Pascal Tock (ENSIMAG, 1995): BCG_EDIT
Philippe Turlier (CNAM, 1992): CAESAR.ADT
Bruno Vivien (CNAM/VASY, 1997): CAESAR.INDENT, TRAIAN
Patrick Wendel (ENSIMAG/VASY, 1997): INSTALLATOR

Version 1.5 last updated on 2018/07/20 14:26:23

Back to the CADP Home Page