| CPAchecker 2.3 with Strategy Selection: (Competition Contribution) D Baier, D Beyer, PC Chien, M Jankola, M Kettl, NZ Lee, T Lemberger, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 13 | 2024 |
| A transferability study of interpolation-based hardware model checking for software verification D Beyer, PC Chien, M Jankola, NZ Lee Proceedings of the ACM on Software Engineering 1 (FSE), 2028-2050, 2024 | 5 | 2024 |
| Software Verification with CPAchecker 3.0: Tutorial and User Guide D Baier, D Beyer, PC Chien, MC Jakobs, M Jankola, M Kettl, NZ Lee, ... International Symposium on Formal Methods, 543-570, 2024 | 4 | 2024 |
| Tighter Construction of Tight Büchi Automata M Jankola, J Strejček International Conference on Foundations of Software Science and Computation …, 2024 | 2* | 2024 |
| BenchCloud: A Platform for Scalable Performance Benchmarking D Beyer, PC Chien, M Jankola Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 1 | 2024 |
| CPAchecker 2.3 with Strategy Selection D Baier, D Beyer, PC Chien, M Jankola, M Kettl, NZ Lee, T Lemberger, ... | 1 | |
| Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version) D Baier, D Beyer, PC Chien, MC Jakobs, M Jankola, M Kettl, NZ Lee, ... arXiv preprint arXiv:2409.02094, 2024 | | 2024 |
Dirk BeyerProfessor of Computer Science, LMU Munich, Germany在 lmu.de 的电子邮件经过验证
