PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Verbeek, Freek"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.

, , , , und . SAFECOMP, Volume 8666 von Lecture Notes in Computer Science, Seite 246-261. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Verbeek, Freek
Eine Person hinzufügen mit dem Namen Verbeek, Freek
 

Weitere Publikationen von Autoren mit dem selben Namen

Formal specification of networks-on-chips: deadlock and evacuation., und . DATE, Seite 1701-1706. IEEE, (2010)Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks., und . J. Autom. Reasoning, 48 (4): 419-439 (2012)Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures., und . ACM Trans. Design Autom. Electr. Syst., 17 (1): 1:1-1:28 (2012)On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet., , , , und . SAFECOMP, Volume 8666 von Lecture Notes in Computer Science, Seite 246-261. Springer, (2014)Inference of channel types in micro-architectural models of on-chip communication networks., , und . VLSI-SoC, Seite 1-6. IEEE, (2014)A Decision Procedure for Deadlock-Free Routing in Wormhole Networks., und . IEEE Trans. Parallel Distrib. Syst., 25 (8): 1935-1944 (2014)Verification of Building Blocks for Asynchronous Circuits, und . ACL2, Volume 114 von EPTCS, Seite 70-84. (2013)Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching., und . NOCS, Seite 25-32. ACM/IEEE Computer Society, (2011)Automatic generation of deadlock detection algorithms for a family of microarchitecture description languages of communication fabrics., und . HLDVT, Seite 25-32. IEEE Computer Society, (2012)Formal Deadlock Verification for Click Circuits., , und . ASYNC, Seite 183-190. IEEE Computer Society, (2013)