Verimag

Home > Teams > Tempo

Partners

Current Collaborations

Academic partners
- CRAN: COMPACS
- INRIA/POLARIS: CASERM
- INRIA/SPADES: CASERM
- LJK: COMPACS

Industrial partners

Past Collaborations

Past Academic partners
- Aalborg Universitet, Denmark: AMETIST , MULTIFORM
- CEA/LETI, Grenoble, France: ATHOLE
- CWI, Amsterdam: CC
- CWS: ATHOLE
- ETH Zurich, Switzerland: CC
- INRIA/Bipop: VAL-AMS
- INRIA/pop-art: VEDECY
- Institute for Software Technology, TU Graz: PROSYD
- IRCCyN: CORTOS
- Laboratoire Jean Kuntzmann: VAL-AMS , VEDECY
- LIF Marseille: AMETIST
- LSV: CORTOS
- Lund University: CC
- PARADES: CC
- Radboud Universiteit Nijmegen: AMETIST
- RWTH Aachen University, Germany: MULTIFORM
- Stichting Embedded Systems Institute: MULTIFORM
- Technische Universität Dortmund: AMETIST , MULTIFORM
- Technische Universiteit Eindhoven: MULTIFORM
- University of Siena: CC
- University of Twente, The Netherlands: AMETIST
- Weizmann Institute of Science: AMETIST , P2R Bioinformatique , PROSYD

Past Industrial Partners
- ABB Corporate Research: CC
- Accellera Standards Organization: PROSYD
- Axxom: AMETIST
- Bosch: AMETIST
- Cybernetix: AMETIST
- EDF: CC
- IBM Haifa Research Labs: PROSYD
- ILOG: DECIDE!
- Infineon Technologie: PROSYD
- ITC-irst: Automated Reasoning System division : PROSYD
- KVCA A/S: MULTIFORM
- OneSpin Solutions: PROSYD
- STMicroelectronics/Grenoble: ATHOLE , PROSYD , Variabilité des Circuits Analogiques Hiérarchiques (NANO 2017)
- Terma: AMETIST
- THALES: ATHOLE
- Toyota, USA: Coverage guided testing of automative models
- UTRC, Ireland: Test Generation for Simulink Models
- VEMAC GmbH & Co. KG: MULTIFORM

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1018911

CNRS

INP Grenoble