Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Publicações Confirmadas: 205



61
TÍTULO: TRONE: Trustworthy and Resilient Operations in a Network Environment
AUTORES: António Casimiro ; Paulo Veríssimo ; Diego Kreutz; Filipe Araújo ; Raul Barbosa ; Samuel Neves; Bruno Sousa ; Marília Curado ; Carlos Silva; Rajeev Gandhi; Priya Narasimhan;
PUBLICAÇÃO: 2012, FONTE: DSN Workshops
INDEXADO EM: Scopus DBLP CrossRef: 3
62
TÍTULO: Byzantine consensus in asynchronous message-passing systems: a survey
AUTORES: Miguel Correia ; Giuliana Santos Veronese; Nuno Ferreira Neves ; Paulo Veríssimo ;
PUBLICAÇÃO: 2011, FONTE: Int. J. Crit. Comput. Based Syst., VOLUME: 2, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef: 38
63
TÍTULO: ENFORCING DEPENDABILITY AND TIMELINESS IN CANELy <i>Application to Spaceborne Data Communication Systems</i>
AUTORES: Rufino, J ; Verissimo, P ; Pinto, R; Almeida, C; Arroz, G;
PUBLICAÇÃO: 2011, FONTE: 1st International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2011) in PECCS 2011: PROCEEDINGS OF THE 1ST INTERNATIONAL CONFERENCE ON PERVASIVE AND EMBEDDED COMPUTING AND COMMUNICATION SYSTEMS
INDEXADO EM: Scopus WOS DBLP
64
TÍTULO: Randomization can be a healer: consensus with dynamic omission failures
AUTORES: Moniz, H ; Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLICAÇÃO: 2011, FONTE: 23rd International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 24, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
65
TÍTULO: Recursive virtual machines for advanced security mechanisms
AUTORES: Bernhard Kauer; Paulo Veríssimo ; Alysson Neves Bessani ;
PUBLICAÇÃO: 2011, FONTE: DSN Workshops
INDEXADO EM: Scopus DBLP CrossRef: 12
66
TÍTULO: Reverse Engineering of Protocols from Network Traces
AUTORES: João Antunes; Nuno Ferreira Neves ; Paulo Veríssimo ;
PUBLICAÇÃO: 2011, FONTE: WCRE
INDEXADO EM: Scopus DBLP CrossRef: 57
67
TÍTULO: RITAS: Services for Randomized Intrusion Tolerance
AUTORES: Moniz, H ; Neves, NF ; Correia, M ; Verissimo, P ;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 8, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 34
68
TÍTULO: Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
AUTORES: Rufino, J ; Craveiro, J; Verissimo, P ;
PUBLICAÇÃO: 2010, FONTE: DSN 2009 Workshop on Architecting Dependable Systems in ARCHITECTING DEPENDABLE SYSTEMS VII, VOLUME: 6420
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
69
TÍTULO: Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics
AUTORES: Rufino, J ; Craveiro, J; Verissimo, P ;
PUBLICAÇÃO: 2010, FONTE: 8th IFIP Workshop on Software Technologies for Embedded and Ubiquitous Systems in SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, VOLUME: 6399
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
70
TÍTULO: Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
AUTORES: Sousa, P; Bessani, AN ; Correia, M ; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2010, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 21, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 104
Página 7 de 21. Total de resultados: 205.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service