Rose Bohrer
EMSOFT 2022: 22nd International Conference on Embedded Software
Cyber-Physical Verification of Intermittently Powered Embedded Systems
EMSOFT 2021: 21st International Conference on Embedded Software
Structured Proofs for Adversarial Cyber-Physical Systems