Modal Crash Types for Intermittent Computing. - Farzaneh Derakhshan; Myra Dotzel; Milijana Surbatovich; Limin Jia 001 (ESOP, 2023)

A Usage-Aware Sequent Calculus for Differential Dynamic Logic. - Myra Dotzel; Stefan Mitsch; André Platzer (CoRR, 2023)

Modal Crash Types for WAR-Aware Intermittent Computing. - Myra Dotzel; Farzaneh Derakhshan; Milijana Surbatovich; Limin Jia 001 (ACM Trans. Program. Lang. Syst., 2025)