Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

BAD: bandwidth adaptive dissemination or (the case for BAD trees)., und . Middleware (Demos and Posters), Seite 25. ACM, (2007)Picsou: Enabling Efficient Cross-Consensus Communication., , , , , und . CoRR, (2023)Upright cluster services., , , , , , und . SOSP, Seite 277-290. ACM, (2009)Armada: low-effort verification of high-performance concurrent programs., , , , , , , und . PLDI, Seite 197-210. ACM, (2020)I4: incremental inference of inductive invariants for verification of distributed protocols., , , , , und . SOSP, Seite 370-384. ACM, (2019)Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems., , , , , , und . USENIX Annual Technical Conference, Seite 151-166. USENIX Association, (2022)Towards Automatic Inference of Inductive Invariants., , , , , und . HotOS, Seite 30-36. ACM, (2019)Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility., , , , , , , , und . ACM Trans. Program. Lang. Syst., 44 (2): 12:1-12:39 (2022)Aegean: replication beyond the client-server model., und . SOSP, Seite 385-398. ACM, (2019)Brief Announcement: On the Significance of Consecutive Ballots in Paxos., , und . PODC, Seite 172-174. ACM, (2020)