Aircraft operational reliability—A model-based approach and a case study

Basic concepts and taxonomy of dependable and secure computing

A. Avižienis, J.-C. Laprie, Brian Randell et al. · IEEE Transactions on Dependable and Secure Computing · 2004 · 5.1K citations · Full text

Computing, Computer Science, Computer Systems +17

Modelling with Generalized Stochastic Petri Nets

Marco Ajmone Marsan, Gianfranco Balbo, G. Conte et al. · ACM SIGMETRICS Performance Evaluation Review · 1998 · 1.4K citations

Engineering, Systems Engineering, Stochastic Modeling +9

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

Marco Ajmone Marsan, G. Conte, Gianfranco Balbo · ACM Transactions on Computer Systems · 1984 · 1.3K citations

Computing, Computer Science, Computer Systems +14

Performance Analysis Using Stochastic Petri Nets

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

Engineering, Computer Engineering, Computer Science +15

Model-based evaluation: from dependability to security

David M. Nicol, William H. Sanders, Kishor S. Trivedi · IEEE Transactions on Dependable and Secure Computing · 2004 · 508 citations

Engineering, Computer Science, Computer Systems +17