Model Execution

Model Execution is the process of instantiating and advancing a system model's state through time according to defined behavioral rules and computational semantics, enabling dynamic simulation and analysis within Model-Based Systems Engineering.

2.7K

Publications

127.5K

Citations

6.2K

Authors

1.5K

Institutions

Publications per year

2017–2026

379

Parents

Model-based Systems Engineering

Children

Co-simulationConcurrent Model ExecutionContinuous SimulationDeterministic ExecutionDistributed Model ExecutionEvent HandlingExecutable ModelsExecutable Petri NetsExecutable StatechartsExecutable Sysml Models

Publications

2.7K

Petri Net theory and the modeling of systems

Mathematics and Computers in Simulation · 1982 · 3.6K citations

Engineering, Computer Science, Systems Engineering +12

A standard protocol for describing individual-based and agent-based models

Volker Grimm, Uta Berger, Finn Bastiansen et al. · Ecological Modelling · 2006 · 3K citations

Engineering, Computer Science, Knowledge Representation +13

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12

Verification and validation of simulation models

Robert G. Sargent · Journal of Simulation · 2012 · 1.7K citations

Engineering, Systems Engineering, Method Validation +16

A cookbook for using the model-view controller user interface paradigm in Smalltalk-80

Glenn Krasner, Stephen Pope · Journal of Object-oriented Programming · 1988 · 1.6K citations

Computing, Computer Systems, Human-computer Interaction +10

1–5 of 2.7K

Authors

6.2K

RG
Robert G. Sargent
Syracuse University, United States
18 publications · 4K citations
17
h-index
MW
Manuel Wimmer
TU Wien, Austria
22 publications · 636 citations
16
h-index
DV
Dániel Varró
Budapest University of Technology and Economics, Hungary
21 publications · 1.2K citations
16
h-index
JC
Jordi Cabot
Universitat Oberta de Catalunya, Spain
18 publications · 763 citations
13
h-index
RF
Richard F. Paige
University of York, United Kingdom
14 publications · 600 citations
12
h-index

1–5 of 6.2K

Institutions

1.5K

1–8 of 1.5K

Venues

Software & Systems Modeling
SoSyM · 71 publications · 3K citations
28
h-index
Journal of Systems and Software
JSS · 51 publications · 2.5K citations
26
h-index
Information and Software Technology
44 publications · 2.1K citations
24
h-index
International Journal on Software Tools for Technology Transfer
51 publications · 2.4K citations
23
h-index
Science of Computer Programming
36 publications · 2.5K citations
21
h-index

1–5