a person in the record
Dominique Borrione
Institut National Polytechnique de Grenoble 1981
Supervised 10 doctoral students at Université Joseph-Fourier - Grenoble I, Université Grenoble Alpes, and Université de Grenoble between 1992 and 2018; doctorate at Université Joseph-Fourier - Grenoble I in 1976 under Jean Mermet; Wikidata lists 1 doctoral student, names Gérard Veillon and Jean Mermet as teachers, and lists 1 person they taught. Linked to Wikidata, ORCID, and 6 other registers.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Theses1
- cited by a thesis record
LASCAR : un langage pour la simulation et l'évaluation des architectures d'ordinateurs
1976 · Université Joseph-Fourier - Grenoble I · doctoral · in French · the thesis's own page ›also named on this thesis
- cited by a thesis recordJean Mermetjury member
- cited by a thesis recordLouis Bollietjury president
- cited by a thesis recordF. Anceaujury member
- cited by a thesis recordS. Krakowiakjury member
Advisors1
- cited by a thesis record
Jean Mermet“LASCAR : un langage pour la simulation et l'évaluation des architectures d'ordinateurs”
1976 · Université Joseph-Fourier - Grenoble I · doctoral
Students10
- cited by a thesis record
Guillaume Plassan“Conclusive formal verification of clock domain crossing properties”
2018 · Université Grenoble Alpes · doctoral - cited by a thesis record
Fatemeh Negin Javaheri“Automatic synthesis of digital circuits from temporal specifications”
2015 · Université Grenoble Alpes · doctoral - cited by a thesis record
Zeineb Belhadj Amor“Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres”
2014 · Université de Grenoble · doctoral - cited by a thesis record
M. Boubekeur“Validation de Spécifications de Circuits Asynchrones : Méthodes et outils”
2004 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
E. Dumitrescu“Construction de Modèles Réduits et Vérification Symbolique de Circuits Industriels décrits au Niveau RTL”
2003 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
P. Georgelin“Vérification formelle de systèmes digitaux synchrones, basée sur la simulation symbolique”
2001 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
J. Dushina“Vérification formelle des résultats de la synthèse de haut niveau”
1999 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
Ayman Wahba“Diagnostic des erreurs de conception dans les circuits digitaux : le cas des erreurs simples”
1997 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
Dominique Rodriguez“Description et simulation mixte analogique-numérique: analyse de VHDL analogique, réalisation d'un simulateur mixte”
1994 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
Ashrag Mohamed El-Farghly Salem“Vérification formelle des circuits digitaux décrits en VHDL”
1992 · Université Joseph-Fourier - Grenoble I · doctoral
Students on Wikidata1
From Wikidata, shown separately from the thesis records.
- stated by Wikidata
Teachers and mentors2
Wikidata's "student of" and "student" statements: a line of training beside the lineage, never a thesis supervision and never counted with one.
- a teacher or mentor, stated by Wikidata: not a thesis supervision
- a teacher or mentor, stated by Wikidata: not a thesis supervision
Taught1
Wikidata's "student of" and "student" statements: a line of training beside the lineage, never a thesis supervision and never counted with one.
- a teacher or mentor, stated by Wikidata: not a thesis supervision
The line above and below3 steps
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 recordJean Mermet
- 2 steps up
cited by a thesis recordJean Kuntzmann
- 3 steps up
cited by a thesis recordJulia
Below them, within 3 steps, the record reaches 12 people: 10 cited by thesis records, 2 stated by Wikidata.
Education and career3
From Wikidata, shown separately from the thesis records. Each place opens its Wikidata item.
- 1983 to 1988worked
- 1988 to 2015
- undated
Works1
1976 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
LASCAR : un langage pour la simulation et l'évaluation des architectures d'ordinateurs
1976 · doctoral thesis · HAL/TEL OAI
What their ORCID record lists
The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.
ORCID is asked for the list when this part is opened.
Sat beside the lineage9
jury president, jury member, or referee, not advisor
- cited by a thesis record
Vítor Schwambach“Methods and tools for rapid and efficient parallel implementation of computer vision algorithms on embedded multiprocessors”
jury president · 2016 · Université Grenoble Alpes · doctoral - cited by a thesis record
Otavio Junior Alcantara de Lima“Emulation platform synthesis and NoC evaluation for embedded systems : towards next generation networks”
jury president · 2015 · Université Jean Monnet - Saint-Etienne · doctoral - cited by a thesis record
Xin An“Conception et contrôle de haut niveau pour les systèmes sur puce multiprocesseurs adaptatifs”
jury president · 2013 · Université de Grenoble · doctoral - cited by a thesis record
Mingming Ren“An incremental approach for hardware discrete controller synthesis”
jury president · 2011 · INSA de Lyon · doctoral - cited by a thesis record
Dominique Rodriguez“Description et simulation mixte analogique-numérique: analyse de VHDL analogique, réalisation d'un simulateur mixte”
jury member · 1994 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
Ashrag Mohamed El-Farghly Salem“Vérification formelle des circuits digitaux décrits en VHDL”
jury member · 1992 · Université Joseph-Fourier - Grenoble I · doctoral - cited by a thesis record
Mazen Al Mahrous“Génération de test fonctionnel de circuits digitaux décrits avec un langage déclaratif : Lustre”
referee · 1990 · Institut National Polytechnique de Grenoble - INPG · doctoral - cited by a thesis record
Yang Wu“Accélération de la simulation logique : architecture et algorithmes de LL3T”
jury member · 1990 · Institut National Polytechnique de Grenoble - INPG · doctoral - cited by a thesis record
Hazem El Tahawy“FIDEL : un langage de description et de simulation des circuits VLSI”
jury member · 1987 · Institut National Polytechnique de Grenoble - INPG · doctoral