Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 229



151
TITLE: 2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8-11, 2012
AUTHORS: Cristian Constantinescu; Miguel P Correia ;
PUBLISHED: 2012, SOURCE: EDCC
INDEXED IN: DBLP
152
153
TITLE: Message from the program committee chair
AUTHORS: Correia, MP ;
PUBLISHED: 2012, SOURCE: 9th European Dependable Computing Conference, EDCC 2012 in Proceedings - 9th European Dependable Computing Conference, EDCC 2012
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
154
TITLE: On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds  Full Text
AUTHORS: Correia, M ; Costa, P; Pasin, M; Bessani, A ; Ramos, F ; Verissimo, P ;
PUBLISHED: 2012, SOURCE: 31st IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2012 31ST INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2012)
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | CIÊNCIAVITAE
155
TITLE: Practical Hardening of Crash-Tolerant Systems
AUTHORS: Miguel Correia ; Daniel Gómez Ferro; Flavio Paiva Junqueira; Marco Serafini;
PUBLISHED: 2012, SOURCE: USENIX ATC
INDEXED IN: Scopus DBLP
156
TITLE: Software execution protection in the cloud
AUTHORS: Correia, M ;
PUBLISHED: 2012, SOURCE: 1st European Workshop on Dependable Cloud Computing, EWDCC 2012 in ACM International Conference Proceeding Series
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
157
TITLE: Vers une plate-forme MapReduce tolérant les fautes byzantines
AUTHORS: Luciana Arantes; Alysson Neves Bessani ; Vinicius Vielmo Cogo ; Miguel Correia ; Pedro Costa; Jonathan Lejeune; Piffaretti, M; Olivier Marin; Marcelo Pasin; Pierre Sens; Fabrício Silva; Julien Sopena;
PUBLISHED: 2012, SOURCE: Tech. Sci. Informatiques, VOLUME: 31, ISSUE: 8-10
INDEXED IN: DBLP CrossRef
158
TITLE: Anomaly-based intrusion detection in software as a service
AUTHORS: Gustavo Nascimento; Miguel Correia ;
PUBLISHED: 2011, SOURCE: DSN Workshops
INDEXED IN: Scopus DBLP CrossRef: 31
IN MY: ORCID | CIÊNCIAVITAE
159
TITLE: Byzantine consensus in asynchronous message-passing systems: a survey
AUTHORS: Miguel Correia ; Giuliana Santos Veronese; Nuno Ferreira Neves ; Paulo Veríssimo ;
PUBLISHED: 2011, SOURCE: Int. J. Crit. Comput. Based Syst., VOLUME: 2, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 38
IN MY: ORCID | CIÊNCIAVITAE
160
TITLE: Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes
AUTHORS: Pedro A R S Costa; Marcelo Pasin; Alysson Neves Bessani ; Miguel Correia ;
PUBLISHED: 2011, SOURCE: CloudCom
INDEXED IN: Scopus DBLP CrossRef: 25
IN MY: ORCID | CIÊNCIAVITAE
Page 16 of 23. Total results: 229.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service