Daniel Ricketts

According to our database1, Daniel Ricketts authored at least 8 papers between 2012 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

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

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

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


  Loading...