Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Publicações Confirmadas: 205



131
TÍTULO: Event-driven support of real-time sentient objects
AUTORES: Veríssimo, P ; Casimiro, A ;
PUBLICAÇÃO: 2003, FONTE: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003) in EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
132
TÍTULO: Intrusion-tolerant architectures: Concepts and design
AUTORES: Verissimo, PE ; Neves, NF ; Correia, MP ;
PUBLICAÇÃO: 2003, FONTE: ICSE 2002 Workshop on Software Architectures for Dependable Systems, WADS 2002 in ARCHITECTING DEPENDABLE SYSTEMS, VOLUME: 2677
INDEXADO EM: Scopus WOS
NO MEU: ORCID
133
TÍTULO: Node failure detection and membership in CANELγ
AUTORES: Rufino, J ; Veríssimo, P ; Arroz, G;
PUBLICAÇÃO: 2003, FONTE: International Conference on Dependable Systems and Networks in 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
134
TÍTULO: Trustworthiness of open information systems: How should it be achieved?  Full Text
AUTORES: Verissimo, P ;
PUBLICAÇÃO: 2003, FONTE: 22nd International Symposium on Reliable Distributed Systems in 22ND INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
135
TÍTULO: Uncertainty and predictability: Can they be reconciled?
AUTORES: Verissimo, P ;
PUBLICAÇÃO: 2003, FONTE: International Workshop on Future Directions in Distributed Computing in FUTURE DIRECTIONS IN DISTRIBUTED COMPUTING: RESEARCH AND POSITION PAPERS, VOLUME: 2584
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
136
TÍTULO: Efficient Byzantine-Resilient reliable multicast on a hybrid failure model
AUTORES: Correia, M ; Lung, LC; Neves, NF ; Veríssimo, P ;
PUBLICAÇÃO: 2002, FONTE: 21st IEEE Symposium on Reliable Distributed Systems in 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
137
TÍTULO: Generic timing fault tolerance using a timely computing base
AUTORES: Casimiro, A ; Veríssimo, P ;
PUBLICAÇÃO: 2002, FONTE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
138
TÍTULO: Intrusion-Tolerant Architectures: Concepts and Design
AUTORES: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLICAÇÃO: 2002, FONTE: WADS
INDEXADO EM: DBLP CrossRef: 89
139
TÍTULO: The design of a COTS real-time distributed security kernel
AUTORES: Correia, M ; Veríssimo, P ; Neves, NF ;
PUBLICAÇÃO: 2002, FONTE: 4th European Dependable Computing Conference in DEPENDABLE COMPUTING: EDCC-4, PROCEEDINGS, VOLUME: 2485
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
140
TÍTULO: The timely computing base model and architecture
AUTORES: Veríssimo, P ; Casimiro, A ;
PUBLICAÇÃO: 2002, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 51, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 74
Página 14 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