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.

Research Projects

SORRIR

Self-organizing resilient execution platform for IoT services

Publications

Contribution to Proceedings

11.

Stegmaier, Michael; Engel, Dominik; Olbrich, Jannik; Tichy, Matthias
Property-Based Testing for Visualization Development
The Gap between Visualization Research and Visualization Software (VisGap)
April 2021

DOI:	10.2312/visgap.20211087

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

DOI:	10.1145/3417990.3421401

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

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

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:	/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ICSE2018_Stegmaier_OptimizingCompilerForGameBoy.pdf

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

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

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

Manuals

Dausend, Marcel; Müller, Markus; Stegmaier, Michael
An advanced Editor and Debugger for CoreASM
Universität Ulm
March 2013

Thesis

Stegmaier, Michael
Entwurf und Implementierung eines Debuggers für Abstract State Machines in CoreASM
Bachelorarbeit
Universität Ulm
April 2012

Contribution to Proceedings

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