Internet, https://appliweb.dgri.education.fr/annuaire/selectUr.jsp (Annuaire des formations
doctorales et des unités de recherche), 2015-04-14
Information trouvée : LABORATOIRE VERIMAG, Unité de recherche UMR 5104. Etablissement principal Université
Grenoble 1 ; co-accrédité INPG ; gestionnaire CNRS. Adresse : 2 avenue de vignate,
38610 Gières
Internet, www-verimag.imag.fr/, 2018-12-05
Information trouvée : Verimag (UMR 5104) a été créé en 1993 comme Unité Mixte CNRS/Verilog issu de l’équipe
Spectre du laboratoire LGI ; depuis 1997, Verimag est une unité de recherche commune
à l'UGA, CNRS-INS2I, INPG. Le laboratoire est organisé en 4 équipes : Synchrone, Langages
Synchrones et Systèmes Réactifs ; Tempo, Systèmes Temporisés et Hybrides ; RSD, Rigorous
System Design ; PACSS, Preuves et Analyses de Code pour la Sûreté et la Sécurité
Internet, www.aeres-evaluation.fr (rapport 2010), 2015-04-14
Information trouvée : VERIMAG, UMR 5104 CNRS/UJF/Grenble-INP. Fondé en 1992, composé de 4 équipes : Synchrone,
DCS, Tempo, ISE
Internet, www2.cnrs.fr/sites/communique/fichier/fiche_verimag_2.pdf, 2018-12-05
Information trouvée : Créé en 1993, en tant qu’Unité Mixte industrielle entre le CNRS et la société Verilog
(UMI CNRS/Verilog), il devient en 1997 Unité de Recherche du CNRS, de l’UJF et de
l’INPG
RNSR, 2018-09-29
Information trouvée : 199511789R : VERIMAG VERIMAG, Unité de recherche UMR 5104 CNRS (depuis 1999)-UJF (2000-2015)-UGA
(depui 2016)-INPG (depuis 2015). Création en 1999?
Répertoire national des structures de recherche RNSR, https://rnsr.adc.education.fr/structure/199511789R,
consulté le 13/03/2024
Information trouvée : Directeur à partir du 01/01/2021 : David Monniaux.