| Benchmarking combinations of learning and testing algorithms for automata learning BK Aichernig, M Tappler, F Wallner Formal Aspects of Computing 36 (1), 1-37, 2024 | 15 | 2024 |
| Benchmarking combinations of learning and testing algorithms for active automata learning BK Aichernig, M Tappler, F Wallner International Conference on Tests and Proofs, 3-22, 2020 | 12 | 2020 |
| It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data F Wallner, BK Aichernig, C Burghard Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024 | 4 | 2024 |
| Mutating Skeletons: Learning Timed Automata via Domain Knowledge F Wallner, BK Aichernig, F Lorber, M Tappler 2025 IEEE International Conference on Software Testing, Verification and …, 2025 | | 2025 |
| Learning Models of Cyber-Physical Systems with Discrete and Continuous Behaviour for Digital Twin Synthesis F Wallner Proceedings of the 2024 IEEE/ACM 46th International Conference on Software …, 2024 | | 2024 |
