Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Freek Verbeek" ( http://dblp.L3S.de/Authors/Freek_Verbeek )

  Author page on DBLP  Author page in RDF  Community of Freek Verbeek in ASPL-2

Publication years (Num. hits)
2010 (2) 2011 (5) 2012 (2)
Publication types (Num. hits)
article(4) inproceedings(5)
Venues (Conferences, Journals, ...)
IEEE Trans. Parallel Distrib. ...(2) ACL2(1) ACM Trans. Design Autom. Elect...(1) DATE(1) ITP(1) J. Autom. Reasoning(1) NOCS(1) PDP(1)
Authors
Freek Verbeek(9) Julien Schmaltz(9)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Freek Verbeek, Julien Schmaltz Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Freek Verbeek, Julien Schmaltz Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Freek Verbeek, Julien Schmaltz A Comment on "A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks". Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Freek Verbeek, Julien Schmaltz On Necessary and Sufficient Conditions for Deadlock-Free Routing in Wormhole Networks. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Freek Verbeek, Julien Schmaltz Formal verification of a deadlock detection algorithm Search on Bibsonomy ACL2 The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Freek Verbeek, Julien Schmaltz Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching. Search on Bibsonomy NOCS The full citation details ... 2011 DBLP  BibTeX  RDF
1Freek Verbeek, Julien Schmaltz A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free. Search on Bibsonomy PDP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Freek Verbeek, Julien Schmaltz A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks. Search on Bibsonomy ITP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Freek Verbeek, Julien Schmaltz Formal specification of networks-on-chips: deadlock and evacuation. Search on Bibsonomy DATE The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.