Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Losa, Giuliano
50  Ergebnisse:
Personensuche X
?
1

Brief Announcement: Understanding Read-Write Wait-Free Cove..:

, In: Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing,
Losa, Giuliano ; Gafni, Eli - p. 465-468 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols:

, In: Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing,
D'Amato, Francesco ; Losa, Giuliano ; Zanolini, Luca - p. 247-256 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

TetraBFT: Reducing Latency of Unauthenticated, Responsive B..:

, In: Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing,
Yu, Qianyu ; Losa, Giuliano ; Wang, Xuechao - p. 257-267 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

Invited Paper: Time Is Not a Healer, but It Sure Makes Hind..:

, In: Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems,
Gafni, Eli ; Losa, Giuliano - p. 62-74 , 2023
Link: https://doi.org/10.1007/..
 
?
5

The assignment problem:

Delporte-Gallet, Carole ; Fauconnier, Hugues ; Gafni, Eli.
Theoretical Computer Science.  886 (2021)  - p. 13-26 , 2021
Link: https://doi.org/10.1016/..
 
?
6

Taming the Contention in Consensus-based Distributed System:

Arun, Balaji ; Peluso, Sebastiano ; Palmieri, Roberto..
IEEE Transactions on Dependable and Secure Computing.  , 2020
Link: https://doi.org/10.1109/..
 
?
7

Verification of Threshold-Based Distributed Algorithms by D..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Berkovits, Idan ; Lazić, Marijana ; Losa, Giuliano.. - p. 245-266 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Fast and secure global payments with Stellar:

, In: Proceedings of the 27th ACM Symposium on Operating Systems Principles,
Lokhava, Marta ; Losa, Giuliano ; Mazières, David... - p. 80-96 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

Modularity for decidability of deductive verification with ..:

Taube, Marcelo ; Losa, Giuliano ; McMillan, Kenneth L....
ACM SIGPLAN Notices.  53 (2018)  4 - p. 662-677 , 2018
Link: https://doi.org/10.1145/..
 
?
10

The Assignment Problem:

, In: Proceedings of the 19th International Conference on Distributed Computing and Networking,
Delporte-Gallet, Carole ; Fauconnier, Hugues ; Gafni, Eli. - p. 1-9 , 2018
Link: https://dl.acm.org/doi/1..
 
?
11

Modularity for decidability of deductive verification with ..:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Taube, Marcelo ; Losa, Giuliano ; McMillan, Kenneth L.... - p. 662-677 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

Transparent Fault-Tolerance Using Intra-Machine Full-Softwa..:

, In: 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS),
Losa, Giuliano ; Barbalace, Antonio ; Wen, Yuzhong... - p. 1521-1531 , 2017
Link: https://doi.org/10.1109/..
 
?
13

Reducing liveness to safety in first-order logic:

Padon, Oded ; Hoenicke, Jochen ; Losa, Giuliano...
Proceedings of the ACM on Programming Languages.  2 (2017)  POPL - p. 1-33 , 2017
Link: https://doi.org/10.1145/..
 
?
14

Paxos made EPR: decidable reasoning about distributed proto..:

Padon, Oded ; Losa, Giuliano ; Sagiv, Mooly.
Proceedings of the ACM on Programming Languages.  1 (2017)  OOPSLA - p. 1-31 , 2017
Link: https://dl.acm.org/doi/1..
 
?
15

Paxos made EPR: decidable reasoning about distributed proto..:

Padon, Oded ; Losa, Giuliano ; Sagiv, Mooly.
Proceedings of the ACM on Programming Languages.  1 (2017)  OOPSLA - p. 1-31 , 2017
Link: https://doi.org/10.1145/..
 
1-15