Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 203



111
TITLE: On the Efficiency of Durable State Machine Replication
AUTHORS: Alysson Neves Bessani ; Marcel Santos; João Felix; Nuno Ferreira Neves ; Miguel Correia ;
PUBLISHED: 2013, SOURCE: 2013 USENIX Annual Technical Conference, USENIX ATC 2013 in 2013 USENIX Annual Technical Conference, San Jose, CA, USA, June 26-28, 2013
INDEXED IN: Scopus DBLP
IN MY: DBLP
112
TITLE: On the Performance of Byzantine Fault-Tolerant MapReduce  Full Text
AUTHORS: Pedro Costa; Marcelo Pasin; Alysson Neves Bessani ; Miguel P Correia ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 10, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP
113
TITLE: Securing Energy Metering Software with Automatic Source Code Correction
AUTHORS: Iberia Medeiros; Nuno F Neves ; Miguel Correia ;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
114
TITLE: Selfish and malicious behavior in Delay-Tolerant Networks
AUTHORS: Naércio Magaia; Paulo Rogério Pereira; Miguel P Correia ;
PUBLISHED: 2013, SOURCE: 2013 Future Network and Mobile Summit, FutureNetworkSummit 2013 in 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
115
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
116
117
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
118
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
119
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
120
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
Page 12 of 21. Total results: 203.

A place for researchers and their institutions

Useful Links

Get Help

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