ProfileOfResearchers

Publicações
Investigadores
Instituições

0
Entrar
- Autenticação Federada (Click on the image)
  
  Autenticação local Recuperação de Password Register

Miguel Nuno Dias Alves Pupo Correia

AuthID: R-000-DA1

Publicações
Confirmadas
Para Validar

Document Source:

Document Type:

Year Start - End:

Order:

Results:

Confirmed Publications: 203

171

TITLE: GRIDTS: A new approach for fault-tolerant scheduling in grid computing
AUTHORS: Fabio Favarim; Joni da Silva Fraga; Lau Cheuk Lung; Miguel Correia ;
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: 14

IN MY:

ORCID |

DBLP

172

TITLE: Intrusion tolerance in wireless environments: an experimental evaluation
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Antonio Casimiro ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS

INDEXED IN:

WOS

DBLP

CrossRef: 3

IN MY:

DBLP

173

TITLE: Intrusion tolerance in wireless environments: An experimental evaluation
AUTHORS: Moniz, H; Neves, NF ; Correia, M ; Casimiro, A; Verissimo, P ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007

INDEXED IN:

Scopus

IN MY:

ORCID

174

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, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007

INDEXED IN:

Scopus

IN MY:

ORCID

175

TITLE: On the effects of finite memory on intrusion-tolerant systems
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS

INDEXED IN:

WOS

DBLP

CrossRef: 1

IN MY:

DBLP

176

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, PRDC 2007 in Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007

INDEXED IN:

Scopus

IN MY:

ORCID

177

TITLE: Resilient intrusion tolerance through proactive and reactive recovery
AUTHORS: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS

INDEXED IN:

WOS

DBLP

CrossRef: 36

IN MY:

DBLP

178

TITLE: Specification-based intrusion detection system for carrier ethernet
AUTHORS: Pan Jieke; Joao Redol; Miguel Correia ;
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 |

DBLP

179

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: Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], VOLUME: 5135

INDEXED IN:

DBLP

CrossRef: 14

IN MY:

ORCID |

DBLP

180