Formalization of Reliability Block Diagrams in Higher-order Logic

Xen and the art of virtualization

Paul Barham, Boris Dragovic, Keir Fraser et al. · ACM SIGOPS Operating Systems Review · 2003 · 5.9K citations

Computing, Computer Science, Computer Systems +16

A theory of type polymorphism in programming

Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text

Computing, Computer Science, Programming Languages +11

A formulation of the simple theory of types

Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations

Natural Sciences, Mathematics, Algebra +9

Reliability Evaluation of Engineering Systems.

Journal of the Royal Statistical Society Series D (The Statistician) · 1994 · 754 citations

Engineering, Systems Engineering, Fault Tolerance +13

Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets

Ryan Robidoux, Haiping Xu, MengChu Zhou · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 2009 · 135 citations

Engineering, Computer Engineering, Computer Science +17