Paulo Sousa

17 papers A 3B 1C 3Misc 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2020 C conf
Fault-Tolerant Architecture for Real-Time Control of Distributed Medical Devices.
ICARCV
Tiago Reis, Alexandre Correia, Paulo Sousa, José Cecílio
2016 J jnl
User-Centric Security and Dependability in the Clouds-of-Clouds.
IEEE Cloud Comput.
Marc Lacoste, Markus Miettinen, Nuno Neves, Fernando M. V. Ramos, Marko Vukolic, Fabien Charmet, Reda Yaich, Krzysztof Oborzynski, Gitesh Vernekar, Paulo Sousa
2013 J jnl
DepSky: Dependable and Secure Storage in a Cloud-of-Clouds.
ACM Trans. Storage
Alysson Neves Bessani, Miguel Correia, Bruno Quaresma, Fernando André, Paulo Sousa
2011 A conf
DepSky: dependable and secure storage in a cloud-of-clouds.
EuroSys
Alysson Neves Bessani, Miguel P. Correia, Bruno Quaresma, Fernando André, Paulo Sousa
2010 — conf
Active Quorum Systems.
HotDep
Alysson Neves Bessani, Paulo Sousa, Miguel Correia
2010 J jnl
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery.
IEEE Trans. Parallel Distributed Syst.
Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2010 — conf
RAVE: Replicated antivirus engine.
DSN Workshops
Carlos Silva, Paulo Sousa, Paulo Veríssimo
2009 — conf
Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned.
HICSS
Paulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa
2009 A conf
Intrusion-tolerant self-healing devices for critical infrastructure protection.
DSN
Paulo Sousa, Alysson Neves Bessani, Wagner Saback Dantas, Fabio Souto, Miguel Correia, Nuno Ferreira Neves
2008 — conf
FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery.
Middleware (Companion)
Alysson Neves Bessani, Hans P. Reiser, Paulo Sousa, Ilir Gashi, Vladimir Stankovic, Tobias Distler, Rüdiger Kapitza, Alessandro Daidone, Rafael R. Obelheiro
2008 J jnl
The Crutial Way of Critical Infrastructure Protection.
IEEE Secur. Priv.
Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2007 C conf
Resilient Intrusion Tolerance through Proactive and Reactive Recovery.
PRDC
Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
2006 B conf
Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available.
SRDS
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders
2006 Misc conf
Proactive resilience through architectural hybridization.
SAC
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
2005 J jnl
A New Programming Model for Dependable Adaptive Real-Time Applications.
IEEE Distributed Syst. Online
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
2005 A conf
How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?
DSN
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
2005 C conf
Resilient State Machine Replication.
PRDC
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo