עקוב אחר
Paulo Esteves-Verissimo
Paulo Esteves-Verissimo
Professor of Computer Science, RC3, CEMSE -- KAUST
כתובת אימייל מאומתת בדומיין kaust.edu.sa - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
68072014
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‏
10482013
Efficient byzantine fault-tolerance‏
GS Veronese, M Correia, AN Bessani, LC Lung, P Verissimo‏
IEEE Transactions on Computers 62 (1), 16-30, 2011‏
4952011
Distributed systems for system architects‏
P Verissimo, L Rodrigues‏
Springer Science & Business Media, 2001‏
445*2001
Intrusion-tolerant architectures: Concepts and design‏
P Veríssimo, N Neves, M Correia‏
Architecting Dependable Systems, 3-36, 2003‏
315*2003
The Delta-4 approach to dependability in open distributed computing systems.‏
D Powell, G Bonn, DT Seaton, P Verissimo, F Waeselynck‏
FTCS 18, 1988‏
2951988
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‏
2252004
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‏
2232009
The timely computing base model and architecture‏
P Veríssimo, A Casimiro‏
Computers, IEEE Transactions on 51 (8), 916-930, 2002‏
223*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‏
2111998
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‏
1942006
Cesiumspray: a precise and accurate global time service for large-scale systems‏
P Verissimo, L Rodrigues, A Casimiro‏
Real-Time Systems 12, 243-294, 1997‏
1911997
Repucoin: Your reputation is your power‏
J Yu, D Kozhaya, J Decouchant, P Esteves-Verissimo‏
IEEE Transactions on Computers 68 (8), 1225-1237, 2019‏
1812019
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‏
1792014
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‏
1791990
Travelling through wormholes: a new look at distributed systems models‏
PE Veríssimo‏
ACM SIGACT News 37 (1), 66-81, 2006‏
1752006
Real time and dependability concepts‏
H Kopetz, P Verissimo‏
Distributed systems (2nd Ed.), 411-446, 1993‏
1641993
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‏
148*2008
xAMP: a multi-primitive group communications service‏
L Rodrigues, P Verissimo‏
Reliable Distributed Systems, 1992. Proceedings., 11th Symposium on, 112-121, 1992‏
136*1992
Byzantine consensus in asynchronous message-passing systems: a survey‏
M Correia, GS Veronese, NF Neves, P Verissimo‏
International Journal of Critical Computer-Based Systems 2 (2), 141-161, 2011‏
1352011
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20