2020

    .   Tang, J; Larrea, M; Arevalo, S; Jimenez, E. Uniform reliable broadcast in anonymous distributed systems with fair lossy channels. Computing (2020). ISSN 0010-485X.  https://doi.org/10.1007/s00607-020-00825-6



2017 

·       Jose Ernesto Jimenez Merino; Sergio Arevalo Viñuales. Reliable broadcast in anonymous distributed systems with fair lossy channels. In International Journal of High Performance Computing And Networking. Vol 10 - 4/5, pp. 289 - 297. 12/2017. ISSN 1740-0562



2015

·       Jian Tang, Mikel Larrea, Sergio Arévalo, Ernesto Jiménez.  Implementing Reliable Broadcast in Anonymous Distributed Systems with Fair Lossy Channels, in Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2015, Work in Progress Volume, pp. 1-2, Turku, Finland, Mar 2015.

·       Jian Tang, Mikel Larrea, Sergio Arévalo, and Ernesto Jiménez. "Implementing Uniform Reliable Broadcast in Anonymous Distributed Systems with Fair Lossy Channels", in Proceedings of the 17th Workshop on Advances in Parallel and Distributed Computational Models, (APDCM 2015), pp. 500-508, Hyderabad (India), May 25, 2015.

·       Jian Tang, Mikel Larrea, Sergio Arévalo, and Ernesto Jiménez. "Brief Announcement: Fault-tolerant Broadcast in Anonymous Distributed Systems with Fair Lossy Communication Channels", in Proceedings of the 34th Annual ACM Symposium on Principles of Distributed Computing, (PODC 2015), Donostia-San Sebastián (Spain), July 21-23, 2015.

·    Jian Tang; Mikel Larrea; Sergio Arevalo Viñuales; Jose Ernesto Jimenez Merino. "21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015)".pp. 1 - 1. ISBN 978-1-4673-9376-8.

·       Sergio Arévalo, Ernesto Jiménez, Jian Tang, and Rommel Torres. "Set Agreement and the Loneliness Failure Detector in Crash-Recovery Systems". International Journal of Computer System Science and Engineering. ISSN 0267-6192. Vol. 30(3):243-251 (2015)

·       Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal. "Failure Detectors in Homonymous Distributed Systems(with an Application to Consensus)". Journal of Parallel and Distributed Computing. ISSN: 0743-7315. Vol. 89(9):83-95 (2015)

·       Ernesto Jiménez, Sergio Arévalo, Carlos Herrera, Jian Tang. "Eventual Election of Multiple Leaders for Solving Consensus in Anonymous Systems". The Journal of Supercomputing. ISSN: 0920-8542. 2015. Springer.

·       Ernesto Jimenez; Sergio Arevalo; Jian Tang. Fault-tolerant broadcast in anonymous systems. The Journal of Supercomputing. 71 - 11, pp. 4172 - 4191. 2015. ISSN 0920-8542

2013

·       Mikel Larrea, Antonio Fernández, Sergio Arévalo: Implementing the Weakest Failure Detector for Solving Consensus. International Journal of Parallel, Emergent and Distributed Systems, 28(6): 537-555 (2013). Taylor & Francis.  http://www.tandfonline.com/doi/abs/10.1080/17445760.2012.753180

·       Sergio Arévalo, Ernesto Jiménez, and Jian Tang.  Set Agreement and the Loneliness Failure Detector in Crash-Recovery Systems. The International Conference on Networked Systems NETYS 2013. Marrakech, Morocco, May 2-4, 2013. Lecture Notes in Computer Science, V. 7853: pp. 13-27, Springer-Verlag.  (http://dx.doi.org/10.1007/978-3-642-40148-0_2)

2012

·       Sergio Arévalo, Antonio Fernández Anta, Damien Imbs, Ernesto Jiménez, Michel Raynal. Failure Detectors in Homonymous Distributed Systems (with an Aplication to Consensus). In Proceedings of the IEEE International Conference on Distributed Computing Systems ICDCS 2012.  Macao (China), June 18-21, 2012. 275-284.  (http://dx.doi.org/DOI 10.1109/ICDCS.2012.13).

2011

·       Sergio Arévalo, Ernesto Jiménez, Mikel Larrea and Luis Mengual: Communication-efficient and crash-quiescent Omega with Unknown Membership. Information Processing Letters 111 (4): 194-199 (2011). Elsevier. (http://dx.doi.org/10.1016/j.ipl.2010.11.012)

2009

2008

·       Angel Alvarez, Sergio Arévalo, Vicente Cholvi, Antonio Fernández, Ernesto Jiménez: On the Interconnection of Message Passing Systems. Information Processing Letters 105 (6): 249-254 (2008). Elsevier. (http://dx.doi.org/10.1016/j.ipl.2007.09.006)

2006

·       Antonio Fernández, Ernesto Jiménez, Sergio Arévalo: Minimal System Conditions to Implement Unreliable Failure Detectors. In Proceedings of IEEE Pacific Rim Dependeble Computing PRDC 2006: 63-72. http://doi.ieeecomputersociety.org/10.1109/PRDC.2006.44

·       Ernesto Jiménez, Sergio Arévalo, Antonio Fernández: Implementing unreliable failure detectors with unknown membership. Information Processing Letters 100(2): 60-63 (2006). Elsevier (http://dx.doi.org/10.1016/j.ipl.2006.05.009)

2005

·       Antonio Fernández, Ernesto Jiménez, Sergio Arévalo: Brief announcement: minimal system conditions to implement unreliable failure detectors. In Proceedings of the IEEE Principles of Distributed Computing PODC 2005: 207 http://doi.acm.org/10.1145/1073814.1073851

2004

·       Mikel Larrea, Antonio Fernández, Sergio Arévalo: On the Implementation of Unreliable Failure Detectors in Partially Synchronous Systems. IEEE Transactions on Computers 53(7): 815-828 (2004) http://doi.ieeecomputersociety.org/10.1109/TC.2004.3

·       Francisco J. Ballesteros, Gorka Guardiola, Katia Leal, Enrique Soriano, Pedro de las Heras, Eva Castro, Andres Martinez, Sergio Arevalo: Plan B: Boxes for Networked Resources.  Journal of the Brazilian Computer Society, 10(1), 33-44 (2004).

2002

·       M. Patiño-Martínez, R. Jiménez-Peris, S. Arévalo. Group Transactions: An Integrated Approach to Transactions and Group Communication. Chapter of the book Concurrency in Dependable Computing. P. Ezhilchelvan and A. Romanovsky (eds). pp. 253-271, Kluwer. 2002. (PS)(PDF)

·       M. Patiño-Martínez, R. Jiménez-Peris, J. Kienzle, S. Arévalo. Concurrency Control in TRansactional Drago. Lecture Notes in Computer Science, V. 2361. pp. 209-320, Springer-Verlag. 2002.

·       Mikel Larrea, Antonio Fernández, Sergio Arévalo: Eventually Consistent Failure Detectors. In Proccedings of Parallel and Distributed Processing PDP 2002: 91-98 http://doi.ieeecomputersociety.org/10.1109/EMPDP.2002.994239

·       Mikel Larrea, Antonio Fernández, Sergio Arévalo: On the Impossibility of Implementing Perpetual Failure Detectors in Partially Synchronous Systems. In Proceedings of Parallel and Distributed Processing PDP 2002: 99-106. http://doi.ieeecomputersociety.org/10.1109/EMPDP.2002.994241

2001

·       R. Jiménez-Peris, M. Patiño-Martínez, G. Alonso, S. Arévalo. A Low-Latency Non-Blocking Commit Protocol. 15th Int. Conf. on Distributed Computing, DISC'01. Lecture Notes in Computer Science, LNCS-2180, pp. 93-107, Springer. Lisboa, Portugal, Oct. 2001. (PS)(PDF)

·       M. Patiño-Martínez, R. Jiménez-Peris, and S. Arévalo. Exception Handling in Transactional Object Groups. Book chapter in Advances in Exception Handling Techniques. Lecture Notes in Computer Science (State of the Art Survey subline), LNCS-2022, pp. 165-180, Springer, April 2001. (PS)(PDF)

·       M. Patiño-Martínez, R. Jiménez-Peris, S. Arévalo. Group Transactions: An Integrated Approach to Transactions and Group Communication. In Proceedings of Workshop on Concurrency in Dependable Computing. Newcastle Upon Tyne, United Kingdom, Jun. 2001.(PS)(PDF)

·       Mikel Larrea, Antonio Fernández, Sergio Arévalo: Eventually consistent failure detectors. In Proceedings of ACM Symposium on Parallel  Algorithms and Architectures SPAA 2001: 326-327. ACM Press. http://doi.acm.org/10.1145/378580.378747

·       R. Jiménez-Peris, M. Patiño-Martínez, G. Alonso, S. Arévalo. Reducing the Latency of Non-Blocking Atomic Commitment using Optimism and Replication (fast abst.). IEEE Int. Conf. on Dependable Systems and Networks (DSN). Göteborg, Sweden, Jul. 2001. 

2000

·       R. Jiménez-Peris, M. Patiño-Martínez, S. Arévalo. Deterministic Scheduling for Transactional Multithreaded Replicas. In Proceedings of IEEE Symposium on Reliable Distributed Systems, SRDS'00,  pp. 164-173, Nüremberg, Germany, October 2000. (PS)(PDF)

·       R. Jiménez-Peris, M. Patiño-Martínez, S. Arévalo, and F.J. Ballesteros. TransLib: An Ada 95 Object Oriented Framework for Building Transactional Applications. Special Issue on Developing Fault-Tolerant Systems with Ada. International Journal of Computer Systems: Science & Engineering. ISSN 0267-6192. vol. 15, n.1, pp. 7-18, January 2000. (PS)(PDF)

·       J. Miranda, A. Alvarez, F. Guerra, S. Arevalo. Programming replicated systems in Drago. Special Issue on Developing Fault-Tolerant Systems with Ada. International Journal of Computer Systems: Science & Engineering. ISSN 0267-6192. vol. 15, n.1, pp. 49-60, January 2000.

·       M. Patiño-Martínez, R. Jiménez-Peris, and S. Arévalo. Exception Handling in Transactional Object Groups. In Proceedings of the ECOOP Workshop on Exception Handling in Object Oriented Systems. Nice, France, June 2000.

·       R. Jiménez-Peris, M. Patiño-Martínez, and S. Arévalo. Concurrent Transactional Replicated Servers. In Proceedings of the ACM Simposium on Applied Computing SAC Conference, pp. 655-660. Como, Italy, March 2000. ACM Press.

·       F.J. Ballesteros, R. Jiménez-Peris, M. Patiño-Martínez, F. Kon, S. Arévalo, and R.H. Campbell. Using interpreted CompositeCalls to improve operating system services. Software Practice and Experience. ISSN 0038-0644. vol. 30, n. 6, pp. 589-615, May 2000. (PS)(PDF)

·       Mikel Larrea, Antonio Fernández, Sergio Arévalo: Optimal Implementation of the Weakest Failure Detector for Solving Consensus. In Proceedings of the IEEE Simposium on Reliable Distributed Systems SRDS 2000: 52-59. http://www.computer.org/proceedings/srds/0543/05430052abs.htm

·       M. Patiño-Martínez, R. Jiménez-Peris, and S. Arévalo. Deterministic Scheduling for Transactional Multithreaded Replicas. European Workshop on Dependable Computing, EWDC-11. Budapest, Hungary, May 2000.

·       M. Patiño-Martínez, R. Jiménez-Peris, and S. Arévalo. Group Transactions: An Integrated Approach to Transactions and Group Communication. European Workshop on Dependable Computing, EWDC-11. Budapest, Hungary, May 2000.

·       Mikel Larrea, Antonio Fernández, Sergio Arévalo: Optimal Implementation of the Weakest Failure Detector for Solving Consensus (brief announement). In Proceedings of the 19th ACM Simposium on Principles of Distributed Systems PODC '00: 334- . (http://dx.doi.org/10.1145/343477.362113)

1999

·       R. Jiménez-Peris, M. Patiño-Martínez, S. Arévalo. Multithreaded Rendezvous: A Design Pattern for Distributed Rendezvous. In Proceedings of the ACM SAC Conference, pp. 571-579. San Antonio, USA, Feb. 1999. ACM Press (PS)(PDF)

·       M. Patiño-Martínez, F. J. Ballesteros, R. Jiménez-Peris, S.Arévalo. Composite Calls: A Design Pattern for Efficient and Flexible Client-Server Interaction. In Proceedings of the 6th Conference on Pattern Languages of Program Design. University of Illinois at Urbana-Champaign. Aug.1999. (PS)(PDF)

·       Mikel Larrea, Sergio Arévalo, Antonio Fernández: Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems. Distributed Computing DISC 1999. Lecture Notes in Computer Science, V. 1693: pp. 34-48, Springer-Verlag. http://link.springer.de/link/service/series/0558/bibs/1693/16930034.htm

·       Francisco J. Ballesteros, Christopher K. Hess, Fabio Kon, Sergio Arévalo, Roy H. Campbell: Object-Oriented in Off++ A Distributed Adaptable Microkernel. In Proceedings of the European Conference on Object Oriented Programming ECOOP Workshops 1999: pp. 27-28

·       Francisco J. Ballesteros, Sergio Arévalo: The Box: A Replacement for Files. In Proccedings of the IEEE Workshop on Hot Topics in Operating Systems 1999: pp. 24-29. http://computer.org/proceedings/hotos/0237/02370024abs.htm

1998

·       M. Patiño-Martínez, R. Jiménez-Peris, S. Arévalo-Viñuales. Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada. In Proceedings of the Conferenceon Reliable Software Technologies. Uppsala, Sweden, June 1998. Lecture Notes in Computer Science, V. 1411: pp. 78-89, Springer-Verlag.

·       M. Patiño-Martínez, R. Jiménez-Peris, S. Arévalo-Viñuales. Synchronizing Group Transactions with Rendezvous in a Distributed Ada Environment. In Proceedings of the ACM Simposium on Applied Computing SAC 98 Conference. Atlanta, USA, Feb. 1998. ACM Press, pp. 2-9.

·       Francisco J. Ballesteros, Fabio Kon, Sergio Arévalo, Roy H. Campbell: Towards a Grand Unified Framework for Mobile Objects. In Proccedings of the ECOOP Workshops 1998: 317-318 http://link.springer.de/link/service/series/0558/bibs/1543/15430317.htm

1997

·       Francisco Guerra Santana, Francisco Javier Miranda González, Angel Alvarez, Sergio Arévalo: An Ada Library to Program Fault-Tolerant Distributed Applications. Ada-Europe 1997. Lecture Notes in Computer Science, V. 1251: pp. 230-243. Springer-Verlag.

1996

·       Francisco Javier Miranda González, Angel Alvarez, Sergio Arévalo, Francisco Guerra Santana: Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications. Ada-Europe 1996. Lecture Notes in Computer Science, V. 1088: pp. 235-246. Springer-Verlag.

1993

·       Francisco Guerra Santana, Sergio Arévalo, Angel Alvarez, Francisco Javier Miranda González: A Distributed Consensus Protocol with a Coordinator. Decentralized and Distributed Systems 1993: pp. 85-96. Elsevier Publishers.

·       Sergio Arévalo, Jesus Carretero, J. L. Castellanos, F. Barco: A Fault Tolerant Server on Mach. Microprocessing and Microprogramming, V. 38, pp. 793-800, 1993.

·       Francisco Guerra, Sergio Arévalo, Angel Alvarez, Javier Miranda : A Quick Distributed Consensus Protocol Microprocessing and Microprogramming, V. 39, pp. 111-114. 1993

1988