a person in the record
Nicolas Halbwachs
French engineerborn 1953
Supervised 7 doctoral students at Université de Grenoble, Université Joseph-Fourier - Grenoble I, and Institut National Polytechnique de Grenoble - INPG between 1991 and 2020; doctorate at Institut National Polytechnique de Grenoble - INPG in 1979 under Michel Sakarovitch; Wikidata names Patrick Cousot as doctoral advisor and lists 3 doctoral students. Linked to Wikidata, Mathematics Genealogy Project, and 3 other registers.

How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlex
Theses1
- cited by a thesis record
Détermination automatique de relations linéaires vérifiées par les variables d'un programme
1979 · Institut National Polytechnique de Grenoble - INPG · doctoral · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordPhilippe Jorrandjury member
- cited by a thesis recordP. Cousotreferee
- cited by a thesis recordNivatjury member
- cited by a thesis recordC. Pairjury member
- cited by a thesis recordMichel Sakarovitchjury president
Advisors1
The thesis record names Michel Sakarovitch; Wikidata names Patrick Cousot.
- cited by a thesis record
Michel Sakarovitch“Détermination automatique de relations linéaires vérifiées par les variables d'un programme”
1979 · Institut National Polytechnique de Grenoble - INPG · doctoral
Students7
- cited by a thesis record
Rémy Boutonnet“Modular analysis of numerical properties by abstract interpretation”
2020 · Université Grenoble Alpes [2020-....] · doctoral - cited by a thesis record
Valentin Perrelle“Analyse statique de programmes manipulant des tableaux”
2013 · Université de Grenoble · doctoral - cited by a thesis record
Mathias Péron“Contributions à l'analyse statique de programmes manipulant des tableaux”
2010 · Université de Grenoble · doctoral - cited by a thesis record
Danthony,gonnord, Laure“Accélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires”
2007 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
David Merchat“Réduction du nombre de variables en analyse de relations linéaires”
2005 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
Frédéric Rocheteau“Extension du langage LUSTRE et application à la conception de circuits : le langage LUSTRE-V4 et le système POLLUX”
1992 · Institut National Polytechnique de Grenoble - INPG · doctoral - cited by a thesis record
Pascal Raymond“Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3”
1991 · Institut National Polytechnique de Grenoble - INPG · doctoral
Advisors on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Students on Wikidata3
From Wikidata, shown separately from the thesis records.
- stated by Wikidataborn 1962
- stated by Wikidataborn 1981
- stated by Wikidata
The line above and below1 step
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
cited by a thesis recordMichel Sakarovitchstated by WikidataPatrick Cousot
Below them, within 3 steps, the record reaches 27 people: 12 cited by thesis records, 15 stated by Wikidata.
Education and career2
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 1979studied
- 1979
Works1
1979 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Détermination automatique de relations linéaires vérifiées par les variables d'un programme
1979 · doctoral thesis · HAL/TEL OAI
Sat beside the lineage18
jury president, jury member, or referee, not advisor
- cited by a thesis record
Guillaume Plassan“Conclusive formal verification of clock domain crossing properties”
jury president · 2018 · Université Grenoble Alpes · doctoral - cited by a thesis record
Guillaume Baudart“A synchronous approach to quasi-periodic systems”
referee · 2017 · Université Paris sciences et lettres · doctoral - cited by a thesis record
Fatma Jebali“Formal framework for modelling and verifying globally asynchronous locally synchronous systems”
jury president · 2016 · Université Grenoble Alpes · doctoral - cited by a thesis record
Vivien Maisonneuve“Static analysis of control-command systems : floating-point and integer invariants”
jury member · 2015 · Ecole Nationale Supérieure des Mines de Paris · doctoral - cited by a thesis record
Abdurrahman Pektaş“Classification des logiciels malveillants basée sur le comportement à l'aide de l'apprentissage automatique en ligne”
jury president · 2015 · Université Grenoble Alpes · doctoral - cited by a thesis record
Vasiliki Sfyrla“Modélisation des systèmes synchrones en BIP”
jury president · 2011 · Université de Grenoble · doctoral - cited by a thesis record
Jean-Loup Carré“Static analysis of embedded multithreaded programs”
jury member · 2010 · École normale supérieure de Cachan - ENS Cachan · doctoral - cited by a thesis record
Anthony Coadou“Réseaux de processus flots de données avec routage pour la modélisation de systèmes embarqués”
jury president · 2010 · Université Nice Sophia Antipolis · doctoral - cited by a thesis record
Mathias Péron“Contributions à l'analyse statique de programmes manipulant des tableaux”
jury member · 2010 · Université de Grenoble · doctoral - cited by a thesis record
Xavier Allamigeon“Static analysis of memory manipulations by abstract interpretation -- Algorithmics of tropical polyhedra, and application to abstract interpretation”
jury member · 2009 · Ecole Polytechnique X · doctoral - cited by a thesis record
Colas Le Guernic“Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics”
jury president · 2009 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
Alexandre Chapoutot“Simulation abstraite : une analyse statique de modèles Simulink”
referee · 2008 · Ecole Polytechnique X · doctoral - cited by a thesis record
Grégory Batt“Validation de modèles qualitatifs de réseaux de régulation génique: une méthode basée sur des techniques de vérification formelle”
jury president · 2006 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
Katell Morin-Allory“Vérification Formelle dans le Modèle Polyédrique”
referee · 2004 · Université Rennes 1 · doctoral - cited by a thesis record
Olivier Tardieu“Loops in Esterel: From Operational Semantics to Formally Specified Compilers”
jury member · 2004 · École Nationale Supérieure des Mines de Paris · doctoral - cited by a thesis record
Gérald Point“AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement”
referee · 2000 · Université Sciences et Technologies - Bordeaux I · doctoral - cited by a thesis record
Daniel Gaffé“Le modèle de Grafcet: réflexion et intégration dans une plate-forme multiformalisme synchrone”
jury member · 1996 · Université de Nice Sophia-Antipolis (UNS) · doctoral - cited by a thesis record
Frédéric Rocheteau“Extension du langage LUSTRE et application à la conception de circuits : le langage LUSTRE-V4 et le système POLLUX”
jury member · 1992 · Institut National Polytechnique de Grenoble - INPG · doctoral