conf.researchr.org / Felix Wallner
Registered user since Fri 8 Sep 2023
Name:Felix Wallner
Country:Austria
Affiliation:Institute for Formal Models and Verification, Johannes Kepler University Linz
Personal website: https://orcid.org/0009-0004-8129-9928
Research interests:Automata Learning, SAT, Verification, Formal Methods, Formal Models
Contributions
2024
ICSE
- Author of Learning Models of Cyber-Physical Systems with Discrete and Continuous Behaviour for Digital Twin Synthesis within the Doctoral Symposium-track
- Author of It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data within the Artifact Evaluation-track
- Author of It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data within the Research Track-track