Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams

Safe Comp 97 ◽

10.1007/978-1-4471-0997-6_19 ◽

1997 ◽

pp. 241-252

Author(s):

Reiner Lichtenecker ◽

Klaus Gotthardt

Keyword(s):

Binary Decision Diagrams ◽

Automated Verification ◽

Decision Diagrams ◽

Binary Decision ◽

Safety Requirements

Download Full-text

Software Library for Teaching Applications of Binary Decision Diagrams in Reliability Analysis

2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA) ◽

10.1109/iceta51985.2020.9379170 ◽

2020 ◽

Author(s):

Michal Mrena ◽

Miroslav Kvassay ◽

Radomir S. Stankovic

Keyword(s):

Reliability Analysis ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Software Library ◽

Binary Decision

Download Full-text

Method of input variable partitioning in functional decomposition based on evolutionary algorithm and binary decision diagrams

2008 Conference on Human System Interactions ◽

10.1109/hsi.2008.4581408 ◽

2008 ◽

Author(s):

Pawel Morawiecki ◽

Mariusz Rawski

Keyword(s):

Evolutionary Algorithm ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Functional Decomposition

Download Full-text

Binary Decision Diagrams: From Abstract Representations to Physical Implementations

20th Design Automation Conference Proceedings ◽

10.1109/dac.1983.1585710 ◽

1983 ◽

Author(s):

J.S. Matos ◽

J.V. Oldfield

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Abstract Representations

Download Full-text

On variable ordering of binary decision diagrams for the application of multi-level logic synthesis

10.1109/edac.1991.206358 ◽

2002 ◽

Author(s):

M. Fujita ◽

Y. Matsunaga ◽

T. Kakuda

Keyword(s):

Binary Decision Diagrams ◽

Logic Synthesis ◽

Decision Diagrams ◽

Binary Decision ◽

Variable Ordering ◽

Download Full-text

On the Minimization of (Complete) Ordered Binary Decision Diagrams

Theory of Computing Systems ◽

10.1007/s00224-015-9657-x ◽

2015 ◽

Vol 59 (3) ◽

pp. 532-559 ◽

Author(s):

Beate Bollig

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Ordered Binary Decision Diagrams ◽

Binary Decision

Download Full-text

Numerical Function Generators Using Edge-Valued Binary Decision Diagrams

2007 Asia and South Pacific Design Automation Conference ◽

10.1109/aspdac.2007.358041 ◽

2007 ◽

Author(s):

Shinobu Nagayama ◽

Tsutomu Sasao ◽

Jon T. Butler

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Numerical Function ◽

Binary Decision ◽

Function Generators

Download Full-text

Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification

10.23919/date51398.2021.9474083 ◽

2021 ◽

Author(s):

Gianpiero Cabodi ◽

Paolo E. Camurati ◽

Alexey Ignatiev ◽

Joao Marques-Silva ◽

Marco Palena ◽

...

Keyword(s):

Machine Learning ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Machine Learning Classification ◽

Interpretable Machine Learning

Download Full-text

Fault Trees, Decision Trees, And Binary Decision Diagrams: A Systematic Comparison

10.3850/978-981-18-2016-8_241-cd ◽

2021 ◽

Author(s):

Lisandro A.Jimenez-Roa ◽

Tom Heskes ◽

Marielle Stoelinga

Keyword(s):

Decision Trees ◽

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision ◽

Fault Trees ◽

Systematic Comparison

Download Full-text

Comparison of Left Fold and Tree Fold Strategies in Creation of Binary Decision Diagrams

2021 International Conference on Information and Digital Technologies (IDT) ◽

10.1109/idt52577.2021.9497593 ◽

2021 ◽

Author(s):

Michal Mrena ◽

Miroslav Kvassay

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision

Download Full-text

Cost-Bounded Binary Decision Diagrams for 0-1 Programming

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72397-4_7 ◽

2007 ◽

pp. 84-98 ◽

Author(s):

Tarik Hadžić ◽

J. N. Hooker

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision

Download Full-text