Home page > Teams > DCS

Partners

Current Collaborations

Academic partners
- CEA Saclay : VERIDYC
- ENS : PROSE
- EPF Lausanne : ASCENS
- ETH Zurich : CERTAINTY
- INRIA/Abstraction : VERASCO
- Inria/Cassis: PROSE
- INRIA/Gallium : VERASCO
- INRIA/Proval : VERASCO
- LIAFA/Modelisation et Verification : VERIDYC
- LORIA : PROSE
- LSV : PROSE
- LSV/INFINI : VERIDYC
- TU Braunschweig : CERTAINTY
- Université Rennes 1 : VERASCO
- Uppsala University : CERTAINTY

Industrial partners
- AbsInt Angewandte Informatik GmbH : CERTAINTY
- Airbus France: VERASCO
- Arttic : CERTAINTY
- EDF : VERIDYC
- Kalray : CERTAINTY
- PragmaDev : Cooperation PragmaDev
- Thales Research & Technology : CERTAINTY

Past Collaborations

Past Academic partners
- Aristotle University of Thessaloniki: SMECY
- Budapest University Of Technology And Economics : NextTTA
- CEA Saclay: CHAPI , MIND , OpenEmBeDD
- CEA/LETI: ARESA2 , CHAPI , PRO3D , SMECY
- Christian-Albrechts University Kiel: OMEGA
- CITI: ARESA
- CWI, Amsterdam: OMEGA
- DIGITEO/SCILAB: CHAPI
- ENST: ASSERT
- EPF Lausanne: PRO3D
- ETH Zurich: COMBEST , PRO3D
- Hogskolan i Halmstad: SMECY
- INRIA: OpenEmBeDD
- INRIA/ADAM: MIND
- INRIA/Distribcom: COMBEST , SPEEDS
- INRIA/Planete: ARESA2
- INRIA/pop-art: MIND
- INRIA/sardes: MIND
- INRIA/Swing: ARESA2
- IRISA/VERTECS: PerSiForm
- IRIT/MACAO: Full MDE
- IST: MIND
- ISTIA: MIND
- LAAS: OpenEmBeDD
- LAAS - Laboratoire d’Analyse et d’Architecture des Systemes, Toulouse: MARAE
- Laboratoire Jean Kuntzmann: SHIVA
- LIG/Drakkar: ARESA , ARESA2
- LIG/Mescal: VULCAIN
- LIG/Vasco: VULCAIN
- LORIA: AVOTE
- LSV: AVOTE
- OFFIS: COMBEST , OMEGA , SPEEDS
- PARADES: COMBEST , SPEEDS
- Radboud Universiteit Nijmegen: OMEGA
- Technische Universität Darmstadt : NextTTA
- Technische Universität Wien : NextTTA
- TELECOM Bretagne: ARESA2
- TIMA: ARESA
- TU Braunschweig : COMBEST
- Univeristy of Padua: ASSERT
- Università degli Studi di Trento : COMBEST
- University of Bologna: PRO3D
- University of Ioannina: SMECY
- University of Oxford Software Engineering Centre : AGEDIS
- University Of Ulm : NextTTA
- University Of York : NextTTA
- Valtion teknillinen tutkimuskesmus: SMECY
- Viena University of Technology: ACROSS
- Weizmann Institute of Science: OMEGA

Past Industrial Partners
- ACE Associated Compiler Experts bv: SMECY
- Airbus Deutschland GMBH: SPEEDS
- Airbus France: OpenEmBeDD , SPEEDS
- Alstom: CHAPI
- Anyware: OpenEmBeDD
- Astrium: MARAE
- ASTRIUM (EADS) SAS: ASSERT
- Audi Aktiengesellschaft: NextTTA , RISE
- Austriamicrosystems : NextTTA
- Bosch: SPEEDS
- CAPS Entreprise: CHAPI
- Coronis Systems: ARESA , ARESA2
- CS/Systèmes d’Information: ASSERT , OpenEmBeDD , SHIVA
- EADS Astrium (France): Full MDE
- EADS/Innovation Works (France): OMEGA
- EADS/Innovation Works (Germany): COMBEST , SPEEDS
- ESA: ASSERT
- Esterel Technologies : ASSERT , Full MDE , RISE , SPEEDS
- ForTISS GmbH: 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: CHAPI
- Leadtech Design: CHAPI
- LOGICA: MIND
- 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 Research & Technology: CHAPI , SMECY
- TTTech Computertechnik: NextTTA , RISE
- UXP: CHAPI

Contact | Site Map | Site created with SPIP 2.1.24 + AHUNTSIC [CC License]

Logged in visitors: 9 ; visits: 353548

Home page > Teams > DCS

Partners

Current Collaborations

Past Collaborations

Navigation

Sections