Semantic search

From Navigators

Publications

• Pedro Martins, Paulo Verissimo, “The Timely Computing Base and its Future Trends”, in Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy, Oct. 2002., Oct. 2002.

• Miguel Correia, Paulo Verissimo, Nuno Ferreira Neves, “The Design of a COTS Real-Time Distributed Security Kernel”, in Fourth European Dependable Computing Conference, Toulouse, France, October 2002© Springer-Verlag, http://www.springer.de/comp/lncs/, Oct. 2002.

• Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Verissimo, “Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model”, in Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS'2002), Suita, Japan, October 2002, Sept. 2002.

• Paulo Verissimo, António Casimiro, “The Timely Computing Base Model and Architecture”, IEEE Transactions on Computers - Special Issue on Asynchronous Real-Time Systems, vol. 51, n. 8, Aug 2002, Aug. 2002.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “Intrusion-Tolerant Architectures: Concepts and Design.”, Missing institution, Tech. Rep., Jul. 2002. Technical Report DI/FCUL TR-03-5, Department of Computer Science, University of Lisbon. April 2003

• Paulo Verissimo, “Intrusion Tolerance: Concepts and Design Principles. A Tutorial”, Missing institution, Tech. Rep., Jul. 2002. Technical Report DI/FCUL TR-02-6, Department of Computer Science, University of Lisbon. July 2002.

• 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, Paulo Verissimo, “Generic Timing Fault Tolerance using a Timely Computing Base”, in Proceedings of the International Conference on Dependable Systems and Networks, Washington D.C., USA, June 2002, Jun. 2002.

• C. Brudna, V. Cahill, António Casimiro, R. Cunningham, Jörg Kaiser, R. Meier, Paulo Verissimo, “Preliminary definition of CORTEX system architecture”, Missing institution, Tech. Rep., Apr. 2002. Technical Report DI/FCUL TR-03-17, Department of Computer Science, University of Lisbon. July 2003

• P. Barron, G. Biegel, V. Cahill, António Casimiro, S. Clarke, R. Cunningham, A. Fitzpatrick, G. Gaertner, B. Hughes, Jörg Kaiser, R. Meier, Paulo Verissimo, “Preliminary definition of CORTEX programming model”, Missing institution, Tech. Rep., Mar. 2002. Technical Report DI/FCUL TR-03-15, Department of Computer Science, University of Lisbon. July 2003

• G. Biegel, C. Brudna, António Casimiro, Jörg Kaiser, C. Liu, C. Mitidieri, Paulo Verissimo, “Preliminary definition of CORTEX interaction model”, Missing institution, Tech. Rep., Mar. 2002. Technical Report DI/FCUL TR-03-16, Department of Computer Science, University of Lisbon. July 2003

• Paulo Verissimo, V. Cahill, António Casimiro, K. Cheverst, A. Friday, Jörg Kaiser, “CORTEX: Towards Supporting Autonomous and Cooperating Sentient Entities”, in Proceedings of European Wireless 2002, Florence, Italy, February 2002, Feb. 2002.

• Paulo Verissimo, V. Cahill, António Casimiro, K. Cheverst, A. Friday, Jörg Kaiser, “CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects”, Missing institution, Tech. Rep., Feb. 2002. Technical Report DI/FCUL TR-02-1, Department of Computer Science, University of Lisbon. Feb 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.

• A. Adelsbach, C. Cachin, Sadie Creese, Yves Deswarte, K. Kursawe, J.-C. Laprie, B. Pfitzmann, D. Powell, B. Randell, James Riordan, R. J. Stroud, Paulo Verissimo, M. Waidner, Andreas Wespi, “MAFTIA Conceptual Model and Architecture”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2001-10, Nov. 2001. http://hdl.handle.net/10455/3044

• António Casimiro, Paulo Verissimo, “Using the Timely Computing Base for Dependable QoS Adaptation”, in Proceedings of the 20th IEEE Symposium on Reliable Distributed Systems, New Orleans, USA, October 2001, Oct. 2001.

• G. Biegel, G. Blair, V. Cahill, António Casimiro, K. Cheverst, R. Cunningham, A. Fitzpatrick, A. Friday, G. Gaertner, B. Hughes, Jörg Kaiser, R. Meier, N. Riejers, Paulo Verissimo, “Definition of Application Scenarios”, Missing institution, Tech. Rep., Oct. 2001. Technical Report DI/FCUL TR-03-14, Department of Computer Science, University of Lisbon. July 2003

• Nuno Ferreira Neves, Paulo Verissimo, “First Specification of APIs and Protocols for the MAFTIA Middleware”, Missing institution, Tech. Rep., Sept. 2001. Technical Report DI/FCUL TR-01-6. Department of Computer Science, University of Lisbon. September 2001

• Miguel Correia, Paulo Verissimo, Nuno Ferreira Neves, “The Architecture of a Secure Group Communication System Based on Intrusion Tolerance”, in in Proceedings of the International Workshop on Applied Reliable Group Communication, Phoenix, Arizona, USA, April 2001., Apr. 2001.

• A. Mostefaoui, M. Raynal, Paulo Verissimo, “The Logically Instantaneous Communication Mode: a Communication Abstraction”, Future Generation Computer Systems, vol. 17, no. 6, Apr. 2001.

• Paulo Verissimo, Nuno Ferreira Neves, “Service and Protocol Architecture for the MAFTIA Middleware”, Missing institution, Tech. Rep., Jan. 2001. Technical Report DI/FCUL TR-01-1. Department of Computer Science, University of Lisbon. January 2001

• Miguel Correia, Paulo Verissimo, Nuno Ferreira Neves, “The design of a COTS real-time distributed security kernel (extended version)”, Missing institution, Tech. Rep., Jan. 2001. Technical report, Department of Computer Science, University of Lisbon, 2001

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

• François Cosquer, Paulo Verissimo, Sacha Krakowiak, Loïc Decloedt, “Support for Distributed CSCW Applications”, in Recent Advances In Distributed Systems, S. Krakowiak, S.K. Shrivastava, Eds., ser. LNCS. Springer-Verlag, Jan. 2001, vol. 1752, ch. 13.

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

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “The middleware architecture of MAFTIA: A blueprint”, in In Proceedings of the IEEE Third Information Survivability Workshop (ISW-2000), Boston, Massachusetts, USA, October 2000., Oct. 2000.

• António Casimiro, Pedro Martins, Paulo Verissimo, “How to Build a Timely Computing Base using Real-Time Linux”, in in Proceedings of the 2000 IEEE International Workshop on Factory Communication Systems, Porto, Portugal, September 2000., Sept. 2000.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “The middleware architecture of MAFTIA: A blueprint.”, Missing institution, Tech. Rep., Sept. 2000. Technical Report DI/FCUL TR 00-6, Department of Computer Science, University of Lisbon, September 2000.

• Paulo Verissimo, “Global Computing - A Vision”, Sept. 2000. Presented at Global Computing: Co-operation of Autonomous and Mobile Entities in Dynamic Environments, Consultation Workshop, Edinburgh - September 2000.

• C. Cachin, J. Camenisch, M. Dacier, Yves Deswarte, J.Dobson, D. Horne, K. Kursawe, J.-C. Laprie, J.-C. Lebraud, D. Long, T. McCutcheon, J. Muller, F. Petzold, B. Pfitzmann, D. Powell, B. Randell, M. Schunter, V. Shoup, Paulo Verissimo, G. Trouessin, R. J. Stroud, M. Waidner, I. S. Welch, “MAFTIA: Reference Model and Use Cases”, Missing institution, Tech. Rep., Aug. 2000. Technical Report DI/FCUL TR-00-5. Department of Computer Science, University of Lisbon. August 2000

• Paulo Verissimo, António Casimiro, C. Fetzer, “The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness”, in in Proceedings of the 1st International Conference on Dependable Systems and Networks, New York, USA, June 2000., Jun. 2000.

• António Casimiro, Paulo Verissimo, “Timing Failure Detection with a Timely Computing Base.”, Missing institution, Tech. Rep., Nov. 1999. Technical Report DI/FCUL TR-99-8, Department of Informatics, University of Lisboa, November 1999

• A. Mostefaoui, M. Raynal, Paulo Verissimo, “Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines”, in PaCT-99, Victor Malyshkin, Eds., ser. LNCS. Springer-Verlag, Sept. 1999, vol. 1662.

• José Rufino, Paulo Verissimo, Guilherme Arroz, “Design of Bus Media Redundancy in CAN”, in Fieldbus Technology - Systems Integration, Networking, and Engineering. Proceedings of International Symposium on Fieldbus Systems and their Applications (FeT-99). Magdeburg, Germany, September 1999. Dietrich, D.; Neumann, P.; Schweinzer, H. (Eds.)., Sept. 1999.

• José Rufino, Paulo Verissimo, Guilherme Arroz, “A Columbus' Egg Ideia for CAN Media Redundancy”, in Digest of Papers of the 29th IEEE International Symposium on Fault-Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, June 1999., Jun. 1999.

• José Rufino, Paulo Verissimo, Guilherme Arroz, “Embedded Platforms for Distributed Real-Time Computing: Challenges and Results”, in Proceedings of the 2nd IEEE International Symposium on Object-oriented Real-Time distributed Computing. Saint Malo, France, May 1999., May 1999.

• Paulo Verissimo, António Casimiro, “The Timely Computing Base”, Missing institution, Tech. Rep., May 1999. Technical Report DI/FCUL TR-99-2, Department of Informatics, University of Lisboa, May 1999

• António Casimiro, Paulo Verissimo, “Timing Failure Detection with a Timely Computing Base”, 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.

• Paulo Verissimo, M. Raynal, “Time, clocks and temporal order”, in Advances in Distributed Systems, S. Krakowiak, S. Shrivastava, Eds., ser. LNCS. Springer Verlag, Jan. 1999, vol. 1752, ch. 1.

• José Rufino, Paulo Verissimo, Guilherme Arroz, “Defining a CAN-based Infrastructure for Fault-Tolerant Real-Time Distributed Computing”, in Proceedings of the 19th IEEE Real-Time Systems Symposium - Work In Progress Sessions. Madrid, Spain, December 1998., Dec. 1998.

• Carlos Almeida, Paulo Verissimo, “Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems”, in Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998, Dec. 1998.

• José Rufino, Nuno Pedrosa, José Monteiro, Paulo Verissimo, Guilherme Arroz, “Hardware support for CAN fault-tolerant communication”, in Proceedings of the 5th IEEE International Conference on Electronics, Circuits and Systems, Lisboa, Portugal, September 1998, Sept. 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, Rogério de Lemos, “CONFIANÇA NO FUNCIONAMENTO: Proposta para uma Terminologia em Português”, Missing institution, Tech. Rep., Jan. 1998. 1989. INESC, Lisboa, Portugal

• Paulo Verissimo, “On the Role of Time in Distributed Systems”, in Proceedings of the 6th Workshop on Future Trends of Distributed Computing Systems (FTDCS'97). Tunis, Tunisia, October 1997, Oct. 1997.

• Paulo Verissimo, José Rufino, Li Ming, “How hard is hard real-time communication on field-buses?”, in Digest of Papers, The 27th International Symposium on Fault-Tolerant Computing. Seattle - USA, July 1997. IEEE, Jul. 1997.

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

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

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

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

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

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

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

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

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

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

• 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

• 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

• 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

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

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

• 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 token-based standard LANs”, INESC, Tech. Rep. RT-26/92, 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.

• 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

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