Sage Journals: Discover world-class research

Retricted access

Research article

First published 2021-6

A method for transformation from dynamic fault tree to binary decision diagram

Haiyue Yu, Xiaoyue Wu

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2009-3

Multiplatform phased mission reliability modelling for mission planning

D R Prescott, J D Andrews, C G Downes

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2008-12

Quantification of fault trees containing mutually exclusive events

S Contini

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2002-4

The BDD Space Complexity of Different Forms of Concurrency

Michael Baldamus, Klaus Schneider

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets

Artur Męski, Wojciech Penczek, Agata Półrola

Fundamenta Informaticae

Retricted access

Research article

First published 2010-10

High Accuracy Asymptotic Bounds on the BDD Size and Weight of the Hardest Functions

Sergei A. Lozhkin, Alexander E. Shiganov

Fundamenta Informaticae

Retricted access

Research article

First published 2008-3

Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment

C Ibáñez-Llano, E Meléndez, Nieto F

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2009-6

A reliability analysis method using binary decision diagrams in phased mission planning

D R Prescott, R Remenyte-Prescott, S Reed [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open access

Research article

First published 2009-2

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems 1

Javier Esparza, Stefan Kiefer, Stefan Schwoon

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2006-6

Qualitative Analysis of Complex Modularized Fault Trees Using Binary Decision Diagrams

R Remenyte, J. D. Andrews

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Search results