According to our database1, Daniel Ricketts authored at least 8 papers between 2012 and 2018.
Legend:Book In proceedings Article PhD thesis Other
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
Verification of Sampled-Data Systems using Coq.
PhD thesis, 2017
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
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
Automating formal proofs for reactive systems.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
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