101
TÍTULO: Robustness testing of the windows DDK
AUTORES: Manuel Mendonca; Nuno Neves ;
PUBLICAÇÃO: 2007, FONTE: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks in 37TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
NO MEU: ORCID | DBLP
102
TÍTULO: The CRUTIAL Architecture for Critical Information Infrastructures
AUTORES: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ; Yves Deswarte; Anas Abou El Kalam; Andrea Bondavalli; Alessandro Daidone;
PUBLICAÇÃO: 2007, FONTE: 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
INDEXADO EM: DBLP CrossRef: 14
NO MEU: ORCID | DBLP
103
TÍTULO: When 3f+1 is not enough: Tradeoffs for decentralized asynchronous Byzantine consensus
AUTORES: Alysson Neves Bessani ; Miguel Correia ; Henrique Moniz ; Nunc Ferreira Neves ; Paulo Verissimo ;
PUBLICAÇÃO: 2007, FONTE: 21st International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4731
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
104
TÍTULO: Worm-IT - A wormhole-based intrusion-tolerant group communication system  Full Text
AUTORES: Miguel Correia ; Nuno Ferreira Neves ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 80, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP
105
TÍTULO: CRUTIAL: The blueprint of a reference critical information infrastructure architecture  Full Text
AUTORES: Paulo Verissimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2006, FONTE: 1st International Workshop on Critical Information Infrastructures Security in Critical Information Infrastructures Security, VOLUME: 4347
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP
106
TÍTULO: Experimental comparison of local and shared coin randomized consensus protocols  Full Text
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLICAÇÃO: 2006, FONTE: 25th IEEE Symposium on Reliable Distributed Systems in SRDS 2006: 25th IEEE Symposium on Reliable Distributed Systems, Proceedings
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP
107
TÍTULO: From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures
AUTORES: Correia, M ; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2006, FONTE: COMPUTER JOURNAL, VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 71
NO MEU: ORCID | DBLP
108
TÍTULO: Intrusion-tolerant middleware - The road to automatic security  Full Text
AUTORES: Paulo E Verissimo ; Nuno F Neves ; Christian Cachin; Jonathan Poritz; David Powell; Yves Deswarte; Robert Stroud; Ian Welch;
PUBLICAÇÃO: 2006, FONTE: IEEE SECURITY & PRIVACY, VOLUME: 4, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 46
NO MEU: ORCID | DBLP
109
TÍTULO: Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available  Full Text
AUTORES: Paulo Sousa; Nuno Ferreira Neves ; Paulo Verissimo ; William H Sanders;
PUBLICAÇÃO: 2006, FONTE: 25th IEEE Symposium on Reliable Distributed Systems in SRDS 2006: 25th IEEE Symposium on Reliable Distributed Systems, Proceedings
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | DBLP
110
TÍTULO: Proactive resilience through architectural hybridization  Full Text
AUTORES: Sousa, P; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2006, FONTE: 2006 ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1
INDEXADO EM: Scopus DBLP CrossRef: 18
NO MEU: ORCID | DBLP
Página 11 de 14. Total de resultados: 138.