Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-7

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Fundamenta Informaticae

Retricted access

Research article

First published 2008-6

Analysis of non-coherent fault trees using ternary decision diagrams

R Remenyte-Prescott, J Andrews

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

Retricted access

Research article

First published 2013-10

An enhanced decision diagram-based method for common-cause failure analysis

Yuchang Mo, Liudong Xing

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

Retricted access

Research article

First published 2007-8

A Contribution to the Use of Decision Diagrams for Loading and Mining Transaction Databases

Ansaf Salleb-Aouissi, Christel Vrain

Fundamenta Informaticae

Retricted access

Research article

First published 2017-12

An efficient variable ordering heuristic for binary decision diagram–based reliability analysis of network with imperfect nodes

Zhusheng Pan, Liudong Xing, Yuchang Mo [...]

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

Retricted access

Research article

First published 2008-6

A ternary decision diagram method to calculate the component contributions to the failure of systems undergoing phased missions

J D Andrews

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

Retricted access

Research article

First published 2014-9

A parameter-free approach for one-class classification using binary decision diagrams

Takuro Kutsuna, Akihiro Yamamoto

Intelligent Data Analysis: An International Journal

Retricted access

Research article

First published 2007-9

System safety modelling and assessment using ternary decision diagram

Y-Y Yu, B. W. Johnson

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

Retricted access

Research article

First published 2007-6

Assessment of large automatically generated fault trees by means of binary decision diagrams

A. B. Rauzy, J Gauthier, X Leduc

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

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

Search results