Michael Haustermann

According to our database, Michael Haustermann authored at least 23 papers between 2012 and 2023.

Collaborative distances:

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

2023

RENEW: Modularized Architecture and New Features.

Daniel Moldt, Jonte Johnsen, Relana Streckenbach, Laif-Oke Clasen, Michael Haustermann, Alexander Heinze, Marcel Hansson, Matthias Feldmann, Karl Ihlenfeldt

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

The MINTFIT Computer Science Online Course.

Helena Barbas, Marcus Soll, Jakob Smedegaard Andersen, Esther Bender, Fabian Hamann, Michael Haustermann, Daniel Sitzmann

Proceedings of the IEEE German Education Conference, GeCon 2022, Berlin, 2022

Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure.

Lukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

2021

Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets.

Michael Haustermann, David Mosteller, Daniel Moldt

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-based Transformational Semantics.

David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz

EMISA Forum, 2020

The RMT Approach: A Systematic Approach to the Development of DSML with Integrated Simulation Based on Petri Nets.

David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz

Proceedings of the 10th International Workshop on Enterprise Modeling and Information Systems Architectures, 2020

Graphical Languages for Functional Reactive Modeling based on Petri nets.

David Mosteller, Michael Haustermann, Leonie S. Dreschler-Fischer

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2019

Tools for Curry-Coloured Petri Nets.

Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets.

Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz

Trans. Petri Nets Other Model. Concurr., 2018

Software development with Petri nets and agents: Approach, frameworks and tool set.

Lawrence Cabac, Michael Haustermann, David Mosteller

Sci. Comput. Program., 2018

Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment.

David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), 2018

Team Coordination Based on Causal Nets with Synchronous Channels.

Dennis Schmitz, Daniel Moldt, Michael Haustermann, David Mosteller, Christian Röder

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Simulating Multiple Formalisms Concurrently Based on Reference Nets.

Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017

2016

Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework.

David Mosteller, Lawrence Cabac, Michael Haustermann

Trans. Petri Nets Other Model. Concurr., 2016

Case Studies of the Renew Meta-Modeling and Transformation Framework.

David Mosteller, Michael Haustermann

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Refining the Quick Fix for the Petri Net Modeling Tool Renew.

Jan Hicken, Michael Haustermann, Daniel Moldt

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

Renew 2.5 - Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications.

Lawrence Cabac, Michael Haustermann, David Mosteller

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering.

Dennis Schmitz, Daniel Moldt, Lawrence Cabac, David Mosteller, Michael Haustermann

Proceedings of the 16th International Conference on Application of Concurrency to System Design, 2016

2015

Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT.

Jan Henrik Röwekamp, Michael Haustermann

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework.

David Mosteller, Lawrence Cabac, Michael Haustermann

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

Introducing the Quick Fix for the Petri Net Modeling Tool Renew.

Jan Hicken, Lawrence Cabac, Michael Haustermann

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

Renew - The Reference Net Workshop.

Lawrence Cabac, Michael Haustermann, David Mosteller

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2012

PetriPad A Collaborative Petri Net Editor.

Julian Burkhart, Michael Haustermann

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012