default search action
Ryan Berryhill
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j3]Keerthi Nelaturu
, John Adler
On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle. IEEE Trans. Engineering Management 67(4): 1444-1458 (2020)
2010 – 2019
- 2019
- [c14]Ryan Berryhill, Andreas G. Veneris:
Chasing Minimal Inductive Validity Cores in Hardware Model Checking. FMCAD 2019: 19-27 - [c13]Marco Merlini, Neil Veira, Ryan Berryhill, Andreas G. Veneris:
On Public Decentralized Ledger Oracles via a Paired-Question Protocol. IEEE ICBC 2019: 337-344 - 2018
- [j2]Ryan Berryhill
Efficient suspect selection in unreachable state diagnosis. Ann. Math. Artif. Intell. 82(4): 261-277 (2018) - [j1]Ryan Berryhill
Methodologies for Diagnosis of Unreachable States via Property Directed Reachability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(6): 1298-1311 (2018) - [c12]John Adler, Ryan Berryhill, Andreas G. Veneris, Zissis Poulos, Neil Veira, Anastasia Kastania:
Astraea: A Decentralized Blockchain Oracle. iThings/GreenCom/CPSCom/SmartData 2018: 1145-1152 - [c11]Ryan Berryhill, Alexander Ivrii, Andreas G. Veneris:
Finding All Minimal Safe Inductive Sets. SAT 2018: 346-362 - [i1]John Adler, Ryan Berryhill, Andreas G. Veneris, Zissis Poulos, Neil Veira, Anastasia Kastania:
Astraea: A Decentralized Blockchain Oracle. CoRR abs/1808.00528 (2018) - 2017
- [c10]John Adler, Ryan Berryhill, Andreas G. Veneris:
An extensible perceptron framework for revision RTL debug automation. ASP-DAC 2017: 257-262 - [c9]Ryan Berryhill, Alexander Ivrii, Neil Veira, Andreas G. Veneris:
Learning support sets in IC3 and Quip: The good, the bad, and the ugly. FMCAD 2017: 140-147 - [c8]Ryan Berryhill, Neil Veira, Andreas G. Veneris, Zissis Poulos:
Learning lemma support graphs in Quip and IC3. IVSW 2017: 105-110 - 2016
- [c7]Ryan Berryhill, Andreas G. Veneris:
A complete approach to unreachable state diagnosability via property directed reachability. ASP-DAC 2016: 127-132 - [c6]Ryan Berryhill, Andreas G. Veneris:
Efficient Selection of Suspect Sets in Unreachable State Diagnosis. ISAIM 2016 - [c5]John Adler, Ryan Berryhill, Andreas G. Veneris:
Revision debug with non-linear version history in regression verification. IVSW 2016: 1-6 - [c4]Zissis Poulos, Ryan Berryhill, John Adler, Andreas G. Veneris:
On simulation-based metrics that characterize the behavior of RTL errors. SummerSim 2016: 14 - 2015
- [c3]Ryan Berryhill, Andreas G. Veneris:
Automated rectification methodologies to functional state-space unreachability. DATE 2015: 1401-1406 - [c2]Ryan Berryhill, Wojciech M. Golab, Mahesh Tripunitara:
Robust Shared Objects for Non-Volatile Main Memory. OPODIS 2015: 20:1-20:17 - [c1]Bao Le, Djordje Maksimovic, Dipanjan Sengupta, Erhan Ergin, Ryan Berryhill, Andreas G. Veneris:
Constructing stability-based clock gating with hierarchical clustering. PATMOS 2015: 97-102
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: