Felix Wallner

According to our database, Felix Wallner authored at least 5 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Mutating Skeletons: Learning Timed Automata via Domain Knowledge.

Felix Wallner, Bernhard K. Aichernig, Florian Lorber, Martin Tappler

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2025 - Workshops, Naples, Italy, March 31, 2025

2024

Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning.

Bernhard K. Aichernig, Martin Tappler, Felix Wallner

Formal Aspects Comput., March, 2024

It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data.

Felix Wallner, Bernhard K. Aichernig, Christian Burghard

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Learning Models of Cyber-Physical Systems with Discrete and Continuous Behaviour for Digital Twin Synthesis.

Felix Wallner

Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024

2020

Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning.

Bernhard K. Aichernig, Martin Tappler, Felix Wallner

Proceedings of the Tests and Proofs - 14th International Conference, 2020