Publications by the researcher in collaboration with ROBERTO CORTIÑAS RODRIGUEZ (9)

2015

  1. Communication-optimal eventually perfect failure detection in partially synchronous systems

    Journal of Computer and System Sciences, Vol. 81, Núm. 2, pp. 383-397

2013

  1. An evaluation of efficient leader election algorithms for crash-recovery systems

    Proceedings of the 2013 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2013

2012

  1. Secure failure detection and consensus in trustedpals

    IEEE Transactions on Dependable and Secure Computing, Vol. 9, Núm. 4, pp. 610-625

  2. Specifying and implementing an eventual leader service for dynamic systems

    International Journal of Web and Grid Services, Vol. 8, Núm. 3, pp. 204-224

2010

  1. Brief announcement: An efficient failure detector for omission environments

    Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

2008

  1. An evaluation of communication-optimal ◇P algorithms

    Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-Based Processing, PDP 2008

2007

  1. Designing efficient algorithms for the Eventually Perfect failure detector class

    Journal of Software, Vol. 2, Núm. 4, pp. 1-11

  2. On the implementation of communication-optimal failure detectors

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Secure failure detection in TrustedPals

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)