Current Collaborations
Academic partners
- CEA Saclay : TAVA
- IRIT/MACAO : IF Toolset
- LCIS Valence: CLAM
- TIMA, Grenoble, France : CLAM
Industrial partners
Past Collaborations
Past Academic partners
- 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 , BRAIN-IoT , CHAPI , IoIT , openTLM , PRO3D , SMECY
- CEA/LMeASI: ASOPT
- CEAT: SafeAir II
- Christian-Albrechts University Kiel: OMEGA
- CITI: Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory , Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory , ARESA
- CRAN: COMPACS
- CRI/ENSMP: APRON
- CWI, Amsterdam: CC , OMEGA
- CWS: ATHOLE
- DFKI - German Research Center for Artificial Intelligence, Germany: ADE , ESROCOS , SARGON
- DIGITEO/SCILAB: CHAPI
- DLR - German Aerospace Center, Germany: ESROCOS
- Eindhoven University of Technology, The Netherlands: CITADEL , OpenES
- ENS: APRON , PROSE , Synchronics
- ENST: ASSERT
- EPF Lausanne: ASCENS , PRO3D
- ETH Zurich, Switzerland: CC , CERTAINTY , COMBEST , PRO3D
- Fondazione Bruno Kessler, Trento, Italy: CITADEL , D-MILS
- GIPSA-Lab: SACADE
- 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 , VOCaL (The Verified OCaml Library)
- INRIA/MAXPLUS: ASOPT
- INRIA/Mimosa: ALIDECS
- INRIA/Planete: ARESA2
- INRIA/POLARIS: CASERM
- INRIA/pop-art: ALIDECS , ASOPT , MIND , openTLM , Synchronics , VEDECY
- INRIA/Proval: VERASCO
- INRIA/sardes: MIND
- INRIA/SPADES: CASERM , CTRC
- INRIA/Swing: ARESA2
- INRIA/Tamis: SUCCESS
- 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 , Moc4Space
- ISAE SUPAERO, Toulouse, France: ESROCOS
- IST: MIND
- ISTIA: MIND
- ITI-CERTH, Thessaloniki, Greece: MoSATT-CMP
- Joanneum Research Forschungsgesellschaft, Austria : ADE
- Katholieke Universiteit Leuven, Belgium: ESROCOS
- King’s College London, UK: ADE , ERGO
- KTH Royal Institute of Technology, Stockholm, Sweden: CyPhERS
- LAAS: OpenEmBeDD
- LAAS, Toulouse, France: CPSE-Labs , MARAE , SAFENAV
- Laboratoire Jean Kuntzmann: SHIVA , VAL-AMS , VEDECY
- LaBRI: ESTATE
- LAMY/CMOS: ALIDECS
- LIAFA/Modelisation et Verification: VECOLIB , VERIDYC
- LIF Marseille: AMETIST
- LIG/Drakkar: ARESA , ARESA2 , DACRAW , IoIT
- LIG/ERODS: Orange Labs
- LIG/Mescal: VULCAIN
- LIG/Vasco: SACADE , VULCAIN
- LIG–EHCI: IoIT
- Links Foundation, Turin, Italy: BRAIN-IoT
- LIP6: ALIDECS , ESTATE
- LJK: COMPACS
- LORIA: AVOTE , BINSEC , PROSE
- LRI Orsay / INRIA: VOCaL (The Verified OCaml Library)
- LSV: AVOTE , CORTOS , PROSE
- LSV/INFINI: VERIDYC
- Lund University: CC
- Middlesex University London, UK: SUCCESS
- 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
- The Chancellor, Masters and Scholars of the University of Oxford, UK: ADE
- TIMA, Grenoble, France: ACOSE , ARESA , CAPACITES , CESyMPA , openTLM
- TU Braunschweig, Germany: CERTAINTY , COMBEST
- Univeristy of Padua: ASSERT
- Universidad de Malaga, Spain: ADE
- Università degli Studi di Trento : COMBEST
- Universita del Salento, Italy : ADE
- Universität Basel, Switzerland: ERGO
- 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 , SUCCESS
- 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: ESROCOS , SMECY
- Weizmann Institute of Science: AMETIST , OMEGA , P2R Bioinformatique , PROSYD , SafeAir II
Past Industrial Partners
- ABB Corporate Research: CC
- AbsInt Angewandte Informatik GmbH, Saarbruecken, Germany: CERTAINTY
- Accellera Standards Organization: PROSYD
- ACE Associated Compiler Experts bv: SMECY
- AdaCore: VECOLIB
- Airbus Defence and Space, UK: ADE , ERGO , ESROCOS
- 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
- atsec information security AB, Stokholm, Sweden: CITADEL
- Audi Aktiengesellschaft: NextTTA , RISE
- Austriamicrosystems : NextTTA
- Axxom: AMETIST
- Bosch: AMETIST , Model-based Testing for Embedded Systems , SPEEDS
- CAPS Entreprise: CHAPI
- Cassidian Cybersecurity SAS - Airbus, France: BRAIN-IoT
- 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
- Ellidiss Technologies, France: ERGO
- Empresa Municipal de Aguas de la Coruna SA, Spain: BRAIN-IoT
- ESA: ASSERT
- Esterel Technologies : ASSERT , Full MDE , RISE , SPEEDS
- eVaderis: Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory , Funded Ph.D: Dynamic Memory Management For Embedded Non-Volatile Memory
- 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: CITADEL , D-MILS
- GeenSys: SPEEDS
- GMV Innovating Solutions, Spain: ADE , ERGO , ESROCOS , Moc4Space , 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
- IDATE, France: BRAIN-IoT
- IK4-IKERLAN, Spain: CITADEL
- ILOG: DECIDE!
- Imbus AG: AGEDIS
- INERIS: MIND
- Infineon Technologie: PROSYD , SafeAir II
- Institut fur angewandte Systemtechnik Bremen GmbH, Germany: CITADEL
- Intermodalics, Leuven, Belgium: ESROCOS
- Intrasoft International: AGEDIS
- IS2T: CAPACITES
- ITC-irst: Automated Reasoning System division : PROSYD
- Itris Automation Square: MIND
- J.W. Ostendorf GmbH & Co. KG, Germany: CITADEL
- Kalray, Grenoble, France: CAPACITES , CERTAINTY , CHAPI , Kalray , KALRAY , KALRAY-CompCert , ManycoreLabs , Matheus Schuh , the Chamois CompCert Compiler
- Kaspersky Lab UK Ltd, UK: CITADEL
- KVCA A/S: MULTIFORM
- Leadtech Design: CHAPI
- LOGICA: MIND
- LynuxWorks, Paris, France: D-MILS
- Magillem Design Services, Paris, France: ACOSE , ArrowHead , OpenES
- MathWorks: [master or PhD] Convex polyhedra in floating point
- MBDA : CAPACITES , SafeAir II
- NLR - National Aerospace Laboratory : OMEGA
- NXP Netherlands: OpenES
- OAS AG, Germany: CITADEL
- OCamlPro: VOCaL (The Verified OCaml Library)
- OneSpin Solutions: PROSYD
- openwide: CAPACITES
- Orange IT&L@bs: openTLM
- Orange Labs Products and Services/Business: Orange Labs
- Orpheus: PerSiForm
- Paremus Ltd, UK: BRAIN-IoT
- Praxis: Full MDE
- Probayes: CAPACITES
- Prover Technology: Proofer
- RATP: Proofer
- Real-Time At Work (RTAW): CAPACITES
- Renault: SafeAir II
- Robotnik Automation SLL, Spain: BRAIN-IoT
- Rolls-Royce Civil Nuclear: COMON
- SAAB AG: SPEEDS
- Saab Microwave Systems: SMECY
- Safetronix: openTLM
- Safran: CAPACITES
- Schneider Electric: MIND
- SciSys, UK: ERGO
- Selex Sistemi Integrati: SMECY
- Siemens Aktiengesellschaft, Germany: BRAIN-IoT
- Siotic Spain SL - Improving Metrics, Spain: BRAIN-IoT
- Sogeti High Tech: MIND
- ST Ericsson: MIND
- Steery.io, France: SAFENAV
- STMicroelectronics/Grenoble: ATHOLE , BRAIN-IoT , Certified compilation for security , HELP , MIND , OpenES , openTLM , Potential CIFRE PhD: Hardened circuits for critical applications , Potential CIFRE PhD: Hardened circuits for critical applications , PRO3D , PROSYD , SMECY , STMicroelectronics , STMicroelectronics , Thèse CIFRE : Cybersecurity - Fault injection attacks , Variabilité des Circuits Analogiques Hiérarchiques (NANO 2017)
- Supersonic Imagine: CAPACITES
- Synopsys Netherlands: OpenES
- SYSGO, Germany: CITADEL
- Terma: AMETIST
- THALES: ATHOLE , OpenEmBeDD , OpenES
- Thales Alenia Space Italia SPA, Italy: ADE
- Thales Communications & Security SA, Paris, France: ArrowHead
- Thales Research & Technology, France: CERTAINTY , CHAPI , SMECY
- The Open Group, UK: CITADEL , D-MILS
- TNI software : SafeAir II
- Toyota, USA: Coverage guided testing of automative models
- TRASYS International Geie, Belgium: ADE
- TrustInSoft: VOCaL (The Verified OCaml Library)
- TTTech Computertechnik, Wien, Austria: CITADEL , D-MILS , NextTTA , RISE
- UniControls, Prague, Czech Republic: CITADEL
- 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
