Automated Model Checking is a computational method within BIM Quality Control that systematically verifies model compliance with predefined standards, rules, or requirements through algorithmic analysis, distinguishing it from manual or heuristic review processes by its reliance on software-driven, repeatable, and standardized validation procedures.
355
Publications
19.2K
Citations
893
Authors
402
Institutions
Publications per year
2017–2026
58
Parents
Publications
355
1–5 of 355
Authors
893
- WV
7
h-index
- AG
6
h-index
- MF
5
h-index
- LA
5
h-index
- DK
5
h-index
1–5 of 893
Institutions
402
Carnegie Mellon University
Pittsburgh, United States
14 h-index
29 publications
2.8K citations
Ames Research Center
Mountain View, United States
11 h-index
15 publications
2.3K citations
Centre National de la Recherche Scientifique
Paris, France
7 h-index
10 publications
287 citations
RWTH Aachen University
Aachen, Germany
7 h-index
12 publications
475 citations
Universidad de Málaga
Málaga, Spain
7 h-index
22 publications
819 citations
Jet Propulsion Laboratory
Pasadena, United States
6 h-index
13 publications
426 citations
Virginia Tech
Blacksburg, United States
5 h-index
10 publications
374 citations
University of Liverpool
Liverpool, United Kingdom
5 h-index
11 publications
524 citations
1–8 of 402
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 18 publications · 773 citations
14
h-index
- International Journal on Software Tools for Technology Transfer
17 publications · 3.2K citations
13
h-index
- Software & Systems Modeling
SoSyM · 6 publications · 430 citations
6
h-index
- IEEE Transactions on Software Engineering
TSE · 5 publications · 519 citations
5
h-index
- Formal Methods in System Design
5 publications · 549 citations
5
h-index
1–5