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.

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.

From 2001 until 2004, I participated in the CORTEX european project. My research work was primarily focused on building the support for dependable adaptive real-time applications.

In this context, I implemented the Timely Computing Base (TCB) on the Windows CE 3.0 operating system. This implementation was the basis for a CORTEX proof-of-concept prototype and for the development of one of the CORTEX final demonstrations.

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.

During 2001, I worked on te protocol development, performance analysis and optimization of Appia.