Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. - Bernhard K. Aichernig; Martin Tappler; Felix Wallner (TAP@STAF, 2020)

Learning Models of Cyber-Physical Systems with Discrete and Continuous Behaviour for Digital Twin Synthesis. - Felix Wallner (ICSE Companion, 2024)

It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data. - Felix Wallner; Bernhard K. Aichernig; Christian Burghard (ICSE, 2024)

Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning. - Bernhard K. Aichernig; Martin Tappler; Felix Wallner (Formal Aspects Comput., 2024)

Mutating Skeletons: Learning Timed Automata via Domain Knowledge. - Felix Wallner; Bernhard K. Aichernig; Florian Lorber; Martin Tappler (ICSTW, 2025)