Yves Ledru
LSR/IMAG,
681 rue de la Passerelle
BP 72
F-38402 Saint-Martin d'Hères Cedex
France
Phone: +33 4 76 82 72 14
Yves.Ledru@imag.fr
Perry Alexander
ITTC/ The University of Kansas
2291 Irving Hill Rd
Lawrence, KS 66044-7321
Phone: +1 785 864 7741
alex@ittc.ukans.edu
Pierre Flener
Department of Information Science
Uppsala University
Box 513
S-751 20 Uppsala
Sweden
Phone: + 46 18 471 1028
Pierre.Flener@dis.uu.se
Steve Easterbrook
Department of Computer Science,
University of Toronto,
6, King's College Road,
Toronto, Ontario M5S 3H5,
Canada.
Phone: +1 (416) 978 3610
sme@cs.toronto.edu
Renaud Marlet
INRIA/Trusted Logic
5 rue du bailliage
78000 Versailles
FRANCE
Phone: +33 1 30 97 25 08
Renaud.Marlet@trusted-logic.fr
John
Penix
Automated Software Engineering Group
NASA Ames Research Center, M/S 269-3
Moffett Field, CA 94035
Phone: +1 (650) 604-6576
jpenix@ptolemy.arc.nasa.gov
Virginie Wiels
ONERA-CERT/DTIM
2 avenue Edouard Belin,
BP 4025,
F-31055 Toulouse cedex 4,
France
Phone: +33 5 62 25 26 57
Virginie.Wiels@cert.fr
Pierre-Yves.Cunin
LSR/IMAG,
Equipe Adèle-Dassault
ACTIMART, bât 8
F-38610 GIERES
France
Phone: +33 4 76 63 34 65
Pierre-Yves.Cunin@imag.fr
Catherine Oriat
LSR/IMAG,
681 rue de la Passerelle
BP 72
F-38402 Saint-Martin d'Hères Cedex
France
Phone: +33 4 76 82 72 89
Catherine.Oriat@imag.fr
Gerald Gannod
Department of Computer Science and Engineering
Arizona State University
Box 875406
Tempe, AZ 85287-5406
Phone: +1 (480) 727 4475
gannod@asu.edu
Michael Goedicke
University of Essen
Specification of Softwaresystems
Fachbereich Mathematik und Informatik
Altendorferstr. 97 - 103 (Opti-Gebaeude)
D-45117 Essen
Germany
Phone: +49 (201) 81003 30/81003 10
goedicke@informatik.uni-essen.de