Nuno Fuentecilla Maia Ferreira Neves


AuthID: R-000-DNV

Confirmed Publications: 125



71
TITLE: Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery  Full Text
AUTHORS: Sousa, P; Bessani, AN ; Correia, M ; Neves, NF ; Verissimo, P ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 21, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 104
IN MY: ORCID | CIÊNCIAVITAE
72
TITLE: Randomized consensus in wireless environments: A case where more is better
AUTHORS: Vavala, B; Neves, N ; Moniz, H ; Verissimo, P ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Dependability, DEPEND 2010 in Proceedings - 3rd International Conference on Dependability, DEPEND 2010
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
73
TITLE: Turquois: Byzantine Consensus in Wireless Ad hoc Networks
AUTHORS: Moniz, H ; Neves, NF ; Correia, M ;
PUBLISHED: 2010, SOURCE: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2010 IEEE-IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS DSN
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID | CIÊNCIAVITAE
74
TITLE: Vulnerability Discovery with Attack Injection  Full Text
AUTHORS: Antunes, J; Neves, N ; Correia, M ; Verissimo, P ; Neves, R ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 36, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 34
IN MY: ORCID | CIÊNCIAVITAE
75
TITLE: A distributed systems approach to airborne self-separation
AUTHORS: Moniz, H; Tedeschi, A; Neves, NF ; Correia, M ;
PUBLISHED: 2009, SOURCE: Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
76
TITLE: Designing modular and redundant cyber architectures for process control: Lessons learned
AUTHORS: Verissimo, P ; Bessani, AN ; Correia, M ; Neves, NF ; Sousa, P;
PUBLISHED: 2009, SOURCE: 42nd Annual Hawaii International Conference on System Sciences, HICSS in Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
77
78
TITLE: Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection
AUTHORS: Sousa, P; Bessani, AN ; Dantas, WS; Souto, F; Correia, M ; Neves, NF ;
PUBLISHED: 2009, SOURCE: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks in 2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009)
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | CIÊNCIAVITAE
79
TITLE: Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
AUTHORS: Moniz, H ; Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLISHED: 2009, SOURCE: 23rd International Symposium on Distributed Computing in DISTRIBUTED COMPUTING, PROCEEDINGS, VOLUME: 5805
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
80
TITLE: Detection and Prediction of Resource-Exhaustion Vulnerabilities  Full Text
AUTHORS: João Antunes; Nuno Ferreira Neves ; Paulo Veríssimo ;
PUBLISHED: 2008, SOURCE: ISSRE
INDEXED IN: Scopus DBLP CrossRef: 16
IN MY: ORCID | CIÊNCIAVITAE
Page 8 of 13. Total results: 125.

footer slogan

Useful Links

Get Help

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