Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Dominique Borrione

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Laurence Pierre

> Home > Persons > Dominique Borrione

Publications

2014
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsi/AmorPB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsi/AmorPB14
Zeineb Bel Hadj Amor, Laurence Pierre, Dominique Borrione:
A tool for the automatic TLM-to-RTL conversion of embedded systems requirements for a seamless verification flow. VLSI-SoC 2014: 1-6
2009
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ejes/BorrioneHPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ejes/BorrioneHPS09
Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz:
A Formal Approach to the Verification of Networks on Chip. EURASIP J. Embed. Syst. 2009 (2009)
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/ddecs/OuchetBMP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ddecs/OuchetBMP09
Florent Ouchet, Dominique Borrione, Katell Morin-Allory, Laurence Pierre:
High-level symbolic simulation for automatic model extraction. DDECS 2009: 218-221
2008
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcci/BorrioneHPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcci/BorrioneHPS08
Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz:
Executable formal specification and validation of NoC communication infrastructures. SBCCI 2008: 176-181
2007
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/nocs/BorrioneHPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nocs/BorrioneHPS07
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
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tvlsi/BorrioneDP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvlsi/BorrioneDP00
Dominique Borrione, Julia Dushina, Laurence V. Pierre:
A compositional model for the functional verification of high-level synthesis results. IEEE Trans. Very Large Scale Integr. Syst. 8(5): 526-530 (2000)
1998
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcci/BorrioneDP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcci/BorrioneDP98
Dominique Borrione, Julia Dushina, Laurence Pierre:
Formalization of Finite State Machines with Data Path for the Verification of High-Level Synthesis. SBCCI 1998: 99-102
1992
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/dt/BorrionePS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dt/BorrionePS92
Dominique Borrione, Laurence V. Pierre, Ashraf M. Salem:
Formal Verification of VHDL Descriptions in the Prevail Environment. IEEE Des. Test Comput. 9(2): 42-56 (1992)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.