Academic partners
Industrial partners
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