Concepedia

System-level Verification

System-Level Verification is a functional verification methodology that evaluates the correctness and compliance of an integrated system's behavior against its specified requirements at the highest architectural abstraction, distinguishing it from lower-level verification approaches by encompassing interactions across all subsystems and components in their operational context.

316

Publications

14K

Citations

969

Authors

346

Institutions

Publications per year

2017–2026

49

Parents

Publications

316

seL4

Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations

, , +11

V-REP: A versatile and scalable robot simulation framework

Eric Rohmer, Surya P. N. Singh, Marc Freese · 2013 · 1.4K citations

, , +16

Transaction level modeling

Lukai Cai, Daniel D. Gajski · 2003 · 527 citations

, , +15

Comprehensive formal verification of an OS microkernel

Gerwin Klein, June Andronick, Kevin Elphinstone et al. · ACM Transactions on Computer Systems · 2014 · 334 citations

, , +17

Edge YOLO: Real-Time Intelligent Object Detection System Based on Edge-Cloud Cooperation in Autonomous Vehicles

Siyuan Liang, Hao Wu, Li Zhen et al. · IEEE Transactions on Intelligent Transportation Systems · 2022 · 334 citations · Full text

, , +17

1–5 of 316

Authors

969

  1. RD
    Rolf Drechsler

    University of Bremen, Germany

    11 publications · 292 citations

    10

    h-index

  2. GK
    Gerwin Klein

    UNSW Sydney, Australia

    7 publications · 2.4K citations

    7

    h-index

  3. DD
    Daniel D. Gajski

    University of California, Irvine, United States

    6 publications · 647 citations

    6

    h-index

  4. IM
    Igor Melatti

    Sapienza University of Rome, Italy

    5 publications · 132 citations

    5

    h-index

  5. TM
    Toni Mancini

    Sapienza University of Rome, Italy

    5 publications · 132 citations

    5

    h-index

1–5 of 969

Institutions

346

  1. University of Bremen

    Bremen, Germany

    10 h-index

    29 publications

    703 citations

  2. Cadence Design Systems (United States)

    San Jose, United States

    9 h-index

    10 publications

    694 citations

  3. UNSW Sydney

    Sydney, Australia

    8 h-index

    29 publications

    15.7K citations

  4. University of California, Irvine

    Irvine, United States

    7 h-index

    13 publications

    1.5K citations

  5. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    7 h-index

    17 publications

    420 citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    7 h-index

    22 publications

    1K citations

  7. IBM (United States)

    Armonk, United States

    6 h-index

    24 publications

    2.1K citations

  8. Concordia University

    Montreal, Canada

    6 h-index

    11 publications

    313 citations

1–8 of 346

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 103 citations

    5

    h-index

  2. IEEE Transactions on Computers

    5 publications · 178 citations

    5

    h-index

  3. IEEE Design & Test of Computers

    5 publications · 305 citations

    5

    h-index

  4. International Journal of Parallel Programming

    4 publications · 55 citations

    4

    h-index

  5. IEEE Access

    3 publications · 55 citations

    3

    h-index

1–5