David Mosteller

18 papers B 2Journal 6Unranked 10

Year	Rank	Type	Title / Venue / Authors
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
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	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`	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
2014	J	`jnl`	Modeling Organizational Structures and Agent Knowledge for Mulan Applications. Trans. Petri Nets Other Model. Concurr. Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus
2013	—	`conf`	A Proposal for the Modeling of Organizational Structures and Agent Knowledge in MAS. PNSE+ModPE Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus