P. Veríssimo

Most-cited papers

Efficient Byzantine Fault-Tolerance
G. Veronese, M. Correia, A. Bessani, Lau-Cheuk Lung +1 more
2013IEEE transactions on computers408 citations
Semantic Scholar
Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery
Paulo Sousa, A. Bessani, M. Correia, N. Neves +1 more
2010IEEE Transactions on Parallel and Distributed Systems176 citations
Semantic Scholar
From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures
M. Correia, N. Neves, P. Veríssimo
2006Computer/law journal173 citations Open access
Semantic Scholar
SCFS: A Shared Cloud-backed File System
A. Bessani, Ricardo Mendes, Tiago Oliveira, N. Neves +3 more
2014USENIX Annual Technical Conference125 citations
Semantic Scholar
The Crutial Way of Critical Infrastructure Protection
A. Bessani, Paulo Sousa, M. Correia, N. Neves +1 more
2008IEEE Security & Privacy Magazine102 citations Open access
Semantic Scholar
Reverse Engineering of Protocols from Network Traces
João Antunes, N. Neves, P. Veríssimo
2011Working Conference on Reverse Engineering95 citations
Semantic Scholar
Intrusion-tolerant middleware: the road to automatic security
P. Veríssimo, N. Neves, C. Cachin, J. Poritz +4 more
2006IEEE Security and Privacy95 citations Open access
Semantic Scholar
Resilient Intrusion Tolerance through Proactive and Reactive Recovery
Paulo Sousa, A. Bessani, M. Correia, N. Neves +1 more
2007Pacific Rim International Symposium on Dependable Computing93 citations Open access
Semantic Scholar
Improved bushing models for general multibody systems and vehicle dynamics
J. Ambrósio, P. Veríssimo
200992 citations
Semantic Scholar
Byzantine consensus in asynchronous message-passing systems: a survey
M. Correia, G. Veronese, N. Neves, P. Veríssimo
2011Int. J. Crit. Comput. Based Syst.89 citations
Semantic Scholar
Guidelines for a graduate curriculum on embedded software and systems
P. Caspi, A. Sangiovanni-Vincentelli, L. Almeida, A. Benveniste +24 more
2005TECS86 citations Open access
Semantic Scholar
Using Attack Injection to Discover New Vulnerabilities
N. Neves, João Antunes, M. Correia, P. Veríssimo +1 more
2006Dependable Systems and Networks73 citations
Semantic Scholar
Solving vector consensus with a wormhole
N. Neves, M. Correia, P. Veríssimo
2005IEEE Transactions on Parallel and Distributed Systems67 citations Open access
Semantic Scholar
How resilient are distributed f fault/intrusion-tolerant systems?
Paulo Sousa, N. Neves, P. Veríssimo
2005Dependable Systems and Networks62 citations Open access
Semantic Scholar
Vulnerability Discovery with Attack Injection
João Antunes, N. Neves, M. Correia, P. Veríssimo +1 more
2010IEEE Transactions on Software Engineering58 citations Open access
Semantic Scholar
Development of generic multibody road vehicle models for crashworthiness
Luís Sousa, P. Veríssimo, J. Ambrósio
200858 citations
Semantic Scholar
Proactive resilience through architectural hybridization
Paulo Sousa, N. Neves, P. Veríssimo
2006ACM Symposium on Applied Computing55 citations Open access
Semantic Scholar
Randomized Intrusion-Tolerant Asynchronous Services
Henrique Moniz, N. Neves, M. Correia, P. Veríssimo
2006Dependable Systems and Networks48 citations
Semantic Scholar
Automated Rule-Based Diagnosis Through a Distributed Monitor System
G. Khanna, Mike Cheng, Padma Varadharajan, S. Bagchi +2 more
2007IEEE Transactions on Dependable and Secure Computing47 citations Open access
Semantic Scholar
The TClouds architecture: Open and resilient cloud-of-clouds computing
P. Veríssimo, A. Bessani, Marcelo Pasin
2012Dependable Systems and Networks46 citations
Semantic Scholar
BFT-TO: Intrusion Tolerance with Less Replicas
M. Correia, N. Neves, P. Veríssimo
2013Computer/law journal43 citations
Semantic Scholar
Worm-IT - A wormhole-based intrusion-tolerant group communication system
M. Correia, N. Neves, Lau-Cheuk Lung, P. Veríssimo
2007Journal of Systems and Software39 citations Open access
Semantic Scholar
Detection and Prediction of Resource-Exhaustion Vulnerabilities
João Antunes, N. Neves, P. Veríssimo
2008IEEE International Symposium on Software Reliability Engineering33 citations Open access
Semantic Scholar
Hidden problems of asynchronous proactive recovery
Paulo Sousa, N. Neves, P. Veríssimo
200732 citations
Semantic Scholar
Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available
Paulo Sousa, N. Neves, P. Veríssimo, W. Sanders
2006IEEE International Symposium on Reliable Distributed Systems31 citations
Semantic Scholar
The CRUTIAL reference critical information infrastructure architecture: a blueprint
P. Veríssimo, N. Neves, M. Correia
2008International Journal of System of Systems Engineering29 citations Open access
Semantic Scholar
CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture
P. Veríssimo, N. Neves, M. Correia
2006Critical Information Infrastructures Security29 citations
Semantic Scholar
Sensitivity of a vehicle ride to the suspension bushing characteristics
J. Ambrósio, P. Veríssimo
200928 citations
Semantic Scholar
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation
Henrique Moniz, N. Neves, M. Correia, A. Casimiro +1 more
2007Pacific Rim International Symposium on Dependable Computing26 citations Open access
Semantic Scholar
Randomization can be a healer: consensus with dynamic omission failures
Henrique Moniz, N. Neves, M. Correia, P. Veríssimo
2009Distributed computing25 citations Open access
Semantic Scholar
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
J. Rufino, João Craveiro, P. Veríssimo
2009Workshop on Algorithms and Data Structures25 citations
Semantic Scholar
Recursive virtual machines for advanced security mechanisms
B. Kauer, P. Veríssimo, A. Bessani
20112011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W)23 citations
Semantic Scholar
The CRUTIAL Architecture for Critical Information Infrastructures
P. Veríssimo, N. Neves, M. Correia, Y. Deswarte +3 more
2008Workshop on Algorithms and Data Structures22 citations
Semantic Scholar
Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols
Henrique Moniz, N. Neves, M. Correia, P. Veríssimo
2006IEEE International Symposium on Reliable Distributed Systems21 citations
Semantic Scholar
E-biobanking: What Have You Done to My Cell Samples?
P. Veríssimo, A. Bessani
2013IEEE Security and Privacy20 citations Open access
Semantic Scholar
Intrusion-Resilient Middleware Design and Validation
P. Veríssimo, M. Correia, N. Neves, Paulo Sousa
200919 citations
Semantic Scholar
Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol
Rolando Martins, R. Gandhi, P. Narasimhan, Soila M. Pertet +3 more
2013International Middleware Conference18 citations Open access
Semantic Scholar
Intrusion-Tolerant Protection for Critical Infrastructures
A. Bessani, Paulo Sousa, M. Correia, N. Neves +1 more
200718 citations
Semantic Scholar
ReverX: Reverse Engineering of Protocols
João Antunes, N. Neves, P. Veríssimo
201116 citations
Semantic Scholar
Improved Bushing Models for Vehicle Dynamics
P. Veríssimo, J. Ambrósio
200616 citations
Semantic Scholar
On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds
M. Correia, Pedro Costa, Marcelo Pasin, A. Bessani +2 more
20122012 IEEE 31st Symposium on Reliable Distributed Systems14 citations
Semantic Scholar
On Byzantine generals with alternative plans
M. Correia, A. Bessani, P. Veríssimo
2008J. Parallel Distributed Comput.14 citations Open access
Semantic Scholar
ReSIST : Resilience for Survivability in IST
L. Simoncini, R. Baldoni, C. Bernardeschi, R. Bloomfield +30 more
200814 citations
Semantic Scholar
Critical Utility Infrastructural Resilience
G. Dondossola, Geert Deconinck, F. Di Giandomenico, S. Donatelli +2 more
2012arXiv.org13 citations
Semantic Scholar
Adaptare: Supporting automatic and dependable adaptation in dynamic environments
M. Dixit, A. Casimiro, P. Lollini, A. Bondavalli +1 more
2012TAAS10 citations
Semantic Scholar
Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics
J. Rufino, João Craveiro, P. Veríssimo
2010Software Technologies for Embedded and Ubiquitous Systems9 citations Open access
Semantic Scholar
Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned
P. Veríssimo, A. Bessani, M. Correia, N. Neves +1 more
2009Hawaii International Conference on System Sciences9 citations
Semantic Scholar
Analysis of a Redundant Architecture for Critical Infrastructure Protection
Alessandro Daidone, S. Chiaradonna, A. Bondavalli, P. Veríssimo
2008Workshop on Algorithms and Data Structures9 citations
Semantic Scholar
HIDENETS – Highly Dependable IP-based Networks and Services
A. Casimiro, P. Veríssimo
20089 citations
Semantic Scholar
On the Resilience of Intrusion-Tolerant Distributed Systems
Paulo Sousa, N. Neves, A. Lopes, P. Veríssimo
20069 citations
Semantic Scholar