Sage Journals: Discover world-class research

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

Open access

Research article

First published 2020-4

A new heuristics for the event ordering in binary decision diagram applied in fault tree analysis

Reni Banov, Zdenko Šimić, Davor Grgić

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

Retricted access

Research article

First published 2008-12

Some disturbing facts about depth-first left-most variable ordering heuristics for binary decision diagrams

A B Rauzy

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

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

Open access

Research article

First published 2011-2

Ordered Binary Decision Diagrams,Pigeonhole Formulas and Beyond 1

Olga Tveretina, Carsten Sinz, Hans Zantema

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2014-2

New insights into breadth-first search edge ordering of regular networks for terminal-pair reliability analysis

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

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

Retricted access

Research article

First published 2006-8

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol

Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2015-12

Reliability analysis of complex dynamic fault trees based on an adapted K.D. Heidtmann algorithm

Daochuan Ge, Meng Lin, Yanhua Yang [...]

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

Retricted access

Research article

First published 2007-2

On the role of modeling causal independence for system model compilation with OBDDs

Gianluca Torta, Pietro Torasso

The European Journal on Artificial Intelligence

Free access

Research article

First published 2005-8

Fault Diagnosis of Distributed Discrete Event Systems Using OBDD

Fei Xue, Da-zhong Zheng, Lu Yan

Informatica: An International Journal of Computing and Informatics

Search results