Concepedia

Reconfigurable System Verification

Reconfigurable System Verification is a formal process that belongs to the class of system verification methodologies, differing by specifically ensuring the correctness, reliability, and safety of reconfigurable embedded systems through the validation of both static and dynamically reconfigurable hardware and software components.

31

Publications

708

Citations

82

Authors

48

Institutions

Publications per year

2017–2026

5

Parents

Publications

31

R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems

Jiafeng Zhang, Mohamed Khalgui, Zhiwu Li et al. · IEEE Transactions on Systems Man and Cybernetics Systems · 2013 · 65 citations

, , +17

Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules

Stephanie Drzevitzky, Uwe Kastens, Marco Platzner · 2009 · 50 citations

, , +17

Reconfigurable Scan Networks

Rafał Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich · ACM Transactions on Design Automation of Electronic Systems · 2015 · 41 citations

, , +15

Modeling, verification and pattern generation for reconfigurable scan networks

Rafał Baranowski, Michael A. Kochte, Hans-Joachim Wunderlich · 2012 · 41 citations

, , +17

Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems

Jiafeng Zhang, Mohamed Khalgui, Wassim Mohamed Boussahel et al. · Discrete Dynamics in Nature and Society · 2015 · 39 citations · Full text

, , +16

1–5 of 31

Authors

82

  1. MK
    Mohamed Khalgui

    University of Carthage, Tunisia

    5 publications · 154 citations

    5

    h-index

  2. ZL
    Zhiwu Li

    Xidian University, China

    4 publications · 139 citations

    4

    h-index

  3. SD
    Stephanie Drzevitzky

    Paderborn University, Germany

    3 publications · 87 citations

    3

    h-index

  4. LK
    Laïd Kahloul

    University of Biskra, Algeria

    3 publications · 50 citations

    3

    h-index

  5. MP
    Marco Platzner

    Paderborn University, Germany

    2 publications · 61 citations

    2

    h-index

1–5 of 82

Institutions

48

  1. University of Carthage

    Tunis, Tunisia

    5 h-index

    6 publications

    219 citations

  2. Paderborn University

    Paderborn, Germany

    4 h-index

    10 publications

    281 citations

  3. Xidian University

    Xi'an, China

    3 h-index

    4 publications

    192 citations

  4. Macau University of Science and Technology

    Macao, Macao

    3 h-index

    5 publications

    152 citations

  5. National Institute of Applied Science and Technology

    Tunis, Tunisia

    3 h-index

    3 publications

    50 citations

  6. University of Michigan

    Ann Arbor, United States

    2 h-index

    3 publications

    41 citations

  7. King Saud University

    Riyadh, Saudi Arabia

    2 h-index

    2 publications

    88 citations

  8. Siemens (Germany)

    Munich, Germany

    2 h-index

    4 publications

    62 citations

1–8 of 48

Venues

  1. 2

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 12 citations

    1

    h-index

  3. 1

    h-index

  4. Journal of Systems Architecture

    JSA · 1 publications · 14 citations

    1

    h-index

  5. Europe PMC (PubMed Central)

    Repository · 1 publications · 13 citations

    1

    h-index

1–5