Ryan Berryhill

Most-cited papers

Astraea: A Decentralized Blockchain Oracle
John Adler, Ryan Berryhill, A. Veneris, Zissis Poulos +2 more
20182018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData)204 citations
Semantic Scholar
Robust Shared Objects for Non-Volatile Main Memory
Ryan Berryhill, W. Golab, Mahesh V. Tripunitara
2015International Conference on Principles of Distributed Systems51 citations
Semantic Scholar
On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle
Keerthi Nelaturu, John Adler, M. Merlini, Ryan Berryhill +3 more
2020IEEE transactions on engineering management50 citations
Semantic Scholar
On Public Decentralized Ledger Oracles via a Paired-Question Protocol
M. Merlini, Neil Veira, Ryan Berryhill, A. Veneris
2019International Conference on Blockchain24 citations
Semantic Scholar
Automated rectification methodologies to functional state-space unreachability
Ryan Berryhill, A. Veneris
2015Design, Automation and Test in Europe9 citations
Semantic Scholar
Learning support sets in IC3 and Quip: The good, the bad, and the ugly
Ryan Berryhill, A. Ivrii, Neil Veira, A. Veneris
2017Formal Methods in Computer-Aided Design8 citations
Semantic Scholar
A complete approach to unreachable state diagnosability via property directed reachability
Ryan Berryhill, A. Veneris
2016Asia and South Pacific Design Automation Conference7 citations
Semantic Scholar
Revision debug with non-linear version history in regression verification
John Adler, Ryan Berryhill, A. Veneris
2016International Verification and Security Workshop5 citations
Semantic Scholar
Methodologies for Diagnosis of Unreachable States via Property Directed Reachability
Ryan Berryhill, A. Veneris
2018IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems4 citations
Semantic Scholar
Chasing Minimal Inductive Validity Cores in Hardware Model Checking
Ryan Berryhill, A. Veneris
2019Formal Methods in Computer-Aided Design3 citations
Semantic Scholar
An extensible perceptron framework for revision RTL debug automation
John Adler, Ryan Berryhill, A. Veneris
2017Asia and South Pacific Design Automation Conference3 citations
Semantic Scholar
Learning lemma support graphs in Quip and IC3
Ryan Berryhill, Neil Veira, A. Veneris, Zissis Poulos
2017International Verification and Security Workshop3 citations
Semantic Scholar
Constructing stability-based clock gating with hierarchical clustering
Bao Le, Djordje Maksimovic, Dipanjan Sengupta, Erhan Ergin +2 more
2015International Workshop on Power and Timing Modeling, Optimization and Simulation3 citations
Semantic Scholar
Efficient Selection of Suspect Sets in Unreachable State Diagnosis
Ryan Berryhill, A. Veneris
2016International Symposium on Artificial Intelligence and Mathematics2 citations
Semantic Scholar
Diagnosing Unreachable States Using Property Directed Reachability
Ryan Berryhill, A. Veneris
20152 citations
Semantic Scholar
Finding All Minimal Safe Inductive Sets
Ryan Berryhill, A. Ivrii, A. Veneris
2018International Conference on Theory and Applications of Satisfiability Testing1 citations
Semantic Scholar
On simulation-based metrics that characterize the behavior of RTL errors
Zissis Poulos, Ryan Berryhill, John Adler, A. Veneris
2016Summer Simulation Multiconference1 citations
Semantic Scholar
Efficient suspect selection in unreachable state diagnosis
Ryan Berryhill, A. Veneris
2018Annals of Mathematics and Artificial Intelligence0 citations
Semantic Scholar
Efficient suspect selection in unreachable state diagnosis
Ryan Berryhill, A. Veneris
2018Annals of Mathematics and Artificial Intelligence0 citations
Semantic Scholar
Traceless automated design debugging of liveness properties using property directed reachability
Ryan Berryhill
20160 citations
Semantic Scholar
CFV'15: Ninth International Workshop on Constraints in Formal Verification, Thursday, November 5
Ryan Berryhill, L. V. Nguyen, Taylor T. Johnson
20150 citations
Semantic Scholar