Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 216



71
TITLE: Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
AUTHORS: Jose Rufino ; Joao Craveiro; Paulo Verissimo ;
PUBLISHED: 2010, SOURCE: DSN 2009 Workshop on Architecting Dependable Systems in ARCHITECTING DEPENDABLE SYSTEMS VII, VOLUME: 6420
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
72
TITLE: Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics  Full Text
AUTHORS: Jose Rufino ; Joao Craveiro; Paulo Verissimo ;
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
IN MY: ORCID | DBLP
73
TITLE: Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery  Full Text
AUTHORS: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 21, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 87
IN MY: ORCID | DBLP
74
75
TITLE: Randomized consensus in wireless environments: A case where more is better
AUTHORS: Vavala, B; Neves, N ; Moniz, H ; Verissimo, P ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Dependability, DEPEND 2010 in Proceedings - 3rd International Conference on Dependability, DEPEND 2010
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID
76
TITLE: RAVE: Replicated antivirus engine
AUTHORS: Silva, C; Sousa, P; Verissimo, P ;
PUBLISHED: 2010, SOURCE: 2010 International Conference on Dependable Systems and Networks Workshops, DSN-W 2010 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
77
TITLE: Security Made, Not Perfect, But Automatic
AUTHORS: Paulo Veríssimo ;
PUBLISHED: 2010, SOURCE: Security Protocols XVIII - 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers, VOLUME: 7061
INDEXED IN: DBLP CrossRef
IN MY: DBLP
78
TITLE: Security Made, Not Perfect, But Automatic (Transcript of Discussion)
AUTHORS: Paulo Veríssimo ;
PUBLISHED: 2010, SOURCE: Security Protocols XVIII - 18th International Workshop, Cambridge, UK, March 24-26, 2010, Revised Selected Papers, VOLUME: 7061
INDEXED IN: DBLP CrossRef
IN MY: DBLP
79
TITLE: Vulnerability Discovery with Attack Injection  Full Text
AUTHORS: Joao Antunes; Nuno Neves ; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 36, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: ORCID | DBLP
80
TITLE: Applying Architectural Hybridization in Networked Embedded Systems
AUTHORS: Antonio Casimiro ; Jose Rufino ; Luis Marques; Mario Calha; Paulo Verissimo ;
PUBLISHED: 2009, SOURCE: 7th International Workshop on Software Technologies for Embedded and Ubiquitous Systems in SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, PROCEEDINGS, VOLUME: 5860
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 8 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