Michael Stegmaier

According to our database, Michael Stegmaier authored at least 7 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Property-Based Testing for Visualization Development.

Michael Stegmaier, Dominik Engel, Jannik Olbrich, Timo Ropinski, Matthias Tichy

Proceedings of the 2nd Workshop on the Gap between Visualization Research and Visualization Software, 2021

2020

CouchEdit: a relaxed conformance editing approach.

Leander Nachreiner, Alexander Raschke, Michael Stegmaier, Matthias Tichy

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Insights for Improving Diagram Editing Gained from an Empirical Study.

Michael Stegmaier, Alexander Raschke, Matthias Tichy, Eva-Maria Meßner, Sara Hajian, Anna Feldengut

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018

A study design template for identifying usability issues in graphical modeling tools.

Jakob Pietron, Alexander Raschke, Michael Stegmaier, Matthias Tichy, Enrico Rukzio

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Developing an optimizing compiler for the game boy as a software engineering project.

Stefan Kögel, Michael Stegmaier, Raffaela Groner, Stefan Götz, Sascha Rechenberger, Matthias Tichy

Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training, 2018

2016

A Universal Control Construct for Abstract State Machines.

Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Unified Syntax for Abstract State Machines.

Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016