# Daniel Ricketts

According to our database

Collaborative distances:

^{1}, Daniel Ricketts authored at least 8 papers between 2012 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepages:

#### On csauthors.net:

## Bibliography

2018

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

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Verification of Sampled-Data Systems using Coq.

PhD thesis, 2017

2016

Modular deductive verification of sampled-data systems.

Proceedings of the 2016 International Conference on Embedded Software, 2016

Towards foundational verification of cyber-physical systems.

Proceedings of the 2016 Science of Security for Cyber-Physical Systems Workshop, 2016

2015

Towards verification of hybrid systems in a foundational proof assistant.

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2014

Automating formal proofs for reactive systems.

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2012

Common Knowledge and State-Dependent Equilibria.

Proceedings of the Algorithmic Game Theory - 5th International Symposium, 2012

TLA + Proofs.

Proceedings of the FM 2012: Formal Methods, 2012