M.Sc. Michael Stegmaier

Publikationen

Beiträge zu Verhandlungen

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
t3://file?uid=416242
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 ,
Oktober 2018
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 ,
Mai 2018
DOI: 10.1145/3183377.3183388
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 ,
Mai 2016
DOI: 10.1007/978-3-319-33600-8_2
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 ,
Mai 2016
DOI: 10.1007/978-3-319-33600-8_14
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
Juli 2015

Handbücher

3.
Dausend , Marcel ; Müller , Markus ; Stegmaier , Michael
An advanced Editor and Debugger for CoreASM
Universität Ulm
März 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
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.170/home/stegmaier/ABZ_2012_Stegmaier_Debugger.pdf

Lehrveranstaltungen

  • Project Compilerbauprojekt 2 (SoSe 2019)

Angebotene Abschlussarbeiten

Kontakt

  • Institut für Softwaretechnik und Programmiersprachen
  • Universität Ulm
  • D-89069 Ulm
  •  
  • Raum: o27-4103
  • Telefon: +49 (0)731/50-24252
  • Telefax: +49 (0)731/50-24162
  • E-Mail: michael-1.stegmaier (at) uni-ulm.de