D. Borrione

Statistics

Publications

Citations

482

H-Index

Active since

1980

Affiliations

Techniques of Informatics and Microelectronics for Integrated Systems Architecture(Current)

Université Joseph Fourier

Université Grenoble Alpes

Centre National de la Recherche Scientifique

Département mathématiques, informatique, sciences de la donnée et technologies du numérique

D. Borrione is an author at Techniques of Informatics and Microelectronics for Integrated Systems Architecture specializing in computer engineering, computer science, and computer architecture.

ORCID

Publications per year

1980–2009

Publications

Design Automation and Test in Europe - DATE'99

D. Borrione, Rolf Ernst · HAL (Le Centre pour la Communication Scientifique Directe) · 1999 · 106 citations

Engineering, Computer Engineering, Systems Engineering +7

Proven correct monitors from PSL specifications

Katell Morin-Allory, D. Borrione · 2006 · 53 citations

Computing, Computer Engineering, Computer Science +17

Formal verification of VHDL descriptions in the Prevail environment

D. Borrione, Laurence Pierre, Ashraf Salem · IEEE Design & Test of Computers · 1992 · 51 citations

Engineering, Computer Engineering, Computer Science +15

Computer hardware description, languages and their applications

D. Borrione, R. Waxman · Mathematics and Computers in Simulation · 1986 · 43 citations

Engineering, Computer Engineering, Computer Science +12

A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study

D. Borrione, Amr S. Helmy, Laurence Pierre et al. · 2007 · 31 citations

Computing, Computer Engineering, Computer Science +14

1–5 of 19