Follow
Daniel Ricketts
Daniel Ricketts
Verified email at cs.ucsd.edu
Title
Cited by
Cited by
Year
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
1112012
Maximizing profit using recommender systems
A Das, C Mathieu, D Ricketts
arXiv preprint arXiv:0908.3633, 2009
622009
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
282015
Formal Verification of Stability Properties of Cyber-physical Systems
M Chan, D Ricketts, S Lerner, G Malecha
242016
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
212018
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
202014
Towards Foundational Verification of Cyber-physical Systems
G Malecha, D Ricketts, MM Alvarez, S Lerner
192016
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
142012
Modular Deductive Verification of Sampled-Data Systems
D Ricketts, G Malecha, S Lerner
EMSOFT 16, 2016
82016
Experimental study of the impact of historical information in human coordination
M Cebrian, R Paturi, D Ricketts
arXiv preprint arXiv:1202.2503, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–10