Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 259



171
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
IN MY: DBLP
172
173
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
174
TITLE: On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds  Full Text
AUTHORS: Miguel Correia ; Pedro Costa; Marcelo Pasin; Alysson Bessani ; Fernando Ramos ; Paulo Verissimo ;
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 | DBLP | CIÊNCIAVITAE
175
TITLE: Practical Hardening of Crash-Tolerant Systems
AUTHORS: Miguel Correia ; Daniel Gómez Ferro; Flavio Paiva Junqueira; Marco Serafini;
PUBLISHED: 2012, SOURCE: 2012 USENIX Annual Technical Conference, USENIX ATC 2012 in 2012 USENIX Annual Technical Conference, Boston, MA, USA, June 13-15, 2012
INDEXED IN: Scopus DBLP
IN MY: DBLP
176
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
177
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
IN MY: DBLP
178
TITLE: Anomaly-based intrusion detection in software as a service
AUTHORS: Gustavo Nascimento; Miguel Correia ;
PUBLISHED: 2011, SOURCE: 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops, DSN-W 2011 in IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), Hong Kong, China, June 27-30, 2011.
INDEXED IN: Scopus DBLP CrossRef: 14
IN MY: ORCID | DBLP | CIÊNCIAVITAE
179
TITLE: Byzantine consensus in asynchronous message-passing systems: A survey
AUTHORS: Correia, M ; Veronese, GS; Neves, NF ; Verissimo, P ;
PUBLISHED: 2011, SOURCE: International Journal of Critical Computer-Based Systems, VOLUME: 2, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 29
IN MY: ORCID | DBLP | CIÊNCIAVITAE
180
TITLE: Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes
AUTHORS: Pedro Costa; Marcelo Pasin; Alysson Neves Bessani ; Miguel Correia ;
PUBLISHED: 2011, SOURCE: 2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011 in IEEE 3rd International Conference on Cloud Computing Technology and Science, CloudCom 2011, Athens, Greece, November 29 - December 1, 2011
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 18 of 26. Total results: 259.

footer slogan

Useful Links

Get Help

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