| |
| 2007 | ||
|---|---|---|
| 3 | EE | Dominique Borrione, Amr Helmy, Laurence V. Pierre, Julien Schmaltz: A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. NOCS 2007: 127-136 |
| 2000 | ||
| 2 | EE | Dominique Borrione, Julia Dushina, Laurence V. Pierre: A compositional model for the functional verification of high-level synthesis results. IEEE Trans. VLSI Syst. 8(5): 526-530 (2000) |
| 1992 | ||
| 1 | EE | Dominique Borrione, Laurence V. Pierre, Ashraf M. Salem: Formal Verification of VHDL Descriptions in the Prevail Environment. IEEE Design & Test of Computers 9(2): 42-56 (1992) |
| 1 | Dominique Borrione | [1] [2] [3] |
| 2 | Julia Dushina | [2] |
| 3 | Amr Helmy | [3] |
| 4 | Ashraf M. Salem | [1] |
| 5 | Julien Schmaltz | [3] |