| 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 | 7340 | 2014 |
| 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 | 1082 | 2013 |
| Efficient byzantine fault-tolerance GS Veronese, M Correia, AN Bessani, LC Lung, P Verissimo IEEE Transactions on Computers 62 (1), 16-30, 2011 | 540 | 2011 |
| Distributed systems for system architects P Verissimo, L Rodrigues Springer Science & Business Media, 2001 | 450* | 2001 |
| Intrusion-tolerant architectures: Concepts and design P Veríssimo, N Neves, M Correia Architecting Dependable Systems, 3-36, 2003 | 327* | 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 | 302 | 1988 |
| 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 | 236 | 2009 |
| 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 | 235 | 2004 |
| 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 | 210 | 2006 |
| 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 | 208 | 1998 |
| Repucoin: Your reputation is your power J Yu, D Kozhaya, J Decouchant, P Esteves-Verissimo IEEE Transactions on Computers 68 (8), 1225-1237, 2019 | 203 | 2019 |
| 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 | 190 | 1997 |
| 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 | 189 | 2014 |
| The timely computing base model and architecture P Veríssimo, A Casimiro Computers, IEEE Transactions on 51 (8), 916-930, 2002 | 189* | 2002 |
| Travelling through wormholes: a new look at distributed systems models PE Veríssimo ACM SIGACT News 37 (1), 66-81, 2006 | 178 | 2006 |
| 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 | 176 | 1990 |
| Real time and dependability concepts H Kopetz, P Verissimo Distributed systems (2nd Ed.), 411-446, 1993 | 164 | 1993 |
| 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 | 153* | 2008 |
| 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 | 139 | 2011 |
| Reverse engineering of protocols from network traces J Antunes, N Neves, P Verissimo 2011 18th Working Conference on Reverse Engineering, 169-178, 2011 | 138 | 2011 |
Nuno NevesLASIGE, Dep. de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
