Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X. - Rachel Cleaveland; Stefan Mitsch; André Platzer (ACM Trans. Embed. Comput. Syst., 2023)

Memory Consistency Model-Aware Cache Coherence for Heterogeneous Hardware. - Rachel Cleaveland; Caroline Trippel (FMCAD, 2024)

Towards Memory Specialization: A Case for Long-Term and Short-Term RAM. - Peijing Li; Muhammad Shahir Abdurraman; Rachel Cleaveland; Sergey Legtchenko; Philip Levis; Ioan A. Stefanovici; Thierry Tambe; David Tennenhouse; Caroline Trippel (CoRR, 2025)