Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 205



61
TITLE: TRONE: Trustworthy and Resilient Operations in a Network Environment
AUTHORS: 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;
PUBLISHED: 2012, SOURCE: DSN Workshops
INDEXED IN: Scopus DBLP CrossRef: 3
62
TITLE: Byzantine consensus in asynchronous message-passing systems: a survey
AUTHORS: Miguel Correia ; Giuliana Santos Veronese; Nuno Ferreira Neves ; Paulo Veríssimo ;
PUBLISHED: 2011, SOURCE: Int. J. Crit. Comput. Based Syst., VOLUME: 2, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 38
63
TITLE: ENFORCING DEPENDABILITY AND TIMELINESS IN CANELy <i>Application to Spaceborne Data Communication Systems</i>
AUTHORS: Rufino, J ; Verissimo, P ; Pinto, R; Almeida, C; Arroz, G;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus WOS DBLP
64
TITLE: Randomization can be a healer: consensus with dynamic omission failures
AUTHORS: Moniz, H ; Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLISHED: 2011, SOURCE: 23rd International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 24, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef: 1
65
TITLE: Recursive virtual machines for advanced security mechanisms
AUTHORS: Bernhard Kauer; Paulo Veríssimo ; Alysson Neves Bessani ;
PUBLISHED: 2011, SOURCE: DSN Workshops
INDEXED IN: Scopus DBLP CrossRef: 12
66
TITLE: Reverse Engineering of Protocols from Network Traces
AUTHORS: João Antunes; Nuno Ferreira Neves ; Paulo Veríssimo ;
PUBLISHED: 2011, SOURCE: WCRE
INDEXED IN: Scopus DBLP CrossRef: 57
67
TITLE: RITAS: Services for Randomized Intrusion Tolerance
AUTHORS: Moniz, H ; Neves, NF ; Correia, M ; Verissimo, P ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 8, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 34
68
TITLE: Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
AUTHORS: Rufino, J ; Craveiro, J; Verissimo, P ;
PUBLISHED: 2010, SOURCE: DSN 2009 Workshop on Architecting Dependable Systems in ARCHITECTING DEPENDABLE SYSTEMS VII, VOLUME: 6420
INDEXED IN: Scopus WOS DBLP CrossRef: 8
69
TITLE: Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics
AUTHORS: Rufino, J ; Craveiro, J; Verissimo, P ;
PUBLISHED: 2010, SOURCE: 8th IFIP Workshop on Software Technologies for Embedded and Ubiquitous Systems in SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, VOLUME: 6399
INDEXED IN: Scopus WOS DBLP CrossRef: 3
70
TITLE: Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
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
Page 7 of 21. Total results: 205.

footer slogan

Useful Links

Get Help

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