Model-Based Safety Analysis is a formal methodological approach within process safety engineering that employs dynamic system models to systematically identify, evaluate, and mitigate potential hazards by predicting safety-critical behaviors under abnormal operating conditions.
538
Publications
23K
Citations
1.5K
Authors
530
Institutions
Publications per year
2017–2026
202
Variants
Mbsa
Parents
Publications
538
A new accident model for engineering safer systems
Nancy Leveson · Safety Science · 2003 · 2.2K citations · Full text
Model Checking of Safety Properties
Orna Kupferman, Moshe Y. Vardi · Formal Methods in System Design · 2001 · 577 citations
1–5 of 538
Authors
1.5K
- FK
12
h-index
- NG
9
h-index
- PC
8
h-index
- YP
8
h-index
- JC
8
h-index
1–5 of 1.5K
Institutions
530
Memorial University of Newfoundland
St. John's, Canada
12 h-index
30 publications
6.5K citations
University of York
York, United Kingdom
11 h-index
23 publications
565 citations
Massachusetts Institute of Technology
Cambridge, United States
11 h-index
22 publications
2.9K citations
Norwegian University of Science and Technology
Trondheim, Norway
10 h-index
18 publications
768 citations
Loughborough University
Loughborough, United Kingdom
10 h-index
43 publications
1.1K citations
Institut Supérieur de Mécanique de Paris
Saint-Ouen-sur-Seine, France
9 h-index
21 publications
599 citations
University of Hull
Hull, United Kingdom
8 h-index
15 publications
635 citations
Otto-von-Guericke-Universität Magdeburg
Magdeburg, Germany
8 h-index
13 publications
331 citations
1–8 of 530
Venues
- Reliability Engineering & System Safety
47 publications · 2.4K citations
27
h-index
- Safety Science
21 publications · 3.4K citations
18
h-index
- Journal of Loss Prevention in the Process Industries
21 publications · 1.2K citations
16
h-index
- Process Safety and Environmental Protection
15 publications · 1.7K citations
14
h-index
- Computers & Chemical Engineering
13 publications · 406 citations
13
h-index
1–5