Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações Confirmadas: 229



181
TÍTULO: Designing modular and redundant cyber architectures for process control: Lessons learned
AUTORES: Verissimo, P ; Bessani, AN ; Correia, M ; Neves, NF ; Sousa, P;
PUBLICAÇÃO: 2009, FONTE: 42nd Annual Hawaii International Conference on System Sciences, HICSS in Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
182
183
TÍTULO: Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection
AUTORES: Sousa, P; Bessani, AN ; Dantas, WS; Souto, F; Correia, M ; Neves, NF ;
PUBLICAÇÃO: 2009, FONTE: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks in 2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009)
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | CIÊNCIAVITAE
184
TÍTULO: Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
AUTORES: Moniz, H ; Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLICAÇÃO: 2009, FONTE: 23rd International Symposium on Distributed Computing in DISTRIBUTED COMPUTING, PROCEEDINGS, VOLUME: 5805
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
185
TÍTULO: Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces  Full Text
AUTORES: Bessani, AN ; Correia, M ; Fraga, JD; Lung, LC;
PUBLICAÇÃO: 2009, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 20, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | CIÊNCIAVITAE
186
TÍTULO: Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary  Full Text
AUTORES: Veronese, GS; Correia, M ; Bessani, AN ; Lung, LC;
PUBLICAÇÃO: 2009, FONTE: 28th IEEE International Symposium on Reliable Distributed Systems in 2009 28TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 94
NO MEU: ORCID | CIÊNCIAVITAE
187
TÍTULO: DepSpace. a byzantine fault-tolerant coordination service  Full Text
AUTORES: Alysson Neves Bessani ; Eduardo Pelison Alchieri; Miguel Correia ; Joni Silva Fraga;
PUBLICAÇÃO: 2008, FONTE: ACM SIGOPS Operating Systems Review - SIGOPS Oper. Syst. Rev., VOLUME: 42, NÚMERO: 4
INDEXADO EM: CrossRef: 6
NO MEU: ORCID | CIÊNCIAVITAE
188
TÍTULO: DepSpace: A Byzantine Fault-Tolerant Coordination Service
AUTORES: Alysson Neves Bessani ; Eduardo Pelison Alchieri; Miguel Correia ; Joni da Silva Fraga;
PUBLICAÇÃO: 2008, FONTE: 3rd ACM European Conference on Computer Systems (EuroSys 08) in EUROSYS'08: PROCEEDINGS OF THE EUROSYS 2008 CONFERENCE
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
189
TÍTULO: DepSpace: a byzantine fault-tolerant coordination service
AUTORES: Alysson Neves Bessani ; Eduardo Adílio Pelinson Alchieri; Miguel Correia ; Joni da Silva Fraga;
PUBLICAÇÃO: 2008, FONTE: EuroSys, VOLUME: 42, NÚMERO: 4
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
190
TÍTULO: Finite Memory: A Vulnerability of Intrusion-Tolerant Systems  Full Text
AUTORES: Giuliana Santos Veronese; Miguel Correia ; Lau Cheuk Lung; Paulo Veríssimo ;
PUBLICAÇÃO: 2008, FONTE: NCA
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 19 de 23. Total de resultados: 229.

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

Links Úteis

Ajuda

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