upvd

LAboratoire de Mathématiques et de PhySique
Vérification NUmérique des Systèmes (VENUS)

Collaborations et Projets

  • Groupement pour la Recherche Appliquée INnovante avec les Entreprises (GRAINE) : SYFI Code Synthesis for the Fixed-Point Arithmetic

    Partenaires : IRIT, Numalis, ONERA DTIM.
    Début et Durée : Janvier 2019, 36 mois
  • Office for Naval Research Global (ONRG) : Strongly Typed Numerical Computations

    Partenaires : Numalis.
    Début et Durée : Janvier 2018, 24 mois
  • Programme Gaspard Monge pour Optimisation : Feasible and Optimal Semi-Definite Programs for Piecewise Affine Systems Verification

    Partenaires : ONERA DTIM, Université de Perpignan Via Domitia.
    Début et Durée : Novembre 2017, 24 mois
  • Projet de Coopération Extérieure : Domaines Numériques et Transformations Sémantiques

    Partenaires : Université de Perpignan Via Domitia, Université de Tlemcem.
    Début et Durée : Juillet 2015, 18 mois
    pas de photo pas de photo
  • Thèse CIFRE : Compilation optimisante et certifiée pour la précision numérique

    Partenaires : Airbus France, Université de Perpignan Via Domitia.
    Début et Durée : Février 2015, 36 mois
    pas de photo pas de photo
  • Projet ANR-12-INSE-0007 CAFEIN : Combinaison d'approches formelles pour l'étude d'invariants numériques

    Partenaires : CEA LIST, ENSTA ParisTech, INRIA Saclay-île de France, ONERA DTIM, Prover Prover Technology, RCF Rockwell collins France, Université de Perpignan Via Domitia.
    Début et Durée : Février 2013, 48 mois
    pas de photo pas de photo
  • Numalis : Transfert technologique de travaux de l'équipe à la start-up Numalis

    Partenaires : Numalis.
    Début et Durée : Septembre 2013, 36 mois
    pas de photo pas de photo pas de photo