Current Publications

2020

445.
Breckel, Alexander; Pietron, Jakob; Juhnke, Katharina; Tichy, Matthias
A Domain Specific Language and Interactive User Interface for Model-Driven Engineering of Technology Roadmaps (accepted)
Euromicro Conference on Software Engineering and Advanced Applications (SEAA), August 26 – 28, 2020 Portorož, Slovenia
08 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
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Sundermann.pdf
443.
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
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Sprey.pdf
442.
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
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Bordis.pdf
441.
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
File:fileadmin/website_uni_ulm/iui.inst.170/publications/2020-VaMoS-Krieter.pdf

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