 Model Checking Time Window Temporal Logic for HyperpropertiesInternational Conference on Formal Methods and Models for Co-Design (MEMOCODE), 2023 |
 Bounded Model Checking for HyperpropertiesInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2020 |
 How to Win First-Order Safety GamesInternational Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2019 |