logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
P

Paulo Verı́ssimo

universidade de lisboa

42H-index
289Paper Count
6.0KCitation Count
Published Papers 11
Publication Date
logo
Efficient Byzantine Fault-Tolerance
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2013-01-01
err235
errOAAI
errVeronese, Giuliana Santos; Correia, Miguel; Bessani, Alysson Neves; Lung, Lau Cheuk; Verissimo, Paulo
errShare
errSave
RITAS: Services for Randomized Intrusion Tolerance
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2011-01-01
err31
PREAI
errMoniz, Henrique; Neves, Nuno Ferreira; Correia, Miguel; Verissimo, Paulo
errShare
errSave
Vulnerability Discovery with Attack Injection
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2010-05-01
err40
PREAI
errAntunes, Joao; Neves, Nuno; Correia, Miguel; Verissimo, Paulo; Neves, Rui
errShare
errSave
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2010-04-01
err86
PREAI
errSousa, Paulo; Bessani, Alysson Neves; Correia, Miguel; Neves, Nuno Ferreira; Verissimo, Paulo
errShare
errSave
On Byzantine generals with alternative plans
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2008-09-01
err12
PREAI
errCorreia, Miguel; Bessani, Alysson Neves; Verissimo, Paulo
errShare
errSave
Automated rule-based diagnosis through a distributed monitor system
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2007-10-01
err34
PREAI
errKhanna, Gunjan; Cheng, Mike Yu; Varadharajan, Padma; Bagchi, Saurabh; Correia, Miguel P.; Verissimo, Paulo J.
errShare
errSave
Worm-IT -: A wormhole-based intrusion-tolerant group communication system
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2007-02-01
err20
PREAI
errCorreia, Miguel; Neves, Nuno Ferreira; Lung, Lau Cheuk; Verissimo, Paulo
errShare
errSave
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
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2006-07-01
err0
errOAAI
errArlat, Jean; Bondavalli, Andrea; Haverkort, Boudewijn; Verissimo, Paulo
errShare
errSave
Solving vector consensus with a wormhole
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2005-12-01
err26
errOAAI
errNeves, NF; Correia, M; Veríssimo, P
errShare
errSave
The timely computing base model and architecture
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2002-08-01
err56
PREAI
errVeríssimo, P; Casimiro, A
errShare
errSave
A dynamic light-weight group service
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2000-12-01
err3
errOAAI
errRodrigues, L; Guo, K; Veríssimo, P; Birman, KP
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
L
Luı́s Rodrigues
H-index: 64 · Papers: 567
S
Saurabh Bagchi
H-index: 47 · Papers: 439
M
Miguel Correia
H-index: 41 · Papers: 360
N
Nuno Neves
H-index: 36 · Papers: 177
B
Boudewijn R. Haverkort
H-index: 35 · Papers: 353
View more