Home

2000
Verissimo, P., and M. Raynal, "Time in distributed system models and algorithms", In Advances in Distributed Systems, S. Krakowiak and S. Shrivastava, editors., no. Chapter 1: Springer Berlin/Heidelberg LNCS 1752, pp. 1–32, 2000.
Verissimo, P., A. Casimiro, and C. Fetzer, "The timely computing base: Timely actions in the presence of uncertain timeliness", Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on: IEEE, pp. 533–542, 2000.
Rodrigues, L., and P. Verissimo, "Topology-aware algorithms for large-scale communication", Advances in Distributed Systems: Springer Berlin Heidelberg, pp. 127–156, 2000.
1999
Rufino, J., P. Verissimo, and G. Arroz, "A Columbus' egg idea for CAN media redundancy", Fault-Tolerant Computing, 1999. Digest of Papers. Twenty-Ninth Annual International Symposium on: IEEE, pp. 286–293, 1999.
Rufino, J., P. Verissimo, and G. Arroz, "Design of bus media redundancy in CAN", Fieldbus Technology: Springer Vienna, pp. 375–380, 1999.
Rufino, J., P. Verissimo, and G. Arroz, "Embedded platforms for distributed real-time computing: Challenges and results", Object-Oriented Real-Time Distributed Computing, 1999.(ISORC'99) Proceedings. 2nd IEEE International Symposium on: IEEE, pp. 147–152, 1999.
Mostéfaoui, A., M. Raynal, and P. Verissimo, "Logically instantaneous communication on top of distributed memory parallel machines", Parallel Computing Technologies: Springer Berlin Heidelberg, pp. 258–270, 1999.
Verissimo, P., and A. Casimiro, The timely computing base. DI, : FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr. 1999. Short version appeared in the Digest of Fast Abstracts, The 29th IEEE Intl. Symposium on Fault-Tolerant Computing, Madison, USA, 1999.
Casimiro, A., and P. Verissimo, Timing failure detection with a timely computing base, : Department of Informatics, University of Lisbon, 1999.
1998
Almeida, C., J. Rufino, and P. Verissimo, DDRAFT: Supporting dynamic distributed real-time applications with fault-tolerance, : Technical Report CSTC RT-98-02, Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1998.
Rufino, J., P. Verissimo, G. Arroz, and , Defining a CAN-based infrastructure for fault-tolerant real-time distributed computing, : Citeseer, 1998.
Rufino, J., P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, "Fault-tolerant broadcasts in CAN", Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on: IEEE, pp. 150–159, 1998.
Rufino, J., N. Pedrosa, J. Monteiro, P. Verissimo, and G. Arroz, "Hardware support for CAN fault-tolerant communication", Electronics, Circuits and Systems, 1998 IEEE International Conference on, vol. 1: IEEE, pp. 263–266, 1998.
Almeida, C., P. Verissimo, and A. Casimiro, "The quasi-synchronous approach to fault-tolerant and real-time communication and processing", Lisboa, Portugal, jul, 1998.
Almeida, C., and P. Verissimo, "Using light-weight groups to handle timing failures in quasi-synchronous systems", Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE: IEEE, pp. 430–439, 1998.
1997
Verissimo, P., L. Rodrigues, and A. Casimiro, "Cesiumspray: a precise and accurate global time service for large-scale systems", Real-Time Systems, vol. 12, no. 3: Kluwer Academic Publishers, pp. 243–294, 1997.
Rufino, J., P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, Design of Fault-Tolerant Broadcast Protocols for CAN, : Tech. rept. CSTC RT-97-06. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Rufino, J., and P. Verissimo, "Hard real-time operation of CAN", TechnicalReport CSTC RT-97-02, Centro de Sistemas Telematicos e Computacionais do Instituto Superior Tecnico, Lisboa, Portugal, 1997.
Verissimo, P., J. Rufino, and L. Ming, "How hard is hard real-time communication on field-buses?", Fault-Tolerant Computing, 1997. FTCS-27. Digest of Papers., Twenty-Seventh Annual International Symposium on: IEEE, pp. 112–121, 1997.
Verissimo, P., "On the role of time in distributed systems", Distributed Computing Systems, 1997., Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of: IEEE, pp. 316–321, 1997.
1996
Verissimo, P., "Causal delivery protocols in real-time systems: A generic model", Real-Time Systems, vol. 10, no. 1: Kluwer Academic Publishers, pp. 45–73, 1996.
Verissimo, P., S. Melro, A. Casimiro, and L. Silva, "Distributed industrial information systems: design and experience", Balanced Automation Systems II: Springer US, pp. 175–190, 1996.
Rodrigues, L., K. Guo, A. Sargento, R. van Renesse, B. Glade, P. Verissimo, and K. Birman, A dynamic light-weight group service, : Cornell University, 1996.
Videira, I., P. Verissimo, and H. Sarmento, "Efficient communication in a design environment", Proceedings of the 33rd annual Design Automation Conference: ACM, pp. 169–174, 1996.
Cosquer, F. J. N., P. Antunes, and P. Verissimo, "Enhancing dependability of cooperative applications in partitionable environments", Dependable Computing-EDCC-2: Springer Berlin Heidelberg, pp. 333–352, 1996.
Almeida, C., and P. Verissimo, The Quasi-Synchronous approach to Distributed Real-Time Databases, , 1996.
Almeida, C., and P. Verissimo, Real-Time Communication in Quasi-Synchronous Systems. Providing Support for Dynamic Real-Time Applications, : Citeseer, 1996.
Verissimo, P., "SEGURAN{\c{C}}A e CONFIABILIDADE: na ordem do dia dos sistemas distribu{ídos", Jornadas do Colégio de Engenharia Electrotécnica, Ordem dos Engenheiros, vol. 12, 1996.
Rodrigues, L., H. Fonseca, and P. Verissimo, "A synamic hybrid protocol for total order in large-scale systems", Proceedings of the 16th International Conference on Distributed Computing Systems: Citeseer, 1996.
Almeida, C., and P. Verissimo, "Timing failure detection and real-time group communication in quasi-synchronous systems", Real-Time Systems, 1996., Proceedings of the Eighth Euromicro Workshop on: IEEE, pp. 230–235, 1996.
Rodrigues, L., H. Fonseca, and P. Verissimo, "Totally ordered multicast in large-scale systems", Distributed Computing Systems, 1996., Proceedings of the 16th International Conference on: IEEE, pp. 503–510, 1996.
Rodrigues, L., K. Guo, A. Sargento, R. van Renesse, B. Glade, P. Verissimo, and K. Birman, "A transparent light-weight group service", Reliable Distributed Systems, 1996. Proceedings., 15th Symposium on: IEEE, pp. 130–139, 1996.
1995
Rodrigues, L., and P. Verissimo, "1ST*-INESC* ler@ inesc. pt", Proceedings of the 15th International Conference on Distributed Computing Systems: IEEE, pp. 83, 1995.
Almeida, C., and P. Verissimo, "An adaptive real-time group communication protocol", Factory Communication Systems, 1995. WFCS'95, Proceedings., 1995 IEEE International Workshop on: IEEE, pp. 63–71, 1995.
Cosquer, F. J. N., P. Antunes, N. Guimarães, and P. Verissimo, Adaptive Synchronous Cooperation over Large Scale Networks, : Technical Report RT-95, INESC, Rua Alves Redol 9, 1995.
Rodrigues, L., and P. Verissimo, "Causal separators and topological timestamping: an approach to support causal multicast in large-scale systems", Proceedings of the 15th International Conference on Distributed Systems: Citeseer, 1995.
Rodrigues, L., and P. Verissimo, "Causal separators for large-scale multicast communication", Distributed Computing Systems, 1995., Proceedings of the 15th International Conference on: IEEE, pp. 83–91, 1995.
Videira, I., P. Verissimo, and H. Sarmento, "Communication in a Distributed Environment", Electronic Design Automation Frameworks: Springer US, pp. 121–130, 1995.
Cosquer, F. J. N., and P. Verissimo, "The impact of group communication paradigms on groupware support", Distributed Computing Systems, 1995., Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of: IEEE, pp. 207–214, 1995.
Cosquer, F., P. Verissimo, and , "Large scale distribution support for cooperative applications", Proceedings of the European Reasearch Seminar on Advances in Distributed Systems (ERSADS): Citeseer, 1995.
Rodrigues, L., P. Verissimo, and A. Casimiro, "Priority-based totally ordered multicast", 3rd IFIP/IFAC workshop on Algorithms and Architectures for Real-Time Control (AARTC'95: Citeseer, 1995.
Verissimo, P., L. Rodrigues, and A. Casimiro, Priority-based totally ordered multicast., : University of Bologna, 1995.
Verissimo, P., and C. Almeida, "Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models", Bulletin of the Technical Committee on Operating Systems and Application Environments (TCOS), vol. 7, no. 4, pp. 35–39, 1995.
Almeida, C., and P. Verissimo, Real-Time Group Communication in a Quasi-Synchronous System, : Citeseer, 1995.
Verissimo, P., L. Rodrigues, and H. Fonseca, Reliable Computing over Mobile Networks, : University of Bologna, 1995.
Rodrigues, L., H. Fonseca, and P. Verissimo, "Reliable computing over mobile networks", Distributed Computing Systems, 1995., Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, Cheju Island, Korea, August 1995: IEEE, pp. 488–494, 1995.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of the Controller Area Network", Proc. of the 2nd International CAN Conference, vol. 95: Citeseer, 1995.
Cosquer, F. J. N., L. Rodrigues, and P. Verissimo, "Using Tailored Failure Suspectors to Support Distributed Cooperative Applications.", Parallel and Distributed Computing and Systems, pp. 352–358, 1995.
1994
Rodrigues, L., and P. Verissimo, "How to avoid the cost of causal communication in large-scale systems", Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs: ACM, pp. 106–111, 1994.
Siegel, L. Rodrigues, and P. Verissimo, "IST-INESC* ERCIM-INESC IST-INESC", 1994 IEEE 13th Symposium on Reliable Distributed Systems: IEEE Computer Society, pp. 160, 1994.
Verissimo, P., "Ordering and timeliness requirements of dependable real-time programs", Real-time systems, vol. 7, no. 2: Kluwer Academic Publishers, pp. 105–128, 1994.
Rodrigues, L., E. Siegel, and P. Verissimo, "A replication-transparent remote invocation protocol", Reliable Distributed Systems, 1994. Proceedings., 13th Symposium on: IEEE, pp. 160–169, 1994.
Rodrigues, L., and P. Verissimo, The ROMANCE approach to replicated object management, : Citeseer, 1994.
Cosquer, F. J. N., and P. Verissimo, Survey of selected groupware applications and supporting platforms, : University of Bologna, 1994.
1993
Verissimo, P., and W. Vogels, "The changing face of technology in distributed systems", Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of: IEEE, pp. 119–127, 1993.
Verissimo, P., W. Vogels, and L. Rodrigues, A Framework for Structuring Group Support in LSDCs, : Technical Report RT/19-94, INESC, BROADCAST REPORT, Lisboa, Portugal, September 1993. Expanded version of a paper in procs. 4th IEEE Workshop on Future Trends of Distr. Comput. Syst., Lisboa-Portugal, 1993.
Rodrigues, L., P. Verissimo, and J. Rufino, "A low-level processor group membership protocol for LANs", Distributed Computing Systems, 1993., Proceedings the 13th International Conference on: IEEE, pp. 541–550, 1993.
Kopetz, H., and P. Verissimo, "Real time and dependability concepts", Distributed systems (2nd Ed.): ACM Press/Addison-Wesley Publishing Co., pp. 411–446, 1993.
Verissimo, P., "Real-time communication", Distributed Systems, 2nd Edition, ACM-Press. Addison-Wesley, 1993.
Rodrigues, L., and P. Verissimo, Replicated object management using group technology, , 1993.
Rodrigues, L., P. Verissimo, and A. Casimiro, "Using atomic broadcast to implement a posteriori agreement for clock synchronization", Reliable Distributed Systems, 1993. Proceedings., 12th Symposium on: IEEE, pp. 115–124, 1993.
1992
Vogels, W., L. Rodrigues, and P. Verissimo, Fast group communication for standard workstations, , 1992.
Verissimo, P., and L. Rodrigues, "Group orientation: a paradigm for distributed systems of the nineties", Distributed Computing Systems, 1992., Proceedings of the Third Workshop on Future Trends of: IEEE, pp. 57–63, 1992.
Verissimo, P., and L. Rodrigues, "Group orientation: a paradigm for modern distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–6, 1992.
Rufino, J., and P. Verissimo, An Investigation on the Inaccessibility Characteristics of Standard Token-Based LANs, , 1992.
Rufino, J., and P. Verissimo, "Minimizing token-bus inaccessiblity through network planning and parameterizing", EFOC LAN: EFOC & N, pp. 253–258, 1992.
Rodrigues, L., and P. Verissimo, A posteriori agreement for clock synchronization on broadcast networks, : Citeseer, 1992.
Verissimo, P., and L. Rodrigues, A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networksb, , 1992.
Verissimo, P., and L. Rodrigues, "A posteriori agreement for fault-tolerant clock synchronization on broadcast networks", Fault-Tolerant Computing, 1992. FTCS-22. Digest of Papers., Twenty-Second International Symposium on: IEEE, pp. 527–536, 1992.
Melro, S., P. Verissimo, and , Real-time and dependability comparison of Delta-4/XPA and Mars systems, , 1992.
Vogels, W., P. Verissimo, and L. Rodrigues, "Requirements for high performance group support in distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–5, 1992.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/4 Token-Bus LANs", INFOCOM'92. Eleventh Annual Joint Conference of the IEEE Computer and Communications Societies, IEEE: IEEE, pp. 958–967, 1992.
Rufino, J., and P. Verissimo, "A study on the inaccessibility characteristics of ISO 8802/5 Token-Ring LANs", In Proceedings of the IEEE INFOCOM'92 Conference on Computer Communications, 1992.
Rufino, J., and P. Verissimo, A study on the inaccessibility characteristics of the FDDI LAN, : Technical Report RT/25-92, INESC, Lisboa, Portugal, 1992.
Rodrigues, L., and P. Verissimo, "xAMP: a multi-primitive group communications service", Reliable Distributed Systems, 1992. Proceedings., 11th Symposium on: IEEE, pp. 112–121, 1992.
Rodrigues, L., and P. Verissimo, xAMp: A protocol suite for group communication, : Citeseer, 1992.
1991
Verissimo, P., L. Rodrigues, and J. Rufino, "The atomic multicast protocol (AMp)", Delta-4: A Generic Architecture for Dependable Distributed Computing: ESPRIT Research Papers, Springer-Verlag, pp. 267–294, 1991.
Powell, D., P. Barrett, G. Bonn, M. Chéréque, D. Seaton, and P. Verissimo, "The delta-4 distributed fault-tolerant architecture", Laboratoire d'Automatique et d'Analyse des Systemes, Report, no. 91055, 1991.
Verissimo, P., P. Verissimo, J. Rufino, and L. Rodrigues, Enforcing Real-Time behaviour on LAN-based protocols, : Citeseer, 1991.
Verissimo, P., P. Verissimo, J. Rufino, and L. Rodrigues, Enforcing Real-Time behaviour on LAN-based protocols, : Citeseer, 1991.
Baptista, M., S. Graf, JL. Richier, L. Rodrigues, C. Rodriguez, P. Verissimo, and J. Voiron, Formal Specification and Verification of a Network Independent Atomic Multicast Protocol, : FORMAL DESCRIPTION TECHNIQUES, III. IFIP. North-Holland, 1991.
Verissimo, P., J. Rufino, H. Fonseca, and L. Rodrigues, The performance of the xAMp protocol on token-bus and fddi nac's, : Technical Report RT/109-91, INESC, Lisboa, Portugal, 1991.
Bond, P., D. Seaton, P. Verissimo, and J. Waddington, "Real-time concepts", Springer-Verlag Research Reports ESPRIT Series: Delta-4: a Generic Architecture for Dependable Distributed Computing. Springer-Verlag, 1991.
Verissimo, P., and L. Rodrigues, "Reliable multicasting in high-speed LANs", High-Capacity Local and Metropolitan Area Networks: Springer Berlin Heidelberg, pp. 397–412, 1991.
1990
Barret, PA., A. M. Hilborne, P. G. Bond, D. T. Seaton, P. Verissimo, L. Rodrigues, and N. A. Speirs, "The Delta-4 extra performance architecture (XPA)", Fault-Tolerant Computing, 1990. FTCS-20. Digest of Papers., 20th International Symposium: IEEE, pp. 481–488, 1990.
Verissimo, P., "Design of fault tolerant distributed systems: the fail-controlled approach", Proceedings of the 4th workshop on ACM SIGOPS European workshop: ACM, pp. 1–4, 1990.
Baptista, M., S. Graf, J-L. Richier, L. Rodrigues, C. Rodriguez, P. Verissimo, and J. Voiron, "Formal specification and verification of a network independent atomic multicast protocol", Third International Conference on Formal Description Techniques (FORTE 90), 1990.
Fonseca, H., L. Rodrigues, J. Rufino, and P. Verissimo, "Local support environment: User specification", Relatório Técnico RT/50-90, INESC, Lisboa, Portugal, 1990.
Verissimo, P., "Real-time data management with clock-less reliable broadcast protocols", Management of Replicated Data, 1990. Proceedings., Workshop on the: IEEE, pp. 20–24, 1990.
Verissimo, P., and J. Alves Marques, "Reliable broadcast for fault-tolerance on local computer networks", Reliable Distributed Systems, 1990. Proceedings., Ninth Symposium on: IEEE, pp. 54–63, 1990.
1989
Verissimo, P., L. Rodrigues, and M. Baptista, "Amp: A highly parallel atomic multicast protocol", ACM SIGCOMM Computer Communication Review, vol. 19, no. 4: ACM, pp. 83–93, 1989.
Verissimo, P., and R. de Lemos, "Confiança no funcionamento: Proposta para uma terminologia em português", Publicação conjunta INESC e LCMI/UFSC, 1989.
Verissimo, P., and L. Rodrigues, Order and synchronism properties of reliable broadcast protocols, : Technical Report RT/66-89, INESC, Lisboa, Portugal, 1989.

Pages