Semantic search

From Navigators

Publications

• François Cosquer, Pedro Antunes, Paulo Verissimo, “Enhancing dependability of cooperative applications in partitionable environments”, in Dependable Computing - EDCC-2, ser. LNCS. Springer-Verlag, Oct. 1996, vol. 1150, ch. 6, pp. 335–352.

• Carlos Almeida, Paulo Verissimo, “Timing Failure Detection and Real-Time Group Communication in Quasi-Synchronous Systems”, in June 1996. Proceedings of the 8th Euromicro Workshop on Real-Time Systems. L'Aquila, Italy, Jun. 1996.

• Paulo Verissimo, Sérgio Melro, António Casimiro, Luís Silva, “Distributed Industrial Information Systems: Design and Experience”, in June 1996. Proceedings of the 2nd IEEE/ECLA/IFIP International Conference on Architectures and Design Methods for Balanced Automation Systems (BASYS'96). Lisboa, Portugal, Jun. 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.

• Carlos Almeida, Paulo Verissimo, “Real-Time Communication in Quasi-Synchronous Systems. Providing Support for Dynamic Real-Time Applications”, Missing institution, Tech. Rep., May 1996. May 1996. INESC, Lisboa, Portugal

• Paulo Verissimo, “SEGURANÇA e CONFIABILIDADE: na ordem do dia dos sistemas distribuídos”, Jan. 1996. Jornadas do Colégio de Engenharia Electrotécnica, Ordem dos Engenheiros. Lisboa-IST, 1996

• Paulo Verissimo, “Causal Delivery Protocols in Real-time Systems: a Generic Model”, 1996. Journal of Real-Time Systems, vol 10, n 1, pp: 45-73. KluwerAcademic Publishers, Jan. 1996.

• Paulo Verissimo, Carlos Almeida, “Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models”, Winter 1995. Bulletin of the Technical Committee on Operating Systems and Application Environments (TCOS), 7(4), pp.35-39, Dec. 1995.

• Carlos Almeida, Paulo Verissimo, “Real-Time Group Communication in a Quasi-Synchronous System”, Missing institution, Tech. Rep., Nov. 1995. November 1995. INESC, Lisboa, Portugal

• José Rufino, Paulo Verissimo, “A Study on the Inaccessibility Characteristics of the Controller Area Network”, in Proceedings of the 2nd International CAN Conference. London, United Kingdom, October 1995., Oct. 1995.

• 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.

• Carlos Almeida, Paulo Verissimo, “An Adaptive Real-Time Group Communication Protocol”, in October 1995. Proceedings of the First IEEE Workshop on Factory Communication Systems. Leysin, Switzerland, Oct. 1995.

• François Cosquer, Paulo Verissimo, “The Impact of Group Communication Paradigms on Groupware Support”, in August 1995. Proceedings of the 5th Workshop on Future Trends of Distributed Computing Systems. Cheju Island, Korea, Aug. 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.

• François Cosquer, Pedro Antunes, Nuno Guimarães, Paulo Verissimo, “Adaptive Synchronous Cooperation over Large Scale Networks”, Missing institution, Tech. Rep., Aug. 1995. August 1995. INESC, Lisboa, Portugal

• 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, “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.

• François Cosquer, Paulo Verissimo, “Large Scale Distribution Support for Cooperative Applications”, in April 1995. Proceedings of the European Research Seminar on Advances in Distributed Systems. L'Alpe d'Huez, France, Apr. 1995.

• Paulo Verissimo, “Comunicação e Computação em Sistemas Distribuídos - Lição de Síntese”, Nov. 1994. Novembro 1994. IST - INESC, Lisboa, Portugal

• 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.

• François Cosquer, Paulo Verissimo, “Survey of Selected Groupware Applications and Supporting Platforms”, Missing institution, Tech. Rep., Jul. 1994. July 1994. (Also available as Broadcast Technical Report 2nd Year Vol.1) (Submitted for publication)

• Paulo Verissimo, “Ordering and timeliness requirements of dependable real-time programs”, Journal of Real-Time Systems, Kluwer Eds., (7): 105--128, 1994, Jan. 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.

• Paulo Verissimo, Werner Vogels, “The Changing Face of Technology in Distributed Systems”, 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

• Paulo Verissimo, Hermann Kopetz, “Design of real-time systems”, in Distributed Systems, Sape J. Mullender, Eds., ser. ACM-Press. Addison-Wesley, 1993, ch. 19, pp. 491–536. http://www.navigators.di.fc.ul.pt/docs/abstracts/ds-book.html

• Paulo Verissimo, “Real-time Communication”, in Distributed Systems, Sape J. Mullender, Eds., ser. ACM-Press. Addison-Wesley, 1993, ch. 17, pp. 447–490. http://www.navigators.di.fc.ul.pt/docs/abstracts/ds-book.html

• Hermann Kopetz, Paulo Verissimo, “Real-time and Dependability Concepts”, in Distributed Systems, Sape J. Mullender, Eds., ser. ACM-Press. Addison-Wesley, 1993, ch. 16, pp. 441–446. http://www.navigators.di.fc.ul.pt/docs/abstracts/ds-book.html

• 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.

• 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, “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.

• 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.

• José Rufino, Paulo Verissimo, “Minimizing Token-Bus inaccessibility through network planning and parameterizing”, in Proceedings of the EFOC/LAN92 Conference, IGI. Paris, France, June 1992., Jun. 1992.

• José Rufino, Paulo Verissimo, “A study on the inaccessibility characteristics of ISO 8802/4 Token-Bus LAN”, in Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications. Florence, Italy, May 1992., May 1992.

• José Rufino, Paulo Verissimo, “A study on the inaccessibility characteristics of token-based standard LANs”, INESC, Tech. Rep. RT-26/92, Apr. 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.

• José Rufino, Paulo Verissimo, “A study on the inaccessibility characteristics of the FDDI LAN”, INESC, Tech. Rep. RT-25/92, Mar. 1992.

• José Rufino, Paulo Verissimo, “A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LAN”, INESC, Tech. Rep. RT/24-92, Feb. 1992.

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

• Sérgio Melro, Paulo Verissimo, “Real-Time and Dependability Comparison of Delta-4/XPA and MARS systems”, Missing institution, Tech. Rep., Jan. 1992. January 1992. INESC, Lisboa, Portugal

• 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, 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.

• P. G. Bond, D. Seaton, Paulo Verissimo, “Real-time Concepts”, in DELTA-4 - A Generic Architecture for Dependable Distributed Computing, David Powell, Eds., ser. ESPRIT Research Reports. Springer Verlag, Nov. 1991, ch. 5, pp. 89–124.

• David Powell, Paulo Verissimo, “Distributed fault-tolerance”, in DELTA-4 - A Generic Architecture for Dependable Distributed Computing, David Powell, Eds., ser. ESPRIT Research Reports. Springer Verlag, Nov. 1991, ch. 6.

• 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.