Details
Title
LSR
Formal Name (French)
Laboratoire de systèmes répartis
Formal Name (English)
Distributed Systems Laboratory
Lab Manager
Infoscience team
Group ID
U10411
Affiliated authors
Biely, Martin
Boichat, Romain
Borran, Fatemeh
Cavin, David
de Sousa Santos, Nuno Filipe
Eugster, Patrick
Favez, Cendrine
Hutle, Martin
Kalantari, Babak
Mena, Sergio
Meoni, Marco
Milosevic, Zarko
Pedone, Fernando
Petrovic, Darko
Ropars, Thomas
Sanchez, Eduardo
Sasson, Yoav
Schiper, André
Boichat, Romain
Borran, Fatemeh
Cavin, David
de Sousa Santos, Nuno Filipe
Eugster, Patrick
Favez, Cendrine
Hutle, Martin
Kalantari, Babak
Mena, Sergio
Meoni, Marco
Milosevic, Zarko
Pedone, Fernando
Petrovic, Darko
Ropars, Thomas
Sanchez, Eduardo
Sasson, Yoav
Schiper, André
Institute
IINFCOM
Faculty
IC
Note
Members of LSR-unit
Linked resource
http://lsrwww.epfl.ch/
Publications
A Fault-Tolerant Token-Based Atomic Broadcast Algorithm
A Simple Logic for Authentication Protocol Design
A formal approach to fault tolerant distributed consensus
Communication Predicates: A high-level abstraction for coping with transient and dynamic faults
Comparing Atomic Broadcast Algorithms in High Latency Networks
High-Throughput Maps on Message-Passing Manycore Architectures: Partitioning versus Replication
Leveraging Hardware Message Passing for Efficient Thread Synchronization
On the Problem of Trust in Mobile Agent Systems
Optimizing Paxos with batching and pipelining
Unifying Byzantine Consensus Algorithms with Weak Interactive Consistency
See complete list of publications (475)
A Simple Logic for Authentication Protocol Design
A formal approach to fault tolerant distributed consensus
Communication Predicates: A high-level abstraction for coping with transient and dynamic faults
Comparing Atomic Broadcast Algorithms in High Latency Networks
High-Throughput Maps on Message-Passing Manycore Architectures: Partitioning versus Replication
Leveraging Hardware Message Passing for Efficient Thread Synchronization
On the Problem of Trust in Mobile Agent Systems
Optimizing Paxos with batching and pipelining
Unifying Byzantine Consensus Algorithms with Weak Interactive Consistency
See complete list of publications (475)
Record appears in
Authorities > Lab