Daniel Ricketts
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | EMSOFT | Modular deductive verification of sampled-data systems. | Daniel Ricketts, Gregory Malecha, Sorin Lerner |
| 2015 | ICDE | Advanced analytics on SAP HANA: Churn risk scoring using call network analysis. | Shane Bracher, Mark Holmes, Liam Mischewski, Asadul K. Islam, Michael McClenaghan, Daniel Ricketts, Glenn Neuber, Hoyoung Jeung, Priya Vijayarajendran |
| 2015 | MEMOCODE | Towards verification of hybrid systems in a foundational proof assistant. | Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner |
| 2014 | PLDI | Automating formal proofs for reactive systems. | Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner |
| 2012 | FM | TLA + Proofs. | Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernn Vanzetto |
| 2012 | SAGT | Common Knowledge and State-Dependent Equilibria. | Nuh Aygn Dalkiran, Moshe Hoffman, Ramamohan Paturi, Daniel Ricketts, Andrea Vattani |