Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Publicações Confirmadas: 205



101
TÍTULO: On the effects of finite memory on intrusion-tolerant systems
AUTORES: Veronese, GS; Correia, M ; Lung, LC; Verissimo, P ;
PUBLICAÇÃO: 2007, FONTE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
102
TÍTULO: Resilient intrusion tolerance through proactive and reactive recovery
AUTORES: Sousa, P; Bessani, AN ; Correia, M ; Neves, NF ; Verissimo, P ;
PUBLICAÇÃO: 2007, FONTE: 13th Pacific Rim International Symposium on Dependable Computing in 13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 38
103
TÍTULO: The CRUTIAL Architecture for Critical Information Infrastructures
AUTORES: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ; Yves Deswarte; Anas Abou El Kalam; Andrea Bondavalli; Alessandro Daidone;
PUBLICAÇÃO: 2007, FONTE: WADS, VOLUME: 5135 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 14
104
TÍTULO: When 3f+1 is not enough: Tradeoffs for decentralized asynchronous Byzantine consensus
AUTORES: Alysson Neves Bessani ; Miguel Correia ; Henrique Moniz ; Nunc Ferreira Neves ; Paulo Verissimo ;
PUBLICAÇÃO: 2007, FONTE: 21st International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4731
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
105
TÍTULO: Worm-IT -: A wormhole-based intrusion-tolerant group communication system
AUTORES: Correia, M ; Neves, NF ; Lung, LC; Veríssimo, P ;
PUBLICAÇÃO: 2007, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 80, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
106
TÍTULO: Control of inaccessibility in CANELy
AUTORES: Rufino, J ; Verissimo, P ; Arroz, G; Almeida, C;
PUBLICAÇÃO: 2006, FONTE: WFCS 2006: 2006 IEEE International Workshop on Factory Communication Systems in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS
INDEXADO EM: Scopus
NO MEU: ORCID
107
TÍTULO: CRUTIAL:: The blueprint of a reference critical information infrastructure architecture
AUTORES: Veríssimo, P ; Neves, NF ; Correia, M ;
PUBLICAÇÃO: 2006, FONTE: 1st International Workshop on Critical Information Infrastructures Security in CRITICAL INFORMATION INFRASTRUCTURES SECURITY, VOLUME: 4347
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
108
TÍTULO: Enforcing dependability and timeliness in controller area networks
AUTORES: Jose Rufino ; Carlos Almeida; Paulo Verissimo ; Guilherme Arroz;
PUBLICAÇÃO: 2006, FONTE: 32nd Annual Conference of the IEEE-Industrial-Electronics-Society in IECON 2006 - 32ND ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS, VOLS 1-11
INDEXADO EM: WOS
109
TÍTULO: Enforcing dependability and timeliness in controller area networks
AUTORES: Rufino, J ; Almeida, C; Verissimo, P ; Arroz, G;
PUBLICAÇÃO: 2006, FONTE: IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics in IECON Proceedings (Industrial Electronics Conference)
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
110
TÍTULO: Experimental comparison of local and shared coin randomized consensus protocols
AUTORES: Moniz, H ; Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLICAÇÃO: 2006, FONTE: 25th IEEE Symposium on Reliable Distributed Systems in SRDS 2006: 25TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
Página 11 de 21. Total de resultados: 205.

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

Links Úteis

Ajuda

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