Partenaires academiques
- CEA Saclay :
VECOLIB
- CEA/LETI, Grenoble, France :
IoIT
- CRAN:
COMPACS
- 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
- LIAFA/Modelisation et Verification :
VECOLIB
- LIG/Drakkar :
IoIT
- LIG–EHCI :
IoIT
- LIP6 :
ESTATE
- LJK:
COMPACS
- 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
- AdaCore:
VECOLIB
- Airbus Defence and Space, UK :
ERGO
,
ESROCOS
- Airbus Hélicoptères:
Airbus Helicopters
- 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
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
,
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
- 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:
VERIDYC
- LIF Marseille:
AMETIST
- LIG/Drakkar:
ARESA
,
ARESA2
,
DACRAW
,
[Post-doc position] Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networks
- LIG/ERODS:
Orange Labs
- LIG/Mescal:
VULCAIN
- LIG/Vasco:
VULCAIN
- LIP6:
ALIDECS
- 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
- Airbus Deutschland GMBH:
SPEEDS
- Airbus France:
CAPACITES
,
OpenEmBeDD
,
SPEEDS
,
VERASCO
- Airbus Hélicoptères:
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