Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Publicações Confirmadas: 216



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

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

Links Úteis

Ajuda

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