Garoche, Pierre-Loïc, 1982-
VIAF ID: 200085994 ( Personal )
Permalink: http://viaf.org/viaf/200085994
Preferred Forms
Works
Title | Sources |
---|---|
Analyse statistique d'un calcul d'acteurs par interprétation abstraite = Statistic analysis of an actor-based process calculus by abstract interpretation | |
Compilation et vérification formelle de modèles à base d'automates et de flots de données pour les systèmes critiques | |
Contrôle temps-réel et efficace pour la course autonome. | |
Cosimulation ensembliste d'une interconnexion de systèmes | |
Exponentiation of set-valued maps and applications | |
Formal verification of control system software | |
Génération de codes et d'annotations prouvables d'algorithmes de points intérieurs à destination de systèmes embarqués critiques | |
Improving the numerical accuracy of parallel programs. | |
Optimisation de la précision numérique des codes parallèles | |
Real-time and efficient control for autonomous racing | |
Recherche d'invariants inductifs par satisfiabilité modulo théorie et optimisation convexe. | |
Relational Arithmetics for Abstract Interpretation Based Analysis of Numerical Accuracy Properties. | |
A set-based cosimulation method to overapproximate the reachable set of an interconnection of dynamical systems. | |
Static analyses and model checking of mixed data-flow/control-flow models for critical systems. | |
Static Analysis of Control Command Systems : Synthesizing non Linear Invariants. | |
Vérification formelle et validation des algorithmes d'optimisation convexe appliqués à la commande prédictive. | |
Vers la vérification des langages de description d'interface utilisateur |