( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
IronFleet: proving safety and liveness of practical distributed systems.

, , , , , , , и . Commun. ACM, 60 (7): 83-92 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Georgios Manos

Manos Perrakis

Georgios Manos

Aspasia Manos

Helene Manos

 

Другие публикации лиц с тем же именем

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