Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações Confirmadas: 259



191
TÍTULO: 4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010
AUTORES: Miguel Correia ; Partha P Pal;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010, Chicago, IL, USA, June 28 - July 1 2010
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
192
TÍTULO: 4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010
AUTORES: Correia, M ; Pal, P;
PUBLICAÇÃO: 2010, FONTE: 2010 International Conference on Dependable Systems and Networks Workshops, DSN-W 2010 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
193
TÍTULO: Active Quorum Systems
AUTORES: Alysson Neves Bessani ; Paulo Sousa; Miguel Correia ;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the Sixth Workshop on Hot Topics in System Dependability, HotDep 2010, Vancouver, BC, Canada, October 3, 2010
INDEXADO EM: DBLP
NO MEU: DBLP
194
TÍTULO: Asynchronous Byzantine consensus with 2f+1 processes
AUTORES: Miguel Correia ; Giuliana Santos Veronese; Lau Cheuk Lung;
PUBLICAÇÃO: 2010, FONTE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
195
TÍTULO: EBAWA: Efficient Byzantine Agreement for Wide-Area Networks  Full Text
AUTORES: Giuliana Santos Veronese; Miguel Correia ; Alysson Neves Bessani ; Lau Cheuk Lung;
PUBLICAÇÃO: 2010, FONTE: 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, HASE 2010 in 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010
INDEXADO EM: Scopus DBLP CrossRef: 23
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
196
TÍTULO: Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery  Full Text
AUTORES: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 21, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 87
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
197
TÍTULO: Intrusion Tolerant Services Through Virtualization: A Shared Memory Approach
AUTORES: Valdir Stumm Jr.; Lau Cheuk Lung; Miguel Correia ; Joni da Silva Fraga; Jim Lau;
PUBLICAÇÃO: 2010, FONTE: 24th IEEE International Conference on Advanced Information Networking and Applications, AINA 2010, Perth, Australia, 20-13 April 2010
INDEXADO EM: DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
198
TÍTULO: Turquois: Byzantine Consensus in Wireless Ad hoc Networks
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2010, FONTE: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2010 IEEE-IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS DSN
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
199
TÍTULO: Vulnerability Discovery with Attack Injection  Full Text
AUTORES: Joao Antunes; Nuno Neves ; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 36, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
200
TÍTULO: 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009
AUTORES: Saurabh Bagchi; Miguel Correia ; Partha Pal;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 20 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