Nuno Fuentecilla Maia Ferreira Neves


AuthID: R-000-DNV

Confirmed Publications: 125



61
TITLE: Recycling Test Cases to Detect Security Vulnerabilities  Full Text
AUTHORS: João Antunes; Nuno Ferreira Neves ;
PUBLISHED: 2012, SOURCE: ISSRE
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
62
TITLE: Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions  Full Text
AUTHORS: Vavala, B; Neves, N ;
PUBLISHED: 2012, SOURCE: 31st IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2012 31ST INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2012)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
63
TITLE: Automatically complementing protocol specifications from network traces
AUTHORS: João Antunes; Nuno Ferreira Neves ;
PUBLISHED: 2011, SOURCE: EWDC
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
64
TITLE: Byzantine consensus in asynchronous message-passing systems: a survey
AUTHORS: Miguel Correia ; Giuliana Santos Veronese; Nuno Ferreira Neves ; Paulo Veríssimo ;
PUBLISHED: 2011, SOURCE: Int. J. Crit. Comput. Based Syst., VOLUME: 2, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 38
IN MY: ORCID | CIÊNCIAVITAE
65
TITLE: DiveInto: Supporting Diversity in Intrusion-Tolerant Systems  Full Text
AUTHORS: Antunes, J; Neves, N ;
PUBLISHED: 2011, SOURCE: 30th IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2011 30TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
66
TITLE: OS Diversity for Intrusion Tolerance: Myth or Reality?
AUTHORS: Garcia, M; Bessani, A ; Gashi, I; Neves, N ; Obelheiro, R;
PUBLISHED: 2011, SOURCE: IEEE/IFIP 41st International Conference on Dependable Systems and Networks (DSN) in 2011 IEEE/IFIP 41ST INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
INDEXED IN: Scopus WOS DBLP CrossRef: 65
IN MY: ORCID | CIÊNCIAVITAE
67
TITLE: Randomization can be a healer: consensus with dynamic omission failures  Full Text
AUTHORS: Moniz, H ; Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLISHED: 2011, SOURCE: 23rd International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 24, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
68
TITLE: Reverse Engineering of Protocols from Network Traces  Full Text
AUTHORS: João Antunes; Nuno Ferreira Neves ; Paulo Veríssimo ;
PUBLISHED: 2011, SOURCE: WCRE
INDEXED IN: Scopus DBLP CrossRef: 57
IN MY: ORCID | CIÊNCIAVITAE
69
TITLE: RITAS: Services for Randomized Intrusion Tolerance  Full Text
AUTHORS: Moniz, H ; Neves, NF ; Correia, M ; Verissimo, P ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 8, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 34
IN MY: ORCID | CIÊNCIAVITAE
70
TITLE: Using Behavioral Profiles to Detect Software Flaws in Network Servers
AUTHORS: Antunes, J; Neves, NF ;
PUBLISHED: 2011, SOURCE: 22nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 22ND IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE)
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
Page 7 of 13. Total results: 125.

footer slogan

Useful Links

Get Help

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