Michael Haustermann

24 papers B 4Journal 5Unranked 15

Year	Rank	Type	Title / Venue / Authors
2023	B	`conf`	RENEW: Modularized Architecture and New Features. Petri Nets Daniel Moldt, Jonte Johnsen, Relana Streckenbach, Laif-Oke Clasen, Michael Haustermann, Alexander Heinze, Marcel Hansson, Matthias Feldmann, Karl Ihlenfeldt
2022	—	`conf`	Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure. PNSE@Petri Nets Lukas Voß, Sven Willrodt, Daniel Moldt, Michael Haustermann
2022	—	`conf`	The MINTFIT Computer Science Online Course. GeCon Helena Barbas, Marcus Soll, Jakob Smedegaard Andersen, Esther Bender, Fabian Hamann, Michael Haustermann, Daniel Sitzmann
2021	B	`conf`	Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets. Petri Nets Michael Haustermann, David Mosteller, Daniel Moldt
2020	—	`conf`	Graphical Languages for Functional Reactive Modeling based on Petri nets. PNSE@Petri Nets David Mosteller, Michael Haustermann, Leonie S. Dreschler-Fischer
2020	J	`jnl`	Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-based Transformational Semantics. EMISA Forum David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
2020	—	`conf`	The RMT Approach: A Systematic Approach to the Development of DSML with Integrated Simulation Based on Petri Nets. EMISA David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
2019	J	`jnl`	Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics. Trans. Petri Nets Other Model. Concurr. David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
2019	B	`conf`	Tools for Curry-Coloured Petri Nets. Petri Nets Michael Simon, Daniel Moldt, Dennis Schmitz, Michael Haustermann
2018	—	`conf`	Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment. PNSE@Petri Nets/ACSD David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
2018	J	`jnl`	Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets. Trans. Petri Nets Other Model. Concurr. Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz
2018	J	`jnl`	Software development with Petri nets and agents: Approach, frameworks and tool set. Sci. Comput. Program. Lawrence Cabac, Michael Haustermann, David Mosteller
2018	—	`conf`	Team Coordination Based on Causal Nets with Synchronous Channels. ACSD Dennis Schmitz, Daniel Moldt, Michael Haustermann, David Mosteller, Christian Röder
2017	—	`conf`	Simulating Multiple Formalisms Concurrently Based on Reference Nets. PNSE @ Petri Nets Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz
2016	—	`conf`	Case Studies of the Renew Meta-Modeling and Transformation Framework. PNSE @ Petri Nets David Mosteller, Michael Haustermann
2016	J	`jnl`	Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework. Trans. Petri Nets Other Model. Concurr. David Mosteller, Lawrence Cabac, Michael Haustermann
2016	—	`conf`	Refining the Quick Fix for the Petri Net Modeling Tool Renew. PNSE @ Petri Nets Jan Hicken, Michael Haustermann, Daniel Moldt
2016	B	`conf`	Renew 2.5 - Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications. Petri Nets Lawrence Cabac, Michael Haustermann, David Mosteller
2016	—	`conf`	Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering. ACSD Dennis Schmitz, Daniel Moldt, Lawrence Cabac, David Mosteller, Michael Haustermann
2015	—	`conf`	Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT. PNSE @ Petri Nets Jan Henrik Röwekamp, Michael Haustermann
2015	—	`conf`	Introducing the Quick Fix for the Petri Net Modeling Tool Renew. PNSE @ Petri Nets Jan Hicken, Lawrence Cabac, Michael Haustermann
2015	—	`conf`	Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework. PNSE @ Petri Nets David Mosteller, Lawrence Cabac, Michael Haustermann
2015	—	`conf`	Renew - The Reference Net Workshop. PNSE @ Petri Nets Lawrence Cabac, Michael Haustermann, David Mosteller
2012	—	`conf`	PetriPad A Collaborative Petri Net Editor. PNSE Julian Burkhart, Michael Haustermann