Paulo Sousa

According to our database, Paulo Sousa authored at least 17 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Fault-Tolerant Architecture for Real-Time Control of Distributed Medical Devices.

Tiago Reis, Alexandre Correia, Paulo Sousa, José Cecílio

Proceedings of the 16th International Conference on Control, 2020

2016

User-Centric Security and Dependability in the Clouds-of-Clouds.

Marc Lacoste, Markus Miettinen, Nuno Neves, Fernando M. V. Ramos, Marko Vukolic, Fabien Charmet, Reda Yaich, Krzysztof Oborzynski, Gitesh Vernekar, Paulo Sousa

IEEE Cloud Comput., 2016

2013

DepSky: Dependable and Secure Storage in a Cloud-of-Clouds.

Alysson Neves Bessani, Miguel Correia, Bruno Quaresma, Fernando André, Paulo Sousa

ACM Trans. Storage, 2013

2010

Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery.

Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo

IEEE Trans. Parallel Distributed Syst., 2010

Active Quorum Systems.

Alysson Neves Bessani, Paulo Sousa, Miguel Correia

Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010

RAVE: Replicated antivirus engine.

Carlos Silva, Paulo Sousa, Paulo Veríssimo

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010

2009

Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned.

Paulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

Intrusion-tolerant self-healing devices for critical infrastructure protection.

Paulo Sousa, Alysson Neves Bessani, Wagner Saback Dantas, Fabio Souto, Miguel Correia, Nuno Ferreira Neves

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

The Crutial Way of Critical Infrastructure Protection.

Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo

IEEE Secur. Priv., 2008

FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery.

Alysson Neves Bessani, Hans P. Reiser, Paulo Sousa, Ilir Gashi, Vladimir Stankovic, Tobias Distler, Rüdiger Kapitza, Alessandro Daidone, Rafael R. Obelheiro

Proceedings of the Middleware 2008, 2008

2007

Resilient Intrusion Tolerance through Proactive and Reactive Recovery.

Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

2006

Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available.

Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Proactive resilience through architectural hybridization.

Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

2005

A New Programming Model for Dependable Adaptive Real-Time Applications.

Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo

IEEE Distributed Syst. Online, 2005

Resilient State Machine Replication.

Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo

Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 2005

How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?

Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Dependable Adaptive Real-Time Applications in Wormhole-based Systems.

Pedro Martins, Paulo Jorge Paiva de Sousa, António Casimiro, Paulo Veríssimo

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004