André Schiper

According to our database1, André Schiper
  • authored at least 174 papers between 1988 and 2016.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Consensus with Partial Synchrony.
Encyclopedia of Algorithms, 2016

Leveraging Hardware Message Passing for Efficient Thread Synchronization.
TOPC, 2016

2015
Efficient Process Replication for MPI Applications: Sharing Work between Replicas.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

On the Performance of Delegation over Cache-Coherent Shared Memory.
Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

2014
Dagstuhl seminar review: consistency in distributed systems.
SIGACT News, 2014

Tolerating permanent and transient value faults.
Distributed Computing, 2014

Leveraging hardware message passing for efficient thread synchronization.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

High-Throughput Maps on Message-Passing Manycore Architectures: Partitioning versus Replication.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014

2013
Optimizing Paxos with batching and pipelining.
Theor. Comput. Sci., 2013

Consistency in Distributed Systems (Dagstuhl Seminar 13081).
Dagstuhl Reports, 2013

Bounded Delay in Byzantine-Tolerant State Machine Replication.
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

SPBC: leveraging the characteristics of MPI HPC applications for scalable checkpointing.
Proceedings of the International Conference for High Performance Computing, 2013

Achieving High-Throughput State Machine Replication in Multi-core Systems.
Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

Addressing the ZooKeeper Synchronization Inefficiency.
Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013

Replication for send-deterministic MPI HPC applications.
Proceedings of the 3rd Workshop on Fault-tolerance for HPC at extreme scale, 2013

Distal: A framework for implementing fault-tolerant distributed algorithms.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
Quantitative Analysis of Consensus Algorithms.
IEEE Trans. Dependable Sec. Comput., 2012

Timing analysis of leader-based and decentralized Byzantine consensus algorithms.
J. Braz. Comp. Soc., 2012

S-Paxos: Offloading the Leader for High Throughput State Machine Replication.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

High-performance RMA-based broadcast on the intel SCC.
Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, 2012

Brief announcement: tolerating permanent and transient value faults.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Asynchronous Broadcast on the Intel SCC using Interrupts.
Proceedings of the 6th Many-core Applications Research Community (MARC) Symposium. Proceedings of the 6th MARC Symposium, 2012

Tuning Paxos for High-Throughput with Batching and Pipelining.
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

Implementing Virtual Machine Replication: A Case Study Using Xen and KVM.
Proceedings of the IEEE 26th International Conference on Advanced Information Networking and Applications, 2012

2011
A Fault-Tolerant Token-Based Atomic Broadcast Algorithm.
IEEE Trans. Dependable Sec. Comput., 2011

Preface.
Theor. Comput. Sci., 2011

Student mini-kernel project based on an FPGA board.
Operating Systems Review, 2011

The impact of mobility on the time complexity for deterministic broadcasting in radio networks.
IJAHUC, 2011

Verification of consensus algorithms using satisfiability solving.
Distributed Computing, 2011

Structured Derivation of Semi-Synchronous Algorithms.
Proceedings of the Distributed Computing - 25th International Symposium, 2011

On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults.
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

Timing Analysis of Leader-Based and Decentralized Byzantine Consensus Algorithms.
Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

2010
Swift Algorithms for Repeated Consensus.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

From Object Replication to Database Replication.
Proceedings of the Replication: Theory and Practice, 2010

Modular Approach to Replication for Availability.
Proceedings of the Replication: Theory and Practice, 2010

A Leader-Free Byzantine Consensus Algorithm.
Proceedings of the Distributed Computing and Networking, 11th International Conference, 2010

Generic construction of consensus algorithms for benign and Byzantine faults.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009
The Heard-Of model: computing in distributed systems with benign faults.
Distributed Computing, 2009

Brief Announcement: A Leader-free Byzantine Consensus Algorithm.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Relaxed Atomic Broadcast: State-Machine Replication Using Bounded Memory.
Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

Latency-aware leader election.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Unifying Byzantine Consensus Algorithms with Weak Interactive Consistency.
Proceedings of the Principles of Distributed Systems, 13th International Conference, 2009

2008
Consensus with Partial Synchrony.
Proceedings of the Encyclopedia of Algorithms, 2008

Using Bounded Model Checking to Verify Consensus Algorithms.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Extending Paxos/LastVoting with an Adequate Communication Layer for Wireless Ad Hoc Networks.
Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008

A predicate-based approach to dynamic protocol update in group communication.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

On the Specification of Partitionable Group Membership.
Proceedings of the Seventh European Dependable Computing Conference, 2008

2007
Harmful dogmas in fault tolerant distributed computing.
SIGACT News, 2007

Model Checking of Consensus Algorit.
Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

An Automatic Real-Time Analysis of the Time to Reach Consensus.
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Tolerating corrupted communication.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Modeling and Validating the Performance of Atomic Broadcast Algorithms in High Latency Networks.
Proceedings of the Euro-Par 2007, 2007

On the Cost of Modularity in Atomic Broadcast.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006
From Set Membership to Group Membership: A Separation of Concerns.
IEEE Trans. Dependable Sec. Comput., 2006

Dynamic group communication.
Distributed Computing, 2006

DRIFT: Efficient Message Ordering in Ad Hoc Networks Using Virtual Flooding.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Group Communication: From Practice to Theory .
Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006

Service interface: a new abstraction for implementing and composing protocols.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Improving Fast Paxos: being optimistic with no overhead.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Structural and algorithmic issues of dynamic protocol update.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Reliable Broadcast in Wireless Mobile Ad Hoc Networks.
Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

Solving Atomic Broadcast with Indirect Consensus.
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

Dependable Systems.
Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

Advances in the Design and Implementation of Group Communication Middleware.
Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

2005
Comparison of Database Replication Techniques Based on Total Order Broadcast.
IEEE Trans. Knowl. Data Eng., 2005

Replication: Understanding the Advantage of Atomic Broadcast over Quorum Systems.
J. UCS, 2005

A new look at atomic broadcast in the asynchronous crash-recovery model.
Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), 2005

Assessing the Crash-Failure Assumption of Group Communication Protocols.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

A Location Service Mechanism for Position-Based Multicasting in Wireless Mobile Ad hoc Networks.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

2004
Semi-passive replication and Lazy Consensus.
J. Parallel Distrib. Comput., 2004

Uniform consensus is harder than consensus.
J. Algorithms, 2004

Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view.
ACM Comput. Surv., 2004

Total order broadcast and multicast algorithms: Taxonomy and survey.
ACM Comput. Surv., 2004

Performance Comparison of a Rotating Coordinator and a Leader Based Consensus Algorithm.
Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

Token-based Atomic Broadcast using Unreliable Failure Detectors.
Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

Brief announcement: on the inherent cost of generic broadcast.
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Group Communication: Where Are We Today and Future Challenges.
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

Towards JMS Compliant Group Communication - A Semantic Mapping.
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

Towards Flexible Finite-State-Machine-Based Protocol Composition.
Proceedings of the 3rd IEEE International Symposium on Network Computing and Applications (NCA 2004), 30 August, 2004

SAMOA: Framework for Synchronisation Augmented Microprotocol Approach.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Beyond 1-Safety and 2-Safety for Replicated Databases: Group-Safety.
Proceedings of the Advances in Database Technology, 2004

Consensus with Unknown Participants or Fundamental Self-Organization.
Proceedings of the Ad-Hoc, Mobile, and Wireless Networks: Third International Conference, 2004

2003
Using Optimistic Atomic Broadcast in Transaction Processing Systems.
IEEE Trans. Knowl. Data Eng., 2003

Optimistic atomic broadcast: a pragmatic viewpoint.
Theor. Comput. Sci., 2003

Fault-Tolerant Mobile Agent Execution.
IEEE Trans. Computers, 2003

Robust TCP Connections for Fault Tolerant Computing.
J. Inf. Sci. Eng., 2003

The Database State Machine Approach.
Distributed and Parallel Databases, 2003

Probabilistic broadcast for flooding in wireless mobile ad hoc networks.
Proceedings of the 2003 IEEE Wireless Communications and Networking, 2003

Reliable multicast in mobile networks.
Proceedings of the 2003 IEEE Wireless Communications and Networking, 2003

Preventing Orphan Requests in the Context of Replicated Invocation.
Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

Appia vs. Cactus: Comparing Protocol Composition Frameworks.
Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

Brief announcement: dynamic group communication.
Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003

Group Communication based on Standard Interfaces.
Proceedings of the 2nd IEEE International Symposium on Network Computing and Applications (NCA 2003), 2003

A Step Towards a New Generation of Group Communication Systems.
Proceedings of the Middleware 2003, 2003

Comparison of Failure Detectors and Group Membership: Performance Study of Two Atomic Broadcast Algorithms.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Practical Impact of Group Communication Theory.
Proceedings of the Future Directions in Distributed Computing, 2003

2002
Neko: A Single Environment to Simulate and Prototype Distributed Algorithms.
J. Inf. Sci. Eng., 2002

Handling message semantics with Generic Broadcast protocols.
Distributed Computing, 2002

Broadcasting Messages in Fault-Tolerant Distributed Systems: The Benefit of Handling Input-Triggered and Output-Triggered Suspicions Differently.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

On the accuracy of MANET simulators.
Proceedings of the 2002 Workshop on Principles of Mobile Computing, 2002

Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

Robust TCP Connections for Fault Tolerant Computing.
Proceedings of the 9th International Conference on Parallel and Distributed Systems, 2002

Non-Blocking Transactional Mobile Agent Execution.
ICDCS, 2002

Distributed Systems and Algorithms.
Proceedings of the Euro-Par 2002, 2002

Solving Agreement Problems with Weak Ordering Oracles.
Proceedings of the Dependable Computing, 2002

Semantics of Protocol Modules Composition and Interaction.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001
The Generic Consensus Service.
IEEE Trans. Software Eng., 2001

Genuine atomic multicast in asynchronous distributed systems.
Theor. Comput. Sci., 2001

Time vs. Space in Fault-Tolerant Distributed Systems.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be?.
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Primary-Backup Replication: From a Time-Free Protocol to a Time-Based Implementation.
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Impact of a Failure Detection Mechanism on the Performance of Consensus.
Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

Neko: A Single Environment to Simulate and Prototype Distributed Algorithms.
Proceedings of the 15th International Conference on Information Networking, 2001

Optimistic Active Replication.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

FATOMAS-A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent Approach.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000
Database Replication Techniques: A Three Parameter Classification.
Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems.
Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Understanding Replication in Databases and Distributed Systems.
Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

Contention-aware metrics for distributed algorithms: comparison of atomic broadcast algorithms.
Proceedings of the Proceedings Ninth International Conference on Computer Communications and Networks, 2000

Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999
Optimization techniques for replicating CORBA objects.
Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Generic Broadcast.
Proceedings of the Distributed Computing, 1999

Processing Transactions over Optimistic Atomic Broadcast Protocols.
Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

Distributed Systems and Algorithms - Introduction.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

Muteness Failure Detectors: Specification and Implementation.
Proceedings of the Dependable Computing, 1999

Replicating CORBA objects: a marriage between active and passive replication.
Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999

Consensus in Asynchronous Distributed Systems: A Concise Guided Tour.
Proceedings of the Advances in Distributed Systems, 1999

Replication of CORBA Objects.
Proceedings of the Advances in Distributed Systems, 1999

1998
The Implementation of a CORBA Object Group Service.
TAPOS, 1998

Optimistic Atomic Broadcast.
Proceedings of the Distributed Computing, 12th International Symposium, 1998

Semi-Passive Replication.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Muteness Detectors for Consensus with Byzantine Processes.
Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

Scalable Atomic Multicast.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), 1998

Exploiting Atomic Broadcast in Replicated Databases.
Proceedings of the Euro-Par '98 Parallel Processing, 1998

Evaluating CORBA portability: the case of an object group service.
Proceedings of the Second International Enterprise Distributed Object Computing Workshop, 1998

1997
Early Consensus in an Asynchronous System with a Weak Failure Detector.
Distributed Computing, 1997

Software-Based Replication for Fault Tolerance.
IEEE Computer, 1997

A suite of definitions for consistency criteria in distributed shared memories.
Annales des Télécommunications, 1997

Genuine Atomic Multicast.
Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

Transaction Reordering in Replicated Databases.
Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

Total Order Multicast to Multiple Groups.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Consensus: The Big Misunderstanding.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

Replicating objects using the CORBA Event Service?
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997

1996
From Group Communication to Transactions in Distributed Systems.
Commun. ACM, 1996

"Gamma-Accurate" Failure Detectors.
Proceedings of the Distributed Algorithms, 10th International Workshop, 1996

Reducing the Cost for Non-Blocking in Atomic Commitment.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Consensus Service: A Modular Approach for Building Agreement Protocols in Distributed Systems.
Proceedings of the Digest of Papers: FTCS-26, 1996

Atomic Updates of Replicated Data.
Proceedings of the Dependable Computing, 1996

Fault-Tolerance by Replication in Distributed Systems.
Proceedings of the Reliable Software Technologies, 1996

1995
On Group Communication in Large-Scale Distributed Systems.
Operating Systems Review, 1995

A Hierarchy of Totally Ordered Multicasts.
Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995

Non-Blocking Atomic Commitment with an Unreliable Failure Detector.
Proceedings of the 14th Symposium on Reliable Distributed Systems, 1995

The Decentralized Non-Blocking Atomic Commitment Protocol.
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

A Generic Multicast Primitive to Support Transactions on Replicated Objects in Distributed Systems.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

From Causal Consistency to Sequential Consistency in Shared Memory Systems.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

1994
Strong Stable Properties in Distributed Systems.
Distributed Computing, 1994

Primary Partition "Virtually-Synchronous Communication" harder than Consensus.
Proceedings of the Distributed Algorithms, 8th International Workshop, 1994

On Group Communication in Large-Scale Distributed Systems.
Proceedings of the 6th ACM SIGOPS European Workshop: Matching Operating Systems to Application Needs, 1994

Uniform Actions in Asynchronous Distributed Systems (Extended Abstract).
Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Transaction Model vs. Virtual Synchrony Model: Bridging the Gap.
Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

Duplex: A Distributed Collaborative Editing Environment in Large Scale.
Proceedings of the CSCW '94, 1994

1993
On the Granularity of Events when Modeling Program Executions.
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

Uniform Reliable Multicast in a Virtually Synchronous Environment.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

Virtually-Synchronous Communication Based on a Weak Failure Suspector.
Proceedings of the Digest of Papers: FTCS-23, 1993

1992
Execution Replay: A Mechanism for Integrating a Visualization Tool with a Symbolic Debugger.
Proceedings of the Parallel Processing: CONPAR 92, 1992

1991
Lightweigt Causal and Atomic Group Multicast.
ACM Trans. Comput. Syst., 1991

The Causal Ordering Abstraction and a Simple Way to Implement it.
Inf. Process. Lett., 1991

Efficient Execution Replay Technique for Distributed Memory Architectures.
Proceedings of the Distributed Memory Computing, 2nd Euronean Conference, 1991

1990
Weak Consistency and Pessimistic Replica Control.
Proceedings of the Distributed Algorithms, 4th International Workshop, 1990

Execution Replay on Distributed Memory Architectures.
Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

1989
Efficient Implementation of Rendezvous.
Comput. J., 1989

A New Algorithm to Implement Causal Ordering.
Proceedings of the Distributed Algorithms, 1989

1988
Understanding concurrent programming through program animation.
Proceedings of the 19st SIGCSE Technical Symposium on Computer Science Education, 1988


  Loading...