Accueil > Verimag > Partenaires > Partenaires
Partenaires
Collaborations actuelles
Partenaires academiques
- CEA/LETI, Grenoble, France : IoIT
- DFKI - German Research Center for Artificial Intelligence, Germany : ESROCOS
- DLR - German Aerospace Center, Germany : ESROCOS
- Eindhoven University of Technology, The Netherlands : CITADEL
- Fondazione Bruno Kessler, Trento, Italy : CITADEL
- INRIA/Gallium : VOCaL (The Verified OCaml Library)
- INRIA/POLARIS: CASERM
- INRIA/SPADES: CASERM
- INRIA/Tamis : SUCCESS
- ISAE SUPAERO, Toulouse, France : ESROCOS
- Katholieke Universiteit Leuven, Belgium : ESROCOS
- King’s College London, UK : ERGO
- LaBRI : ESTATE
- LIG/Drakkar : IoIT
- LIG–EHCI : IoIT
- LIP6 : ESTATE
- LRI Orsay / INRIA : VOCaL (The Verified OCaml Library)
- Middlesex University London, UK : SUCCESS
- Universität Basel, Switzerland : ERGO
- University of Twente, The Netherlands : SUCCESS
- VTT - Technical Research Centre, Finland : ESROCOS
Partenaires industriels
- Airbus Defence and Space, UK : ERGO , ESROCOS
- Argosim: Coopération Argosim
- atsec information security AB, Stokholm, Sweden : CITADEL
- Ellidiss Technologies, France : ERGO
- Frequentis, Wien, Austria : CITADEL
- GMV Innovating Solutions, Spain : ERGO , ESROCOS
- IK4-IKERLAN, Spain : CITADEL
- Institut fur angewandte Systemtechnik Bremen GmbH, Germany : CITADEL
- Intermodalics, Leuven, Belgium : ESROCOS
- J.W. Ostendorf GmbH & Co. KG, Germany : CITADEL
- Kalray, Grenoble, France : Kalray
- Kaspersky Lab UK Ltd, UK : CITADEL
- OAS AG, Germany : CITADEL
- OCamlPro : VOCaL (The Verified OCaml Library)
- SciSys, UK : ERGO
- SYSGO, Germany : CITADEL
- The Open Group, UK : CITADEL
- TrustInSoft : VOCaL (The Verified OCaml Library)
- TTTech Computertechnik, Wien, Austria : CITADEL
- UniControls, Prague, Czech Republic : CITADEL
Collaborations Anciennes
Anciens Partenaires academiques
- Aalborg Universitet, Denmark: AMETIST , MULTIFORM , Transatlantic CPS Summit
- Aristotle University of Thessaloniki: SMECY
- ARMINES: CAPACITES
- Budapest University Of Technology And Economics : NextTTA
- CEA Saclay: CHAPI , MIND , OpenEmBeDD , OpenES , VECOLIB , VERIDYC
- CEA/LETI, Grenoble, France: ACOSE , ARAMIS , ARESA2 , ArrowHead , ATHOLE , BINSEC , CHAPI , openTLM , PRO3D , SMECY
- CEA/LMeASI: ASOPT
- CEAT: SafeAir II
- Christian-Albrechts University Kiel: OMEGA
- CITI: Thèse financée : Gestion dynamique de la mémoire non-volatile embarquée , ARESA
- CRAN: COMPACS
- CRI/ENSMP: APRON
- CWI, Amsterdam: CC , OMEGA
- CWS: ATHOLE
- DFKI - German Research Center for Artificial Intelligence, Germany: SARGON
- DIGITEO/SCILAB: CHAPI
- Eindhoven University of Technology, The Netherlands: OpenES
- ENS: APRON , PROSE , Synchronics
- ENST: ASSERT
- EPF Lausanne: ASCENS , PRO3D
- ETH Zurich, Switzerland: CC , CERTAINTY , COMBEST , PRO3D
- Fondazione Bruno Kessler, Trento, Italy: D-MILS
- Hogskolan i Halmstad: SMECY
- INRIA/Abstraction: VERASCO
- INRIA/ADAM: MIND
- INRIA/Alchemy: Synchronics
- INRIA/ALF: CAPACITES , W-SEPT
- INRIA/Aoste: CAPACITES , HELP
- INRIA/Bipop: VAL-AMS
- Inria/Cassis: PROSE
- INRIA/Distribcom: COMBEST , SPEEDS
- INRIA/Espresso: FoToVP
- INRIA/Estasys: D-MILS , OpenEmBeDD
- INRIA/Gallium: VERASCO
- INRIA/MAXPLUS: ASOPT
- INRIA/Mimosa: ALIDECS
- INRIA/Planete: ARESA2
- INRIA/pop-art: ALIDECS , ASOPT , MIND , openTLM , Synchronics , VEDECY
- INRIA/Proval: VERASCO
- INRIA/sardes: MIND
- INRIA/SPADES: CTRC
- INRIA/Swing: ARESA2
- Institute for Software Technology, TU Graz: PROSYD
- IRCCyN: CORTOS
- IRISA/S4: Synchronics
- IRISA/VERTECS: APRON , PerSiForm
- IRIT-TRACES: CAPACITES , W-SEPT
- IRIT/MACAO: Full MDE , IF
- IST: MIND
- ISTIA: MIND
- ITI-CERTH, Thessaloniki, Greece: MoSATT-CMP
- KTH Royal Institute of Technology, Stockholm, Sweden: CyPhERS
- LAAS: OpenEmBeDD
- LAAS, Toulouse, France: CPSE-Labs , MARAE , SAFENAV
- Laboratoire Jean Kuntzmann: SHIVA , VAL-AMS , VEDECY
- LAMY/CMOS: ALIDECS
- LIAFA/Modelisation et Verification: VECOLIB , VERIDYC
- LIF Marseille: AMETIST
- LIG/Drakkar: ARESA , ARESA2 , DACRAW
- LIG/ERODS: Orange Labs
- LIG/Mescal: VULCAIN
- LIG/Vasco: VULCAIN
- LIP6: ALIDECS
- LJK: COMPACS
- LORIA: AVOTE , BINSEC , PROSE
- LSV: AVOTE , CORTOS , PROSE
- LSV/INFINI: VERIDYC
- Lund University: CC
- OFFIS e.V., Oldenburg, Germany: COMBEST , OMEGA , SafeAir II , SPEEDS , Transatlantic CPS Summit
- ONERA: CAPACITES
- PARADES: CC , COMBEST , SPEEDS
- Polytechnique: APRON
- Radboud Universiteit Nijmegen: AMETIST , OMEGA
- RWTH Aachen University, Germany: D-MILS , MULTIFORM
- Stichting Embedded Systems Institute: MULTIFORM
- Technische Universität Darmstadt : NextTTA
- Technische Universität Dortmund: AMETIST , MULTIFORM
- Technische Universität Wien, Austria : NextTTA , Transatlantic CPS Summit
- Technische Universiteit Eindhoven: MULTIFORM
- TELECOM Bretagne: ARESA2
- TIMA, Grenoble, France: ACOSE , ARESA , CAPACITES , CESyMPA , openTLM
- 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 Nice (LEAT): HELP
- University of Oxford Software Engineering Centre : AGEDIS
- University of Siena: CC
- University of Trento, Italy: CyPhERS
- University of Twente, The Netherlands: AMETIST
- University Of Ulm : NextTTA
- University of York, UK : CyPhERS , D-MILS , NextTTA
- Uppsala University, Sweden: CERTAINTY
- Viena University of Technology: ACROSS
- VTT - Technical Research Centre, Finland: SMECY
- Weizmann Institute of Science: AMETIST , OMEGA , P2R Bioinformatique , PROSYD , SafeAir II
Anciens partenaires industriels
- ABB Corporate Research: CC
- AbsInt Angewandte Informatik GmbH, Saarbruecken, Germany: CERTAINTY
- Accellera Standards Organization: PROSYD
- ACE Associated Compiler Experts bv: SMECY
- AdaCore: VECOLIB
- Airbus Deutschland GMBH: SPEEDS
- Airbus France: CAPACITES , OpenEmBeDD , SPEEDS , VERASCO
- Airbus Hélicoptères: Airbus Helicopters , CAPACITES
- Alcatel: Proofer
- Alstom: CHAPI
- Anyware: OpenEmBeDD
- Argosim: Argosim
- Arttic, Paris, France: CERTAINTY
- Astrium: MARAE
- ASTRIUM (EADS) SAS: ASSERT
- Atos Origin: ARAMIS , COMON
- Audi Aktiengesellschaft: NextTTA , RISE
- Austriamicrosystems : NextTTA
- Axxom: AMETIST
- Bosch: AMETIST , Model-based Testing for Embedded Systems , SPEEDS
- CAPS Entreprise: CHAPI
- CISC semiconductor : OpenES
- Cobham (Aeroflex) Gaisler AB (AeG), Sweden: MoSATT-CMP
- CONTINENTAL AUTOMOTIVE FRANCE SAS: W-SEPT
- Coronis Systems: ARESA , ARESA2
- Corys TESS: COMON
- CS/Systèmes d’Information: ASSERT , OpenEmBeDD , SHIVA
- Cyberio, Grenoble, France: ACOSE
- Cybernetix: AMETIST
- Dassault Aviation: CAPACITES
- Deimos-Space S.L.U, Madrid, Spain: MoSATT-CMP
- DOCEA Power: HELP , OpenES
- EADS Astrium (France): Full MDE
- EADS/Innovation Works (France): ASOPT , BINSEC , OMEGA
- EADS/Innovation Works (Germany): COMBEST , SPEEDS
- ECSI: OpenES
- EDF: CC , VERIDYC
- ESA: ASSERT
- Esterel Technologies : ASSERT , Full MDE , RISE , SPEEDS
- eVaderis: Thèse financée : Gestion dynamique de la mémoire non-volatile embarquée
- ForTISS GmbH, Munich, Germany: ACROSS , CyPhERS , D-MILS , Transatlantic CPS Summit
- France Telecom R&D: AGEDIS , ARESA , ARESA2 , MIND , OMEGA , OpenEmBeDD , PerSiForm
- Frequentis, Wien, Austria: D-MILS
- GeenSys: SPEEDS
- GMV Innovating Solutions, Spain: SARGON
- Hellenic Aerospace Industry: SMECY
- Hispano-Suiza : SafeAir II
- IAI - Israeli Aircraft Industry: COMBEST , OMEGA , SafeAir II , SPEEDS
- IBM Haifa Research Labs: AGEDIS , PROSYD , SPEEDS
- ILOG: DECIDE !
- Imbus AG: AGEDIS
- INERIS: MIND
- Infineon Technologie: PROSYD , SafeAir II
- Intrasoft International: AGEDIS
- IS2T: CAPACITES
- ITC-irst : Automated Reasoning System division : PROSYD
- Itris Automation Square: MIND
- Kalray, Grenoble, France: CAPACITES , CERTAINTY , CHAPI , ManycoreLabs
- KVCA A/S: MULTIFORM
- Leadtech Design: CHAPI
- LOGICA: MIND
- LynuxWorks, Paris, France: D-MILS
- Magillem Design Services, Paris, France: ACOSE , ArrowHead , OpenES
- MBDA : CAPACITES , SafeAir II
- NLR - National Aerospace Laboratory : OMEGA
- NXP Netherlands: OpenES
- OneSpin Solutions: PROSYD
- openwide: CAPACITES
- Orange IT&L@bs: openTLM
- Orange Labs Products and Services/Business: Orange Labs
- Orpheus: PerSiForm
- PragmaDev, Paris, France: Cooperation PragmaDev
- Praxis: Full MDE
- Probayes: CAPACITES
- Prover Technology: Proofer
- RATP: Proofer
- Real-Time At Work (RTAW): CAPACITES
- Renault: SafeAir II
- Rolls-Royce Civil Nuclear: COMON
- SAAB AG: SPEEDS
- Saab Microwave Systems: SMECY
- Safetronix: openTLM
- Safran: CAPACITES
- Schneider Electric: MIND
- Selex Sistemi Integrati: SMECY
- Sogeti High Tech: MIND
- ST Ericsson: MIND
- Steery.io, France: SAFENAV
- STMicroelectronics/Grenoble: ATHOLE , HELP , MIND , OpenES , openTLM , Potential CIFRE PhD : Hardened circuits for critical applications , PRO3D , PROSYD , SMECY , STMicroelectronics , Variabilité des Circuits Analogiques Hiérarchiques (NANO 2017)
- Supersonic Imagine: CAPACITES
- Synopsys Netherlands: OpenES
- Terma: AMETIST
- THALES: ATHOLE , OpenEmBeDD , OpenES
- Thales Communications & Security SA, Paris, France: ArrowHead
- Thales Research & Technology, France: CERTAINTY , CHAPI , SMECY
- The Open Group, UK: D-MILS
- TNI software : SafeAir II
- Toyota, USA: Coverage guided testing of automative models
- TTTech Computertechnik, Wien, Austria: D-MILS , NextTTA , RISE
- UTRC, Ireland: Test Generation for Simulink Models
- UXP: CHAPI
- Vector Fabrics: OpenES
- VEMAC GmbH & Co. KG: MULTIFORM
Verimag is member of the SCADE Academic Program
