David Mosteller

According to our database, David Mosteller authored at least 17 papers between 2013 and 2021.

Collaborative distances:

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

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

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

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

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

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

2014

Modeling Organizational Structures and Agent Knowledge for Mulan Applications.

Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus

Trans. Petri Nets Other Model. Concurr., 2014

2013

A Proposal for the Modeling of Organizational Structures and Agent Knowledge in MAS.

Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus

Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013