Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 205



131
TITLE: Event-driven support of real-time sentient objects
AUTHORS: Veríssimo, P ; Casimiro, A ;
PUBLISHED: 2003, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 9
132
TITLE: Intrusion-tolerant architectures: Concepts and design
AUTHORS: Verissimo, PE ; Neves, NF ; Correia, MP ;
PUBLISHED: 2003, SOURCE: ICSE 2002 Workshop on Software Architectures for Dependable Systems, WADS 2002 in ARCHITECTING DEPENDABLE SYSTEMS, VOLUME: 2677
INDEXED IN: Scopus WOS
IN MY: ORCID
133
TITLE: Node failure detection and membership in CANELγ
AUTHORS: Rufino, J ; Veríssimo, 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: 9
134
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
135
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
136
TITLE: Efficient Byzantine-Resilient reliable multicast on a hybrid failure model
AUTHORS: Correia, M ; Lung, LC; Neves, NF ; Veríssimo, 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: 21
137
TITLE: Generic timing fault tolerance using a timely computing base
AUTHORS: Casimiro, A ; Veríssimo, 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: 8
138
139
TITLE: The design of a COTS real-time distributed security kernel
AUTHORS: Correia, M ; Veríssimo, 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: 21
140
TITLE: The timely computing base model and architecture
AUTHORS: Veríssimo, P ; Casimiro, A ;
PUBLISHED: 2002, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 51, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 74
Page 14 of 21. Total results: 205.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service