Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 216



141
TITLE: Node failure detection and membership in CANEL gamma
AUTHORS: Rufino, J ; Verissimo, P ; Arroz, G;
PUBLISHED: 2003, SOURCE: International Conference on Dependable Systems and Networks in 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
142
TITLE: Trustworthiness of open information systems: How should it be achieved?  Full Text
AUTHORS: Verissimo, P ;
PUBLISHED: 2003, SOURCE: 22nd International Symposium on Reliable Distributed Systems in 22ND INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
143
TITLE: Uncertainty and predictability: Can they be reconciled?
AUTHORS: Verissimo, P ;
PUBLISHED: 2003, SOURCE: International Workshop on Future Directions in Distributed Computing in FUTURE DIRECTIONS IN DISTRIBUTED COMPUTING: RESEARCH AND POSITION PAPERS, VOLUME: 2584
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
144
TITLE: Efficient Byzantine-Resilient reliable multicast on a hybrid failure model  Full Text
AUTHORS: Correia, M ; Lung, LC; Neves, NF ; Verissimo, P ;
PUBLISHED: 2002, SOURCE: 21st IEEE Symposium on Reliable Distributed Systems in 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: ORCID | DBLP
145
TITLE: Generic timing fault tolerance using a timely computing base
AUTHORS: Casimiro, A ; Verissimo, P ;
PUBLISHED: 2002, SOURCE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
146
TITLE: Intrusion-Tolerant Architectures: Concepts and Design
AUTHORS: Paulo Veríssimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLISHED: 2002, SOURCE: Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], VOLUME: 2677
INDEXED IN: DBLP CrossRef: 76
IN MY: DBLP
147
TITLE: The design of a COTS real-time distributed security kernel
AUTHORS: Correia, M ; Verissimo, P ; Neves, NF ;
PUBLISHED: 2002, SOURCE: 4th European Dependable Computing Conference in DEPENDABLE COMPUTING: EDCC-4, PROCEEDINGS, VOLUME: 2485
INDEXED IN: Scopus WOS DBLP CrossRef: 20
IN MY: DBLP
148
TITLE: The timely computing base model and architecture
AUTHORS: Verissimo, P ; Casimiro, A ;
PUBLISHED: 2002, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 51, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
149
TITLE: Distributed systems for system architects
AUTHORS: Paulo Veríssimo ; Luís E T Rodrigues;
PUBLISHED: 2001, SOURCE: Advances in Distributed Computing and Middleware, VOLUME: 1
INDEXED IN: DBLP CrossRef
IN MY: DBLP
150
TITLE: Measuring Distributed Durations with Stable Error
AUTHORS: Antonio Casimiro; Pedro Martins; Luís Rodrigues ; Paulo Veríssimo ;
PUBLISHED: 2001, SOURCE: Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, 2-6 December 2001
INDEXED IN: DBLP CrossRef
IN MY: DBLP
Page 15 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