Semantic search

From Navigators

Publications

• J. Armstrong, C. Cachin, Miguel Correia, A. Costa, Hugo Miranda, Nuno Ferreira Neves, Nuno Miguel Neves, J. A. Poritz, B. Randell, Lau Cheuk Lung, Luís Rodrigues, R. J. Stroud, Paulo Verissimo, M. Waidner, I. S. Welch, “Complete Specification of APIs and Protocols for the MAFTIA Middleware”, Missing institution, Tech. Rep., Jul. 2002. Technical Report DI/FCUL TR-02-11, Department of Computer Science, University of Lisbon. jULY 2002

• António Casimiro, Pedro Martins, Paulo Verissimo, Luís Rodrigues, “Measuring Distributed Durations with Stable Errors”, in Proceedings of the 22nd IEEE Real-Time Systems Symposium, London, UK, December 2001, Dec. 2001.

• Alexandre Pinto, Hugo Miranda, Luís Rodrigues, “Light-Weight Groups: an implementation in Ensemble”, in in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy., May 2001.

• Filipe Araújo, Luís Rodrigues, “Quality of Service in Indirect Communication Systems”, in in Proceedings of the Ersads 2001, European Research Seminar on Advances in Distributed Systems, 14-18 May 2001, Bertinoro (Forlì), Italy., May 2001.

• João Ventura, João Rodrigues, Luís Rodrigues, “Response Time Analysis of Composable Micro-Protocols”, in in Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, May, 2 - 4, 2001, pp 335-342., May 2001.

• Hugo Miranda, Alexandre Pinto, Luís Rodrigues, “Appia, a flexible protocol kernel supporting multiple coordinated channels”, in in Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 707-710.Phoenix, Arizona, USA (Poster session)., Apr. 2001.

• Miguel Antunes, Hugo Miranda, António Rito Silva, Luís Rodrigues, Jorge Martins, “Separating Replication from Distributed Communication: Problems and Solutions”, in in Proceedings of the International Workshop on Distributed Dynamic Multiservice Architectures (DDMA), in conjunction with the 21st International Conference on Distributed Computing Systems (ICDCS-21) April 16-19, 2001, pp 103-108Phoenix, Arizona, USA, Apr. 2001.

• Paulo Verissimo, Luís Rodrigues, Distributed Systems for System Architects. Kluwer Academic Publishers, Jan. 2001. http://www.navigators.di.fc.ul.pt/dssa

• João Rodrigues, Hugo Miranda, João Ventura, Luís Rodrigues, “The design of RTAppia”, in in Proceedings of the Sixth IEEE International Workshop on Object-oriented Real-Time Dependable Systems, Rome, 8-10 January 2001., Jan. 2001.

• Luís Rodrigues, Katherine Guo, Paulo Verissimo, Kenneth P. Birman, “A Dynamic Light-Weight Group Service”, in Journal of Parallel and Distributed Computing Vol. 60, No. 12, December 2000, pp 1449-1479. Academic Press., Dec. 2000.

• Paulo Verissimo, António Casimiro, L. M. Pinho, F. Vasques, Luís Rodrigues, E. Tovar, “Distributed Computer-Controlled Systems: the DEAR-COTS Approach.”, in in Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia, November 2000., Nov. 2000.

• J. Pereira, Luís Rodrigues, R. Oliveira, “Semantically Reliable Multicast Protocols”, in in Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, pp. 60-69, Nurnberg, Germany, October 2000., Oct. 2000.

• Hugo Miranda, Miguel Antunes, Luís Rodrigues, António Rito Silva, “Group Communication Support for Dependable Multi-User Object Oriented Environments”, in in Proceedings of the International SRDS Workshop on Dependable System Middleware and Group Communication (DSMGC 2000), in conjunction with the 19th IEEE Symposium on Reliable Distributed Systems, Nurnberg, Germany, October 2000., Oct. 2000.

• Luís Rodrigues, M. Raynal, “Quorum-Based Replication in Asynchronous Crash-Recovery Distributed Systems”, in in Proceedings of the European Conference on Parallel Computing (Euro-Par 2000), Munchen, Germany, August, 2000., Aug. 2000.

• Luís Rodrigues, K. Guo, “Partitionable Light-Weight Groups”, in Proceedings of the 20th IEEE International Conference on Distributed Computing Systems, Taipe, Taiwan, Apr. 2000.

• Luís Rodrigues, M. Raynal, “Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems”, in In Proceedings of the 20th IEEE International Conference on Distributed Computing Systems, Taipe, Taiwan, April, 2000., Apr. 2000.

• Luís Rodrigues, R. Baldoni, E. Anceaume, M. Raynal, “Deadline-Constrained Causal Order”, in In Proceedings of the The 3rd IEEE International Symposium on Object-oriented Real-time distributed Computing, Newport Beach, California, USA, March, 2000., Mar. 2000.

• Hugo Miranda, Luís Rodrigues, “Flexible Communication Support for CSCW Applications”, in 5th International Workshop on Groupware, Cacún, México, September 22-24, 1999, Sept. 1999.

• Luís Rodrigues, “Scalability issues in MOOs: the role of object migration and replication”, in Multi-User Object-Oriented Environments Workshop In association with the 13th European Conference on Object-Oriented Programming (ECOOP'99) Lisbon, Portugal, June 14-18, 1999, Jun. 1999.

• Hugo Miranda, Luís Rodrigues, “Communication support for multiple QoS requirements”, in 3rd European Research Seminar on Advances in Distributed Systems (ERSADS'99), Madeira Island, Portugal, April 23-28, 1999, Apr. 1999.

• Luís Rodrigues, Paulo Verissimo, “Topology-aware algorithms for large-scale communication”, in Advances in Distributed Systems, S. Krakowiak, S. Shrivastava, Eds.. Springer Verlag, Jan. 1999, vol. 1752, ch. 6, pp. 127–156.

• Luís Rodrigues, M. Guimarães, José Rufino, “Fault-Tolerant Clock Synchronization in CAN”, in Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, Dec. 1998.

• Luís Rodrigues, Rachid Guerraoui, A. Schiper, “Scalable Atomic Multicast”, in Proceedings of the Seventh International Conference on Computer Communications and Networks (IC3N'98), Lafayette, Louisiana, USA, 12-15 October, 1998, Oct. 1998.

• C. Silva, Luís Rodrigues, “A Fault-Tolerant Secure CORBA Store using Fragmentation-Redundancy-Scattering”, in Proceedings of the ECOOP Workshop on Distributed Object Security, In Association with 12th European Conference on Object-Oriented Programming Brussels, Belgium, July 20, 1998, Jul. 1998.

• José Rufino, Paulo Verissimo, Guilherme Arroz, Carlos Almeida, Luís Rodrigues, “Fault-Tolerant Broadcasts in CAN”, in Digest of Papers, The 28th IEEE International Symposium on Fault-Tolerant Computing. Munich, Germany, June, 1998., Jun. 1998.

• Paulo Verissimo, Luís Rodrigues, António Casimiro, “Cesiumspray: a precise and accurate global clock service for large-scale systems”, May 1997. Journal of Real-Time Systems, 12(3), pp.243-294. Kluwer Academic Publishers, May 1997.

• Katherine Guo, Luís Rodrigues, “Dynamic Light-Weight Groups”, in Proceedings of the 17th IEEE International Conference on Distributed Computing Systems. Baltimore, Maryland, USA, May, 1997, May 1997.

• Luís Rodrigues, Katherine Guo, António Sargento, Robert van Renesse, Brad Glade, Paulo Verissimo, Kenneth P. Birman, “A Transparent Light-Weight Group Service”, in Proceedings of the 15th IEEE Symposium on Reliable Distributed Systems. Niagara-on-the-Lake, Canada, October, 1996, Oct. 1996.

• Luís Rodrigues, Henrique Fonseca, Paulo Verissimo, “Totally Ordered Multicast in Large-Scale Systems”, in Proceedings of the 16th International Conference on Distributed Computing Systems. Hong Kong, May 1996, May 1996.

• François Cosquer, Luís Rodrigues, Paulo Verissimo, “Using Tailored Failure Suspectors to Support Distributed Cooperative Applications”, in October 1995. Proceedings of the 7th International Conference on Parallel and Distributed Computing and Systems. Washington, D.C., USA, Oct. 1995.

• Luís Rodrigues, Henrique Fonseca, Paulo Verissimo, “Reliable Computing over Mobile Networks”, in August 1995. Proceedings of the 5th Workshop on Future Trends of Distributed Computing Systems. Cheju Island, Korea, Aug. 1995.

• Luís Rodrigues, Paulo Verissimo, “Causal separators and topological timestamping: an approach to support causal multicast in large-scale systems”, in May 1995. Proceedings of the 15th International Conference on Distributed Computing Systems. Vancouver, British Columbia, Canada, May 1995.

• Luís Rodrigues, António Casimiro, Paulo Verissimo, “Priority-based totally ordered multicast”, in May 1995. Proceedings of the 3rd IFAC/IFIP workshop on Algorithms and Architectures for Real-Time Control (AARTC'95). Ostend, Belgium, May 1995.

• Luís Rodrigues, Paulo Verissimo, “How to avoid the cost of causal communication in large-scale systems”, in September 1994. Proceedings of the 6th SIGOPS European Workshop. Dagstuhl, Germany, Sept. 1994.

• Luís Rodrigues, Paulo Verissimo, António Casimiro, “Using atomic broadcast to implement a posteriori agreement for clock synchronization”, in October 1993. Proceedings of the 12th Symposium on Reliable Distributed Systems. Princeton, New Jersey, USA, Oct. 1993.

• Luís Rodrigues, Paulo Verissimo, “Replicated object management using group technology”, in September 1993. Proceedings of the 4th Workshop on Future Trends of Distributed Computing Systems. Lisboa, Portugal, Sept. 1993.

• Luís Rodrigues, Paulo Verissimo, “The ROMANCE approach to replicated object management”, Missing institution, Tech. Rep., Sept. 1993. September 1993. IST - INESC, Lisboa, Portugal

• Paulo Verissimo, Werner Vogels, Luís Rodrigues, “A Framework for Structuring Group Support in LSDCs”, Missing institution, Tech. Rep., Sept. 1993. September 1993. INESC, Lisboa, Portugal

• Luís Rodrigues, Paulo Verissimo, José Rufino, “A low-level processor group membership protocol for LANs”, in Proceedings of the 13th International Conference on Distributed Computing Systems. Pittsburgh, Pennsylvania, USA, May 1993., May 1993.

• Luís Rodrigues, Paulo Verissimo, “MESSAGE SLOTTING: Ensuring replica determinism in preemptive real-time systems”, Missing institution, Tech. Rep., Jan. 1993. 1993 INESC, Lisboa, Portugal

• Werner Vogels, Luís Rodrigues, Paulo Verissimo, “Fast Group Communication for Standard Workstations”, in November 1992. Proceedings of the OpenForum'92 Technical Conference, EurOpen, UniForum. Utrecht, Netherlands, Nov. 1992.

• Luís Rodrigues, Paulo Verissimo, “xAMp: a Multi-primitive Group Communications Service”, in October 1992. Proceedings of the 11th Symposium on Reliable Distributed Systems, Houston, Texas, USA, Oct. 1992.

• Paulo Verissimo, Luís Rodrigues, “Group orientation: a paradigm for modern distributed systems”, in September 1992. Proceedings of the 5th ACM SIGOPS European Workshop. Mont Saint-Michel, France, Sept. 1992.

• Werner Vogels, Paulo Verissimo, Luís Rodrigues, “Requirements for High Performance Group Support in Distributed System”, in September 1992. Proceedings of the 5th ACM SIGOPS European Workshop. Saint-Michel, France, Sept. 1992.

• Paulo Verissimo, Luís Rodrigues, “A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networks”, in July 1992. Digest of Papers, The 22th International Symposium on Fault-Tolerant Computing. Boston, USA, Jul. 1992.

• Paulo Verissimo, Luís Rodrigues, “Group orientation: a paradigm for distributed systems of the nineties”, in April 1992. Proceedings of the 3rd IEEE Workshop on Future Trends of Distributed Computing Systems. Taipe, Taiwan, Apr. 1992.

• Luís Rodrigues, Paulo Verissimo, “xAMp, a protocol suite for group communication”, Missing institution, Tech. Rep., Jan. 1992. January 1992. INESC, Lisboa, Portugal

• Paulo Verissimo, José Rufino, Henrique Fonseca, Luís Rodrigues, “The performance of the xAMP protocol on Token-Bus and FDDI NAC's”, INESC, Tech. Rep. RT/101-91, Nov. 1991.

• Paulo Verissimo, P. A. Barrett, P. G. Bond, A. M. Hilborne, Luís Rodrigues, D. Seaton, “The Extra Performance Architecture (XPA)”, in DELTA-4 - A Generic Architecture for Dependable Distributed Computing, David Powell, Eds., ser. ESPRIT Research Reports. Springer Verlag, Nov. 1991, ch. 9, pp. 211–266.

• Paulo Verissimo, Luís Rodrigues, José Rufino, “The Atomic Multicast protocol (AMp)”, in DELTA-4 - A Generic Architecture for Dependable Distributed Computing, David Powell, Eds., ser. ESPRIT Research Reports. Springer Verlag, Nov. 1991, ch. 10, pp. 267–294.

• Paulo Verissimo, José Rufino, Luís Rodrigues, “Enforcing real-time behaviour of LAN-based protocols”, in Proceedings of the 10th IFAC Workshop on Distributed Computer Control Systems. Semmering, Austria, September 1991., Sept. 1991.

• Luís Rodrigues, Paulo Verissimo, “A posteriori Agreement for Clock Synchronization on Broadcast Networks”, Missing institution, Tech. Rep., Mar. 1991. March 1991 (Revised, March 1992). INESC, Lisboa, Portugal

• Mário Baptista, Luís Rodrigues, Paulo Verissimo, S. Graf, J. L. Richier, C. Rodriguez, J. Voiron, “Formal specification and verification of a network independent atomic multicast protocol”, in Formal Description Techniques, III, J. Quemada, J. Mañas, E. Vazques, Eds.. North-Holland, Jan. 1991, pp. 345–352.

• Paulo Verissimo, Luís Rodrigues, “Reliable multicasting in high-speed lans”, in High-Capacity Local and Metropolitan Area Networks, ser. NATO ASI. Springer Verlag, Jan. 1991, vol. F72, pp. 397–412.

• P. A. Barrett, P. G. Bond, A. M. Hilborne, Luís Rodrigues, D. Seaton, N. A. Speirs, Paulo Verissimo, “The Delta-4 Extra Performance Architecture (XPA)”, in From the Digest of Papers, The 20th International Symposium on Fault-Tolerant Computing (FTCS), pp. 481-488, June 1990., Jun. 1990.

• Paulo Verissimo, Luís Rodrigues, Mário Baptista, “AMp: A Highly Parallel Atomic Multicast Protocol”, in September 1989. Proceedings of the ACM SIGCOM'89 Symposium, Austin, USA, Sept. 1989.

• Mário Baptista, Luís Rodrigues, Paulo Verissimo, “AtomicMaze: Implementing a distributed computer game using AMp”, Missing institution, Tech. Rep., Mar. 1989. March 1989. INESC, Lisboa, Portugal