Tamim Burgstaller

BSc

Formal Methods, Teaching Assistant

Tamim Burgstaller

Publications

An extensive comparison of preprocessing methods in the context of configuration space learning

Garber D., Felfernig A., Le V., Burgstaller T., El Mansi M.
Proceedings of the 26th International Workshop on Configuration (ConfWS 2024) co-located with the 30th International Conference on Principles and Practice of Constraint Programming (CP 2024)

Active Model Learning of Git Version Control System

Muskardin E., Burgstaller T., Tappler M., Aichernig B.
Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024

Optimization Space Learning: A Lightweight, Noniterative Technique for Compiler Autotuning

Burgstaller T., Garber D., Le V., Felfernig A.
SPLC 2024 - 28th ACM International Systems and Software Product Line Conference, Proceedings

Collaborative Recommendation of Search Heuristics For Constraint Solvers

Garber D., Burgstaller T., Felfernig A., Le V., Lubos S., Tran T., Polat Erdeniz S.
2023

FMTESTING: A FEATUREIDE Plug-in for Automated Feature Model Analysis and Diagnosis

Burgstaller T., Le V., Tran T., Felfernig A.
ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings

More Publications