Publications

Note: authorship in many of the papers is alphabetical

Fabian Kresse, Emily Yu, Christoph H. Lampert, Thomas A. Henzinger (2025). Logic Gate Neural Networks are Good for Verification. In International Conference on Neuro-symbolic Systems 2025
Selected for oral presentation.
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik, Emily Yu, Đorđe Žikelić (2025). Predictive Monitoring of Black-Box Dynamical Systems. In Learning for Dynamics & Control Conference (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)
Selected for oral presentation.
Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko (2025). Introducing Certificates to the Hardware Model Checking Competition. In Computer Aided Verification (CAV 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.
Emily Yu, Nils Froleyks, 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.