Home

2006
Neves, N. Ferreira, J. Antunes, M. Correia, P. Verissimo, and R. Neves, "Using attack injection to discover new vulnerabilities", Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 457–466, 2006.
2005
Khanna, G., M. Yu Cheng, P. Varadharajan, S. Bagchi, M. Correia, and P. Verissimo, "Automated monitor based diagnosis in distributed systems", ECE Technical Reports, pp. 67, 2005.
Correia, M., A. Neves Bessani, N. Ferreira Neves, C. L Lung, and P. Verissimo, Improving Byzantine Protocols with Secure Computational Components, : Department of Informatics, University of Lisbon, 2005.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Low complexity Byzantine-resilient consensus", Distributed Computing, vol. 17, no. 3: Springer-Verlag, pp. 237–249, 2005.
Khanna, G., M. Yu Cheng, J. Dyaberi, S. Bagchi, M. Correia, and P. Verissimo, "Probabilistic Diagnosis through Non-Intrusive Monitoring in Distributed Applications", ECE Technical Reports, pp. 72, 2005.
Correia, M., Serviços Distribu{ídos Tolerantes a Intrusões: resultados recentes e problemas abertos, : Department of Informatics, University of Lisbon, 2005.
Neves, N. Ferreira, M. Correia, and P. Verissimo, "Solving vector consensus with a wormhole", Parallel and Distributed Systems, IEEE Transactions on, vol. 16, no. 12: IEEE, pp. 1120–1131, 2005.
Jieke, P., M. Correia, N. Ferreira Neves, P. Verissimo, SA. Siemens, and R. Irmãos Siemens, "Um Núcleo de Segurança Distribu{ído para Suporte a Protocolos Tolerantes a Intrusões", 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, 2005.
2000
Neves, N. Ferreira, M. Correia, and , "The middleware architecture of MAFTIA: A blueprint", In Proceedings of the IEEE Third Information Survivability Workshop (ISW-2000, 2000.
Verissimo, P., N. Ferreira Neves, and M. Correia, The middleware architecture of MAFTIA: A blueprint, : Department of Informatics, University of Lisbon, 2000.
1998
Bom, J., P. Marques, M. Correia, and P. Pinto, "An architecture for dynamic multimedia QoS control", 7th IFIP/ICCC conf. on information networks and data communications, Aveiro, June, 1998.
Bom, J., P. A. C. Marques, M. Correia, and P. Pinto, "Integrated dymanic QoS control for multimedia applications", SYBEN-Broadband European Networks and Electronic Image Capture and Publishing: International Society for Optics and Photonics, pp. 384–394, 1998.
Bom, J., P. Marques, M. Correia, and P. Pinto, "QoS control: an application integrated framework", ATM, 1998. ICATM-98., 1998 1st IEEE International Conference on: IEEE, pp. 283–290, 1998.
1995
Correia, M., and P. Pinto, "Low-level multimedia synchronization algorithms on broadband networks", Proceedings of the third ACM international conference on Multimedia: ACM, pp. 423–434, 1995.

Pages