Nuno Fuentecilla Maia Ferreira Neves


AuthID: R-000-DNV

Publicações Confirmadas: 125



61
TÍTULO: Recycling Test Cases to Detect Security Vulnerabilities  Full Text
AUTORES: João Antunes; Nuno Ferreira Neves ;
PUBLICAÇÃO: 2012, FONTE: ISSRE
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
62
TÍTULO: Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions  Full Text
AUTORES: Vavala, B; Neves, N ;
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 | CIÊNCIAVITAE
63
TÍTULO: Automatically complementing protocol specifications from network traces
AUTORES: João Antunes; Nuno Ferreira Neves ;
PUBLICAÇÃO: 2011, FONTE: EWDC
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
64
TÍTULO: Byzantine consensus in asynchronous message-passing systems: a survey
AUTORES: Miguel Correia ; Giuliana Santos Veronese; Nuno Ferreira Neves ; Paulo Veríssimo ;
PUBLICAÇÃO: 2011, FONTE: Int. J. Crit. Comput. Based Syst., VOLUME: 2, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 38
NO MEU: ORCID | CIÊNCIAVITAE
65
TÍTULO: DiveInto: Supporting Diversity in Intrusion-Tolerant Systems  Full Text
AUTORES: Antunes, J; Neves, N ;
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 | CIÊNCIAVITAE
66
TÍTULO: OS Diversity for Intrusion Tolerance: Myth or Reality?
AUTORES: Garcia, M; Bessani, A ; Gashi, I; Neves, N ; Obelheiro, R;
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: 65
NO MEU: ORCID | CIÊNCIAVITAE
67
TÍTULO: Randomization can be a healer: consensus with dynamic omission failures  Full Text
AUTORES: Moniz, H ; Neves, NF ; Correia, M ; Veríssimo, P ;
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: 1
NO MEU: ORCID | CIÊNCIAVITAE
68
TÍTULO: Reverse Engineering of Protocols from Network Traces  Full Text
AUTORES: João Antunes; Nuno Ferreira Neves ; Paulo Veríssimo ;
PUBLICAÇÃO: 2011, FONTE: WCRE
INDEXADO EM: Scopus DBLP CrossRef: 57
NO MEU: ORCID | CIÊNCIAVITAE
69
TÍTULO: RITAS: Services for Randomized Intrusion Tolerance  Full Text
AUTORES: Moniz, H ; Neves, NF ; Correia, M ; Verissimo, P ;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 8, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 34
NO MEU: ORCID | CIÊNCIAVITAE
70
TÍTULO: Using Behavioral Profiles to Detect Software Flaws in Network Servers
AUTORES: Antunes, J; Neves, NF ;
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 | CIÊNCIAVITAE
Página 7 de 13. Total de resultados: 125.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service