Paulo Jorge Esteves Veríssimo


AuthID: R-000-EDS

Confirmed Publications: 216



111
TITLE: When 3f+1 is not enough: Tradeoffs for decentralized asynchronous Byzantine consensus
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Henrique Moniz ; Nunc Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: 21st International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4731
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
112
TITLE: Worm-IT - A wormhole-based intrusion-tolerant group communication system  Full Text
AUTHORS: Miguel Correia ; Nuno Ferreira Neves ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 80, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 15
IN MY: ORCID | DBLP
113
TITLE: Control of inaccessibility in CANELy
AUTHORS: Rufino, J ; Verissimo, P ; Arroz, G; Almeida, C;
PUBLISHED: 2006, SOURCE: WFCS 2006: 2006 IEEE International Workshop on Factory Communication Systems in IEEE International Workshop on Factory Communication Systems - Proceedings, WFCS
INDEXED IN: Scopus
IN MY: ORCID
114
TITLE: CRUTIAL: The blueprint of a reference critical information infrastructure architecture  Full Text
AUTHORS: Paulo Verissimo ; Nuno Ferreira Neves ; Miguel Correia ;
PUBLISHED: 2006, SOURCE: 1st International Workshop on Critical Information Infrastructures Security in Critical Information Infrastructures Security, VOLUME: 4347
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP
115
TITLE: Enforcing dependability and timeliness in controller area networks
AUTHORS: Jose Rufino ; Carlos Almeida; Paulo Verissimo ; Guilherme Arroz;
PUBLISHED: 2006, SOURCE: 32nd Annual Conference of the IEEE-Industrial-Electronics-Society in IECON 2006 - 32ND ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS, VOLS 1-11
INDEXED IN: WOS
116
TITLE: Enforcing dependability and timeliness in controller area networks
AUTHORS: Rufino, J ; Almeida, C; Verissimo, P ; Arroz, G;
PUBLISHED: 2006, SOURCE: IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics in IECON Proceedings (Industrial Electronics Conference)
INDEXED IN: Scopus CrossRef
IN MY: ORCID
117
TITLE: Experimental comparison of local and shared coin randomized consensus protocols  Full Text
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2006, SOURCE: 25th IEEE Symposium on Reliable Distributed Systems in SRDS 2006: 25th IEEE Symposium on Reliable Distributed Systems, Proceedings
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP
118
TITLE: From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures
AUTHORS: Correia, M ; Neves, NF ; Verissimo, P ;
PUBLISHED: 2006, SOURCE: COMPUTER JOURNAL, VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 71
IN MY: ORCID | DBLP
119
TITLE: Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems
AUTHORS: Antonio Casimiro; Jörg Kaiser; Paulo Veríssimo ;
PUBLISHED: 2006, SOURCE: Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], VOLUME: 4615
INDEXED IN: DBLP CrossRef
IN MY: DBLP
120
TITLE: Guest editorial for the special issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the dependable computing and communications and performance and dependability symposia  Full Text
AUTHORS: Jean Arlat; Andrea Bondavalli; Boudewijn Haverkort; Paulo Verissimo ;
PUBLISHED: 2006, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 3, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 12 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