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 |
![]() |
Vérification de propriétés temporelles de programmes réactifs répartis |
![]() |
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 |
![]() |