Knowledge Tree

researcher / Nicolas Halbwachs

Nicolas Halbwachs

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Analyse modulaire de propriétés numériques par interprétation abstraite

Analyse statique de programmes manipulant des tableaux

Contributions à l'analyse statique de programmes manipulant des tableaux

Accélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires

Réduction du nombre de variables en analyse de relations linéaires

Partitionnement dynamique dans l'analyse de relations linéaires et application à la vérification de programmes synchrones

Vérification et synthèse de systèmes réactifs

Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3

Sémantique et compilation de LUSTRE, un langage déclaratif synchrone