D. Borrione
Author
Alternate names D. Borrione, D.D. Borrione, Dominique Borrione
Institutions Institut polytechnique de Grenoble, Techniques of Informatics and Microelectronics for Integrated Systems Architecture, Université Grenoble Alpes, Centre National de la Recherche Scientifique
Past institutions Techniques of Informatics and Microelectronics for Integrated Systems Architecture, Université Grenoble Alpes, Centre National de la Recherche Scientifique, Institut polytechnique de Grenoble, Université Joseph Fourier +5 more
ORCID: Yes
H-index: 16
I10-index: 36
Works count: 185
Citations count: 1,051
Design Automation and Test in Europe - DATE'99
1999 · D. Borrione, Rolf Ernst · HAL (Le Centre pour la Communication Scientifique Directe)
Proven correct monitors from PSL specifications
2006 · Katell Morin-Allory, D. Borrione
Formal verification of VHDL descriptions in the Prevail environment
1992 · D. Borrione, Laurence Pierre, et al. · IEEE Design & Test of Computers