Concepedia

Embedded System Verification

Embedded System Verification is a formal process belonging to the class of validation methodologies that specifically ensures an automotive embedded system's design and implementation conform to specified functional and non-functional requirements through rigorous, systematic, and often automated techniques.

299

Publications

9.6K

Citations

806

Authors

317

Institutions

Publications per year

2017–2026

43

Parents

Publications

299

Design of embedded systems: formal models, validation, and synthesis

Stephen A. Edwards, Luciano Lavagno, Edward A. Lee et al. · Proceedings of the IEEE · 1997 · 525 citations

, , +12

Automatic symbolic verification of embedded systems

Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho · IEEE Transactions on Software Engineering · 1996 · 491 citations

, , +17

Model-integrated development of embedded software

Gábor Karsai, János Sztipanovits, Ákos Lédeczi et al. · Proceedings of the IEEE · 2003 · 388 citations

, , +17

Formal verification of hybrid systems

Rajeev Alur · 2011 · 210 citations

, , +15

HYTECH: the next generation

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · 2002 · 205 citations

, , +17

1–5 of 299

Authors

806

  1. LA
    Luis Alejandro Cortés

    Linköping University, Sweden

    7 publications · 304 citations

    7

    h-index

  2. MW
    Muhammad Waseem Anwar

    National University of Sciences and Technology, Pakistan

    7 publications · 212 citations

    7

    h-index

  3. MR
    Muhammad Rashid

    Umm al-Qura University, Saudi Arabia

    7 publications · 212 citations

    7

    h-index

  4. PE
    Petru Eles

    Linköping University, Sweden

    6 publications · 238 citations

    6

    h-index

  5. ZP
    Zebo Peng

    Linköping University, Sweden

    6 publications · 238 citations

    6

    h-index

1–5 of 806

Institutions

317

  1. Centre National de la Recherche Scientifique

    Paris, France

    10 h-index

    23 publications

    574 citations

  2. University of California, Berkeley

    Berkeley, United States

    10 h-index

    16 publications

    2.5K citations

  3. Cadence Design Systems (United States)

    San Jose, United States

    8 h-index

    10 publications

    674 citations

  4. National University of Sciences and Technology

    Islamabad, Pakistan

    7 h-index

    17 publications

    571 citations

  5. Vanderbilt University

    Nashville, United States

    7 h-index

    13 publications

    1.8K citations

  6. Umm al-Qura University

    Makkah al Mukarramah, Saudi Arabia

    7 h-index

    8 publications

    262 citations

  7. Linköping University

    Linköping, Sweden

    6 h-index

    18 publications

    714 citations

  8. Mälardalen University

    Västerås, Sweden

    6 h-index

    25 publications

    468 citations

1–8 of 317

Venues

  1. ACM Transactions on Embedded Computing Systems

    TECS · 6 publications · 120 citations

    6

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 78 citations

    5

    h-index

  3. Computer

    4 publications · 148 citations

    4

    h-index

  4. International Journal of Parallel Programming

    4 publications · 69 citations

    4

    h-index

  5. Proceedings of the IEEE

    4 publications · 1K citations

    4

    h-index

1–5