System Verification is a formal method within the field of verification that specifically assesses whether a system, as an integrated whole, conforms to its specified requirements and design objectives through systematic evaluation and evidence-based validation.
759
Publications
31.1K
Citations
2.3K
Authors
787
Institutions
Publications per year
2017–2026
161
Parents
Publications
759
Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations
Model checking <u>lots</u> of systems
Patrick Heymans, Pierre‐Yves Schobbens, Axel Legay et al. · 2010 · 363 citations
You Are How You Touch: User Verification on Smartphones via Tapping Behaviors
1–5 of 759
Authors
2.3K
- RD
9
h-index
- BH
7
h-index
- AS
7
h-index
- IL
6
h-index
- HM
5
h-index
1–5 of 2.3K
Institutions
787
Carnegie Mellon University
Pittsburgh, United States
12 h-index
34 publications
2.2K citations
Virginia Tech
Blacksburg, United States
11 h-index
18 publications
366 citations
University of Twente
Enschede, The Netherlands
10 h-index
24 publications
979 citations
University of Bremen
Bremen, Germany
10 h-index
26 publications
554 citations
SRI International
Menlo Park, United States
10 h-index
13 publications
514 citations
Menlo School
Atherton, United States
9 h-index
10 publications
373 citations
University of California, Berkeley
Berkeley, United States
9 h-index
25 publications
824 citations
IBM (United States)
Armonk, United States
8 h-index
24 publications
1.7K citations
1–8 of 787
Venues
- IEEE Transactions on Software Engineering
TSE · 15 publications · 4.2K citations
12
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 11 publications · 285 citations
11
h-index
- NASA Technical Reports Server (NASA)
Repository · 8 publications · 276 citations
8
h-index
- Systems Engineering
7 publications · 233 citations
7
h-index
- Expert Systems with Applications
7 publications · 243 citations
7
h-index
1–5