Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 216



51
TITLE: Benchmarking some Portuguese S&T system research units PDF
AUTHORS: Francisco M. Couto ; Daniel Faria; Bruno Tavares; Pedro Gonçalves; Paulo Veríssimo ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1302.0420
INDEXED IN: DBLP arXiv
IN MY: DBLP
52
TITLE: BFT-TO: Intrusion Tolerance with Less Replicas
AUTHORS: Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2013, SOURCE: COMPUTER JOURNAL, VOLUME: 56, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP
53
TITLE: E-biobanking: What Have You Done to My Cell Samples?  Full Text
AUTHORS: Paulo Esteves Verissimo ; Alysson Bessani ;
PUBLISHED: 2013, SOURCE: IEEE SECURITY & PRIVACY, VOLUME: 11, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
54
TITLE: Efficient Byzantine Fault-Tolerance
AUTHORS: Giuliana Santos Veronese; Miguel Correia ; Alysson Neves Bessani ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 62, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 90
IN MY: ORCID | DBLP
55
TITLE: Experiences with fault-injection in a Byzantine fault-tolerant protocol
AUTHORS: Martins, R ; Gandhi, R; Narasimhan, P ; Pertet, S; Casimiro, A; Kreutz, D; Verissimo, P ;
PUBLISHED: 2013, SOURCE: 14th ACM/IFIP/USENIX Middleware Conference, Middleware 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8275 LNCS
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: DBLP
56
TITLE: The Third International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology DCDV 2013
AUTHORS: Muppala, JK; Hiltunen, M; Campbell, R; Verissimo, P ;
PUBLISHED: 2013, SOURCE: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
57
TITLE: Towards secure and dependable software-defined networks
AUTHORS: Kreutz, D; Ramos, FMV ; Verissimo, P ;
PUBLISHED: 2013, SOURCE: 2013 2nd ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN 2013 in HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
58
TITLE: Adaptare. Supporting automatic and dependable adaptation in dynamic environments  Full Text
AUTHORS: Mônica Dixit; António Casimiro; Paolo Lollini; Andrea Bondavalli; Paulo Verissimo ;
PUBLISHED: 2012, SOURCE: ACM Trans. Auton. Adapt. Syst. - ACM Transactions on Autonomous and Adaptive Systems - TAAS, VOLUME: 7, ISSUE: 2
INDEXED IN: CrossRef
IN MY: ORCID
59
TITLE: Adaptare: Supporting Automatic and Dependable Adaptation in Dynamic Environments  Full Text
AUTHORS: Monica Dixit; Antonio Casimiro ; Paolo Lollini; Andrea Bondavalli; Paulo Verissimo ;
PUBLISHED: 2012, SOURCE: ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, VOLUME: 7, ISSUE: 2
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
60
TITLE: Critical Utility Infrastructural Resilience PDF
AUTHORS: Giovanna Dondossola; Geert Deconinck; Felicita Di Giandomenico; Susanna Donatelli; Mohamed Kaâniche; Paulo Veríssimo ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1211.5736
INDEXED IN: DBLP arXiv
IN MY: DBLP
Page 6 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