Publications
"Intrusion-tolerant middleware: The road to automatic security",
Security & Privacy, IEEE, vol. 4, no. 4: IEEE, pp. 54–62, 2006.
Intrusion-Tolerant Middleware: The MAFTIA Approach,
: Department of Informatics, University of Lisbon, 2004.
Conceptual model and architecture of MAFTIA,
: Department of Informatics, University of Lisbon, 2003.
MAFTIA conceptual model and architecture,
: Department of Informatics, University of Lisbon, 2001.
"The delta-4 distributed fault-tolerant architecture",
Laboratoire d'Automatique et d'Analyse des Systemes, Report, no. 91055, 1991.
"Extra Performance Architecture (XPA)",
Delta-4: A Generic Architecture for Dependable Distributed Computing: Springer Berlin Heidelberg, pp. 211–266, 1991.
"The Delta-4 approach to dependability in open distributed computing systems.",
FTCS, pp. 246–251, 1988.

