Component Verification is a formal process within Component-Based Software Engineering that belongs to the class of quality assurance activities and specifically involves demonstrating that a software component conforms to its specified requirements and properties through rigorous analysis and testing methods.
120
Publications
3.7K
Citations
301
Authors
134
Institutions
Publications per year
2017–2026
8
Publications
120
Certifying off-the-shelf software components
Towards the compositional verification of real-time UML designs
Holger Giese, Matthias Tichy, Sven Burmester et al. · 2003 · 149 citations
The Grand Challenge of Trusted Components
2003 · 135 citations
1–5 of 120
Authors
301
- SB
4
h-index
- MP
4
h-index
- CS
4
h-index
- LM
4
h-index
- HG
4
h-index
1–5 of 301
Institutions
134
Centre National de la Recherche Scientifique
Paris, France
7 h-index
15 publications
456 citations
Ames Research Center
Mountain View, United States
5 h-index
10 publications
636 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
5 h-index
8 publications
197 citations
Paderborn University
Paderborn, Germany
4 h-index
18 publications
1.2K citations
Research Institute for Advanced Computer Science
Mountain View, United States
4 h-index
4 publications
290 citations
Université Joseph Fourier
Grenoble, France
4 h-index
12 publications
472 citations
Universidad de Málaga
Málaga, Spain
3 h-index
6 publications
231 citations
University of Manchester
Manchester, United Kingdom
3 h-index
3 publications
272 citations
1–8 of 134
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 12 publications · 263 citations
12
h-index
- ACM SIGSOFT Software Engineering Notes
SEN · 5 publications · 149 citations
5
h-index
- Computer
3 publications · 230 citations
3
h-index
- Science of Computer Programming
3 publications · 96 citations
3
h-index
- Journal of Systems and Software
JSS · 2 publications · 67 citations
2
h-index
1–5