Resilient State Machine Replication
[paper | slides with animations | slides without animations]
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Proceedings of the 11th Pacific Rim International Symposium on Dependable Computing (PRDC), Changsha, China, pages 305-309, December 2005.

How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?
[paper | slides with animations | slides without animations]
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN’05). Yokohama, Japan, pages 98-107, June 2005.

A New Programming Model for Dependable Adaptive Real-Time Applications [paper (multimedia)]
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
IEEE Distributed Systems Online, vol. 6, no. 5, 2005.

A New Approach to Proactive Recovery
[paper | slides]
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Fifth European Dependable Computing Conference (EDCC-5) Supplementary Volume. Budapest, Hungary, pages 35-40, April 2005.

Dependable Adaptive Real-Time Applications in Wormhole-based Systems [paper]
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
In Proceedings of the International Conference on Dependable Systems and Networks (DSN’04), Florence, Italy, June 2004.

Concretização de um cenário de carros cooperantes num ambiente móvel sem fios [paper in portuguese]
Paulo Sousa, Pedro Martins, António Casimiro, Paulo Veríssimo
In Actas da Sexta Conferência sobre Redes de Computadores (CRC’03), Bragança, Portugal, Set 2003.

Analysis and Design of Application Scenarios [paper]
G. Blair, K. Cheverst, H. Duran-Limon, A. Friday, G. Samartzidis, T. Sivaharan, Paulo Sousa, M. Wu
Technical Report DI/FCUL TR-03-21, Department of Computer Science, University of Lisbon. July 2003.

Proof-of-concept prototypes [paper]
V. Cahill, António Casimiro, J. Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Veríssimo, M. Wu
Technical Report DI/FCUL TR-03-20, Department of Computer Science, University of Lisbon. July 2003.

Towards a Cooperating Autonomous Car [paper]
Paulo Sousa, Paulo Veríssimo
In Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy, Oct 2002.