( en | de | ru )

 

Disambiguierung von "Guanciale, Roberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
P4R-Type: A Verified API for P4 Control Plane Programs.

, , , und . Proc. ACM Program. Lang., 7 (OOPSLA2): 1935-1963 (Oktober 2023)

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.

Roberto Fornari

Roberto Cruccolini

Roberto Sala

Roberto Minakawa

Roberto Klimmek

 

Weitere Publikationen von Autoren mit dem selben Namen

BPMN Modelling of Services with Dynamically Reconfigurable Transactions., , , und . ICSOC, Volume 6470 von Lecture Notes in Computer Science, Seite 396-410. (2010)Protecting Instruction Set Randomization from Code Reuse Attacks.. NordSec, Volume 11252 von Lecture Notes in Computer Science, Seite 421-436. Springer, (2018)A Case Study in Information Flow Refinement for Low Level Systems., , , , und . The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 54-79. Springer, (2022)Secure Partitioning of Composite Cloud Applications., , , , und . ESOCC, Volume 13226 von Lecture Notes in Computer Science, Seite 47-64. Springer, (2022)Refinement-Based Verification of Device-to-Device Information Flow., , und . FMCAD, Seite 123-132. IEEE, (2021)Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution., , , , und . FMCAD, Seite 129-138. IEEE, (2022)Hoare-Style Logic for Unstructured Programs., , , und . SEFM, Volume 12310 von Lecture Notes in Computer Science, Seite 193-213. Springer, (2020)Validation of Side-Channel Models via Observation Refinement., , , und . MICRO, Seite 578-591. ACM, (2021)Global Coordination Policies for Services., , , und . FACS, Volume 260 von Electronic Notes in Theoretical Computer Science, Seite 73-89. Elsevier, (2008)On Compositional Information Flow Aware Refinement., , , und . CSF, Seite 1-16. IEEE, (2021)