- Academic partners
- Industrial partners
- Past Academic partners
- Aristotle University of Thessaloniki:
SMECY
- Budapest University Of Technology And Economics :
NextTTA
- CEA Saclay:
CHAPI
,
MIND
,
OpenEmBeDD
,
VERIDYC
- CEA/LETI, Grenoble, France:
ACOSE
,
ARAMIS
,
ARESA2
,
ArrowHead
,
BINSEC
,
CHAPI
,
PRO3D
,
SMECY
- Christian-Albrechts University Kiel:
OMEGA
- CITI:
ARESA
- CWI, Amsterdam:
OMEGA
- DIGITEO/SCILAB:
CHAPI
- ENS:
PROSE
- ENST:
ASSERT
- EPF Lausanne:
ASCENS
,
PRO3D
- ETH Zurich, Switzerland:
CERTAINTY
,
COMBEST
,
PRO3D
- Hogskolan i Halmstad:
SMECY
- INRIA/Abstraction:
VERASCO
- INRIA/ADAM:
MIND
- Inria/Cassis:
PROSE
- INRIA/Distribcom:
COMBEST
,
SPEEDS
- INRIA/Estasys:
OpenEmBeDD
- INRIA/Gallium:
VERASCO
- INRIA/Planete:
ARESA2
- INRIA/pop-art:
MIND
- INRIA/Proval:
VERASCO
- INRIA/sardes:
MIND
- INRIA/SPADES:
CTRC
- INRIA/Swing:
ARESA2
- IRISA/VERTECS:
PerSiForm
- IRIT/MACAO:
Full MDE
- IST:
MIND
- ISTIA:
MIND
- ITI-CERTH, Thessaloniki, Greece:
MoSATT-CMP
- LAAS:
OpenEmBeDD
- LAAS, Toulouse, France:
MARAE
- Laboratoire Jean Kuntzmann:
SHIVA
- LIAFA/Modelisation et Verification:
VERIDYC
- LIG/Drakkar:
ARESA
,
ARESA2
- LIG/Mescal:
VULCAIN
- LIG/Vasco:
VULCAIN
- LORIA:
AVOTE
,
BINSEC
,
PROSE
- LSV:
AVOTE
,
PROSE
- LSV/INFINI:
VERIDYC
- OFFIS e.V., Oldenburg, Germany:
COMBEST
,
OMEGA
,
SPEEDS
- PARADES:
COMBEST
,
SPEEDS
- Radboud Universiteit Nijmegen:
OMEGA
- Technische Universität Darmstadt :
NextTTA
- Technische Universität Wien, Austria :
NextTTA
- TELECOM Bretagne:
ARESA2
- TIMA, Grenoble, France:
ACOSE
,
ARESA
- TU Braunschweig, Germany:
CERTAINTY
,
COMBEST
- Univeristy of Padua:
ASSERT
- Università degli Studi di Trento :
COMBEST
- Université Rennes 1:
VERASCO
- University of Bologna:
PRO3D
- University of Ioannina:
SMECY
- University of Oxford Software Engineering Centre :
AGEDIS
- University Of Ulm :
NextTTA
- University of York, UK :
NextTTA
- Uppsala University, Sweden:
CERTAINTY
- Viena University of Technology:
ACROSS
- VTT - Technical Research Centre, Finland:
SMECY
- Weizmann Institute of Science:
OMEGA
- Past Industrial Partners
- AbsInt Angewandte Informatik GmbH, Saarbruecken, Germany:
CERTAINTY
- ACE Associated Compiler Experts bv:
SMECY
- Airbus Deutschland GMBH:
SPEEDS
- Airbus France:
OpenEmBeDD
,
SPEEDS
,
VERASCO
- Alstom:
CHAPI
- Anyware:
OpenEmBeDD
- Arttic, Paris, France:
CERTAINTY
- Astrium:
MARAE
- ASTRIUM (EADS) SAS:
ASSERT
- Atos Origin:
ARAMIS
- Audi Aktiengesellschaft:
NextTTA
,
RISE
- Austriamicrosystems :
NextTTA
- Bosch:
SPEEDS
- CAPS Entreprise:
CHAPI
- Cobham (Aeroflex) Gaisler AB (AeG), Sweden:
MoSATT-CMP
- Coronis Systems:
ARESA
,
ARESA2
- CS/Systèmes d’Information:
ASSERT
,
OpenEmBeDD
,
SHIVA
- Cyberio, Grenoble, France:
ACOSE
- Deimos-Space S.L.U, Madrid, Spain:
MoSATT-CMP
- EADS Astrium (France):
Full MDE
- EADS/Innovation Works (France):
BINSEC
,
OMEGA
- EADS/Innovation Works (Germany):
COMBEST
,
SPEEDS
- EDF:
VERIDYC
- ESA:
ASSERT
- Esterel Technologies :
ASSERT
,
Full MDE
,
RISE
,
SPEEDS
- ForTISS GmbH, Munich, Germany:
ACROSS
- France Telecom R&D:
AGEDIS
,
ARESA
,
ARESA2
,
MIND
,
OMEGA
,
OpenEmBeDD
,
PerSiForm
- GeenSys:
SPEEDS
- Hellenic Aerospace Industry:
SMECY
- IAI - Israeli Aircraft Industry:
COMBEST
,
OMEGA
,
SPEEDS
- IBM Haifa Research Labs:
AGEDIS
,
SPEEDS
- Imbus AG:
AGEDIS
- INERIS:
MIND
- Intrasoft International:
AGEDIS
- Itris Automation Square:
MIND
- Kalray, Grenoble, France:
CERTAINTY
,
CHAPI
- Leadtech Design:
CHAPI
- LOGICA:
MIND
- Magillem Design Services, Paris, France:
ACOSE
,
ArrowHead
- NLR - National Aerospace Laboratory :
OMEGA
- Orpheus:
PerSiForm
- Praxis:
Full MDE
- SAAB AG:
SPEEDS
- Saab Microwave Systems:
SMECY
- Schneider Electric:
MIND
- Selex Sistemi Integrati:
SMECY
- Sogeti High Tech:
MIND
- ST Ericsson:
MIND
- STMicroelectronics/Grenoble:
MIND
,
PRO3D
,
SMECY
- THALES:
OpenEmBeDD
- Thales Communications & Security SA, Paris, France:
ArrowHead
- Thales Research & Technology, France:
CERTAINTY
,
CHAPI
,
SMECY
- TTTech Computertechnik, Wien, Austria:
NextTTA
,
RISE
- UXP:
CHAPI
Browsing