Concepedia

Safety-critical Programming

Safety-Critical Programming is a paradigm of embedded software development in which programs are designed and implemented under strict reliability, correctness, and predictability constraints to prevent catastrophic failures in systems whose malfunction could result in loss of life, significant property damage, or environmental harm.

62

Publications

2.3K

Citations

171

Authors

80

Institutions

Publications per year

2017–2026

17

Parents

Publications

62

The pointer assertion logic engine

Anders Møller, Michael I. Schwartzbach · 2001 · 264 citations

, , +16

Flexible policy-directed code safety

David Evans, Andrew R. Twyman · 2003 · 199 citations

, , +12

Toward understanding compiler bugs in GCC and LLVM

C. P. Sun, Vu Le, Qirun Zhang et al. · 2016 · 118 citations

, , +11

Understanding memory and thread safety practices and issues in real-world Rust programs

Boqin Qin, Yilun Chen, Zeming Yu et al. · 2020 · 102 citations

, , +17

Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation

Jean Souyris, Erwan Le Pavec, Guillaume Himbert et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008 · 97 citations · Full text

, , +12

1–5 of 62

Authors

171

  1. MS
    Martin Schoeberl

    TU Wien, Austria

    4 publications · 73 citations

    4

    h-index

  2. AW
    Andy Wellings

    University of York, United Kingdom

    4 publications · 74 citations

    4

    h-index

  3. AC
    Ana Cavalcanti

    University of York, United Kingdom

    4 publications · 74 citations

    4

    h-index

  4. LS
    Linhai Song

    University of Wisconsin–Madison, United States

    3 publications · 140 citations

    3

    h-index

  5. FZ
    Frank Zeyda

    University of York, United Kingdom

    3 publications · 53 citations

    3

    h-index

1–5 of 171

Institutions

80

  1. University of York

    York, United Kingdom

    5 h-index

    18 publications

    338 citations

  2. Purdue University West Lafayette

    West Lafayette, United States

    3 h-index

    9 publications

    330 citations

  3. University of Utah

    Salt Lake City, United States

    2 h-index

    6 publications

    231 citations

  4. Universidade do Porto

    Porto, Portugal

    2 h-index

    3 publications

    31 citations

  5. Technical University of Denmark

    Kongens Lyngby, Denmark

    2 h-index

    4 publications

    54 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    2 publications

    78 citations

  7. Aarhus University

    Aarhus, Denmark

    2 h-index

    4 publications

    594 citations

  8. Pennsylvania State University

    State College, United States

    2 h-index

    6 publications

    387 citations

1–8 of 80

Venues

  1. arXiv (Cornell University)

    Repository · 3 publications · 44 citations

    3

    h-index

  2. ACM SIGPLAN Notices

    3 publications · 65 citations

    3

    h-index

  3. Software Engineering Journal

    2 publications · 67 citations

    2

    h-index

  4. ACM Transactions on Computer-Human Interaction

    TOCHI · 1 publications · 24 citations

    1

    h-index

  5. Science of Computer Programming

    1 publications · 12 citations

    1

    h-index

1–5