| 2020 | FC | Exploring the Monero Peer-to-Peer Network. | Tong Cao, Jiangshan Yu, Jrmie Decouchant, Xiapu Luo, Paulo Verssimo |
| 2015 | DSN | SSIV 2015 Keynote II: From Embedded Systems to Autonomous Cooperating Objects. | Paulo Verssimo |
| 2014 | USENIX | SCFS: A Shared Cloud-backed File System. | Alysson Neves Bessani, Ricardo Mendes, Tiago Oliveira, Nuno Ferreira Neves, Miguel Correia, Marcelo Pasin, Paulo Verssimo |
| 2013 | DSN | The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology DCDV 2013. | Jogesh K. Muppala, Matti A. Hiltunen, Roy H. Campbell, Paulo Verssimo |
| 2013 | Middleware | Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol. | Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila M. Pertet, Antnio Casimiro, Diego Kreutz, Paulo Verssimo |
| 2013 | SIGCOMM | Towards secure and dependable software-defined networks. | Diego Kreutz, Fernando M. V. Ramos, Paulo Verssimo |
| 2012 | DSN | TRONE: Trustworthy and Resilient Operations in a Network Environment. | Antnio Casimiro, Paulo Verssimo, Diego Kreutz, Filipe Arajo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marlia Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan |
| 2012 | DSN | The TClouds architecture: Open and resilient cloud-of-clouds computing. | Paulo Verssimo, Alysson Neves Bessani, Marcelo Pasin |
| 2012 | SRDS | On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds. | Miguel Correia, Pedro A. R. S. Costa, Marcelo Pasin, Alysson Neves Bessani, Fernando M. V. Ramos, Paulo Verssimo |
| 2011 | DSN | Recursive virtual machines for advanced security mechanisms. | Bernhard Kauer, Paulo Verssimo, Alysson Neves Bessani |
| 2010 | DSN | RAVE: Replicated antivirus engine. | Carlos Silva, Paulo Sousa, Paulo Verssimo |
| 2009 | ICSE | Architecting Robustness and Timeliness in a New Generation of Aerospace Systems. | Jos Rufino, Joo Craveiro, Paulo Verssimo |
| 2008 | ISSRE | Detection and Prediction of Resource-Exhaustion Vulnerabilities. | Joo Antunes, Nuno Ferreira Neves, Paulo Verssimo |
| 2008 | NCA | Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. | Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Verssimo |
| 2008 | SAC | A framework for dependable QoS adaptation in probabilistic environments. | Antnio Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Verssimo |
| 2007 | ICSE | Analysis of a Redundant Architecture for Critical Infrastructure Protection. | Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Verssimo |
| 2007 | ICSE | The CRUTIAL Architecture for Critical Information Infrastructures. | Paulo Verssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone |
| 2007 | PRDC | Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antnio Casimiro, Paulo Verssimo |
| 2007 | PRDC | Resilient Intrusion Tolerance through Proactive and Reactive Recovery. | Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verssimo |
| 2007 | PRDC | On the Effects of Finite Memory on Intrusion-Tolerant Systems. | Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Verssimo |
| 2006 | CRITIS | CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. | Paulo Verssimo, Nuno Ferreira Neves, Miguel Correia |
| 2006 | DSN | Randomized Intrusion-Tolerant Asynchronous Services. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verssimo |
| 2006 | DSN | Using Attack Injection to Discover New Vulnerabilities. | Nuno Ferreira Neves, Joo Antunes, Miguel Correia, Paulo Verssimo, Rui Ferreira Neves |
| 2006 | ETFA | Integrating Inaccessibility Control and Timer Management in CANELy. | Jos Rufino, Paulo Verssimo, Carlos Almeida, Guilherme Arroz |
| 2006 | ICSE | Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems. | Antnio Casimiro, Jrg Kaiser, Paulo Verssimo |
| 2006 | SAC | Proactive resilience through architectural hybridization. | Paulo Sousa, Nuno Ferreira Neves, Paulo Verssimo |
| 2006 | SRDS | Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verssimo |
| 2006 | SRDS | Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. | Paulo Sousa, Nuno Ferreira Neves, Paulo Verssimo, William H. Sanders |
| 2005 | DSN | How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? | Paulo Sousa, Nuno Ferreira Neves, Paulo Verssimo |
| 2005 | PRDC | Resilient State Machine Replication. | Paulo Sousa, Nuno Ferreira Neves, Paulo Verssimo |
| 2004 | DSN | Dependable Adaptive Real-Time Applications in Wormhole-based Systems. | Pedro Martins, Paulo Jorge Paiva de Sousa, Antnio Casimiro, Paulo Verssimo |
| 2004 | SRDS | How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. | Miguel Correia, Nuno Ferreira Neves, Paulo Verssimo |
| 2003 | DSN | Node Failure Detection and Membership in CANELy. | Jos Rufino, Paulo Verssimo, Guilherme Arroz |
| 2003 | SRDS | Trustworthiness of Open Information Systems: How Should It Be Achieved? | Paulo Verssimo |
| 2002 | DSN | Generic Timing Fault Tolerance using a Timely Computing Base. | Antnio Casimiro, Paulo Verssimo |
| 2002 | EDCC | The Design of a COTSReal-Time Distributed Security Kernel. | Miguel Correia, Paulo Verssimo, Nuno Ferreira Neves |
| 2002 | ICSE | Intrusion-Tolerant Architectures: Concepts and Design. | Paulo Verssimo, Nuno Ferreira Neves, Miguel Correia |
| 2002 | SRDS | Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. | Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Verssimo |
| 2001 | RTSS | Measuring Distributed Durations with Stable Error. | Antnio Casimiro, Pedro Martins, Lus E. T. Rodrigues, Paulo Verssimo |
| 2001 | SRDS | Using the Timely Computing Base for Dependable QoS Adaptation. | Antnio Casimiro, Paulo Verssimo |
| 2000 | DSN | he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. | Paulo Verssimo, Antnio Casimiro, Christof Fetzer |
| 1999 | ISORC | Embedded Platforms for Distributed Real-Time Computing: Challenges and Results. | Jos Rufino, Guilherme Arroz, Paulo Verssimo |
| 1999 | PACT | Logically Instantaneous Communication on Top of Distributed Memory Parallel Machines. | Achour Mostfaoui, Michel Raynal, Paulo Verssimo |
| 1998 | RTSS | Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems. | Carlos Almeida, Paulo Verssimo |
| 1996 | DAC | Efficient Communication in a Design Environment. | Idalina Videira, Paulo Verssimo, Helena Sarmento |
| 1996 | ECRTS | Timing Failure Detection and Real-Time Group Communication in Quasi-Synchronous Systems. | Carlos Almeida, Paulo Verssimo |
| 1996 | EDCC | Enhancing Dependability of Cooperative Applications in Partitionable Environments. | Franois J. N. Cosquer, Pedro Antunes, Paulo Verssimo |
| 1996 | ICDCS | Totally Ordered Multicast in Large-Scale Systems. | Lus E. T. Rodrigues, Henrique Fonseca, Paulo Verssimo |
| 1996 | SRDS | A Transparent Light-Weight Group Service. | Lus E. T. Rodrigues, Katherine Guo, Antonio Sargento, Robbert van Renesse, Bradford B. Glade, Paulo Verssimo, Kenneth P. Birman |
| 1995 | ICDCS | Causal Separators for Large-Scale Multicast Communication. | Lus E. T. Rodrigues, Paulo Verssimo |
| 1994 | SRDS | A Replication-Transparent Remote Invocation Protocol. | Lus E. T. Rodrigues, Ellen H. Siegel, Paulo Verssimo |
| 1993 | ICDCS | A Low-level Processor Group Membership Protocol for LANS. | Lus E. T. Rodrigues, Paulo Verssimo, Jos Rufino |
| 1993 | SRDS | Using Atomic Broadcast to Implement a posteriori Agreement for Clock Synchronization. | Paulo Verssimo, Antnio Casimiro, Lus E. T. Rodrigues |
| 1992 | INFOCOM | A Study on the Inaccessibility Characteristics of ISO 8802/4 Token-Bus LANs. | Jos Rufino, Paulo Verssimo |
| 1992 | SRDS | xAMp: A Multi-primitive Group Communications Service. | Lus E. T. Rodrigues, Paulo Verssimo |
| 1990 | FORTE | Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. | Mrio Baptista, Susanne Graf, Jean-Luc Richier, Lus E. T. Rodrigues, Carlos Rodrguez, Paulo Verssimo, Jacques Voiron |
| 1990 | SRDS | Reliable Broadcast for Fault-Tolerance on Local Computer Networks. | Paulo Verssimo, Jos Alves Marques |
| 1989 | SIGCOMM | AMp: A Highly Parallel Atomic Multicast Protocol. | Paulo Verssimo, Lus E. T. Rodrigues, Mrio Baptista |