Automation Verification is a formal method within the field of Automation System Design that systematically assesses whether an automated system or component conforms to its specified requirements and design models through analytical, simulation-based, or executable validation techniques.
38
Publications
1.2K
Citations
125
Authors
61
Institutions
Publications per year
2017–2026
12
Parents
Publications
38
Systematically Debugging IoT Control System Correctness for Building Automation
Chieh-Jan Mike Liang, Lei Bu, Zhao Li et al. · 2016 · 59 citations
1–5 of 38
Authors
125
- VV
11
h-index
- CP
4
h-index
- HH
4
h-index
- SP
4
h-index
- ECEmanuele Carpanzano
University of Applied Sciences and Arts of Southern Switzerland, Switzerland
3 publications · 41 citations
3
h-index
1–5 of 125
Institutions
61
University of Auckland
Auckland, New Zealand
6 h-index
8 publications
437 citations
Luleå University of Technology
Luleå, Sweden
5 h-index
13 publications
306 citations
Martin Luther University Halle-Wittenberg
Halle, Germany
5 h-index
10 publications
330 citations
Aalto University
Espoo, Finland
4 h-index
5 publications
114 citations
National Research Council
Rome, Italy
3 h-index
7 publications
103 citations
China Automotive Technology and Research Center
Tianjin, China
1 h-index
4 publications
224 citations
Fortiss
Munich, Germany
1 h-index
1 publications
20 citations
Humboldt-Universität zu Berlin
Berlin, Germany
1 h-index
2 publications
46 citations
1–8 of 61
Venues
- Proceedings of the Human Factors and Ergonomics Society Annual Meeting
2 publications · 45 citations
2
h-index
- Cognition Technology & Work
1 publications · 23 citations
1
h-index
- Human Factors The Journal of the Human Factors and Ergonomics Society
HFES · 1 publications · 25 citations
1
h-index
- IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)
1 publications · 109 citations
1
h-index
- IEEE Transactions on Systems Man and Cybernetics Systems
1 publications · 52 citations
1
h-index
1–5