Automata-Based Software Model Checking of Hyperproperties. - Bernd Finkbeiner; Hadar Frenkel; Jana Hofmann; Janine Lohse (NFM, 2023)

An Iris for Expected Cost Analysis. - Janine Lohse; Deepak Garg (CoRR, 2024)