Dependable Adaptive Real-Time Applications in Wormhole-based Systems. - Pedro Martins; Paulo Jorge Paiva de Sousa; António Casimiro; Paulo Veríssimo (DSN, 2004)

How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? - Paulo Sousa 001; Nuno Ferreira Neves; Paulo Veríssimo (DSN, 2005)

Resilient State Machine Replication. - Paulo Sousa 001; Nuno Ferreira Neves; Paulo Veríssimo (PRDC, 2005)

A New Programming Model for Dependable Adaptive Real-Time Applications. - Pedro Martins; Paulo Sousa 001; António Casimiro; Paulo Veríssimo (IEEE Distributed Syst. Online, 2005)

Proactive resilience through architectural hybridization. - Paulo Sousa 001; Nuno Ferreira Neves; Paulo Veríssimo (SAC, 2006)

Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available. - Paulo Sousa 001; Nuno Ferreira Neves; Paulo Veríssimo; William H. Sanders (SRDS, 2006)

Resilient Intrusion Tolerance through Proactive and Reactive Recovery. - Paulo Sousa 001; Alysson Neves Bessani; Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (PRDC, 2007)

FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery. - Alysson Neves Bessani; Hans P. Reiser; Paulo Sousa 001; Ilir Gashi; Vladimir Stankovic 002; Tobias Distler; Rüdiger Kapitza; Alessandro Daidone; Rafael R. Obelheiro (Middleware (Companion), 2008)

The Crutial Way of Critical Infrastructure Protection. - Alysson Neves Bessani; Paulo Sousa 001; Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (IEEE Secur. Priv., 2008)

Intrusion-tolerant self-healing devices for critical infrastructure protection. - Paulo Sousa 001; Alysson Neves Bessani; Wagner Saback Dantas; Fabio Souto; Miguel Correia 001; Nuno Ferreira Neves (DSN, 2009)

Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. - Paulo Veríssimo; Alysson Neves Bessani; Miguel Correia 001; Nuno Ferreira Neves; Paulo Sousa 001 (HICSS, 2009)

RAVE: Replicated antivirus engine. - Carlos Silva; Paulo Sousa 001; Paulo Veríssimo (DSN Workshops, 2010)

Active Quorum Systems. - Alysson Neves Bessani; Paulo Sousa 001; Miguel Correia 001 (HotDep, 2010)

Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. - Paulo Sousa 001; Alysson Neves Bessani; Miguel Correia 001; Nuno Ferreira Neves; Paulo Veríssimo (IEEE Trans. Parallel Distributed Syst., 2010)

DepSky: Dependable and Secure Storage in a Cloud-of-Clouds. - Alysson Neves Bessani; Miguel Correia 001; Bruno Quaresma; Fernando André; Paulo Sousa 001 (ACM Trans. Storage, 2013)

User-Centric Security and Dependability in the Clouds-of-Clouds. - Marc Lacoste; Markus Miettinen; Nuno Neves 001; Fernando M. V. Ramos; Marko Vukolic; Fabien Charmet; Reda Yaich; Krzysztof Oborzynski; Gitesh Vernekar; Paulo Sousa 001 (IEEE Cloud Comput., 2016)

Fault-Tolerant Architecture for Real-Time Control of Distributed Medical Devices. - Tiago Reis; Alexandre Correia; Paulo Sousa 001; José Cecílio (ICARCV, 2020)