Mikel Larrea

Distributed Systems Group

The University of the Basque Country (UPV/EHU)

Teleseminar (University of Mannheim - UPV/EHU)

The plan is as follows: A set of students registers for the seminar and select a topic from a certain set of projects/seminar topics. The German group flies to Donostia for a couple of days at the beginning to initiate the cooperation: Joint Basque/German student groups are established for the topics (e.g., 2 students per topic) and they plan their cooperation. After the German group returns, the students work on their topics and cooperate remotely. At the end of the semester the Basque group comes to Germany for final discussions and project presentations.

More detailed information can be found here.

A report on the 2008/2009 teleseminar can be found here.

Education

Courses taught

Master en Sistemas Informáticos Avanzados

Master en Ingeniería de Sistemas Empotrados

Research interests

Publications

• Bibliography registered by DBLP
• Citations registered by Citeseer

Theses

• Efficient Algorithms to Implement Failure Detectors and Solve Consensus in Distributed Systems, PhD Thesis, The University of the Basque Country, Oct 2000.

Books

1. Roberto Cortiñas, Alberto Lafuente, Mikel Larrea, and Iratxe Soraluze (editors). Actas de las XIV Jornadas de Concurrencia y Sistemas Distribuidos, ISBN 84-689-9292-5, San Sebastián, Jun 2006.

Journal articles

1. Mikel Larrea, Cristian Martín, and José Javier Astrain. "Fault-Tolerant Aggregator Election and Data Aggregation in Wireless Sensor Networks", International Journal of Communication Networks and Distributed Systems, Vol. 3, No. 2, pp. 93-115, 2009.
2. Cristian Martín, Mikel Larrea, and Ernesto Jiménez. "Implementing the Omega Failure Detector in the Crash-Recovery Failure Model", Journal of Computer and System Sciences, Vol. 75, No. 3, pp. 178-189, May 2009.
3. Mikel Larrea, Alberto Lafuente, Iratxe Soraluze, Roberto Cortiñas, and Joachim Wieland. "Designing Efficient Algorithms for the Eventually Perfect Failure Detector Class", Journal of Software, Vol. 2, No. 4, pp. 1-11, Oct 2007.
4. Zigor Salvador, Mikel Larrea, Daniel Cascado, José Luis Sevillano, Roberto Casas and Álvaro Marco. "A Middleware-based Approach for Context-aware Computing", UPGRADE, Vol. VIII, No. 4, pp. 25-30, Aug 2007.
5. Zigor Salvador, Mikel Larrea, Daniel Cascado, José Luis Sevillano, Roberto Casas and Álvaro Marco. "Un enfoque middleware para la computación basada en contexto", Novática, No. 188, pp. 24-28, Julio-Agosto 2007.
6. Mikel Larrea, Antonio Fernández, and Sergio Arévalo. "Eventually Consistent Failure Detectors", Journal of Parallel and Distributed Computing, Vol. 65, No. 3, pp. 361-373, Mar 2005.
7. Mikel Larrea, Antonio Fernández, and Sergio Arévalo. "On the Implementation of Unreliable Failure Detectors in Partially Synchronous Systems", IEEE Transactions on Computers, Vol. 53, No. 7, pp. 815-828, Jul 2004.
8. Mikel Larrea. "On the Weakest Failure Detector for Hard Agreement Problems", Journal of Systems Architecture, 49 (2003), pp. 345-353.

Conference papers

1. Mikel Larrea and Cristian Martín. "Quiescent Leader Election in Crash-Recovery Systems", in Proceedings of the 15th Pacific Rim International Symposium on Dependable Computing, PRDC 2009, pp. 325-330, Shanghai, China, Nov 2009.
2. Cristian Martín and Mikel Larrea. "Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model", in Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2009, pp. 797-798, Lyon, France, Nov 2009, Lecture Notes in Computer Science, vol. 5873, Springer Verlag.
3. Mikel Larrea and Cristian Martín. "Brief Announcement: On Implementing Omega Efficiently in the Crash-Recovery Model", in Proceedings of the 23rd International Symposium on Distributed Computing, DISC 2009, pp. 356-357, Elche, Spain, Sep 2009, Lecture Notes in Computer Science, vol. 5805, Springer Verlag.
4. Cristian Martín and Mikel Larrea. "Efficient Implementation of the Omega Failure Detector in the Crash-Recovery Model", in Proceedings of the 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2009, Work in Progress Volume, pp. 1-2, Weimar, Germany, Feb 2009.
5. Cristian Martín and Mikel Larrea. "Eventual Leader Election in the Crash-Recovery Failure Model", in Proceedings of the 14th Pacific Rim International Symposium on Dependable Computing, PRDC 2008, pp. 208-215, Taipei, Taiwan, Dec 2008.
6. Alberto Lafuente, Mikel Larrea, Iratxe Soraluze, and Roberto Cortiñas. "Brief Announcement: Optimal Failure Detection with Low Sporadic Overhead and Communication Locality", in Proceedings of the 27th Annual ACM Symposium on Principles of Distributed Computing, PODC 2008, pp. 450, Toronto, Canada, Aug 2008.
7. Mikel Larrea and Cristian Martín. "From Omega to <>P in the Crash-Recovery Failure Model with Unknown Membership", in Proceedings of the 3rd International Conference on Availability, Reliability and Security, ARES 2008, pp. 801-806, Barcelona, Spain, Mar 2008.
8. Mikel Larrea, Iratxe Soraluze, Roberto Cortiñas, and Alberto Lafuente. "An Evaluation of Communication-Optimal <>P Algorithms", in Proceedings of the 16th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2008, pp. 274-279, Toulouse, France, Feb 2008.
9. Cristian Martín and Mikel Larrea. "Implementing Omega in the Crash-Recovery Failure Model without Using Stable Storage", in Proceedings of the 16th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2008, Work in Progress Volume, pp. 11-12, Toulouse, France, Feb 2008.
10. Zigor Salvador, Mikel Larrea, and Alberto Lafuente. "Smart Environment Application Architecture", in Proceedings of the 2nd International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2008, pp. 308-309, Tampere, Finland, Jan-Feb 2008.
11. Roberto Cortiñas, Felix C. Freiling, Marjan Ghajar-Azadanlou, Alberto Lafuente, Mikel Larrea, Lucia Draque Penso, and Iratxe Soraluze. "Secure Failure Detection in TrustedPals", in Proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2007, pp. 173-188, Paris, France, Nov 2007, Lecture Notes in Computer Science, vol. 4838, Springer Verlag.
12. Mikel Larrea, Alberto Lafuente, Iratxe Soraluze, Roberto Cortiñas, and Joachim Wieland. "On the Implementation of Communication-Optimal Failure Detectors", in Proceedings of the 3rd Latin-American Symposium on Dependable Computing, LADC 2007, pp. 25-37, Morelia, Mexico, Sep 2007, Lecture Notes in Computer Science, vol. 4746, Springer Verlag.
13. Mikel Larrea and Cristian Martín. "From Omega to <>P in the crash-recovery failure model", in Proceedings of the 3rd Latin-American Symposium on Dependable Computing, LADC 2007, Fast Abstracts Volume, pp. 7-8, Morelia, Mexico, Sep 2007.
14. Cristian Martín, Mikel Larrea, and Ernesto Jiménez. "On the implementation of the Omega failure detector in the crash-recovery failure model", in Proceedings of the ARES 2007 Workshop on Foundations of Fault-tolerant Distributed Computing, FOFDC 2007, pp. 975-982, Vienna, Austria, Apr 2007.
15. Zigor Salvador, Mikel Larrea, and Alberto Lafuente. "Infrastructural Software Requirements of Pervasive Health Care", in Proceedings of the IADIS International Conference on Applied Computing, AC 2007, pp. 557-562, Salamanca, Spain, Feb 2007.
16. Joachim Wieland, Mikel Larrea, and Alberto Lafuente. "An evaluation of ring-based algorithms for the Eventually Perfect failure detector class", in Proceedings of the 15th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2007, pp. 163-170, Naples, Italy, Feb 2007.
17. Mikel Larrea, Cristian Martín, and José Javier Astrain. "Hierarchical and fault-tolerant data aggregation in wireless sensor networks", in Proceedings of the 2nd International Symposium on Wireless Pervasive Computing, ISWPC 2007, pp. 531-536, San Juan, Puerto Rico, Feb 2007.
18. Mikel Larrea, Michel Hurfin, and Alberto Lafuente. "Implementing failure detector classes Perfect and Strong with limited link synchrony", in Proceedings of the 6th European Dependable Computing Conference, EDCC-6, Fast Abstracts Track, pp. 51-52, Coimbra, Portugal, Oct 2006.
19. Mikel Larrea and Cristian Martín. "Eventual leader election in the crash-recovery model with weak communication reliability and synchrony", in Proceedings of the 6th European Dependable Computing Conference, EDCC-6, Fast Abstracts Track, pp. 49-50, Coimbra, Portugal, Oct 2006.
20. Mikel Larrea, Cristian Martín, and José Javier Astrain. "Coordinated data aggregation in wireless sensor networks using the omega failure detector", in Proceedings of the 3rd ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2006, pp. 114-122, Torremolinos, Spain, Oct 2006.
21. Mikel Larrea, Alberto Lafuente, and Joachim Wieland. "Brief Announcement: Communication-optimal implementation of failure detector class <>P", in Proceedings of the 20th International Symposium on Distributed Computing, DISC 2006, pp. 569-571, Stockholm, Sweden, Sep 2006, Lecture Notes in Computer Science, vol. 4167, Springer Verlag.
22. Mikel Larrea and Cristian Martín. "Implementing the Omega failure detector in the crash-recovery model with partial connectivity and/or synchrony", in Proceedings of the Second International Workshop on High Availability of Distributed Systems, HADIS 2006, pp. 400-405, Krakow, Poland, Sep 2006.
23. Mikel Larrea and Alberto Lafuente. "Brief Announcement: Communication-efficient implementation of failure detector classes <>Q and <>P", in Proceedings of the 19th International Symposium on Distributed Computing, DISC 2005, pp. 495-496, Krakow, Poland, Sep 2005, Lecture Notes in Computer Science, vol. 3724, Springer Verlag.
24. Zigor Salvador, Alberto Lafuente, and Mikel Larrea. "Jini as a platform for ubiquitous computing", in Proceedings of the 1st International Symposium on Ubiquitous Computing and Ambient Intelligence, UCAmI 2005, pp. 251-257, Granada, Spain, Sep 2005.
25. Julio Abascal, Roberto Casas, Daniel Cascado, Anton Civit, Jorge Falcó, Gabriel Jiménez, Alberto Lafuente, Mikel Larrea, Zigor Salvador, and José Luis Sevillano. "Integración de redes heterogéneas para el soporte de la Inteligencia Ambiental", in Proceedings of the 1st International Symposium on Ubiquitous Computing and Ambient Intelligence, UCAmI 2005, pp. 137-144, Granada, Spain, Sep 2005.
26. Zigor Salvador, Raúl Jimeno, Alberto Lafuente, Mikel Larrea, and Julio Abascal. "Architectures for ubiquitous environments", in Proceedings of the IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2005, Volume 4, pp. 90-97, Montreal, Canada, Aug 2005.
27. Mikel Larrea and Alberto Lafuente. "Communication-efficient implementation of failure detector class <>P", in Proceedings of the International Conference on Dependable Systems and Networks, DSN 2005, Fast Abstracts Track, pp. 24-25, Yokohama, Japan, Jun-Jul 2005.
28. Zigor Salvador, Borja Bonail, Alberto Lafuente, Mikel Larrea, Julio Abascal, and Luis Gardeazabal. "AmIChair: Ambient Intelligence and Intelligent Wheelchairs", in Proceedings of the Home Oriented Informatics and Telematics Conference, HOIT 2005, Volume II, pp. 31-36, York, United Kingdom, Apr 2005.
29. Mikel Larrea, Alberto Lafuente, and Cristian Martín. "A modular middleware for reliable distributed programming", in Proceedings of the IADIS International Conference on Applied Computing, AC 2005, Volume II, pp. 161-166, Algarve, Portugal, Feb 2005.
30. Raúl Jimeno, Zigor Salvador, Alberto Lafuente, Mikel Larrea, and Aitor Uribarren. "An architecture for the personalized control of domotic resources", in Adjunct Proceedings of the 2nd European Symposium on Ambient Intelligence, EUSAI 2004, pp. 51-53, Eindhoven, The Netherlands, Nov 2004.
31. Mikel Larrea, Alberto Lafuente, and Cristian Martín. "A modular middleware for reliable distributed programming", in Proceedings of the International Conference on Dependable Systems and Networks, DSN 2004, Fast Abstracts Track, pp. 88-89, Florence, Italy, Jun-Jul 2004.
32. Mikel Larrea and Alberto Lafuente. "A comparison of failure detector classes S and <>P", in Proceedings of the International Conference on Dependable Systems and Networks, DSN 2004, Fast Abstracts Track, pp. 40-41, Florence, Italy, Jun-Jul 2004.
33. Mikel Larrea. "On the Weakest Failure Detector for Hard Agreement Problems", in Proceedings of the IASTED International Multi-Conference on Applied Informatics, AI 2003, pp. 863-868, Innsbruck, Austria, Feb 2003.
34. Antonio Fernández, Mikel Larrea, and Sergio Arévalo. "A Sufficient Condition to Transform <>S into <>P in Asynchronous Systems", in Brief Announcements of the 16th International Symposium on Distributed Computing, DISC 2002, pp. 25-30, Toulouse, France, Oct 2002.
35. Mikel Larrea. "Brief Announcement: Understanding Perfect Failure Detectors", in Proceedings of the 21st Annual ACM Symposium on Principles of Distributed Computing, PODC 2002, pp. 257, Monterey, CA, Jul 2002.
36. Mikel Larrea, Antonio Fernández, and Sergio Arévalo. "On the Impossibility of Implementing Perpetual Failure Detectors in Partially Synchronous Systems", in Proceedings of the 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing, PDP 2002, pp. 99-105, Las Palmas de Gran Canaria, Spain, Jan 2002.
37. Mikel Larrea, Antonio Fernández, and Sergio Arévalo. "Eventually Consistent Failure Detectors", in Proceedings of the 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing, PDP 2002, pp. 91-98, Las Palmas de Gran Canaria, Spain, Jan 2002.
38. Mikel Larrea, Antonio Fernández, and Sergio Arévalo. "On the Impossibility of Implementing Perpetual Failure Detectors in Partially Synchronous Systems", in Brief Announcements of the 15th International Symposium on Distributed Computing, DISC 2001, pp. 1-6, Lisbon, Portugal, Oct 2001.
39. Mikel Larrea, Antonio Fernández, and Sergio Arévalo. "Eventually Consistent Failure Detectors", SPAA Review, in Proceedings of the 13th Symposium on Parallel Algorithms and Architectures, SPAA 2001, pp 326-327, Crete Island, Greece, Jul 2001.
40. Mikel Larrea, Antonio Fernández, and Sergio Arévalo. "Optimal Implementation of the Weakest Failure Detector for Solving Consensus", in Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, pp. 52-59, Nürnberg, Germany, Oct 2000.
41. Mikel Larrea, Antonio Fernández, and Sergio Arévalo. "Eventually Consistent Failure Detectors", in Brief Announcements of the 14th International Symposium on Distributed Computing, DISC 2000, pp. 1-4, Toledo, Spain, Oct 2000.
42. Mikel Larrea, Antonio Fernández, and Sergio Arévalo. "Brief Announcement: Optimal Implementation of the Weakest Failure Detector for Solving Consensus", in Proceedings of the 19th Annual ACM Symposium on Principles of Distributed Computing, PODC 2000, pp. 334, Portland, OR, Jul 2000.
43. Mikel Larrea, Sergio Arévalo, and Antonio Fernández. "Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems", in Proceedings of the 13th International Symposium on Distributed Computing, DISC'99, pp. 34-48, Bratislava, Slovak Republic, Sep 1999, Lecture Notes in Computer Science, vol. 1693, Springer Verlag.
44. Rachid Guerraoui, Mikel Larrea, and André Schiper. "Reducing the Cost for Non-Blocking in Atomic Commitment", in Proceedings of the 16th IEEE International Conference on Distributed Computing Systems, ICDCS'96, pp. 692-697, Hong Kong, May 1996.
45. Rachid Guerraoui, Mikel Larrea, and André Schiper. "Non Blocking Atomic Commitment with an Unreliable Failure Detector", in Proceedings of the 14th IEEE Symposium on Reliable Distributed Systems, SRDS'95, pp. 41-50, Bad Neuenahr, Germany, Sep 1995.

Recent technical reports

1. Cristian Martín and Mikel Larrea. A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model, Technical Report EHU-KAT-IK-05-09, The University of the Basque Country, Sep 2009.
2. Mikel Larrea and Cristian Martín. Optimal Leader Election in Crash-Recovery Systems, Technical Report EHU-KAT-IK-10-08, The University of the Basque Country, Dec 2008.
3. Alberto Lafuente, Mikel Larrea, Iratxe Soraluze, and Roberto Cortiñas. Optimal Failure Detection with Low Sporadic Overhead and Communication Locality, Technical Report EHU-KAT-IK-05-08, The University of the Basque Country, May 2008.
4. Roberto Cortiñas, Mikel Larrea, Alberto Lafuente, and Iratxe Soraluze. Efficient Failure Detectors: from Crash to Omission Failure Models, Technical Report EHU-KAT-IK-03-08, The University of the Basque Country, Apr 2008.
5. Roberto Cortiñas, Felix C. Freiling, Marjan Ghajar-Azadanlou, Alberto Lafuente, Mikel Larrea, Lucia Draque Penso, and Iratxe Soraluze. Secure Failure Detection in TrustedPals, Technical Report EHU-KAT-IK-07-07, The University of the Basque Country, Jul 2007.
6. Roberto Cortiñas, Alberto Lafuente, Mikel Larrea, and Iratxe Soraluze. Efficient Failure Detection in Omission Failure Environments, Technical Report EHU-KAT-IK-13-06, The University of the Basque Country, Dec 2006.

Address