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
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
Advanced analytics on SAP HANA: Churn risk scoring using call network analysis.
Proceedings of the 31st IEEE International Conference on Data Engineering, 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