Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações Confirmadas: 259



231
TÍTULO: On the effects of finite memory on intrusion-tolerant systems
AUTORES: Giuliana Santos Veronese; Miguel Correia ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLICAÇÃO: 2007, FONTE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
INDEXADO EM: WOS DBLP CrossRef: 1
NO MEU: DBLP
232
TÍTULO: Resilient intrusion tolerance through proactive and reactive recovery
AUTORES: Sousa, P; Bessani, AN ; Correia, M ; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2007, FONTE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
233
TÍTULO: Resilient intrusion tolerance through proactive and reactive recovery
AUTORES: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLICAÇÃO: 2007, FONTE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
INDEXADO EM: WOS DBLP CrossRef: 36
NO MEU: DBLP
234
TÍTULO: Specification-based intrusion detection system for carrier ethernet
AUTORES: Pan Jieke; Joao Redol; Miguel Correia ;
PUBLICAÇÃO: 2007, FONTE: 3rd International Conference on Web Information Systems and Technologies in WEBIST 2007: Proceedings of the Third International Conference on Web Information Systems and Technologies, Vol IT: INTERNET TECHNOLOGY, VOLUME: IT
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
235
TÍTULO: The CRUTIAL Architecture for Critical Information Infrastructures
AUTORES: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ; Yves Deswarte; Anas Abou El Kalam; Andrea Bondavalli; Alessandro Daidone;
PUBLICAÇÃO: 2007, FONTE: Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], VOLUME: 5135
INDEXADO EM: DBLP CrossRef: 14
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
236
TÍTULO: When 3f+1 is not enough: Tradeoffs for decentralized asynchronous Byzantine consensus
AUTORES: Alysson Neves Bessani ; Miguel Correia ; Henrique Moniz ; Nunc Ferreira Neves ; Paulo Verissimo ;
PUBLICAÇÃO: 2007, FONTE: 21st International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4731
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
237
TÍTULO: Worm-IT - A wormhole-based intrusion-tolerant group communication system  Full Text
AUTORES: Miguel Correia ; Nuno Ferreira Neves ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 80, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
238
TÍTULO: An Infrastructure for Adaptive Fault Tolerance on FT-CORBA
AUTORES: Lau Cheuk Lung; Fábio Favarim; Giuliana Teixeira Santos; Miguel Correia ;
PUBLICAÇÃO: 2006, FONTE: 9th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2006 in Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
239
TÍTULO: Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems
AUTORES: Alysson Neves Bessani ; Miguel Correia ; Joni D da Silva Fraga; Lau Cheuk Lung;
PUBLICAÇÃO: 2006, FONTE: 20th International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4167
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
240
TÍTULO: CRUTIAL: The blueprint of a reference critical information infrastructure architecture  Full Text
AUTORES: Paulo Verissimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2006, FONTE: 1st International Workshop on Critical Information Infrastructures Security in Critical Information Infrastructures Security, VOLUME: 4347
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 24 de 26. Total de resultados: 259.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service