M. Sc. Robert Müller
Contact
M. Sc. Robert Müller
Phone: 0271-740-2618
E-Mail: Robert.Mueller [at] uni-siegen [dot] de
Office: H-C 8331
ORCID: 0000-0002-9718-6272
Consultation hour
Appointments via email.
Research interests
- Weighted Automata
- Automatic testing, Fuzz-Testing
- Program-Merging, Refactoring
- Tooling: Java, Eclipse Modelling Framework, C/C++
Teaching
- Software Engineering I – Exercise (Winter semester 2020/21 – Winter semester 2024/25)
- Software Engineering II – Exercise (Summer semester 2021 – Summer semester 2025)
- Proseminar/Seminar Model-based Engineering (Summer semester 2021 – Summer semester 2024)
Supervised theses
- Shortest-Path Search in Multi-Weighted Automata (2026)
- Experimenteller Vergleich von Algorithmen zur Berechnung von kürzesten Pfaden in gewichteten Graphen (2026)
- Vergleich der Effizienz und Effektivität von Syntheseverfahren und LLM-Tools zur automatisierten Programmerzeugung (2025)
- Konzeption und Implementierung einer Anwendung zur Darstellung von Algorithmen zur Versionsverwaltung (2025)
- Auswertung der Effizienz und Effektivität von Modellprüfungsstrategien für Gewichtete Automaten (2025)
- Experimentelle Auswertung von Unit-Test-Generatoren für Java-Programme (2024)
- Konzeption und Implementierung eines Editors für Klassifikationsbäume zum Funktionsorientierten Testen (2024)
- Vergleich der Effizienz und Effektivität von Feature-Modell-Synthese und Feature-Modell-Lernen (2023)
- Performance-Evaluation von SAT-Solving-Verfahren (2023)
- Integration und Evaluation von Werkzeugen zur Programmanalyse für den Einsatz in der Lehre (2022)
- Evaluation induktiver Strategien zur Test-getriebenen Programmsynthese (2022)
- Strukturierte Code-Generierung aus Kontrollflussautomaten (2021)
Research projects
Publications
- Mathis Weiß, Robert Müller, Lukas Güthing, Tobias Vente, Lukas Wegmeth, Ina Schaefer, and Malte Lochau. „Automated Learning of Software Configuration Spaces is not Easy.“ Proceedings of the 29th ACM International Systems and Software Product Line Conference – Volume A (SPLC-A ’25). 2025. [ACM Digital Library]
- Robert Müller, Mathis Weiß, and Malte Lochau. „Finding Optimal Configurations of Cardinality-based Feature Models using Weighted Automata.“ Proceedings of the 29th ACM International Systems and Software Product Line Conference – Volume A (SPLC-A ’25). 2025. [ACM Digital Library]
- Robert Müller, Mathis Weiß, and Malte Lochau. “Mapping Cardinality-based Feature Models to Weighted Automata over Featured Multiset Semirings.” Proceedings of the 28th ACM International Systems and Software Product Line Conference. 2024. [Definitive Version] [Extended Version]
Academic activity
- I presented our papers at the SPLC’24 and SPLC’25.
- I was sub-reviewer of ESEC/FSE’22, FormaliSE’22, SPLC’22, VaMoS’22, SPLC’23, VaMoS’23, SPLC’24, VaMoS’24, SPLC’25 and VST’25.
- I was a member of the Artifact Evaluation Committee of FormaliSE’22, ’23 and ’24.
- I presented my research topic at the FOSD’23.