Semantic search

From Navigators

Publications

• Diego Kreutz, Jiangshan Yu, Paulo Verissimo, Fernando Ramos, Cátia Magalhães, “The KISS principle in Software-Defined Networking: a framework for secure communications”, IEEE Security & Privacy, Oct. 2018.

• Alysson Bessani, Nuno Ferreira Neves, Paulo Verissimo, Wagner Saback Dantas, Alexandre Fonseca, Rui Silva, Pedro Luz, Miguel Correia, “JITeR: Just-In-Time Application-Layer Routing”, Computer Networks, vol. 104, pp. 122–136, Jul. 2016.

• Vinicius Vielmo Cogo, Alysson Bessani, Francisco M. Couto, Paulo Verissimo, “A High-Throughput Method to Detect Privacy-Sensitive Human Genomic Data”, in Proceedings of the Workshop on Privacy in the Electronic Society (WPES 2015), Denver, CO, US, Oct. 2015.

• Fernando Ramos, Diego Kreutz, Paulo Verissimo, “Software-Defined Networks: On the Road to the Softwarization of Networking”, Cutter IT Journal, May 2015.

• Diego Kreutz, Fernando Ramos, Paulo Verissimo, Christian Rothenberg, Siamak Azodolmolky, Steve Uhlig, “Software-defined networking: A comprehensive survey”, Proceedings of the IEEE, vol. 103, no. 1, Jan. 2015.

• Alysson Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Verissimo, “SCFS: A Shared Cloud-backed File System”, in Proceedings of the 2014 USENIX Annual Technical Conference (USENIX-ATC), Philadelphia, PA, US, Jun. 2014.

• Diego Kreutz, Fernando Ramos, Paulo Verissimo, “Anchors of Trust for Autonomic and Secure Configuration and Assessment in SDN”, in Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, USA, Jun. 2014.

• Paulo Verissimo, Alysson Bessani, “E-biobanking: What Have You Done to My Cell Samples?”, IEEE Security & Privacy, vol. 11, no. 6, pp. 62–65, Dec. 2013.

• Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila Pertet, António Casimiro, Diego Kreutz, Paulo Verissimo, “Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol”, in Middleware 2013, Eyers, David and Schwan, Karsten, Eds., ser. Lecture Notes in Computer Science. Beijing, China: Springer Berlin Heidelberg, Dec. 2013, vol. 8275, pp. 41–61.

• Diego Kreutz, Fernando Ramos, Paulo Verissimo, “Towards Secure and Dependable Software-Defined Networks”, in ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN), Hong Kong, China, Aug. 2013.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “BFT-TO: Intrusion Tolerance with”, The Computer Journal, vol. 56, no. 6, pp. 693–715, Jun. 2013.

• Francisco M. Couto, Daniel Faria, Bruno Tavares, Pedro Gonçalves, Paulo Verissimo, “Benchmarking some Portuguese S&T system research units (2nd Edition)”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2013-03, Feb. 2013.

• Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, Paulo Verissimo, “Efficient Byzantine Fault-Tolerance”, IEEE Transactions on Computers, vol. 62, no. 1, pp. 16–30, Jan. 2013.

• Mônica Dixit, António Casimiro, Paulo Verissimo, Paolo Lollini, Andrea Bondavalli, “Adaptare: Supporting automatic and dependable adaptation in dynamic environments”, ACM Transactions on Autonomous and Adaptive Systems, vol. 7, no. 2, pp. 18:1–18:25, Jul. 2012. http://doi.acm.org/10.1145/2240166.2240168

• Amir Soltani Nezhad, António Casimiro, Paulo Verissimo, “A Multi-Layered Architecture for a Secure Virtualization Environment”, in Fast Abstract at the 2012 International Conference on Dependable Systems and Networks, Boston, MA, USA, Jun. 2012.

• António Casimiro, Paulo Verissimo, Diego Kreutz, Filipe Araújo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan, “TRONE: Trustworthy and Resilient Operations in a Network Environment”, in Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on, Boston, MA, USA, Jun. 2012, pp. 1–6. http://dx.doi.org/10.1109/DSNW.2012.6264694

• Paulo Verissimo, Alysson Bessani, Marcelo Pasin, “The TClouds Architecture:Open and Resilient Cloud-of-clouds Computing”, in Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on, Jun. 2012.

• Miguel Correia, Pedro Costa, Marcelo Pasin, Alysson Bessani, Fernando Ramos, Paulo Verissimo, “On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Cloud”, in First International Workshop on Dependability Issues in Cloud Computing (DISCCO 2012), San Francisco, California, 2012.

• Bernhard kauer, Paulo Verissimo, Alysson Bessani, “Recursive Virtual Machines for Advanced Security Mechanisms”, in Proceedings of the 1st International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (DCDV'11). DSN'11 supplemental volume., Jun. 2011.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “RITAS: Services for Randomized Intrusion Tolerance”, IEEE Transactions on Dependable and Secure Computing, vol. 8, n. 1, pp. 122-136, Jan.-Feb. 2011., Jan. 2011.

• José Rufino, João Pedro Craveiro, Paulo Verissimo, “Architecting Robustness and Timeliness in a New Generation of Aerospace Systems”, in Architecting Dependable Systems VII, António Casimiro, Rogério de Lemos, Cristina Gacek, Eds., ser. LNCS. Springer, Nov. 2010, vol. 6420.

• Francisco M. Couto, Ivan Andrade, Pedro Gonçalves, Paulo Verissimo, “Benchmarking some Portuguese S&T system research units”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2010-07, Nov. 2010. http://hdl.handle.net/10455/6682

• José Rufino, João Pedro Craveiro, Paulo Verissimo, “Building a time- and space-partitioned architecture for the next generation of space vehicle avionics”, in Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), Waidhofen an der Ybbs, Austria, Oct. 2010.

• João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, Rui Neves, “Vulnerability Removal with Attack Injection”, IEEE Transactions on Software Engineering, Special issue on Evaluation and Improvement of Software Dependability, Jun. 2010.

• João Antunes, Nuno Ferreira Neves, Paulo Verissimo, “Using Attack Injection on Closed Protocols”, in Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN'10), Jun. 2010.

• Paulo Sousa, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery”, IEEE Transactions on Parallel and Distributed Systems, vol. 21, no. 4, pp. 452-465, Apr. 2010., Apr. 2010.

• Francisco M. Couto, Tiago Grego, Catia Pesquita, Paulo Verissimo, “Handling self-citations using Google Scholar”, International Journal of Scientometrics, Informetrics and Bibliometrics, vol. 13, no. 2, Dec. 2009.

• Mônica Dixit, António Casimiro, Paulo Verissimo, Paolo Lollini, Andrea Bondavalli, “A Probabilistic Framework for Automatic and Dependable Adaptation in Dynamic Environments”, Department of Informatics, University of Lisboa, Tech. Rep. TR-09-19, Dec. 2009. http://hdl.handle.net/10455/3273

• António Casimiro, José Rufino, Luís Marques, Mário Calha, Paulo Verissimo, “Applying architectural hybridization in networked embedded systems”, in Proceedings of the 7th IFIP WG 10.2 International Workshop (SEUS 2009), Software Technologies for Embedded and Ubiquitous Systems, LNCS 5860, Sunggu Lee and Priya Narasimhan (Eds), Newport Beach, CA, USA, November 2009, Nov. 2009.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Randomization can be a Healer: Consensus with Dynamic Omission Failures”, in Proceedings of the 23rd International Symposium on Distributed Computing (DISC 2009), pages 63-77, Sept. 2009.

• Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Cheap Intrusion-Tolerant Protection for CRUTIAL Things”, Missing institution, Tech. Rep., Aug. 2009. DI-FCUL TR-2009-14

• Paulo Verissimo, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa, “Intrusion-Resilient Middleware Design and Validation”, in Information Assurance, Security and Privacy Services, ser. Handbooks in Information Systems. Emerald Group Publishing Limited, May 2009, vol. 4, pp. 615–678.

• Mônica Dixit, António Casimiro, Paulo Verissimo, “Probabilistic Adaptive Time-Aware Consensus”, in Eurosys 2009, WIP session, Nuremberg, Germany, March 2009, Mar. 2009.

• Paulo Verissimo, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa, “Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned”, in Proceedings of the 42nd Hawaii International Conference for the Systems Sciences (HICSS-42), Waikoloa, Hawaii, January 2009., Jan. 2009.

• Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “The CRUTIAL Way of Critical Infrastructure Protection”, IEEE Security and Privacy, vol. 6, no. 6, pp. 44-51, Nov/Dec 2008., Dec. 2008.

• João Antunes, Nuno Ferreira Neves, Paulo Verissimo, “Detection and Prediction of Resource-Exhaustion Vulnerabilities”, in Proceedings of the 19th IEEE International Symposium on Software Reliability Engineering, Seattle/Redmond, WA, USA, Nov. 2008.

• Hugo Ortiz, Paulo Sousa, Paulo Verissimo, “Towards Intrusion-Tolerant Process Control Software”, in 4th National Conference on Segurança Informática nas Organizações (SINO 2008), Coimbra, Portugal, October 2008., Oct. 2008.

• Miguel Correia, Alysson Bessani, Paulo Verissimo, “On Byzantine Generals with Alternative Plans”, Journal of Parallel and Distributed Computing, Vol. 68, Issue 9, pages 1291-1296, Elsevier., Sept. 2008.

• António Casimiro, Paolo Lollini, Mônica Dixit, Andrea Bondavalli, Paulo Verissimo, “A framework for dependable QoS adaptation in probabilistic environments”, in Proceedings of the 23rd ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, Fortaleza, Ceara, Brazil, March 2008., Mar. 2008.

• Steven M. Bellovin, Terry V. Benzel, Bob Blakley, Dorothy E. Denning, Whitfield Diffie, Jeremy Epstein, Paulo Verissimo, “Information Assurance Technology Forecast 2008”, IEEE Security & Privacy, vol. 6, no. 1, pp. 10-17, January/February, 2008., Jan. 2008.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “The CRUTIAL Reference Critical Information Infrastructure Architecture: A Blueprint”, International Journal of System of Systems Engineering, vol. 1, no. 1/2, pp. 78–95, Jan. 2008.

• Paulo Sousa, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Resilient Intrusion Tolerance through Proactive and Reactive Recovery”, in Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 07), Melbourne, Australia, pages 373-380, December 2007., Dec. 2007.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Verissimo, “Intrusion Tolerance in Wireless Environments: An Experimental Evaluation”, in Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 07), Dec. 2007.

• Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Verissimo, “On the Effects of Finite Memory on Intrusion-Tolerant Systems”, in The 13th IEEE Pacific Rim International Symposiumon Dependable Computing (PRDC 07), Dec. 2007.

• João Antunes, Nuno Ferreira Neves, Paulo Verissimo, “Finding Local Resource Exhaustion Vulnerabilities”, in Student paper in Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), Trollhättan, Sweden, November 2007., Nov. 2007.

• Gunjan Khanna, Mike Yu Cheng, Padma Varadharajan, Saurabh Bagchi, Miguel Correia, Paulo Verissimo, “Automated Rule-Based Diagnosis Through A Distributed Monitor System”, IEEE Transactions on Dependable and Secure Computing, vol. 4, no. 4, pp. 266-279, Oct-Dec, 2007, Oct. 2007.

• Alysson Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Verissimo, “When 3f+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus”, in Proceedings of 21st International Symposium on Distributed Computing (DISC 07), Sept. 2007.

• Paulo Verissimo, “Assumptions: The Trojan Horses of Secure Protocols”, in In V. Gorodetsky, I. Kotenko, and V.A. Skormin (Eds.): "Mathematical Methods, Models and Architectures for Computer Networks Security" (MMM-ACNS) 2007, CCIS 1, pp. 34-41, 2007. Springer-Verlag., Sept. 2007.

• Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Verissimo, “Analysis of a Redundant Architecture for Critical Infrastructure Protection”, in Architecting Dependable Systems V, Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marco Vieira, Eds., ser. LNCS. Springer, Aug. 2007, vol. 5135.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, A. Abou El Kalam, Andrea Bondavalli, Alessandro Daidone, “The CRUTIAL Architecture for Critical Information Infrastructures”, in Architecting Dependable Systems V, Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marco Vieira, Eds., ser. LNCS. Springer, Aug. 2007, vol. 5135.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “Hidden Problems of Asynchronous Proactive Recovery”, in Third Workshop on Hot Topics in System Dependability (HotDep 2007), Edinburgh, UK, Jun. 2007.

• António Casimiro, Jörg Kaiser, Paulo Verissimo, “Generic-Events Architecture: Integrating real-world aspects in event-based systems”, in Architecting Dependable Systems IV, Rogério de Lemos, Cristina Gacek, Alexander Romanovsky, Eds., ser. LNCS. Springer, Jun. 2007, vol. 4615.

• Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Intrusion-Tolerant Protection for Critical Infrastructures”, Missing institution, Tech. Rep., Apr. 2007. Technical Report DI/FCUL TR-07-8. Department of Computer Science, University of Lisboa. April 2007.

• Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Verissimo, “Worm-IT - A Wormhole-based Intrusion-Tolerant Group Communication System”, Journal of Systems & Software, vol. 80, n. 2, pages 178-197, Elsevier, February 2007, Feb. 2007.

• José Rufino, Carlos Almeida, Paulo Verissimo, Guilherme Arroz, “Enforcing Dependability and Timeliness in Controller Area Networks”, in Proceedings of the 32nd Annual Conference of the IEEE Industrial Electronics Society (IECON06), Paris, France, November, 2006., Nov. 2006.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, William H. Sanders, “Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available”, in Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS), Leeds, UK, pages 71-80, October 2006., Oct. 2006.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols”, in Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS), Leeds, UK, October 2006, Oct. 2006.

• António Casimiro, Odorico Mendizabal, Paulo Verissimo, “On the development of dependable embedded applications using specialized wormholes”, in 3rd International Workshop on Dependable Embedded Systems (WDES-06), in conjunction with the 25th Symposium on Reliable Distributed Systems, Leeds, UK, October 2006, Oct. 2006.

• José Rufino, Paulo Verissimo, Carlos Almeida, Guilherme Arroz, “Integrating Inaccessibility Control and Timer Management in CANELy”, in Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), Prague, Czech Republic, September, 2006., Sept. 2006.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture”, in Proceedings of the 1st International Workshop on Critical Information Infrastructures @ ISC’06, Samos - Greece, August 2006., Aug. 2006.

• Paulo Verissimo, Nuno Ferreira Neves, C. Cachin, J. A. Poritz, D. Powell, Yves Deswarte, R. J. Stroud, I. S. Welch, “Intrusion-Tolerant Middleware: The Road to Automatic Security”, IEEE Security & Privacy, vol. 4, no. 4, pp. 54-62, Jul./Aug. 2006., Aug. 2006.

• Paulo Verissimo, “Thou Shalt Not Trust non-Trustworthy Systems”, Jul. 2006. Keynote at the Workshop on Assurance in Distributed Systems and Networks (ADSN2006), with the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), Lisboa, Portugal, July 2006.

• José Rufino, Paulo Verissimo, Guilherme Arroz, Carlos Almeida, “Control of Inaccessibility in CANELy”, in Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (WFCS06), Torino, Italy, June, 2006., Jun. 2006.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Randomized Intrusion-Tolerant Asynchronous Services”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, pages 568-577, June 2006, Jun. 2006.

• Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Verissimo, Rui Neves, “Using Attack Injection to Discover New Vulnerabilities”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Philadelphia, USA, June 2006., Jun. 2006.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “Proactive Resilience through Architectural Hybridization”, in Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, pages 686-690, April 2006., Apr. 2006.

• G. Dondossola, G. Deconinck, F. Di Giandomenico, S. Donatelli, M. Kaaniche, Paulo Verissimo, “Critical Utility Infrastructure Resilience”, in In Workshop on Security and Networking in Critical Real-Time and Embedded Systems (CRTES'06), with RTAS'06, San Jose, California, USA, April 2006., Apr. 2006.

• Paulo Verissimo, “Travelling through Wormholes: a new look at Distributed Systems Models”, SIGACT News, vol. 37, no. 1, pages 66-81, 2006., Mar. 2006.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures”, Computer Journal. vol. 41, n. 1, pp 82-96, January 2006., Jan. 2006.

• Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Solving Vector Consensus with a Wormhole”, IEEE Transactions on Parallel and Distributed Systems, vol. 16, no. 12, pp. 1120-1131, December 2005., Dec. 2005.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “Resilient State Machine Replication”, in In Proceedings of the 11th Pacific Rim International Symposium on Dependable Computing (PRDC), Changsha, China, pages 305-309, December 2005., Dec. 2005.

• Pan Jieke, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Um Núcleo de Segurança Distribuído para Suporte a Protocolos Tolerantes a Intrusões”, in In 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, November 2005, Oct. 2005.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, Lau Cheuk Lung, “Low Complexity Byzantine-Resilient Consensus”, Distributed Computing, vol. 17, n. 3, pp. 237--249, March 2005. http://www.springerlink.com/index/10.1007/s00446-004-0110-7, Oct. 2005.

• João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, Rui Neves, “Diagnóstico de Vulnerabilidades através da Injecção de Ataques”, in 1ª Conferência Nacional sobre Segurança Informática nas Organizações (SINO 2005), Covilhã, Portugal., Oct. 2005.

• José Pascoal, Tiago Jorge, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “FTP Tolerante a Intrusões”, in In 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, November 2005., Oct. 2005.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?”, in In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN'05). Yokohama, Japan, pages 98-107, June 2005., Jun. 2005.

• Pedro Martins, Paulo Sousa, António Casimiro, Paulo Verissimo, “A New Programming Model for Dependable Adaptive Real-Time Applications”, IEEE Distributed Systems Online, vol. 6, no. 5, 2005., May 2005.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “Proactive Resilience through Architectural Hybridization (extended version)”, Missing institution, Tech. Rep., May 2005. Technical Report DI/FCUL TR-05-8. Department of Computer Science, University of Lisboa. May 2005.

• Paulo Sousa, Nuno Ferreira Neves, Paulo Verissimo, “A New Approach to Proactive Recovery”, in In Fifth European Dependable Computing Conference (EDCC-5) Supplemental Volume. Budapest, Hungary, pages 35-40, April 2005., Apr. 2005.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems”, in In Proceedings of the 23rd IEEE Symposium on Reliable Distributed Systems. Florianopolis, Brasil, pages 174-183, October 2004, Oct. 2004.

• Rafael Ferraz, João Sequeira, Bruno Gonçalves, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “An Intrusion-Tolerant Web Server based on the DISTRACT Architecture”, in In Workshop on Dependable Distributed Data Management, Florianopolis, Brasil, pages 45-50, October 2004., Oct. 2004.

• Tiago Jorge, José Pascoal, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões”, in In 7ª Conferência sobre Redes de Computadores. Leiria, Portugal, pages 111-122, October 2004., Oct. 2004.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems”, Missing institution, Tech. Rep., Sept. 2004. Technical Report DI/FCUL TR-04-6. Department of Computer Science, University of Lisbon. July 2004.

• Pedro Martins, Paulo Sousa, António Casimiro, Paulo Verissimo, “Dependable Adaptive Real-Time Applications in Wormhole-based Systems”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, June 2004, Jul. 2004.

• Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Wormhole-Aware Byzantine Protocols”, in 2nd Bertinoro Workshop on Future Directions in Distributed Computing: Survivability - Obstacles and Solutions (FuDiCo: SOS), Bertinoro, Italy, June, 2004., Jun. 2004.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures”, Missing institution, Tech. Rep., Jun. 2004. Technical Report DI/FCUL TR-04-5. Department of Computer Science, University of Lisbon. June 2004.

• António Casimiro, Jörg Kaiser, Paulo Verissimo, “An Architectural Framework and a Middleware for Cooperating Smart Components”, in Proceedings of the First Conference on Computing Frontiers, Ischia, Italy, April 2004, Apr. 2004.

• Paulo Verissimo, Jörg Kaiser, António Casimiro, “An architecture to support interaction via Generic Events”, in 24th IEEE Real-time Systems Symposium, Work in Progress Proceedings, Cancun, Mexico, December 2003, Dec. 2003.

• Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Verissimo, “Low Complexity Byzantine-Resilient Consensus”, Missing institution, Tech. Rep., Oct. 2003. Technical Report DI/FCUL TR-03-25, Department of Computer Science, University of Lisbon. August 2003

• José Rufino, Paulo Verissimo, Guilherme Arroz, “Node Failure Detection and Membership in CANELy”, in Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN03). San Francisco, California, USA, June 2003., Jun. 2003.

• Paulo Verissimo, Nuno Ferreira Neves, Miguel Correia, “Intrusion-Tolerant Architectures: Concepts and Design”, in Architecting Dependable Systems, ser. LNCS. Springer-Verlag, Jun. 2003, vol. 2677, pp. 3–36. Extended version in http://hdl.handle.net/10455/2954

• Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Verissimo, “A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCB Model”, in Proceedings of the 21st Simpósio Brasileiro de Redes de Computadores, Natal, Brasil, May 2003, May 2003.

• V. Cahill, António Casimiro, Jörg Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Verissimo, M. Wu, “Proof-of-concept prototypes”, Missing institution, Tech. Rep., Apr. 2003. Technical Report DI/FCUL TR-03-20, Department of Computer Science, University of Lisbon. July 2003

• G. Biegel, G. Blair, C. Brudna, V. Cahill, António Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes, Jörg Kaiser, R. Meier, V. Reynolds, Paulo Verissimo, M. Wu, “The CORTEX Programming Model”, Missing institution, Tech. Rep., Apr. 2003. Technical Report DI/FCUL TR-03-19, Department of Computer Science, University of Lisbon. July 2003

• G. Blair, C. Brudna, V. Cahill, António Casimiro, R. Cunningham, H. Duran-Limon, Jörg Kaiser, Pedro Martins, Paulo Verissimo, “Preliminary Specification of Basic Services and Protocols”, Missing institution, Tech. Rep., Feb. 2003. Technical Report DI/FCUL TR-03-18, Department of Computer Science, University of Lisbon. July 2003

• A. Adelsbach, C. Cachin, Sadie Creese, Yves Deswarte, K. Kursawe, J.-C. Laprie, D. Powell, B. Randell, James Riordan, Peter Ryan, William Simmionds, R. J. Stroud, Paulo Verissimo, M. Waidner, Andreas Wespi, “Conceptual Model and Architecture of MAFTIA”, University of Lisbon, DI-FCUL, Tech. Rep. TR-03-1, Feb. 2003. http://hdl.handle.net/10455/2978

• Paulo Verissimo, “Uncertainty and Predictability: Can they be reconciled?”, in Future Directions in Distributed Computing, pp. 108-113, Springer Verlag LNCS 2584, May, 2003, Jan. 2003.

• Paulo Verissimo, António Casimiro, “Event-Driven Support of Real-Time Sentient Objects”, in Proceedings of the Eighth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Guadalajara, Mexico, Jan 2003, Jan. 2003.

• Paulo Verissimo, “Lessons Learned with NavTech: a Framework for Reliable Large-Scale Applications”, Missing institution, Tech. Rep., Dec. 2002. Technical Report DI/FCUL TR-02-17, Department of Computer Science, University of Lisbon. December 2002

• Paulo Sousa, Paulo Verissimo, “Towards a cooperating autonomous car”, in Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy, Oct 2002, Oct. 2002.

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

• 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

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

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

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

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

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

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

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

• 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

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

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

• 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

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

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

• 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

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

• 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, “Real-time data management with clock-less reliable broadcast protocols”, in November 1990. Proceedings of the IEEE Workshop on the Management of Replicated Data, Houston, Texas, USA, Nov. 1990.

• Paulo Verissimo, José A. Marques, “Reliable broadcast for fault-tolerance on local computer networks”, in October 1990. Proceedings of the 9th Symposium on Reliable Distributed Systems, Huntsville, Alabama, USA, Oct. 1990.

• 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

• Paulo Verissimo, “Redundant Media Mechanisms for Dependable Communication in Token-Bus LANs”, in October 1988. Proceedings of the 13th IEEE Local Computer Network Conference, Minneapolis, USA, Oct. 1988.

• D. Powell, D. Seaton, G. Bonn, Paulo Verissimo, F. Waeselynck, “The Delta-4 Approach to Dependability in Open Distributed Computing Systems”, in Proceedings of the 18th IEEE International Symposium on Fault-Tolerant Computing (FTCS), pp. 246-251, June 1988., Jun. 1988. Please visit the Delta-4 project web page (http://www.navigators.di.fc.ul.pt/wiki/Project:Delta-4) for further information"