81
TÍTULO: Randomized consensus in wireless environments: A case where more is better
AUTORES: Vavala, B; Neves, N ; Moniz, H ; Verissimo, P ;
PUBLICAÇÃO: 2010, FONTE: 3rd International Conference on Dependability, DEPEND 2010 in Proceedings - 3rd International Conference on Dependability, DEPEND 2010
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
82
TÍTULO: Turquois: Byzantine Consensus in Wireless Ad hoc Networks
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2010, FONTE: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2010 IEEE-IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS DSN
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: ORCID | DBLP
83
TÍTULO: Vulnerability Discovery with Attack Injection  Full Text
AUTORES: Joao Antunes; Nuno Neves ; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 36, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
NO MEU: ORCID | DBLP
84
TÍTULO: A distributed systems approach to airborne self-separation
AUTORES: Moniz, H; Tedeschi, A; Neves, NF ; Correia, M ;
PUBLICAÇÃO: 2009, FONTE: Computational Models, Software Engineering, and Advanced Technologies in Air Transportation: Next Generation Applications
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
85
TÍTULO: Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned
AUTORES: Paulo Veríssimo ; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Sousa;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: DBLP
NO MEU: DBLP
86
TÍTULO: Designing modular and redundant cyber architectures for process control: Lessons learned
AUTORES: Verissimo, P ; Bessani, AN ; Correia, M ; Neves, NF ; Sousa, P;
PUBLICAÇÃO: 2009, FONTE: 42nd Annual Hawaii International Conference on System Sciences, HICSS in Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
87
TÍTULO: Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection
AUTORES: Paulo Sousa; Alysson N Bessani ; Wagner S Dantas; Fabio Souto; Miguel Correia ; Nuno F Neves ;
PUBLICAÇÃO: 2009, FONTE: 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks in 2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009)
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | DBLP
88
TÍTULO: Randomization Can Be a Healer: Consensus with Dynamic Omission Failures
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLICAÇÃO: 2009, FONTE: 23rd International Symposium on Distributed Computing in DISTRIBUTED COMPUTING, PROCEEDINGS, VOLUME: 5805
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
89
TÍTULO: Detection and prediction of resource-exhaustion vulnerabilities
AUTORES: Antunes, J; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2008, FONTE: 19th International Symposium on Software Reliability Engineering, ISSRE 2008 in Proceedings - International Symposium on Software Reliability Engineering, ISSRE
INDEXADO EM: Scopus DBLP CrossRef: 15
NO MEU: ORCID | DBLP
90
TÍTULO: Fuzzing Wi-Fi drivers to locate security vulnerabilities
AUTORES: Manuel Mendonca; Nuno Neves ;
PUBLICAÇÃO: 2008, FONTE: 7th European Dependable Computing Conference in EDCC-7: SEVENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP
Página 9 de 14. Total de resultados: 138.