conf.researchr.org / Falk Howar
![Falk Howar](https://conf.researchr.org/getProfileImage/falkhowar/d4c12989-ac3b-4850-b0a6-dd49f84c17fb/small.jpg?1711516932000)
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