Concepedia

David Sheridan

DS

4

Publications

224

Citations

4

H-Index

2010

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

David Sheridan is an author at University of Illinois Urbana-Champaign specializing in automated reasoning, program analysis, and formal methods.

Top concepts

Data MiningEngineeringData ScienceVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning

Publications per year

2010–2014

4

Publications

4

GoldMine: automatic assertion generation using data mining and static analysis

Shobha Vasudevan, David Sheridan, Sanjay J. Patel et al. · Design, Automation, and Test in Europe · 2010 · 93 citations

Program Checking, Engineering, Hardware Verification Language +25

Mining Hardware Assertions With Guidance From Static Analysis

Samuel Hertz, David Sheridan, Shobha Vasudevan · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 92 citations

Automatic generation of assertions from system level design using data mining

Lingyi Liu, David Sheridan, Viraj Athavale et al. · 2011 · 23 citations

Engineering, Verification, Computer-aided Verification +26

A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions

David Sheridan, Lingyi Liu, Hyungsul Kim et al. · 2014 · 16 citations

Engineering, Machine Learning, Verification +25

Rows per page

1–4 of 4