Bibliography

Michael Haustermann

2023

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew - the Reference Net Workshop, February 2023.
Release 4.1.  [link]

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew - User Guide (Release 4.1).
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, February 2023.  [link]

2022

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew - the Reference Net Workshop, April 2022.
Release 2.6.  [link]

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew - User Guide (Release 2.6).
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, April 2022.  [link]

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew - the Reference Net Workshop, April 2022.
Release 4.0.  [link]

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew - User Guide (Release 4.0).
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, April 2022.  [link]

2020

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew - the Reference Net Workshop, November 2020.
Release 2.5.1.  [link]

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew - User Guide (Release 2.5.1).
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, November 2020.  [link]

Daniel Moldt and Michael Haustermann .
Erfahrungsbericht zum Lehrlabor-Projekt: Videofeedback in Online-Selbsttests (VideoFOS).
Technical report, Universität Hamburg, Universitätskolleg, October 2020.  [link]

2019

Daniel Moldt and Michael Haustermann .
Erfahrungsbericht zum Lehrlabor-Projekt: FormAdTe - Formative Adaptive Tests.
Technical report, Universität Hamburg, Universitätskolleg, April 2019.  [link]

David Mosteller , Michael Haustermann , Daniel Moldt, and Dennis Schmitz .
Integrated simulation of domain-specific modeling languages with Petri net-based transformational semantics.
In T. Petri Nets and Other Models of Concurrency (eds.), Transactions on Petri Nets and Other Models of Concurrency XIV, pages 101-125.  [link]

2018

Daniel Moldt, Dennis Schmitz , Michael Haustermann , Matthias Feldmann, David Mosteller , Thomas Wagner, Jan Henrik Röwekamp, Lawrence Cabac , and Michael Simon.
Some ideas for modeling a generic IoT- and Edge-Computing architecture.
In Lorenz and Metzger (eds.), Algorithms and Tools for Petri Nets, Proceedings of the 21th Workshop AWPN 2018, Augsburg, Germany, pages 33-40.

David Mosteller , Michael Haustermann , Daniel Moldt, and Dennis Schmitz .
Graphical simulation feedback in Petri net-based domain-specific languages within a meta-modeling environment.
In Moldt et al. (eds.), Petri Nets and Software Engineering. International Workshop, PNSE'18, Bratislava, Slovakia, June 25-26, 2018. Proceedings, pages 56-75.

Dennis Schmitz , Daniel Moldt, Michael Haustermann , David Mosteller , and Christian Röder .
Team coordination based on causal nets with synchronous channels.
In 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 27-29, 2018 (eds.), 18th International Conference on Application of Concurrency to System Design, ACSD 2018, Bratislava, Slovakia, June 27-29, 2018, pages 60-69.  [link]

Martin Wincierz, Daniel Moldt, and Michael Haustermann .
Improvement of the RENEW editor user interface.
In Lorenz and Metzger (eds.), Algorithms and Tools for Petri Nets, Proceedings of the 21th Workshop AWPN 2018, Augsburg, Germany, pages 55-56.

2017

Pascale Möller, Michael Haustermann , David Mosteller , and Dennis Schmitz .
Simulating multiple formalisms concurrently based on reference nets.
In Moldt et al. (eds.), Petri Nets and Software Engineering. International Workshop, PNSE'17, Zaragoza, Spain, June 25-26, 2017. Proceedings, pages 137-156.

David Mosteller , Michael Haustermann , and Daniel Moldt.
Prototypical graphical simulation feedback in reference net-based domain-specific languages within a meta-modeling environment.
In Bergenthum and Kindler (eds.), Algorithms and Tools for Petri Nets Proceedings of the Workshop AWPN 2017, Kgs. Lyngby, Denmark October 19-20, 2017, pages 58-63.

2016

Jan Hicken, Michael Haustermann , and Daniel Moldt.
Refining the quick fix for the Petri net modeling tool Renew.
In Cabac et al. (eds.), Petri Nets and Software Engineering. International Workshop, PNSE'16, Toru\'n, Poland, June 20-21, 2016. Proceedings, pages 275-286.  [link]

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew - the Reference Net Workshop, June 2016.
Release 2.5.  [link]

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew - User Guide (Release 2.5).
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, June 2016.  [link]

David Mosteller and Michael Haustermann .
Case studies of the Renew meta-modeling and transformation framework.
In Cabac et al. (eds.), Petri Nets and Software Engineering. International Workshop, PNSE'16, Toru\'n, Poland, June 20-21, 2016. Proceedings, pages 343-344.

Dennis Schmitz , Daniel Moldt, Lawrence Cabac , David Mosteller , and Michael Haustermann .
Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering.
In 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016 (eds.), 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Toru\'n, Poland, June 19-24, 2016, pages 74-83.

2015

Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew - the reference net workshop.
In Moldt et al. (eds.), Petri Nets and Software Engineering. International Workshop, PNSE'15, Brussels, Belgium, June 22-23, 2015. Proceedings, pages 313-314.

Jan Hicken, Lawrence Cabac , and Michael Haustermann .
Introducing the quick fix for the Petri net modeling tool Renew.
In Moldt et al. (eds.), Petri Nets and Software Engineering. International Workshop, PNSE'15, Brussels, Belgium, June 22-23, 2015. Proceedings, pages 317-318.

David Mosteller , Lawrence Cabac , and Michael Haustermann .
Providing Petri net-based semantics in model driven-development for the Renew meta-modeling framework.
In Moldt et al. (eds.), Petri Nets and Software Engineering. International Workshop, PNSE'15, Brussels, Belgium, June 22-23, 2015. Proceedings, pages 99-114.

Jan Henrik Röwekamp and Michael Haustermann .
Applying Petri nets to approximation of the Euclidean distance with the example of SIFT.
In Moldt et al. (eds.), Petri Nets and Software Engineering. International Workshop, PNSE'15, Brussels, Belgium, June 22-23, 2015. Proceedings, pages 323-324.

2014

Michael Haustermann .
BPMN-Modelle für petrinetzbasierte agentenorientierte Softwaresysteme auf Basis von Mulan/Capa.
Masterarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, September 2014.

2012

Julian Burkhart and Michael Haustermann .
PetriPad - a collaborative Petri net editor.
In Cabac et al. (eds.), Petri Nets and Software Engineering. International Workshop PNSE'12, Hamburg, Germany, June 2012. Proceedings, pages 181-195.  [link]

2010

Michael Haustermann .
Analyse von Workflows auf Basis von Petrinetzen.
Bachelorarbeit, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2010.