Daniel Ricketts

12 papers A* 1B 2C 2Misc 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2019 — conf
The TLA+ Toolbox.
F-IDE@FM
Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts
2018 C conf
Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold.
ACC
Azad Ghaffari, Imoleayo Abel, Daniel Ricketts, Sorin Lerner, Miroslav Krstic
2017 — —
Verification of Sampled-Data Systems using Coq.
Daniel Ricketts
2016 Misc conf
Modular deductive verification of sampled-data systems.
EMSOFT
Daniel Ricketts, Gregory Malecha, Sorin Lerner
2016 — conf
Towards foundational verification of cyber-physical systems.
SOSCYPS@CPSWeek
Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, Sorin Lerner
2015 C conf
Towards verification of hybrid systems in a foundational proof assistant.
MEMOCODE
Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, Sorin Lerner
2014 A* conf
Automating formal proofs for reactive systems.
PLDI
Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner
2012 B conf
Common Knowledge and State-Dependent Equilibria.
SAGT
Nuh Aygün Dalkiran, Moshe Hoffman, Ramamohan Paturi, Daniel Ricketts, Andrea Vattani
2012 J jnl
Experimental study of the impact of historical information in human coordination
CoRR
Manuel Cebrián, Ramamohan Paturi, Daniel Ricketts
2012 B conf
TLA + Proofs.
FM
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
2012 J jnl
TLA+ Proofs
CoRR
Denis Cousineau, Damien Doligez, Leslie Lamport, Stephan Merz, Daniel Ricketts, Hernán Vanzetto
2009 J jnl
Maximizing profit using recommender systems
CoRR
Aparna Das, Claire Mathieu, Daniel Ricketts
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling