Publications

Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Đorđe Žikelić (2025). Predictive Monitoring of Black-Box Dynamical Systems. In L4DC 2025.
Emily Yu, Đorđe Žikelić, Thomas A. Henzinger (2025). Neural Control and Certificate Repair via Runtime Monitoring. In Annual AAAI Conference on Artificial Intelligence (AAAI 2025).
Nils Froleyks, Emily Yu, Armin Biere (2024). Ternary Simulation as Abstract Interpretation (Work in Progress). In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2024).
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko (2024). Certifying Phase Abstraction. In International Joint Conference on Automated Reasoning (IJCAR 2024).
Emily Yu (2023). Certifying Hardware Model Checking. Dissertation, Johannes Kepler University Linz.
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko (2023). Stratified Certification for k-induction (Extended Abstract). In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2023).
Nils Froleyks, Emily Yu, Armin Biere (2023). BIG Backbones. In Conference on Formal Methods in Computer-Aided Design (FMCAD 2023).
Nils Froleyks, Emily Yu, Armin Biere (2022). Unique Reconfiguration Sequence. Benchmark description, SAT Competition 2022.
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko (2022). Towards Compositional Hardware Model Checking Certification. In Conference on Formal Methods in Computer-Aided Design (FMCAD 2023).
Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko (2022). Stratified Certification for k-induction. In Conference on Formal Methods in Computer-Aided Design (FMCAD 2022).