Concepedia

Software Certification

Software Certification is a formal process within avionics certification that verifies and validates software systems to ensure compliance with rigorous safety, reliability, and regulatory standards specific to airborne operations.

176

Publications

5.2K

Citations

416

Authors

204

Institutions

Publications per year

2017–2026

25

Parents

Publications

176

Software Engineering

Boehm · IEEE Transactions on Computers · 1976 · 542 citations

, , +13

Software verification and validation: an overview

Dolores R Wallace, Roger Fujii · IEEE Software · 1989 · 187 citations

, , +15

The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML

Claude Marché, Christine Paulin-Mohring, Xavier Urbain · The Journal of Logic and Algebraic Programming · 2003 · 154 citations

, , +13

Software technology in an automotive company - major challenges

Klaus Grimm · International Conference on Software Engineering · 2003 · 137 citations

, , +14

Toward Trustworthy Software Systems

Wilhelm Hasselbring, Ralf Reussner · Computer · 2006 · 137 citations

, , +15

1–5 of 176

Authors

416

  1. AÁ
    Alexandre Álvaro

    Universidade Federal de Pernambuco, Brazil

    4 publications · 102 citations

    4

    h-index

  2. JV
    J. Voas

    Reliable Software Resources (United States), United States

    4 publications · 137 citations

    4

    h-index

  3. ED
    Ewen Denney

    Ames Research Center, United States

    4 publications · 79 citations

    4

    h-index

  4. AD
    Aziz Deraman

    National University of Malaysia, Malaysia

    4 publications · 58 citations

    4

    h-index

  5. AR
    Abdul Razak Hamdan

    National University of Malaysia, Malaysia

    3 publications · 46 citations

    3

    h-index

1–5 of 416

Institutions

204

  1. Ames Research Center

    Mountain View, United States

    7 h-index

    13 publications

    238 citations

  2. Universidade Federal de Pernambuco

    Recife, Brazil

    5 h-index

    12 publications

    280 citations

  3. University of York

    York, United Kingdom

    4 h-index

    12 publications

    523 citations

  4. McMaster University

    Hamilton, Canada

    4 h-index

    9 publications

    213 citations

  5. Technical University of Munich

    Munich, Germany

    4 h-index

    14 publications

    312 citations

  6. Software Engineering Institute

    Pittsburgh, United States

    3 h-index

    7 publications

    120 citations

  7. Daimler (Germany)

    Stuttgart, Germany

    3 h-index

    4 publications

    258 citations

  8. Langley Research Center

    Hampton, United States

    3 h-index

    4 publications

    72 citations

1–8 of 204

Venues

  1. IEEE Software

    14 publications · 587 citations

    12

    h-index

  2. Computer

    8 publications · 359 citations

    8

    h-index

  3. Communications of the ACM

    4 publications · 169 citations

    4

    h-index

  4. IEEE Security & Privacy

    3 publications · 134 citations

    3

    h-index

  5. Software Quality Journal

    3 publications · 75 citations

    3

    h-index

1–5