71
TÍTULO: Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions  Full Text
AUTORES: Bruno Vavala; Nuno Neves ;
PUBLICAÇÃO: 2012, FONTE: 31st IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2012 31ST INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2012)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
72
TÍTULO: Automatically complementing protocol specifications from network traces
AUTORES: João Antunes; Nuno Ferreira Neves ;
PUBLICAÇÃO: 2011, FONTE: 13th European Workshop on Dependable Computing, EWDC 2011 in Proceedings of the 13th European Workshop on Dependable Computing, EWDC '11, Pisa, Italy, May 11-12, 2011
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
73
TÍTULO: Byzantine consensus in asynchronous message-passing systems: A survey
AUTORES: Correia, M ; Veronese, GS; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2011, FONTE: International Journal of Critical Computer-Based Systems, VOLUME: 2, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 29
NO MEU: ORCID | DBLP
74
TÍTULO: DiveInto: Supporting Diversity in Intrusion-Tolerant Systems  Full Text
AUTORES: Joao Antunes; Nuno Neves ;
PUBLICAÇÃO: 2011, FONTE: 30th IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2011 30TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
75
TÍTULO: OS Diversity for Intrusion Tolerance: Myth or Reality?
AUTORES: Miguel Garcia; Alysson Bessani ; Ilir Gashi; Nuno Neves ; Rafael Obelheiro;
PUBLICAÇÃO: 2011, FONTE: IEEE/IFIP 41st International Conference on Dependable Systems and Networks (DSN) in 2011 IEEE/IFIP 41ST INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
INDEXADO EM: Scopus WOS DBLP CrossRef: 55
NO MEU: ORCID | DBLP
76
TÍTULO: Randomization can be a healer: consensus with dynamic omission failures  Full Text
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLICAÇÃO: 2011, FONTE: 23rd International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 24, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
77
TÍTULO: Reverse engineering of protocols from network traces  Full Text
AUTORES: Antunes, J; Neves, N ; Verissimo, P ;
PUBLICAÇÃO: 2011, FONTE: 18th Working Conference on Reverse Engineering, WCRE 2011 in Proceedings - Working Conference on Reverse Engineering, WCRE
INDEXADO EM: Scopus DBLP CrossRef: 46
NO MEU: ORCID | DBLP
78
TÍTULO: RITAS: Services for Randomized Intrusion Tolerance  Full Text
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 8, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 24
NO MEU: ORCID | DBLP
79
TÍTULO: Using Behavioral Profiles to Detect Software Flaws in Network Servers
AUTORES: Joao Antunes; Nuno Ferreira Neves ;
PUBLICAÇÃO: 2011, FONTE: 22nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 22ND IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
80
TÍTULO: Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery  Full Text
AUTORES: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 21, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 87
NO MEU: ORCID | DBLP
Página 8 de 14. Total de resultados: 138.