FB 3 | ||||||
Group BKB > Research > Formal Methods > Completed Projects > PROSPECTRA > | ||||||
The PROSPECTRA Consortium |
||||||
Universität Bremen (Prime Contractor)Professor Bernd Krieg-Brückner(Project Director) FB3 Mathematik und Informatik Universität Bremen Postfach 330 440 D- 2800 Bremen 33 Universität DortmundProfessor Harald GanzingerLehrstuhl für Informatik V Universität Dortmund Postfach 500 500 D- 4600 Dortmund 50 [now at Max-Planck-Institut für Informatik, Saarbrücken] Universität PassauProfessor Manfred BroyLehrstuhl für Informatik Universität Passau Postfach 2540 D- 8390 Passau [now at Technische Universität München] Universität des SaarlandesProfessor Reinhard WilhelmFB14 - Informatik Universität des Saarlandes Postfach D- 6600 Saarbrücken 11 University of StrathclydeProfessor Andrew D. McGettrickComputer Science Department University of Strathclyde Livingstone Tower, 26 Richmond St. UK- Glasgow G1 1XH Syseca LogicielDr. Emmanuel FermautSyseca Logiciel 315 Bureaux de la Colline F- 92213 St Cloud Cedex Computer Resources InternationalEinar W. KarlsenCASE Division Computer Resources International A/S (Dansk Datamatik Center) Bregenerødvej 144 DK- 3460 Birkerød [now at Universität Bremen] Alcatel Standard Eléctrica SAAngel Perez RiescoResearch Center Alcatel Standard Eléctrica, S. A. Ramirez de Prado, 5 E- 28045 Madrid Universitat Politécnica de Catalunya (Subcontractor)Professor Fernando OrejasDepartamento de Lenguajes y Systemas Informáticas Universitat Politécnica de Catalunya Pau Gargallo 5 E- 08028 Barcelona The PROSPECTRA TeamsUniversität BremenProf. Bernd Krieg-Brückner, Dr. Berthold Hoffmann, Bernd Gersdorf,Frank Drewes, Yulin Feng, Jörn von Holten, Stefan Kahrs, Wei Li, Junbo Liu, Detlef Plump, Zhenyu Qian, Richard Seifert, Elisabeth Swart Universität DortmundProf. Harald Ganzinger, Hubert Bertling,Dr. Michael Hanus, Renate Schäfers Universität PassauProf. Manfred Broy, Thomas Grünler, Dr. Friederike Nickl,Michael Breu, Frank Dederichs, Rainer Weber Universität des SaarlandesProf. Reinhard Wilhelm, Reinhold Heckmann, Dr. Ulrich Möncke,Martin Alt, Andreas Fecht, Christian Ferdinand, Andreas Hense, Peter Lipps, Stefan Pistorius, Georg Sander, Beatrix Weisgerber University of StrathclydeProf. Andrew D. McGettrick, Owen Traynor,Charles Chen, David Duffy, Joseph McLean Syseca LogicielDr. Emmanuel Fermaut, Alain Marcuzzi,Hérvé Bazin, Pierre Boulle, Ian Campbell, Dominique Girard, Dominique Houdier, Dr. Amaury Legait, Bernard Mathae, Elaine Morcos, Dr. Olivier Roubine, Jean-Luc Saouli, Chantal Vilhet Systeam KG Dr. Winterstein*Dr. Georg Winterstein,Peter Dencker, León Treff, Erich Zimmermann Computer Resources International A/SEinar W. Karlsen,Jesper Andersen, Nicola Botta, Jesper Jørgensen Steen Lynenskjøld, Claus Bendix Nielsen Alcatel Standard Eléctrica SAAngel Perez Riesco, Pedro de la Cruz Ramos,Maria Dolores Hinojal, Alicia Lopez, Juan Antonio de Miguel, José Luis Mañas, Carlos Muñoz, Miguel Muñoz+, Rafael Perez Gonzales, José Manuel del Prado, José Miguel Pinilla Universitat Politécnica de CatalunyaProf. Fernando Orejas,Marisa Navarro, Maria Pilar Nivela, Roberto Nieuvenhuis, Ricardo Peña |
||||||
Author: n/a |
||||||
Group BKB |
|