David Mosteller

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 16

Top Topics

Organizational Structure

Incomplete Knowledge

Top Venues

Trans. Petri Nets Other Model. Concurr.

PNSE @ Petri Nets

Publications

Michael Haustermann, David Mosteller, Daniel Moldt
Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets. Petri Nets (2021)
David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-based Transformational Semantics. EMISA Forum 40 (1) (2020)
David Mosteller, Michael Haustermann, Leonie S. Dreschler-Fischer
Graphical Languages for Functional Reactive Modeling based on Petri nets. PNSE@Petri Nets (2020)
David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
The RMT Approach: A Systematic Approach to the Development of DSML with Integrated Simulation Based on Petri Nets. EMISA (2020)
David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics. Trans. Petri Nets Other Model. Concurr. 14 (2019)
Dennis Schmitz, Daniel Moldt, Michael Haustermann, David Mosteller, Christian Röder
Team Coordination Based on Causal Nets with Synchronous Channels. ACSD (2018)
David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz
Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment. PNSE@Petri Nets/ACSD (2018)
Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz
Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Lawrence Cabac, Michael Haustermann, David Mosteller
Software development with Petri nets and agents: Approach, frameworks and tool set. Sci. Comput. Program. 157 (2018)
Pascale Möller, Michael Haustermann, David Mosteller, Dennis Schmitz
Simulating Multiple Formalisms Concurrently Based on Reference Nets. PNSE @ Petri Nets (2017)
Dennis Schmitz, Daniel Moldt, Lawrence Cabac, David Mosteller, Michael Haustermann
Utilizing Petri Nets for Teaching in Practical Courses on Collaborative Software Engineering. ACSD (2016)
David Mosteller, Michael Haustermann
Case Studies of the Renew Meta-Modeling and Transformation Framework. PNSE @ Petri Nets (2016)
David Mosteller, Lawrence Cabac, Michael Haustermann
Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Lawrence Cabac, Michael Haustermann, David Mosteller
Renew 2.5 - Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications. Petri Nets (2016)
Lawrence Cabac, Michael Haustermann, David Mosteller
Renew - The Reference Net Workshop. PNSE @ Petri Nets (2015)
David Mosteller, Lawrence Cabac, Michael Haustermann
Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework. PNSE @ Petri Nets (2015)
Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus
Modeling Organizational Structures and Agent Knowledge for Mulan Applications. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus
A Proposal for the Modeling of Organizational Structures and Agent Knowledge in MAS. PNSE+ModPE (2013)