Daniel Ricketts

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 4

Top Venues

CoRR

PLDI

ACC

MEMOCODE

University of California, San Diego, USA (PHD)

Education History

University of California, San Diego, USA

PHD

Publications

Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts
The TLA+ Toolbox. F-IDE@FM (2019)
Azad Ghaffari, Imoleayo Abel, Daniel Ricketts, Sorin Lerner, Miroslav Krstic
Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold. ACC (2018)
Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner
Towards foundational verification of cyber-physical systems. SOSCYPS@CPSWeek (2016)
Daniel Ricketts, Gregory Malecha, Sorin Lerner
Modular deductive verification of sampled-data systems. EMSOFT (2016)
Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner
Towards verification of hybrid systems in a foundational proof assistant. MEMOCODE (2015)
Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner
Automating formal proofs for reactive systems. PLDI (2014)
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
TLA+ Proofs CoRR (2012)
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
TLA + Proofs. FM (2012)
Nuh Aygün Dalkiran, Moshe Hoffman, Ramamohan Paturi, Daniel Ricketts, Andrea Vattani
Common Knowledge and State-Dependent Equilibria. SAGT (2012)
Manuel Cebrián, Ramamohan Paturi, Daniel Ricketts
Experimental study of the impact of historical information in human coordination CoRR (2012)
Aparna Das, Claire Mathieu, Daniel Ricketts
Maximizing profit using recommender systems CoRR (2009)

Daniel Ricketts.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Ricketts