Institute of Software Engineering and Programming Languages

Research

Our research topics cover aspects of software engineering and compiler construction. In particular, we focus on requirements engineering methods, formalisms, and tools as well as model-driven software engineering, experimntal software engineering, and development of innovative software tools.

Overview of our research topics

Teaching

In addition to lectures for Bachelor and Master students, we also offer seminars and projects.

Current courses

Available thesis topics (Ba/Ma)

Contact

Institute of Software Engineering and Programming Languages

Ulm University
James-Franck-Ring
D-89069 Ulm
Building O27, Level 4
Phone: +49 (0)731 / 50 - 2416

Directions

Current Publications

2020

444.
Sundermann, Chico; Thüm, Thomas; Schaefer, Ina
Evaluating #SAT solvers on industrial feature models
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 3:1--3:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
DOI:10.1145/3377024.3377025
443.
Krieter, Sebastian; Thüm, Thomas; Schulze, Sandro; Saake, Gunter; Leich, Thomas
YASA: Yet another sampling algorithm
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 4:1--4:10
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
DOI:10.1145/3377024.3377042
442.
Sprey, Joshua; Sundermann, Chico; Krieter, Sebastian; Nieke, Michael; Mauro, Jacopo; Thüm, Thomas; Schaefer, Ina
SMT-based variability analyses in FeatureIDE
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 6:1--6:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
DOI:10.1145/3377024.3377036
441.
Bordis, Tabea; Runge, Tobias; Knüppel, Alexander; Thüm, Thomas; Schaefer, Ina
Variational correctness-by-construction
VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020, Page 7:1--7:9
In Maxime Cordy, Mathieu Acher, Danilo Beuche, and Gunter Saake, Editor
Publisher: ACM
2020
DOI:10.1145/3377024.3377038

2019

440.
Domaschka, Jörg; Berger, Christian; Reiser, Hans P.; Eichhammer, Philipp; Griesinger, Frank; Pietron, Jakob; Tichy, Matthias; Hauck, Franz J.; Habiger, Gerhard
Sorrir: A resilient self-organizing middleware for iot applications [position paper]
M4IoT '19: Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things
December 2019
DOI:10.1145/3366610.3368098