Fault tolerant distributed Ada. - Sergio Arévalo; Angel Alvarez (IRTAW, 1988)

Tolerancia a fallos en sistemas distribuidos mediante replicación de procesos. - Sergio Arévalo (1988)

A Distributed Consensus Protocol with a Coordinator. - Francisco Guerra Santana; Sergio Arévalo; Angel Alvarez; Javier Miranda (Decentralized and Distributed Systems, 1993)

A quick distributed consensus protocol. - Francisco Guerra Santana; Sergio Arévalo; Angel Alvarez; Javier Miranda (Microprocess. Microprogramming, 1993)

Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. - Javier Miranda; Angel Alvarez; Sergio Arévalo; Francisco Guerra Santana (Ada-Europe, 1996)

An Ada Library to Program Fault-Tolerant Distributed Applications. - Francisco Guerra Santana; Javier Miranda; Angel Alvarez; Sergio Arévalo (Ada-Europe, 1997)

Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada. - Marta Patiño-Martínez; Ricardo Jiménez-Peris; Sergio Arévalo (Ada-Europe, 1998)

Towards a Grand Unified Framework for Mobile Objects. - Francisco J. Ballesteros; Fabio Kon; Sergio Arévalo; Roy H. Campbell (ECOOP Workshops, 1998)

Synchronizing group transaction with rendezvous in a distributed Ada environment. - Marta Patiño-Martínez; Ricardo Jiménez-Peris; Sergio Arévalo (SAC, 1998)

Efficient and Extensible Multithreaded Remote Servers. - Ricardo Jiménez-Peris; Marta Patiño-Martínez; Francisco J. Ballesteros; Sergio Arévalo (Ada-Europe, 1999)

Object-Oriented in Off++ - A Distributed Adaptable Microkernel. - Francisco J. Ballesteros; Christopher K. Hess; Fabio Kon; Sergio Arévalo; Roy H. Campbell (ECOOP Workshops, 1999)

The Box: A Replacement for Files. - Francisco J. Ballesteros; Sergio Arévalo (Workshop on Hot Topics in Operating Systems, 1999)

Multithreaded Rendezvous: A Design Pattern for Distributed Rendezvous. - Ricardo Jiménez-Peris; Marta Patiño-Martínez; Sergio Arévalo (SAC, 1999)

Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems. - Mikel Larrea; Sergio Arévalo; Antonio Fernández 001 (DISC, 1999)

Exception Handling and Resolution for Transactional Object Groups. - Marta Patiño-Martínez; Ricardo Jiménez-Peris; Sergio Arévalo (Advances in Exception Handling Techniques, 2000)

Optimal implementation of the weakest failure detector for solving consensus (brief announcement). - Mikel Larrea; Antonio Fernández 001; Sergio Arévalo (PODC, 2000)

Concurrent Transactional Replicated Servers. - Ricardo Jiménez-Peris; Marta Patiño-Martínez; Sergio Arévalo (SAC (2), 2000)

Deterministic Scheduling for Transactional Multithreaded Replicas. - Ricardo Jiménez-Peris; Marta Patiño-Martínez; Sergio Arévalo (SRDS, 2000)

Optimal Implementation of the Weakest Failure Detector for Solving Consensus. - Mikel Larrea; Antonio Fernández 001; Sergio Arévalo (SRDS, 2000)

Using interpreted CompositeCalls to improve operating system services. - Francisco J. Ballesteros; Ricardo Jiménez-Peris; Marta Patiño-Martínez; Fabio Kon; Sergio Arévalo; Roy H. Campbell (Softw. Pract. Exp., 2000)

Programming Cooperative Systems in Drago. - Javier Miranda; Francisco Guerra Santana; Angel Alvarez; Sergio Arévalo (PDP, 2001)

A Low-Latency Non-blocking Commit Service. - Ricardo Jiménez-Peris; Marta Patiño-Martínez; Gustavo Alonso; Sergio Arévalo (DISC, 2001)

Concurrency Control in Transactional Drago. - Marta Patiño-Martínez; Ricardo Jiménez-Peris; Jörg Kienzle; Sergio Arévalo (Ada-Europe, 2002)

On the Impossibility of Implementing Perpetual Failure Detectors in Partially Synchronous Systems. - Mikel Larrea; Antonio Fernández 001; Sergio Arévalo (PDP, 2002)

Plan B: Boxes for networked resources. - Francisco J. Ballesteros; Gorka Guardiola Muzquiz; Katia Leal Algara; Enrique Soriano 001; Pedro de las Heras Quirós; Eva M. Castro; Andres Leonardo; Sergio Arévalo (J. Braz. Comput. Soc., 2004)

On the Implementation of Unreliable Failure Detectors in Partially Synchronous Systems. - Mikel Larrea; Antonio Fernández 001; Sergio Arévalo (IEEE Trans. Computers, 2004)

Brief announcement: minimal system conditions to implement unreliable failure detectors. - Antonio Fernández 001; Ernesto Jiménez; Sergio Arévalo (PODC, 2005)

Eventually consistent failure detectors. - Mikel Larrea; Antonio Fernández 001; Sergio Arévalo (J. Parallel Distributed Comput., 2005)

Minimal System Conditions to Implement Unreliable Failure Detectors. - Antonio Fernández 001; Ernesto Jiménez; Sergio Arévalo (PRDC, 2006)

Implementing unreliable failure detectors with unknown membership. - Ernesto Jiménez; Sergio Arévalo; Antonio Fernández 001 (Inf. Process. Lett., 2006)

On the interconnection of message passing systems. - Angel Alvarez; Sergio Arévalo; Vicent Cholvi; Antonio Fernández 001; Ernesto Jiménez (Inf. Process. Lett., 2008)

Batching: A Design Pattern for Efficient and Flexible Client/Server Interaction. - Francisco J. Ballesteros; Fabio Kon; Marta Patiño-Martínez; Ricardo Jiménez-Peris; Sergio Arévalo; Roy H. Campbell (Trans. Pattern Lang. Program., 2009)

Communication-efficient and crash-quiescent Omega with unknown membership. - Sergio Arévalo; Ernesto Jiménez; Mikel Larrea; Luis Mengual (Inf. Process. Lett., 2011)

Set Agreement and the Loneliness Failure Detector in Crash-Recovery Systems. - Sergio Arévalo; Ernesto Jiménez; Jian Tang 010 (NETYS, 2013)

Implementing the weakest failure detector for solving the consensus problem. - Mikel Larrea; Antonio Fernández Anta; Sergio Arévalo (Int. J. Parallel Emergent Distributed Syst., 2013)

Implementing Uniform Reliable Broadcast in Anonymous Distributed Systems with Fair Lossy Channels. - Jian Tang 010; Mikel Larrea; Sergio Arévalo; Ernesto Jiménez (IPDPS Workshops, 2015)

Brief Announcement: Fault-tolerant Broadcast in Anonymous Distributed Systems with Fair Lossy Communication Channels. - Jian Tang 010; Mikel Larrea; Sergio Arévalo; Ernesto Jiménez (PODC, 2015)

Set agreement and the loneliness failure detector in crash-recovery systems. - Sergio Arévalo; Ernesto Jiménez; Jian Tang 010; Rommel Torres (Comput. Syst. Sci. Eng., 2015)

Failure detectors in homonymous distributed systems (with an application to consensus). - Sergio Arévalo; Antonio Fernández Anta; Damien Imbs; Ernesto Jiménez; Michel Raynal (J. Parallel Distributed Comput., 2015)

Eventual election of multiple leaders for solving consensus in anonymous systems. - Ernesto Jiménez; Sergio Arévalo; Carlos Herrera; Jian Tang 010 (J. Supercomput., 2015)

Fault-tolerant broadcast in anonymous systems. - Ernesto Jiménez; Sergio Arévalo; Jian Tang 010 (J. Supercomput., 2015)

Reliable broadcast in anonymous distributed systems with fair lossy channels. - Jian Tang 010; Mikel Larrea; Sergio Arévalo; Ernesto Jiménez (Int. J. High Perform. Comput. Netw., 2017)

Uniform reliable broadcast in anonymous distributed systems with fair lossy channels. - Jian Tang 010; Mikel Larrea; Sergio Arévalo; Ernesto Jiménez (Computing, 2020)