Concepedia

Avionics Verification

Avionics Verification is a methodological process within avionics testing that confirms whether an avionic system or component complies with its specified requirements and design inputs through analytical, simulation-based, or empirical assessment.

47

Publications

3.2K

Citations

175

Authors

70

Institutions

Publications per year

2017–2026

10

Parents

Publications

47

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.4K citations

, , +13

Formal verification for fault-tolerant architectures: prolegomena to the design of PVS

Sam Owre, John Rushby, Natarajan Shankar et al. · IEEE Transactions on Software Engineering · 1995 · 494 citations

, , +15

Model checking programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · 2000 · 338 citations

, , +13

Software model checking takes off

Steven P. Miller, Michael W. Whalen, Darren Cofer · Communications of the ACM · 2010 · 154 citations · Full text

, , +12

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience

Yannick Moy, Emmanuel Ledinot, Hervé Delseny et al. · IEEE Software · 2013 · 120 citations

, , +16

1–5 of 47

Authors

175

  1. CY
    Cássia Yuri Tatibana

    University of Lisbon, Portugal

    2 publications · 32 citations

    2

    h-index

  2. SH
    Steven H. VanderLeest

    DornerWorks (United States), United States

    2 publications · 39 citations

    2

    h-index

  3. JA
    José Anjos

    2 publications · 32 citations

    2

    h-index

  4. EL
    Emmanuel Ledinot

    Dassault Aviation (France), France

    2 publications · 174 citations

    2

    h-index

  5. GB
    Guillaume Brat

    Ames Research Center, United States

    2 publications · 1.7K citations

    2

    h-index

1–5 of 175

Institutions

70

  1. Office National d'Études et de Recherches Aérospatiales

    Palaiseau, France

    2 h-index

    2 publications

    137 citations

  2. University of Stuttgart

    Stuttgart, Germany

    2 h-index

    5 publications

    68 citations

  3. Ames Research Center

    Mountain View, United States

    2 h-index

    9 publications

    8.1K citations

  4. Airbus (France)

    Toulouse, France

    2 h-index

    3 publications

    50 citations

  5. Dassault Aviation (France)

    Paris, France

    2 h-index

    3 publications

    228 citations

  6. Research Institute for Advanced Computer Science

    Mountain View, United States

    2 h-index

    5 publications

    4.7K citations

  7. Boeing (United States)

    Chicago, United States

    2 h-index

    7 publications

    111 citations

  8. Korea Aerospace Research Institute

    Daejeon, South Korea

    2 h-index

    3 publications

    49 citations

1–8 of 70

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 30 citations

    2

    h-index

  2. American Heart Journal

    AHJ · 1 publications · 34 citations

    1

    h-index

  3. AIAA Infotech@Aerospace 2010

    1 publications · 18 citations

    1

    h-index

  4. Measurement

    1 publications · 12 citations

    1

    h-index

  5. Automated Software Engineering

    1 publications · 1.4K citations

    1

    h-index

1–5