Volgen
Paulo Esteves-Verissimo
Paulo Esteves-Verissimo
Professor of Computer Science, RC3, CEMSE -- KAUST
Geverifieerd e-mailadres voor kaust.edu.sa - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Software-defined networking: A comprehensive survey
D Kreutz, FMV Ramos, PE Verissimo, CE Rothenberg, S Azodolmolky, ...
Proceedings of the IEEE 103 (1), 14-76, 2014
55072014
Towards secure and dependable software-defined networks
D Kreutz, FMV Ramos, P Verissimo
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software …, 2013
8902013
Distributed systems for system architects
P Verissimo, L Rodrigues
Springer Science & Business Media, 2001
4192001
Efficient byzantine fault-tolerance
GS Veronese, M Correia, AN Bessani, LC Lung, P Verissimo
IEEE Transactions on Computers 62 (1), 16-30, 2011
3452011
Intrusion-tolerant architectures: Concepts and design
P Veríssimo, N Neves, M Correia
Architecting Dependable Systems, 3-36, 2003
2972003
The Delta-4 approach to dependability in open distributed computing systems.
D Powell, G Bonn, DT Seaton, P Verissimo, F Waeselynck
FTCS 18, 1988
2891988
The timely computing base model and architecture
P Veríssimo, A Casimiro
Computers, IEEE Transactions on 51 (8), 916-930, 2002
217*2002
Fault-tolerant broadcasts in CAN
J Rufino, P Verissimo, G Arroz, C Almeida, L Rodrigues
Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual …, 1998
2001998
Cesiumspray: a precise and accurate global time service for large-scale systems
P Verissimo, L Rodrigues, A Casimiro
Real-Time Systems 12 (3), 243-294, 1997
1911997
How to tolerate half less one Byzantine nodes in practical distributed systems
M Correia, NF Neves, P Verissimo
Proceedings of the 23rd IEEE International Symposium on Reliable Distributed …, 2004
1872004
Highly available intrusion-tolerant services with proactive-reactive recovery
P Sousa, AN Bessani, M Correia, NF Neves, P Verissimo
IEEE Transactions on Parallel and Distributed Systems 21 (4), 452-465, 2009
1862009
The Delta-4 extra performance architecture (XPA)
PA Barret, AM Hilborne, PG Bond, DT Seaton, P Veríssimo, L Rodrigues, ...
Digest of Papers. Fault-Tolerant Computing: 20th International Symposium …, 1990
1731990
Travelling through wormholes: a new look at distributed systems models
PE Veríssimo
ACM SIGACT News 37 (1), 66-81, 2006
1662006
From consensus to atomic broadcast: Time-free Byzantine-resistant protocols without signatures
M Correia, NF Neves, P Veríssimo
The Computer Journal 49 (1), 82-96, 2006
1652006
SCFS: A Shared Cloud-backed File System.
AN Bessani, R Mendes, T Oliveira, NF Neves, M Correia, M Pasin, ...
USENIX Annual Technical Conference, 169-180, 2014
1622014
Real time and dependability concepts
H Kopetz, P Verissimo
Distributed systems (2nd Ed.), 411-446, 1993
1581993
xAMP: a multi-primitive group communications service
L Rodrigues, P Verissimo
Reliable Distributed Systems, 1992. Proceedings., 11th Symposium on, 112-121, 1992
134*1992
Amp: A highly parallel atomic multicast protocol
P Verissimo, L Rodrigues, M Baptista
Symposium proceedings on Communications architectures & protocols, 83-93, 1989
1281989
The CRUTIAL way of critical infrastructure protection
AN Bessani, P Sousa, M Correia, NF Neves, P Verissimo
IEEE Security & Privacy 6 (6), 44-51, 2008
125*2008
The timely computing base: Timely actions in the presence of uncertain timeliness
P Veríssimo, A Casimiro, C Fetzer
Proceeding International Conference on Dependable Systems and Networks. DSN …, 2000
1242000
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20