| Approximating perfect recall when model checking strategic abilities: Theory and applications F Belardinelli, A Lomuscio, V Malvone, E Yu Journal of Artificial Intelligence Research 73, 897-932, 2022 | 31 | 2022 |
| Progress in certifying hardware model checking results E Yu, A Biere, K Heljanko Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 16 | 2021 |
| Towards compositional hardware model checking certification E Yu, N Froleyks, A Biere, K Heljanko CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023, 44, 2023 | 9 | 2023 |
| Model checking temporal epistemic logic under bounded recall F Belardinelli, A Lomuscio, E Yu Proceedings of the AAAI Conference on Artificial Intelligence 34 (05), 7071-7078, 2020 | 9 | 2020 |
| Stratified certification for k-induction E Yu, N Froleyks, A Biere, K Heljanko The 22nd Conference on Formal Methods in Computer-Aided Design–FMCAD 2022, 11, 2022 | 7 | 2022 |
| Certifying hardware model checking results Z Yu, A Biere, K Heljanko International Conference on Formal Engineering Methods, 498-502, 2019 | 5 | 2019 |
| Certifying phase abstraction N Froleyks, E Yu, A Biere, K Heljanko International Joint Conference on Automated Reasoning, 284-303, 2024 | 2 | 2024 |
| Stratified certification for k-induction A Biere, E Yu, N Froleyks PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED …, 2022 | 2 | 2022 |
| BIG Backbones N Froleyks, E Yu, A Biere 2023 Formal Methods in Computer-Aided Design (FMCAD), 162-167, 2023 | 1 | 2023 |
| A framework for model checking against CTLK using quantified boolean formulas E Yu, M Seidl, A Biere Formal Techniques for Safety-Critical Systems: 7th International Workshop …, 2020 | 1 | 2020 |
| Ternary Simulation as Abstract Interpretation (Work in Progress) N Froleyks, E Yu, A Biere MBMV 2024; 27. Workshop, 148-151, 2024 | | 2024 |
| Certifying hardware model checking/submitted by Emily Zhengqi XYu ZE Yu | | 2023 |
| ReconfAIGERation entering Core Challenge 2022 N Froleyks, E Yu, A Biere | | 2022 |
| Invited Talks The seL4 Verification Journey: How Have the Challenges and Opportunities Evolved.............. 1 June Andronick Why Do Things Go Wrong (or Right)? Applications of … H Chockler, H Hjort, O Padon, M Preiner, Y Li, J Wang, C Wang, ... | | |
| Unique Reconfiguration Sequence N Froleyks, E Yu, A Biere SAT COMPETITION 2022, 64, 0 | | |
| Hardware Model Checking Certificates E Yu, N Froleyks, A Biere, M Fleury SAT COMPETITION 2022, 56, 0 | | |
Armin BiereProfessor of Computer Science, University of Freiburg確認したメール アドレス: informatik.uni-freiburg.de