M.Sc. Michael Stegmaier

My field of research is in model driven software engineering. There I explore the possiblities of improving the usability of generated graphical editors. Due to my research in this field I have been the lecturer of the exercises for the course "Model-driven software development" several times. I also supervise theses in this field.

Furthermore, I am interested in compilers and until now I have supervised the compiler construction project. In this project the participants as a team create a compiler for the Game Boy. During the creation of the compiler they learn about different parser technologies, work with translation schemes and learn how optimizations work and under which conditions they can be applied.

Publications

Contribution to Proceedings

10.
Nachreiner, Leander; Raschke, Alexander; Stegmaier, Michael; Tichy, Matthias
CouchEdit: A Relaxed Conformance Editing Approach
MLE ’20: 2nd International Workshop on Modeling Language Engineering and Execution
October 2020
9.
Stegmaier, Michael; Raschke, Alexander; Tichy, Matthias; Meßner, Eva-Maria; Hajian, Sara; Feldengut, Anna
Insights for Improving Diagram Editing Gained from an Empirical Study
Fourth International Workshop on Human Factors in Modeling
September 2019
DOI:10.1109/MODELS-C.2019.00063
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/HuFaMo2019_Stegmaier_Insights.pdf
8.
Pietron, Jakob; Raschke, Alexander; Stegmaier, Michael; Tichy, Matthias; Rukzio, Enrico
Study Design Template for Identifying Usability Issues in Graphical Modeling Tools
2nd Workshop on Tools for Model Driven Engineering (MDETools'18) at MODELS'18, Copenhagen
October 2018
File:http://ceur-ws.org/Vol-2245/mdetools_paper_4.pdf
7.
Kögel, Stefan; Tichy, Matthias; Groner, Raffaela; Stegmaier, Michael; Götz, Stefan; Rechenberger, Sascha
Developing an Optimizing Compiler for the Game Boy as a Software Engineering Project
Software Engineering Education and Training Track of the 40th International Conference on Software Engineering (ICSE SEET 2018), Gothenburg, Sweden
May 2018
DOI:10.1145/3183377.3183388
File:https://www.icse2018.org/event/icse-2018-software-engineering-education-and-training-developing-an-optimizing-compiler-for-the-game-boy-as-a-software-engineering-project
6.
Stegmaier, Michael; Dausend, Marcel; Raschke, Alexander; Tichy, Matthias
A Universal Control Construct for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
DOI:10.1007/978-3-319-33600-8_2
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UCC.pdf
5.
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia; Stegmaier, Michael
Unified Syntax for Abstract State Machines
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Proceedings of the 5th International Conference, ABZ 2016, Linz, Austria
May 2016
DOI:10.1007/978-3-319-33600-8_14
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ2016_Stegmaier_UASM.pdf

Thesis

4.
Stegmaier, Michael
Analyse und Implementierung der erweiterten Semantik eines universellen Kontrollkonstruktes für Abstract State Machines
Masterarbeit
Universität Ulm
July 2015

Manuals

3.
Dausend, Marcel; Müller, Markus; Stegmaier, Michael
An advanced Editor and Debugger for CoreASM
Universität Ulm
March 2013
2.
Stegmaier, Michael
Entwurf und Implementierung eines Debuggers für Abstract State Machines in CoreASM
Bachelorarbeit
Universität Ulm
April 2012
1.
Dausend, Marcel; Stegmaier, Michael; Raschke, Alexander
Debugging Abstract State Machine Specifications: An Extension of CoreASM
Proceedings of the Posters & Tool demos Session, iFM 2012 & ABZ 2012
2012
ISBN:978-88-7958-008-3
File:https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ_2012_Stegmaier_Debugger.pdf

Commitee Membership in Conferences

Teaching

  • Project Compilerbauprojekt 2 (SoSe 2019)