Integrating security in hazard analysis using STPA-Sec and GSPN: A case study of automatic emergency braking system

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Understanding the Metropolis-Hastings Algorithm

Siddhartha Chib, Edward Greenberg · The American Statistician · 1995 · 3.7K citations

Engineering, Biostatistics, Bayesian Data Analysis +14

A new accident model for engineering safer systems

Nancy Leveson · Safety Science · 2003 · 2.2K citations · Full text

Engineering, Risk Management, Systems Engineering +14

IEEE Symposium on Security and Privacy

IT Professional · 2023 · 1.2K citations · Full text

Computing, Computer Engineering, Computer Science +12

Performance Analysis Using Stochastic Petri Nets

Molloy · IEEE Transactions on Computers · 1982 · 1.1K citations

Engineering, Computer Engineering, Computer Science +15