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