Concepedia

Functional Verification

Functional Verification is a verification process within vehicle validation that evaluates whether an automotive system’s implemented behavior conforms to its specified functional requirements under defined operating conditions.

937

Publications

33K

Citations

2.7K

Authors

787

Institutions

Publications per year

2017–2026

238

Parents

Children

Publications

937

seL4

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

, , +11

A brief account of runtime verification

Martin Leucker, Christian Schallhart · The Journal of Logic and Algebraic Programming · 2008 · 818 citations

, , +10

Autonomous Cars: Research Results, Issues, and Future Challenges

Rasheed Hussain, Sherali Zeadally · IEEE Communications Surveys & Tutorials · 2018 · 614 citations

, , +17

KRONOS: a verification tool for real-time systems

Sergio Yovine · International Journal on Software Tools for Technology Transfer · 1997 · 584 citations

, , +14

Runtime Verification for LTL and TLTL

Andreas Bauer, Martin Leucker, Christian Schallhart · ACM Transactions on Software Engineering and Methodology · 2011 · 540 citations

, , +16

1–5 of 937

Authors

2.7K

  1. GP
    Graziano Pravadelli

    University of Verona, Italy

    12 publications · 289 citations

    10

    h-index

  2. ST
    Sofiène Tahar

    Concordia University, Canada

    10 publications · 278 citations

    10

    h-index

  3. FB
    Felice Balarin

    Cadence Design Systems (United States), United States

    10 publications · 208 citations

    10

    h-index

  4. RD
    Rolf Drechsler

    University of Bremen, Germany

    11 publications · 273 citations

    10

    h-index

  5. FF
    Franco Fummi

    University of Verona, Italy

    9 publications · 203 citations

    9

    h-index

1–5 of 2.7K

Institutions

787

  1. Technical University of Munich

    Munich, Germany

    16 h-index

    52 publications

    4.3K citations

  2. University of California, Berkeley

    Berkeley, United States

    14 h-index

    38 publications

    1.4K citations

  3. Intel (United States)

    Santa Clara, United States

    13 h-index

    26 publications

    892 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    13 h-index

    42 publications

    807 citations

  5. Politecnico di Torino

    Turin, Italy

    12 h-index

    29 publications

    797 citations

  6. Graz University of Technology

    Graz, Austria

    12 h-index

    35 publications

    1.1K citations

  7. Ames Research Center

    Mountain View, United States

    12 h-index

    30 publications

    766 citations

  8. University of Verona

    Verona, Italy

    11 h-index

    39 publications

    865 citations

1–8 of 787

Venues

  1. 12

    h-index

  2. 11

    h-index

  3. 10

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 9 publications · 177 citations

    9

    h-index

  5. Science of Computer Programming

    9 publications · 303 citations

    9

    h-index

1–5