| TLA + Proofs D Cousineau, D Doligez, L Lamport, S Merz, D Ricketts, H Vanzetto FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 119 | 2012 |
| Maximizing profit using recommender systems A Das, C Mathieu, D Ricketts arXiv preprint arXiv:0908.3633, 2009 | 68 | 2009 |
| Towards verification of hybrid systems in a foundational proof assistant D Ricketts, G Malecha, MM Alvarez, V Gowda, S Lerner 2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015 | 29 | 2015 |
| Safety verification using barrier certificates with application to double integrator with input saturation and zero-order hold A Ghaffari, I Abel, D Ricketts, S Lerner, M Krstić 2018 Annual American Control Conference (ACC), 4664-4669, 2018 | 24 | 2018 |
| Formal Verification of Stability Properties of Cyber-physical Systems M Chan, D Ricketts, S Lerner, G Malecha | 23 | 2016 |
| Automating formal proofs for reactive systems D Ricketts, V Robert, D Jang, Z Tatlock, S Lerner Programming Language Design and Implementation (PLDI) 2014 49 (6), 452-462, 2014 | 21 | 2014 |
| Towards Foundational Verification of Cyber-physical Systems G Malecha, D Ricketts, MM Alvarez, S Lerner | 19 | 2016 |
| Common knowledge and state-dependent equilibria NA Dalkiran, M Hoffman, R Paturi, D Ricketts, A Vattani International Symposium on Algorithmic Game Theory, 84-95, 2012 | 14 | 2012 |
| Modular Deductive Verification of Sampled-Data Systems D Ricketts, G Malecha, S Lerner EMSOFT 16, 2016 | 7 | 2016 |
| Experimental study of the impact of historical information in human coordination M Cebrian, R Paturi, D Ricketts arXiv preprint arXiv:1202.2503, 2012 | 1 | 2012 |
