Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 216



61
TITLE: On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds  Full Text
AUTHORS: Miguel Correia ; Pedro Costa; Marcelo Pasin; Alysson Bessani ; Fernando Ramos ; Paulo Verissimo ;
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: 8
IN MY: ORCID | DBLP
62
TITLE: Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281)
AUTHORS: Rüdiger Kapitza; Matthias Schunter; Marc Shapiro; Paulo Veríssimo ; Michael Waidner;
PUBLISHED: 2012, SOURCE: Dagstuhl Reports, VOLUME: 2, ISSUE: 7
INDEXED IN: DBLP
IN MY: DBLP
63
TITLE: The TClouds architecture: Open and resilient cloud-of-clouds computing
AUTHORS: Verissimo, P ; Bessani, A ; Pasin, M;
PUBLISHED: 2012, SOURCE: 2012 IEEE/IFIP 42nd International Conference on Dependable Systems and Networks Workshops, DSN-W 2012 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
64
TITLE: TRONE: Trustworthy and resilient operations in a network environment
AUTHORS: Casimiro, A ; Verissimo, P ; Kreutz, D; Araujo, F ; Barbosa, R ; Neves, S; Sousa, B ; Curado, M ; Silva, C; Gandhi, R; Narasimhan, P;
PUBLISHED: 2012, SOURCE: 2012 IEEE/IFIP 42nd International Conference on Dependable Systems and Networks Workshops, DSN-W 2012 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
65
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
66
TITLE: ENFORCING DEPENDABILITY AND TIMELINESS IN CANELy Application to Spaceborne Data Communication Systems
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
IN MY: ORCID | DBLP
67
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
68
TITLE: Recursive virtual machines for advanced security mechanisms
AUTHORS: Kauer, B; Verissimo, P ; Bessani, A ;
PUBLISHED: 2011, SOURCE: 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops, DSN-W 2011 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
69
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
70
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
Page 7 of 22. Total results: 216.

A place for researchers and their institutions

Useful Links

Get Help

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