Nuno Fuentecilla Maia Ferreira Neves


AuthID: R-000-DNV

Confirmed Publications: 139



81
TITLE: Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery  Full Text
AUTHORS: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 21, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 87
IN MY: ORCID | DBLP | CIÊNCIAVITAE
82
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
83
TITLE: Turquois: Byzantine Consensus in Wireless Ad hoc Networks
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ;
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: 10
IN MY: ORCID | DBLP | CIÊNCIAVITAE
84
TITLE: Vulnerability Discovery with Attack Injection  Full Text
AUTHORS: Joao Antunes; Nuno Neves ; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 36, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: ORCID | DBLP | CIÊNCIAVITAE
85
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
86
TITLE: Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned
AUTHORS: Paulo Veríssimo ; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Sousa;
PUBLISHED: 2009, SOURCE: 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), Proceedings (CD-ROM and online), 5-8 January 2009, Waikoloa, Big Island, HI, USA
INDEXED IN: DBLP
IN MY: DBLP
87
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
88
TITLE: Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection
AUTHORS: Paulo Sousa; Alysson N Bessani ; Wagner S Dantas; Fabio Souto; Miguel Correia ; Nuno F Neves ;
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: 8
IN MY: ORCID | DBLP | CIÊNCIAVITAE
89
TITLE: Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2009, SOURCE: 23rd International Symposium on Distributed Computing in DISTRIBUTED COMPUTING, PROCEEDINGS, VOLUME: 5805
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
90
TITLE: Detection and prediction of resource-exhaustion vulnerabilities
AUTHORS: Antunes, J; Neves, NF ; Verissimo, P ;
PUBLISHED: 2008, SOURCE: 19th International Symposium on Software Reliability Engineering, ISSRE 2008 in Proceedings - International Symposium on Software Reliability Engineering, ISSRE
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 9 of 14. Total results: 139.

footer slogan

Useful Links

Get Help

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