conf.researchr.org / Falk Howar
Registered user since Fri 5 Nov 2021
Name:Falk Howar
Country:Germany
Affiliation:TU Dortmund University
Personal website: https://aqua.engineering
GitHub: https://github.com/fhowar
Research interests:Software Engineering, Formal Methods, Automata Learning
Contributions
2022
Unsound
2021
ASE
- Author of Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost within the Artifact Evaluation-track
- Author of Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost within the Research Papers-track