Concepedia

Daniel Ricketts

DR

5

Publications

96

Citations

5

H-Index

2009

Active since

Affiliations

University of California San Diego(Current)

Daniel Ricketts is an author at University of California San Diego specializing in formal methods, formal verification, and verification.

Top concepts

EngineeringVerificationFormal MethodsFormal VerificationSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningSystems Engineering

Publications per year

2009–2018

5

Publications

5

Maximizing profit using recommender systems

Aparna Das, Claire Mathieu, Daniel Ricketts · ArXiv.org · 2009 · 34 citations · Full text

Group Recommenders, Traditional Recommendation, Preference Learning +13

Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold

Azad Ghaffari, Imoleayo Abel, Daniel Ricketts et al. · 2018 · 19 citations

Zero-order Hold, Engineering, Sample Period +16

Towards verification of hybrid systems in a foundational proof assistant

Daniel Ricketts, Gregory Malecha, Mario Moisés Álvarez et al. · 2015 · 17 citations

Engineering, Verification, Computer-aided Verification +19

Towards foundational verification of cyber-physical systems

Gregory Malecha, Daniel Ricketts, Mario Moisés Álvarez et al. · 2016 · 16 citations

Engineering, Verification, Computer-aided Verification +19

Automating formal proofs for reactive systems

Daniel Ricketts, Valentin Robert, Dongseok Jang et al. · 2014 · 10 citations

Software Maintenance, Engineering, Verification +20

Rows per page

1–5 of 5