Concepedia

Dominique Borrione

DB

Statistics

Publications

3

Citations

59

H-Index

3

Active since

1996

Affiliations

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

Radboud University Nijmegen

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

Publications per year

1996–2008

3

Publications

3

A method for automatic design error location and correction in combinational logic circuits

Ayman Wahba, Dominique Borrione · Journal of Electronic Testing · 1996 · 26 citations

, , +14

A functional formalization of on chip communications

Julien Schmaltz, Dominique Borrione · Formal Aspects of Computing · 2007 · 21 citations · Full text

, , +14

Executable formal specification and validation of NoC communication infrastructures

Dominique Borrione, Amr S. Helmy, Laurence Pierre et al. · 2008 · 12 citations

, , +17

1–3 of 3