Safety-critical Software Engineering
Safety-Critical Software Engineering is a subdiscipline of software engineering that focuses on the development, verification, and validation of software systems whose failure or malfunction could result in loss of life, serious injury, or significant environmental harm, particularly within domains such as embedded avionics where system reliability and functional safety are paramount.
570
Publications
26.2K
Citations
1.3K
Authors
507
Institutions
Publications per year
2017–2026
90
Parents
570
No Silver Bullet Essence and Accidents of Software Engineering
An investigation of the Therac-25 accidents
Nancy G. Leveson, Clark Savage Turner · Computer · 1993 · 1.2K citations · Full text
Formal verification of a realistic compiler
Xavier Leroy · Communications of the ACM · 2009 · 1.1K citations
Formal certification of a compiler back-end or
Xavier Leroy · 2006 · 652 citations
John Knight · 2002 · 422 citations
1–5 of 570
1.3K
Massachusetts Institute of Technology, United States
20 publications · 2.5K citations
17
h-index
12
h-index
12
h-index
10
h-index
7
h-index
1–5 of 1.3K
507

University of York
York, United Kingdom
20 h-index
63 publications
2.8K citations
Massachusetts Institute of Technology
Cambridge, United States
12 h-index
15 publications
542 citations
Jet Propulsion Laboratory
Pasadena, United States
12 h-index
16 publications
732 citations

Ames Research Center
Mountain View, United States
10 h-index
23 publications
1.9K citations
University of California, Irvine
Irvine, United States
10 h-index
16 publications
2.2K citations

University of Minnesota
Minneapolis, United States
10 h-index
20 publications
736 citations

Centre National de la Recherche Scientifique
Paris, France
9 h-index
18 publications
564 citations
Korea Advanced Institute of Science and Technology
Daejeon, South Korea
9 h-index
17 publications
450 citations
1–8 of 507
15 publications · 669 citations
15
h-index
17 publications · 5.1K citations
14
h-index
14 publications · 303 citations
11
h-index
9 publications · 401 citations
9
h-index
9 publications · 254 citations
9
h-index
1–5