Automated rectification methodologies to functional state-space unreachability. - Ryan Berryhill; Andreas G. Veneris (DATE, 2015)

Robust Shared Objects for Non-Volatile Main Memory. - Ryan Berryhill; Wojciech M. Golab; Mahesh Tripunitara (OPODIS, 2015)

Constructing stability-based clock gating with hierarchical clustering. - Bao Le; Djordje Maksimovic; Dipanjan Sengupta; Erhan Ergin; Ryan Berryhill; Andreas G. Veneris (PATMOS, 2015)

A complete approach to unreachable state diagnosability via property directed reachability. - Ryan Berryhill; Andreas G. Veneris (ASP-DAC, 2016)

Efficient Selection of Suspect Sets in Unreachable State Diagnosis. - Ryan Berryhill; Andreas G. Veneris (ISAIM, 2016)

Revision debug with non-linear version history in regression verification. - John Adler; Ryan Berryhill; Andreas G. Veneris (IVSW, 2016)

On simulation-based metrics that characterize the behavior of RTL errors. - Zissis Poulos; Ryan Berryhill; John Adler; Andreas G. Veneris (SummerSim, 2016)

An extensible perceptron framework for revision RTL debug automation. - John Adler; Ryan Berryhill; Andreas G. Veneris (ASP-DAC, 2017)

Learning support sets in IC3 and Quip: The good, the bad, and the ugly. - Ryan Berryhill; Alexander Ivrii; Neil Veira; Andreas G. Veneris (FMCAD, 2017)

Learning lemma support graphs in Quip and IC3. - Ryan Berryhill; Neil Veira; Andreas G. Veneris; Zissis Poulos (IVSW, 2017)

Astraea: A Decentralized Blockchain Oracle. - John Adler; Ryan Berryhill; Andreas G. Veneris; Zissis Poulos; Neil Veira; Anastasia Kastania (iThings/GreenCom/CPSCom/SmartData, 2018)

Finding All Minimal Safe Inductive Sets. - Ryan Berryhill; Alexander Ivrii; Andreas G. Veneris (SAT, 2018)

Efficient suspect selection in unreachable state diagnosis. - Ryan Berryhill; Andreas G. Veneris (Ann. Math. Artif. Intell., 2018)

Methodologies for Diagnosis of Unreachable States via Property Directed Reachability. - Ryan Berryhill; Andreas G. Veneris (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Chasing Minimal Inductive Validity Cores in Hardware Model Checking. - Ryan Berryhill; Andreas G. Veneris (FMCAD, 2019)

On Public Decentralized Ledger Oracles via a Paired-Question Protocol. - Marco Merlini; Neil Veira; Ryan Berryhill; Andreas G. Veneris (IEEE ICBC, 2019)

On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle. - Keerthi Nelaturu; John Adler; Marco Merlini; Ryan Berryhill; Neil Veira; Zissis Poulos; Andreas G. Veneris (IEEE Trans. Engineering Management, 2020)