Verimag
Home > Teams > Tempo > Projects > Projects

Projects


Current Projects

    Projets Europeens

  • Mistral - European, JIP-ICET 2, 2014-2016
    MISTRAL develops a framework for AMS assertion-based verification.
  • UnCoVerCPS - European H2020, 2015-2018
    UnCoVerCPS develops and implements new methods to integrate formal verification methods into the control design of cyber-physical systems.
  • Projets Nationaux

  • AEPS - ANR 2016-2017
    Le projet vise à analyser une certaine famille de systèmes déterministes ou stochastiques et à synthétiser de nouveaux algorithmes pour les résoudre efficacement.
  • CADMIDIA - ANR 2013-2017
    Le projet Cadmidia prévoit de mieux comprendre la relation entre exposition à faibles doses au contaminant métallique largement disséminé, le cadmium, et les dysfonctionnements des cellules beta du pancréas.
  • CASERM - Persyval-Lab Equipe-Action 2016-2019
    CASERM : Design and Analysis of Reconfigurable Multi-view Embedded Systems
  • COMPACS - ANR 2014-2017
  • MALTHY - ANR INS, 2014-2017
    ALgebraic Methods for Real-Time and HYbrid Model Checking
  • Other Projects

  • ACE - CNRS INS2I 2016
    Le projet vise à analyse une certaine famille d’Equations aux Dérivées Partielles (EDP) et à synthétiser des méthodes innovantes pour les réguler.
  • Coverage guided testing of automative models - Toyota, 2014-2017
    Defining coverage measures for automative models
  • Stimulus generation for model generation - EASII IC, 2015-2016
    Input signal generation for behavioral model construction from simulation traces
  • Test Generation for Simulink Models - UTRC, 2015-2016
    Development of a methodology and tool for test generation for Simulink models
  • Variabilité des Circuits Analogiques Hiérarchiques (NANO 2017) - Métro, 2015-2017
    Développement d'une méthodologie pour la modélisation et l'analyse des variabilités des circuits analogiques.

Past Projects


The whole Verimag Projects page


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

info visites 729817