Decomposition for Verification is a systematic method within system decomposition that partitions a complex system into modular components to enable rigorous analysis, validation, and verification of individual parts and their interactions against specified requirements.
15
Publications
560
Citations
43
Authors
31
Institutions
Publications per year
2017–2026
3
Parents
Publications
15
1–5 of 15
Authors
43
- TA
2
h-index
- SK
2
h-index
- SQ
2
h-index
- JS
1
h-index
- JH
1
h-index
1–5 of 43
Institutions
31
University of California, Berkeley
Berkeley, United States
3 h-index
3 publications
126 citations
Institute of Software
Beijing, China
2 h-index
2 publications
29 citations
Microsoft (United States)
Redmond, United States
2 h-index
2 publications
103 citations
Ludwig-Maximilians-Universität München
Munich, Germany
1 h-index
2 publications
36 citations
University of Pennsylvania
Philadelphia, United States
1 h-index
1 publications
21 citations
Worcester Polytechnic Institute
Worcester, United States
1 h-index
1 publications
77 citations
Southern University and Agricultural and Mechanical College
Baton Rouge, United States
1 h-index
1 publications
10 citations
Shenzhen Institute of Information Technology
Shenzhen, China
1 h-index
1 publications
14 citations
1–8 of 31
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 1 publications · 16 citations
1
h-index
- Computer Methods in Applied Mechanics and Engineering
1 publications · 122 citations
1
h-index
- Journal of Hardware and Systems Security
1 publications · 49 citations
1
h-index
- IEEE Transactions on Software Engineering
TSE · 1 publications · 12 citations
1
h-index
- Proceedings of the 44th International Conference on Software Engineering
Conference · 1 publications · 18 citations
1
h-index
1–5