Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 229



201
TITLE: GRIDTS: A new approach for fault-tolerant scheduling in grid computing
AUTHORS: Favarim, F; Fraga, JD; Lung, LC; Correia, M ;
PUBLISHED: 2007, SOURCE: 6th IEEE International Symposium on Network Computing and Applications in SIXTH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 15
IN MY: ORCID | CIÊNCIAVITAE
202
TITLE: Intrusion tolerance in wireless environments:: an experimental evaluation
AUTHORS: Moniz, H ; Neves, NF ; Correia, M ; Casimiro, A ; Veríssimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
203
TITLE: On the effects of finite memory on intrusion-tolerant systems
AUTHORS: Veronese, GS; Correia, M ; Lung, LC; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
204
TITLE: Resilient intrusion tolerance through proactive and reactive recovery
AUTHORS: Sousa, P; Bessani, AN ; Correia, M ; Neves, NF ; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 38
IN MY: ORCID | CIÊNCIAVITAE
205
TITLE: Specification-based intrusion detection system for carrier ethernet
AUTHORS: Jieke, P; Redol, J; Correia, M ;
PUBLISHED: 2007, SOURCE: 3rd International Conference on Web Information Systems and Technologies in WEBIST 2007: Proceedings of the Third International Conference on Web Information Systems and Technologies, Vol IT: INTERNET TECHNOLOGY, VOLUME: IT
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | CIÊNCIAVITAE
206
TITLE: The CRUTIAL Architecture for Critical Information Infrastructures
AUTHORS: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ; Yves Deswarte; Anas Abou El Kalam; Andrea Bondavalli; Alessandro Daidone;
PUBLISHED: 2007, SOURCE: WADS, VOLUME: 5135 LNCS
INDEXED IN: Scopus DBLP CrossRef: 14
IN MY: ORCID | CIÊNCIAVITAE
207
TITLE: When 3f+1 is not enough: Tradeoffs for decentralized asynchronous Byzantine consensus
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Henrique Moniz ; Nunc Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 21st International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4731
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
208
TITLE: Worm-IT -: A wormhole-based intrusion-tolerant group communication system  Full Text
AUTHORS: Correia, M ; Neves, NF ; Lung, LC; Veríssimo, P ;
PUBLISHED: 2007, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 80, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | CIÊNCIAVITAE
209
TITLE: An Infrastructure for Adaptive Fault Tolerance on FT-CORBA  Full Text
AUTHORS: Lau Cheuk Lung; Fábio Favarim; Giuliana Teixeira Santos; Miguel Correia ;
PUBLISHED: 2006, SOURCE: ISORC
INDEXED IN: Scopus DBLP
IN MY: ORCID | CIÊNCIAVITAE
210
TITLE: Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems
AUTHORS: Bessani, AN ; Correia, M ; Fraga, JD; Lung, LC;
PUBLISHED: 2006, SOURCE: 20th International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4167
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | CIÊNCIAVITAE
Page 21 of 23. Total results: 229.

footer slogan

Useful Links

Get Help

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