Concepedia

Integration Verification

Integration Verification is a functional verification methodology that specifically ensures the correct interaction and interoperability of individually verified components when combined into a larger system, distinguishing it from unit-level or system-level verification approaches by focusing on interface consistency, data integrity, and behavioral coherence across integrated subsystems.

15

Publications

375

Citations

66

Authors

26

Institutions

Publications per year

2017–2026

4

Parents

Publications

15

Verification of Component-based Embedded System Designs

Daniel Karlsson · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 2006 · 45 citations · Full text

, , +15

Integral calculus problem solving: an fMRI investigation

Frank Krüeger, Maria Vittoria Spampinato, Matteo Pardini et al. · Neuroreport · 2008 · 45 citations · Full text

, , +17

Industrial IP integration flows based on IP-XACT™ standards

Wido Kruijtzer, Pieter van der Wolf, Erwin de Kock et al. · 2008 · 40 citations

, , +14

Netstub

Elliot Barlas, Tevfik Bultan · 2007 · 34 citations

, , +11

Integration verification across software and hardware for a simple embedded system

Andres Erbsen, Samuel Gruetter, Joonwon Choi et al. · 2021 · 28 citations · Full text

, , +16

1–5 of 15

Authors

66

  1. WE
    Wolfgang Ecker

    Infineon Technologies (Germany), Germany

    2 publications · 68 citations

    2

    h-index

  2. CT
    Cristian Tepus

    Center of Technology and Engineering for Nuclear Projects, Romania

    1 publications · 10 citations

    1

    h-index

  3. MP
    Matteo Pardini

    University of Genoa, Italy

    1 publications · 45 citations

    1

    h-index

  4. JH
    Jeongmoo Huh

    Korea Advanced Institute of Science and Technology, South Korea

    1 publications · 22 citations

    1

    h-index

  5. SL
    Steffen Landgraf

    Humboldt-Universität zu Berlin, Germany

    1 publications · 45 citations

    1

    h-index

1–5 of 66

Institutions

26

  1. Magillem Design Services

    Paris, France

    2 h-index

    2 publications

    68 citations

  2. NXP (Netherlands)

    Eindhoven, The Netherlands

    2 h-index

    8 publications

    272 citations

  3. STMicroelectronics (Belgium)

    Diegem, Belgium

    2 h-index

    4 publications

    136 citations

  4. STMicroelectronics (France)

    Montrouge, France

    2 h-index

    2 publications

    68 citations

  5. Infineon Technologies (Germany)

    Munich, Germany

    2 h-index

    4 publications

    136 citations

  6. Delft University of Technology

    Delft, The Netherlands

    1 h-index

    1 publications

    22 citations

  7. University of California San Diego

    San Diego, United States

    1 h-index

    3 publications

    66 citations

  8. Daewoo Shipbuilding and Marine Engineering (South Korea)

    Seoul, South Korea

    1 h-index

    3 publications

    36 citations

1–8 of 26

Venues

  1. arXiv (Cornell University)

    Repository · 1 publications · 24 citations

    1

    h-index

  2. IEEE Access

    1 publications · 12 citations

    1

    h-index

  3. Neuroreport

    1 publications · 45 citations

    1

    h-index

  4. KTH Publication Database DiVA (KTH Royal Institute of Technology)

    Repository · 1 publications · 45 citations

    1

    h-index

  5. Journal of Logic and Computation

    1 publications · 22 citations

    1

    h-index

1–5