Model Consistency Checking is a method within structural modeling that systematically verifies the alignment and integrity of interrelated model components to ensure their collective adherence to specified constraints and rules.
196
Publications
8.5K
Citations
508
Authors
237
Institutions
Publications per year
2017–2026
44
Publications
196
Zaixi Zhang, Xiaoyu Cao, Jinyuan Jia et al. · Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining · 2022 · 296 citations
Instant consistency checking for the UML
Alexander Egyed · 2006 · 257 citations
A Partial Approach to Model Checking
Patrice Godefroid, Pierre Wolper · Information and Computation · 1994 · 230 citations · Full text
1–5 of 196
Authors
508
- AE
12
h-index
- MC
5
h-index
- SE
5
h-index
- TM
4
h-index
- RE
4
h-index
1–5 of 508
Institutions
237
Johannes Kepler University of Linz
Linz, Austria
11 h-index
25 publications
1K citations
University of Toronto
Toronto, Canada
8 h-index
19 publications
1.2K citations
Carnegie Mellon University
Pittsburgh, United States
6 h-index
18 publications
1.4K citations
Uppsala University
Uppsala, Sweden
4 h-index
7 publications
312 citations
McGill University
Montreal, Canada
4 h-index
7 publications
124 citations
University of York
York, United Kingdom
4 h-index
8 publications
453 citations
Eindhoven University of Technology
Eindhoven, The Netherlands
4 h-index
11 publications
353 citations
University of Bremen
Bremen, Germany
3 h-index
8 publications
128 citations
1–8 of 237
Venues
- Software & Systems Modeling
SoSyM · 8 publications · 220 citations
8
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 4 publications · 128 citations
4
h-index
- Theoretical Computer Science
3 publications · 81 citations
3
h-index
- IEEE Transactions on Software Engineering
TSE · 3 publications · 233 citations
3
h-index
- Journal of Systems and Software
JSS · 3 publications · 89 citations
3
h-index
1–5