P. Attie, R. Guerraoui, P. Kuznetsov, N. Lynch and S. Rajsbaum. The impossibility of boosting distributed service resilience, in Information and Computation, vol. 209, num. 6, p. 927-950, 2011.

Detailed record - Full Text - View at publisher

C. Delporte-Gallet, H. Fauconnier, R. Guerraoui and A. Tielmann. The disagreement power of an adversary, in Distributed Computing, vol. 24, num. 3-4, p. 137-147, 2011.

Detailed record - Full Text - View at publisher

X. Bai, R. Guerraoui, A.-M. Kermarrec and V. Leroy. Collaborative Personalized Top-k Processing, in ACM Transactions on Database Systems, vol. 36, p. -, 2011.

Detailed record - Full Text - View at publisher

R. Guerraoui, T. A. Henzinger and V. Singh. Verification of STM on relaxed memory models, in Formal Methods In System Design, vol. 39, p. 297-331, 2011.

Detailed record - Full Text - View at publisher

E. Gafni, R. Guerraoui and B. Pochon. The Complexity Of Early Deciding Set Agreement, in Siam Journal On Computing, vol. 40, p. 63-78, 2011.

Detailed record - Full Text - View at publisher

A. Dragojevic, P. Felber, V. Gramoli and R. Guerraoui. Why STM can be more than a Research Toy, in Communications of the ACM, vol. 54, p. 70-77, 2011.

Detailed record - Full Text - View at publisher

F. Freiling, R. Guerraoui and P. Kuznetsov. The Failure Detector Abstraction, in ACM Computing Surveys, vol. 43, num. 2, p. 9, 2011.

Detailed record - Full Text - View at publisher

H. Attiya, R. Guerraoui, D. Hendler, P. Kuznetsov and M. M. Michael et al. Laws of order. 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Austin, USA, 2011.

Detailed record - Full Text - View at publisher

D. Dobre, R. Guerraoui, M. Majuntke, N. Suri and M. Vukolić. The complexity of robust atomic storage. the 30th annual ACM SIGACT-SIGOPS symposium, San Jose, California, USA, 2011.

Detailed record - Full Text - View at publisher

C. Delporte-Gallet, H. Fauconnier, R. Guerraoui, A.-M. Kermarrec and E. Ruppert et al. Byzantine agreement with homonyms. the 30th annual ACM SIGACT-SIGOPS symposium, San Jose, California, USA, 2011.

Detailed record - Full Text - View at publisher

R. Guerraoui and M. Yabandeh. Model Checking a Networked System Without the Network. 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI '11), Boston, Massachusetts, USA, 2011.

Detailed record - Full Text

E. Gafni and R. Guerraoui. Generalized Universality. 22nd International Conference, CONCUR, Aachen, Germany, Lecture Notes in Computer Science, 2011.

Detailed record - Full Text - View at publisher

V. Gramoli and R. Guerraoui. Brief Announcement: Transaction Polymorphism. 23rd Annual Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, 2011.

Detailed record - Full Text - View at publisher

V. Gramoli and R. Guerraoui. Democratizing Transactional Programming. Middleware 11, Lisbon, Lecture Notes in Computer Science 7049, 2011.

Detailed record - Full Text - View at publisher

D. Alistarh, J. Aspnes, S. Gilbert and R. Guerraoui. The Complexity of Renaming. Foundations of Computer Science (FOCS), 2011 IEEE 52nd Annual Symposium on, Palm Springs, CA, USA, Annual IEEE Symposium on Foundations of Computer Science, 2011.

Detailed record - Full Text - View at publisher

R. Banabic, G. Candea and R. Guerraoui. Automated Vulnerability Discovery in Distributed Systems. 7th Workshop on Hot Topics in System Dependability (HotDep), Hong Kong, China, 2011.

Detailed record - Full Text

H. Attiya, R. Guerraoui, D. Hendler, P. Kuznetsov and M. M. Michael et al. Laws of Order: Expensive Synchronization in Concurrent Algorithms Cannot be Eliminated . ACM POPL 2011, Austin, Texas, USA, 2011.

Detailed record - Full Text - View at publisher

D. Alistarh, S. Gilbert, R. Guerraoui and C. Travers. Generating Fast Indulgent Algorithms. 12th International Conference on Distributed Computing and Networking (ICDCN 2011), Lecture Notes in Computer Science, 2011.

Detailed record - Full Text - View at publisher

C. Cachin, R. Guerraoui and L. Rodrigues. Introduction to Reliable and Secure Distributed Programming. Springer, 978-3-642-15259-7, 2011.

Detailed record

M. Yabandeh, D. Kostic and R. Guerraoui (Dirs.). Model Checking of Distributed Algorithm Implementations. EPFL, Lausanne, 2011.

Detailed record - Full Text - View at publisher

G. Damaskinos, R. Guerraoui and R. Patra (Eds.). Capturing the Moment: Lightweight Similarity Computations. IEEE, 978-1-5090-6543-1.

Detailed record - View at publisher

S. Gambs, R. Guerraoui, H. Harkous, F. Huc and A.-M. Kermarrec. Scalable and Secure Aggregation in Distributed Networks, 2011.

Detailed record - Full Text

V. Bushkov, R. Guerraoui and M. Kapalka. On the Liveness of Transactional Memory, 2011.

Detailed record - Full Text

R. Guerraoui, V. Kuncak and G. Losa. Speculative Linearizability, 2011.

Detailed record - Full Text

D. Alistarh, J. Aspnes, S. Gilbert and R. Guerraoui. The Complexity of Renaming, 2011.

Detailed record - Full Text

R. Guerraoui and M. Yabandeh. Local Model Checking, 2011.

Detailed record - Full Text

V. Gramoli and R. Guerraoui. Transaction Polymorphism, 2011.

Detailed record - Full Text