Nuno Fuentecilla Maia Ferreira Neves


AuthID: R-000-DNV

Confirmed Publications: 138



71
TITLE: Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions  Full Text
AUTHORS: Bruno Vavala; Nuno Neves ;
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 | DBLP
72
TITLE: Automatically complementing protocol specifications from network traces
AUTHORS: João Antunes; Nuno Ferreira Neves ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
73
TITLE: Byzantine consensus in asynchronous message-passing systems: A survey
AUTHORS: Correia, M ; Veronese, GS; Neves, NF ; Verissimo, P ;
PUBLISHED: 2011, SOURCE: International Journal of Critical Computer-Based Systems, VOLUME: 2, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 29
IN MY: ORCID | DBLP
74
TITLE: DiveInto: Supporting Diversity in Intrusion-Tolerant Systems  Full Text
AUTHORS: Joao Antunes; Nuno Neves ;
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 | DBLP
75
TITLE: OS Diversity for Intrusion Tolerance: Myth or Reality?
AUTHORS: Miguel Garcia; Alysson Bessani ; Ilir Gashi; Nuno Neves ; Rafael Obelheiro;
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: 55
IN MY: ORCID | DBLP
76
TITLE: Randomization can be a healer: consensus with dynamic omission failures  Full Text
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2011, SOURCE: 23rd International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 24, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
77
TITLE: Reverse engineering of protocols from network traces  Full Text
AUTHORS: Antunes, J; Neves, N ; Verissimo, P ;
PUBLISHED: 2011, SOURCE: 18th Working Conference on Reverse Engineering, WCRE 2011 in Proceedings - Working Conference on Reverse Engineering, WCRE
INDEXED IN: Scopus DBLP CrossRef: 46
IN MY: ORCID | DBLP
78
TITLE: RITAS: Services for Randomized Intrusion Tolerance  Full Text
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 8, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 24
IN MY: ORCID | DBLP
79
TITLE: Using Behavioral Profiles to Detect Software Flaws in Network Servers
AUTHORS: Joao Antunes; Nuno Ferreira Neves ;
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 | DBLP
80
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
Page 8 of 14. Total results: 138.

A place for researchers and their institutions

Useful Links

Get Help

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