M.Sc. Michael Stegmaier

Publikationen


6.
pdf
Stegmaier, Michael; Dausend, Marcel; Raschke, Alexander und 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
5.
pdf
Arcaini, Paolo; Bonfanti, Silvia; Dausend, Marcel; Gargantini, Angelo; Mashkoor, Atif; Raschke, Alexander; Riccobene, Elvinia; Scandurra, Patrizia und 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
4.
default
Stegmaier, Michael
Analyse und Implementierung der erweiterten Semantik eines universellen Kontrollkonstruktes für Abstract State Machines
Masterarbeit
Universität Ulm,
Juli 2015
3.
default
Dausend, Marcel; Müller, Markus und Stegmaier, Michael
An advanced Editor and Debugger for CoreASM
Universität Ulm,
März 2013
2.
default
Stegmaier, Michael
Entwurf und Implementierung eines Debuggers für Abstract State Machines in CoreASM
Bachelorarbeit
Universität Ulm,
April 2012
1.
pdf
Dausend, Marcel; Stegmaier, Michael und 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

Lehrveranstaltungen

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