We stand with Ukraine  

Daniel Ricketts

Affiliations:
  • University of California, San Diego, CA, USA (PhD 2017)
  • Brown University, Providence, RI, USA (former)


According to our database1, Daniel Ricketts authored at least 11 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
The TLA+ Toolbox.
[BibTeX]
[DOI]
Markus Alexander Kuppe
,
Leslie Lamport
,
Daniel Ricketts
Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

2018
Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold.
[BibTeX]
[DOI]
Azad Ghaffari
,
Imoleayo Abel
,
Daniel Ricketts
,
Sorin Lerner
,
Miroslav Krstic
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Verification of Sampled-Data Systems using Coq.
[BibTeX]
[DOI]
Daniel Ricketts
PhD thesis, 2017

2016
Modular deductive verification of sampled-data systems.
[BibTeX]
[DOI]
Daniel Ricketts
,
Gregory Malecha
,
Sorin Lerner
Proceedings of the 2016 International Conference on Embedded Software, 2016

Towards foundational verification of cyber-physical systems.
[BibTeX]
[DOI]
Gregory Malecha
,
Daniel Ricketts
,
Mario M. Alvarez
,
Sorin Lerner
Proceedings of the 2016 Science of Security for Cyber-Physical Systems Workshop, 2016

2015
Towards verification of hybrid systems in a foundational proof assistant.
[BibTeX]
[DOI]
Daniel Ricketts
,
Gregory Malecha
,
Mario M. Alvarez
,
Vignesh Gowda
,
Sorin Lerner
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2014
Automating formal proofs for reactive systems.
[BibTeX]
[DOI]
Daniel Ricketts
,
Valentin Robert
,
Dongseok Jang
,
Zachary Tatlock
,
Sorin Lerner
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2012
Experimental study of the impact of historical information in human coordination
[BibTeX]
[DOI]
Manuel Cebrián
,
Ramamohan Paturi
,
Daniel Ricketts
CoRR, 2012

Common Knowledge and State-Dependent Equilibria.
[BibTeX]
[DOI]
Nuh Aygün Dalkiran
,
Moshe Hoffman
,
Ramamohan Paturi
,
Daniel Ricketts
,
Andrea Vattani
Proceedings of the Algorithmic Game Theory - 5th International Symposium, 2012

TLA + Proofs.
[BibTeX]
[DOI]
Denis Cousineau
,
Damien Doligez
,
Leslie Lamport
,
Stephan Merz
,
Daniel Ricketts
,
Hernán Vanzetto
Proceedings of the FM 2012: Formal Methods, 2012

2009
Maximizing profit using recommender systems
[BibTeX]
[DOI]
Aparna Das
,
Claire Mathieu
,
Daniel Ricketts
CoRR, 2009


  Loading...