Emily Yu

7 Publications

Mark all

[7]
2025 | Published | Conference Paper | IST-REx-ID: 20189 | OA
Froleyks N, Yu E, Preiner M, Biere A, Heljanko K. Introducing certificates to the hardware model checking competition. In: 37th International Conference on Computer Aided Verification. Vol 15931. Springer Nature; 2025:281-295. doi:10.1007/978-3-031-98668-0_14
[Published Version] View | Files available | DOI | WoS
 
[6]
2025 | Published | Conference Paper | IST-REx-ID: 20256 | OA
Henzinger TA, Kresse F, Mallik K, Yu E, Zikelic D. Predictive monitoring of black-box dynamical systems. In: 7th Annual Learning for Dynamics & Control Conference. Vol 283. ML Research Press; 2025:804-816.
[Published Version] View | Files available | arXiv
 
[5]
2025 | Published | Conference Paper | IST-REx-ID: 20296 | OA
Kresse F, Yu E, Lampert C, Henzinger TA. Logic gate neural networks are good for verification. In: 2nd International Conferenceon Neuro-Symbolic Systems. Vol 288. ML Research Press; 2025.
[Published Version] View | Files available | arXiv
 
[4]
2025 | Published | Conference Paper | IST-REx-ID: 19668 | OA
Yu E, Zikelic D, Henzinger TA. Neural control and certificate repair via runtime monitoring. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:26409-26417. doi:10.1609/aaai.v39i25.34840
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[3]
2025 | Published | Conference Paper | IST-REx-ID: 21091 | OA
Henzinger TA, Kueffner K, Yu E. Formal verification of neural certificates done dynamically. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025:54-72. doi:10.1007/978-3-032-05435-7_4
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[2]
2024 | Published | Conference Paper | IST-REx-ID: 17053 | OA
Froleyks N, Yu E, Biere A. Ternary simulation as abstract interpretation (Work in Progress). In: 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems. ; 2024:148-151.
[Submitted Version] View | Download Submitted Version (ext.)
 
[1]
2024 | Published | Conference Paper | IST-REx-ID: 17413 | OA
Froleyks N, Yu E, Biere A, Heljanko K. Certifying phase abstraction. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 14739. Springer Nature; 2024:284-303. doi:10.1007/978-3-031-63498-7_17
[Published Version] View | Files available | DOI | WoS | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed

Grants


7 Publications

Mark all

[7]
2025 | Published | Conference Paper | IST-REx-ID: 20189 | OA
Froleyks N, Yu E, Preiner M, Biere A, Heljanko K. Introducing certificates to the hardware model checking competition. In: 37th International Conference on Computer Aided Verification. Vol 15931. Springer Nature; 2025:281-295. doi:10.1007/978-3-031-98668-0_14
[Published Version] View | Files available | DOI | WoS
 
[6]
2025 | Published | Conference Paper | IST-REx-ID: 20256 | OA
Henzinger TA, Kresse F, Mallik K, Yu E, Zikelic D. Predictive monitoring of black-box dynamical systems. In: 7th Annual Learning for Dynamics & Control Conference. Vol 283. ML Research Press; 2025:804-816.
[Published Version] View | Files available | arXiv
 
[5]
2025 | Published | Conference Paper | IST-REx-ID: 20296 | OA
Kresse F, Yu E, Lampert C, Henzinger TA. Logic gate neural networks are good for verification. In: 2nd International Conferenceon Neuro-Symbolic Systems. Vol 288. ML Research Press; 2025.
[Published Version] View | Files available | arXiv
 
[4]
2025 | Published | Conference Paper | IST-REx-ID: 19668 | OA
Yu E, Zikelic D, Henzinger TA. Neural control and certificate repair via runtime monitoring. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:26409-26417. doi:10.1609/aaai.v39i25.34840
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[3]
2025 | Published | Conference Paper | IST-REx-ID: 21091 | OA
Henzinger TA, Kueffner K, Yu E. Formal verification of neural certificates done dynamically. In: 25th International Conference on Runtime Verification. Vol 16087. Springer Nature; 2025:54-72. doi:10.1007/978-3-032-05435-7_4
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[2]
2024 | Published | Conference Paper | IST-REx-ID: 17053 | OA
Froleyks N, Yu E, Biere A. Ternary simulation as abstract interpretation (Work in Progress). In: 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems. ; 2024:148-151.
[Submitted Version] View | Download Submitted Version (ext.)
 
[1]
2024 | Published | Conference Paper | IST-REx-ID: 17413 | OA
Froleyks N, Yu E, Biere A, Heljanko K. Certifying phase abstraction. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 14739. Springer Nature; 2024:284-303. doi:10.1007/978-3-031-63498-7_17
[Published Version] View | Files available | DOI | WoS | arXiv
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Export / Embed