Model Verification

Model Verification is a formal process within Model-Based Design, Model-Driven Software Engineering, and Software Modeling that constitutes the systematic assessment of a model’s syntactic and semantic correctness with respect to its specifications, ensuring that the model is built according to intended rules and constraints.

1.5K

Publications

63.6K

Citations

Authors

1.3K

Institutions

Publications per year

2017–2026

248

Parents

Agent-based ModelingComputational BiomechanicsExecutable System ModelsModel ExecutionModel GovernanceModel-based DesignModel-driven Software EngineeringSimulation ModelingSoftware Modeling

Publications

1.5K

Verification and validation of simulation models

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

Engineering, Systems Engineering, Method Validation +16

Formal aspects of model validity and validation in system dynamics

Yaman Barlas · System Dynamics Review · 1996 · 1.5K citations

Engineering, Systems Engineering, Formal Methods +11

A large-scale car dataset for fine-grained categorization and verification

Linjie Yang, Ping Luo, Chen Change Loy et al. · 2015 · 844 citations

Computing, Automotive Engineering, Computer Science +17

Deep Relative Distance Learning: Tell the Difference between Similar Vehicles

Hongye Liu, Yonghong Tian, Yaowei Wang et al. · 2016 · 807 citations

Computing, Computer Science, Computer Vision +16

Verification and validation of simulation models

J.P.C. Kleijnen · European Journal of Operational Research · 1995 · 728 citations

Engineering, Systems Engineering, Method Validation +16

1–5 of 1.5K

Authors

RG
Robert G. Sargent
Syracuse University, United States
24 publications · 4.4K citations
21
h-index
MG
Martin Gogolla
University of Bremen, Germany
13 publications · 732 citations
11
h-index
RW
Robert Wille
Johannes Kepler University of Linz, Austria
11 publications · 400 citations
10
h-index
RD
Rolf Drechsler
University of Bremen, Germany
12 publications · 410 citations
10
h-index
DV
Dániel Varró
Budapest University of Technology and Economics, Hungary
10 publications · 483 citations
10
h-index

1–5 of 4K

Institutions

1.3K

1–8 of 1.3K

Venues

Electronic Notes in Theoretical Computer Science
ENTCS · 37 publications · 1.4K citations
20
h-index
International Journal on Software Tools for Technology Transfer
18 publications · 1.4K citations
14
h-index
ACM SIGSOFT Software Engineering Notes
SEN · 10 publications · 256 citations
10
h-index
Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE
10 publications · 149 citations
10
h-index
Science of Computer Programming
11 publications · 485 citations
10
h-index

1–5