Thirioux, Xavier, 19..-...., enseignant-chercheur en informatique
VIAF ID: 195941178 ( Personal )
Permalink: http://viaf.org/viaf/195941178
Preferred Forms
Works
Title | Sources |
---|---|
Adéquation algorithme architecture automatisée par solveur SMT | |
Compilation et vérification formelle de modèles à base d'automates et de flots de données pour les systèmes critiques | |
Fixed-point code synthesis for neural networks. | |
Low power application architecture adaptation using SMT solvers. | |
Mechanized semantics and verified compilation for a dataflow synchronous language with reset. | |
Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation | |
Static analyses and model checking of mixed data-flow/control-flow models for critical systems. | |
Sur le pouvoir des tours : explorations du modèle Heard-Of. | |
Synthèse de code virgule fixe pour les réseaux de neurones | |
Verification de proprietes temporelles de programmes reactifs repartis | |
Vérification formelle du fonctionnement d'un autopilote : analyse statique et génération de code vérifiée | |
Vers la vérification des langages de description d'interface utilisateur |