Unified Syntax for Abstract State Machines. - Paolo Arcaini; Silvia Bonfanti; Marcel Dausend; Angelo Gargantini; Atif Mashkoor; Alexander Raschke; Elvinia Riccobene; Patrizia Scandurra; Michael Stegmaier (ABZ, 2016)

A Universal Control Construct for Abstract State Machines. - Michael Stegmaier; Marcel Dausend; Alexander Raschke; Matthias Tichy (ABZ, 2016)

Developing an optimizing compiler for the game boy as a software engineering project. - Stefan Kögel; Michael Stegmaier; Raffaela Groner; Stefan Götz 002; Sascha Rechenberger; Matthias Tichy (ICSE (SEET), 2018)

A study design template for identifying usability issues in graphical modeling tools. - Jakob Pietron; Alexander Raschke; Michael Stegmaier; Matthias Tichy; Enrico Rukzio (MoDELS (Workshops), 2018)

Insights for Improving Diagram Editing Gained from an Empirical Study. - Michael Stegmaier; Alexander Raschke; Matthias Tichy; Eva-Maria Meßner; Sara Hajian; Anna Feldengut (MoDELS (Companion), 2019)

CouchEdit: a relaxed conformance editing approach. - Leander Nachreiner; Alexander Raschke; Michael Stegmaier; Matthias Tichy (MoDELS (Companion), 2020)

Property-Based Testing for Visualization Development. - Michael Stegmaier; Dominik Engel; Jannik Olbrich; Timo Ropinski; Matthias Tichy (VisGap@EuroVis, 2021)