Consistency Checking is a formal verification method that systematically identifies contradictions or violations in a system's structure, behavior, or properties by assessing adherence to specified consistency rules, constraints, or relationships within a given model or knowledge base.
332
Publications
14K
Citations
793
Authors
333
Institutions
Publications per year
2017–2026
39
Publications
332
Christian Nentwich, Licia Capra, Wolfgang Emmerich et al. · ACM Transactions on Internet Technology · 2002 · 274 citations
1–5 of 332
Authors
793
- AE
13
h-index
- ZX
5
h-index
- AM
4
h-index
- AF
4
h-index
- MA
4
h-index
1–5 of 793
Institutions
333
Johannes Kepler University of Linz
Linz, Austria
12 h-index
35 publications
840 citations
University of Toronto
Toronto, Canada
7 h-index
18 publications
812 citations
University of Maryland, College Park
College Park, United States
7 h-index
17 publications
499 citations
TU Wien
Vienna, Austria
7 h-index
11 publications
324 citations
University of Oxford
Oxford, United Kingdom
6 h-index
7 publications
220 citations
Sichuan University
Chengdu, China
6 h-index
14 publications
502 citations
Stanford University
Stanford, United States
5 h-index
9 publications
377 citations
University College London
London, United Kingdom
4 h-index
12 publications
2.2K citations
1–8 of 333
Venues
- IEEE Transactions on Software Engineering
TSE · 7 publications · 1.4K citations
7
h-index
- IEEE Transactions on Knowledge and Data Engineering
TKDE · 6 publications · 158 citations
6
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 5 publications · 247 citations
5
h-index
- ACM Transactions on Software Engineering and Methodology
TOSEM · 4 publications · 904 citations
4
h-index
- IEEE Transactions on Fuzzy Systems
TFS · 3 publications · 120 citations
3
h-index
1–5