Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Sajed Miremadi, Bengt Lennartson, Knut Åkesson |
A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata. |
IEEE Trans. Control. Syst. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Edelkamp, Peter Kissmann, Álvaro Torralba |
Lex-Partitioning: A New Option for BDD Search |
GRAPHITE |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Liudong Xing, Honggang Wang 0001, Chaonan Wang, Yujie Wang |
BDD-based two-party trust sensitivity analysis for social networks. |
Int. J. Secur. Networks |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Truong Khanh Nguyen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. |
ICFEM |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Mathieu Giorgino, Martin Strecker |
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Truong Khanh Nguyen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu 0012 |
Improved BDD-Based Discrete Analysis of Timed Systems. |
FM |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Dirk Beyer 0001, Andreas Stahlbauer |
BDD-Based Software Model Checking with CPAchecker. |
MEMICS |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Goré, Jimmy Thomson 0001 |
BDD-based automated reasoning in propositional non-classical logics: progress report. |
PAAR@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Goré, Jimmy Thomson 0001 |
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. |
IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Elena Dubrova, Shohreh Sharif Mansouri |
A BDD-Based Approach to Constructing LFSRs for Parallel CRC Encoding. |
ISMVL |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Tatsuhiro Tsuchiya |
A BDD-Based Approach to Reliability Optimal Module Allocation in Networks. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su |
A Succinct and Efficient Implementation of a 2^32 BDD Package. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Artur Meski, Wojciech Penczek, Agata Pólrola |
BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. |
Fundam. Informaticae |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Chi-Chou Kao |
BDD-based synthesis for mixed CMOS/PTL logic. |
Int. J. Circuit Theory Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Orna Grumberg, Shlomi Livne, Shaul Markovitch |
Learning to Order BDD Variables in Verification |
CoRR |
2011 |
DBLP BibTeX RDF |
|
17 | Christian Appold |
Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations |
GandALF |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Michael A. Kochte, Sandip Kundu, Kohei Miyase, Xiaoqing Wen, Hans-Joachim Wunderlich |
Efficient BDD-based Fault Simulation in Presence of Unknown Values. |
Asian Test Symposium |
2011 |
DBLP DOI BibTeX RDF |
|
17 | André Gießler, Jörg Ritter 0002, Paul Molitor |
BDD-based Analysis of Test Cases for PLC-based Railway Interlocking Systems. |
MBMV |
2011 |
DBLP BibTeX RDF |
|
17 | Christelle Jacob, Didier Dubois, Janette Cardoso |
Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation. |
SUM |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sajed Miremadi, Bengt Lennartson, Knut Åkesson |
BDD-based supervisory control on extended finite automata. |
CASE |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Kotb Jabeur, Nataliya Yakymets, Ian O'Connor, Sébastien Le Beux |
Ambipolar double-gate FET binary-decision- diagram (Am-BDD) for reconfigurable logic cells. |
NANOARCH |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Michael Rose, Thomas Plantard, Willy Susilo |
Improving BDD Cryptosystems in General Lattices. |
ISPEC |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Oswaldo Olivo, E. Allen Emerson |
A More Efficient BDD-Based QBF Solver. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Sergei A. Lozhkin, Alexander E. Shiganov |
High Accuracy Asymptotic Bounds on the BDD Size and Weight of the Hardest Functions. |
Fundam. Informaticae |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Yung-Ruei Chang, Chin-Yu Huang, Sy-Yen Kuo |
Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge. |
Appl. Math. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Graeme Gange, Peter J. Stuckey, Vitaly Lagoon |
Fast Set Bounds Propagation Using a BDD-SAT Hybrid. |
J. Artif. Intell. Res. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | P. N. Bibilo, P. V. Leonchik |
Experimental investigation of the BDD optimization procedure effect on combinational CMOS circuit energy consumption. |
Autom. Control. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Robert Wille, Rolf Drechsler |
BDD-Based Synthesis of Reversible Logic. |
Int. J. Appl. Metaheuristic Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Gopal Paul, Rohit Reddy, Chittaranjan A. Mandal, Bhargab B. Bhattacharya |
A BDD-Based Design of an Area-Power Efficient Asynchronous Adder. |
ISVLSI |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Yuqing Tang 0001, Timothy J. Norman, Simon Parsons |
Computing Argumentation in Polynomial Number of BDD Operations: A Preliminary Report. |
ArgMAS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Nopper, Christian Miller, Matthew Lewis 0004, Bernd Becker 0001, Christoph Scholl 0001 |
SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. |
MBMV |
2010 |
DBLP BibTeX RDF |
|
17 | Hiroshi Kawai, Masao Ogino, Ryuji Shioya, Shinobu Yoshimura |
A Parallel Skyline Solver for Coarse Grid Correction of BDD Pre-conditioning in Domain Decomposition Method. |
BWCCA |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Quang Dinh, Deming Chen, Martin D. F. Wong |
BDD-based circuit restructuring for reducing dynamic power. |
ICCD |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Gopal Paul, Santosh Biswas, Chittaranjan A. Mandal, Bhargab B. Bhattacharya |
A BDD-based approach to design power-aware on-line detectors for digital circuits. |
SoCC |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Sol Swords, Warren A. Hunt Jr. |
A Mechanically Verified AIG-to-BDD Conversion Algorithm. |
ITP |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Andrew V. Jones, Alessio Lomuscio |
Distributed BDD-based BMC for the verification of multi-agent systems. |
AAMAS |
2010 |
DBLP BibTeX RDF |
|
17 | Danai Chasaki, Tilman Wolf |
Fast regular expression matching in hardware using NFA-BDD combination. |
ANCS |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Robert Wille, Rolf Drechsler |
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic. |
RC@ETAPS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yuchang Mo |
Variable Ordering to Improve BDD Analysis of Phased-Mission Systems With Multimode Failures. |
IEEE Trans. Reliab. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yuchang Mo |
New Insights Into the BDD-Based Reliability Analysis of Phased-Mission Systems. |
IEEE Trans. Reliab. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Suzana Stojkovic, Milena Stankovic, Radomir S. Stankovic |
Transformation of BDD into Heterogeneous MDD with Minimal Cost. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Petr Mikusek |
Multi-terminal BDD synthesis and applications. |
FPL |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Rüdiger Ebendt, Rolf Drechsler |
Approximate BDD Minimization by Weighted A. |
ISCAS |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Wannes Meert, Jan Struyf, Hendrik Blockeel |
CP-Logic Theory Inference with Contextual Variable Elimination and Comparison to BDD Based Inference Methods. |
ILP |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Yi Ren 0003, Linlin Liu, Shengkui Zeng |
Fault Tree Data Structure Based on XML and the Conversion Method to BDD. |
CSIE (2) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Changqian Wang, Chenghua Wang |
A Method for Logic Circuit Test Generation Based on Boolean Partial Derivative and BDD. |
CSIE (3) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Watis Leelapatra, Kanchana Kanchanasut, Chidchanok Lursinsap |
Displacement BDD and geometric transformations of binary decision diagram encoded images. |
Pattern Recognit. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Veronika Ortner, Norbert Schirmer |
BDD Normalisation. |
Arch. Formal Proofs |
2008 |
DBLP BibTeX RDF |
|
17 | Tarik Hadzic, David Lesaint, Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001, Nic Wilson |
A BDD Approach to the Feature Subscription Problem. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Soumya Eachempati, Vinay Saripalli, Narayanan Vijaykrishnan, Suman Datta |
Reconfigurable BDD based quantum circuits. |
NANOARCH |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
FSM Encoding for BDD Representations. |
Int. J. Appl. Math. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Munehiro Matsuura, Tsutomu Sasao |
BDD Representation for Incompletely Specified Multiple-Output Logic Functions and Its Applications to the Design of LUT Cascades. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Tarik Hadzic, Rune Møller Jensen, Henrik Reif Andersen |
Calculating Valid Domains for BDD-Based Interactive Configuration |
CoRR |
2007 |
DBLP BibTeX RDF |
|
17 | Ralf Wimmer 0001, Marc Herbstritt, Bernd Becker 0001 |
Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. |
MBMV |
2007 |
DBLP BibTeX RDF |
|
17 | Sang-Young Cho, Minna Lee, Yoojin Chung |
A Microcanonical Optimization Algorithm for BDD Minimization Problem. |
IEA/AIE |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski 0001, Wojciech Penczek, Franco Raimondi, Maciej Szreter |
Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. |
Fundam. Informaticae |
2006 |
DBLP BibTeX RDF |
|
17 | Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi |
BDD-based decision procedures for the modal logic K. |
J. Appl. Non Class. Logics |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Watis Leelapatra, Kanchana Kanchanasut, Chidchanok Lursinsap |
Translation and Orthogonal Rotation of BDD Encoded Image. |
IMECS |
2006 |
DBLP BibTeX RDF |
|
17 | Florian Pigorsch, Christoph Scholl 0001, Stefan Disch |
Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. |
MBMV |
2006 |
DBLP BibTeX RDF |
|
17 | Gary Hardy, Corinne Lucet, Nikolaos Limnios |
A BDD-Based Heuristic Algorithm for Design of Reliable Networks with Minimal Cost. |
MSN |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Tarik Hadzic, Henrik Reif Andersen |
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
17 | Rolf Drechsler, Görschwin Fey, Sebastian Kinder |
An Integrated Approach for Combining BDD and SAT Provers. |
VLSI Design |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Marc Fontaine, Stefan Burkhardt, Juha Kärkkäinen |
Bdd-based analysis of gapped q-gram Filters. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler |
Advanced BDD optimization. |
|
2005 |
DOI RDF |
|
17 | Witold Pedrycz, Zenon A. Sosnowski |
Genetic BDD-oriented Pattern Classifiers. |
Information Processing and Security Systems |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Rüdiger Ebendt, Rolf Drechsler |
Exact BDD Minimization for Path-Related Objective Functions. |
VLSI-SoC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Valavan Manohararajah, Deshanand P. Singh, Stephen Dean Brown |
Post-Placement BDD-Based Decomposition for FPGAs. |
FPL |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Erik Meer |
A BDD-Based Interactive Configurator for Modular Systems. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. |
BMC@CAV |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Woo Sik Jung, Sang-Hoon Han, Jaejoo Ha |
A fast BDD algorithm for large coherent fault trees analysis. |
Reliab. Eng. Syst. Saf. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. |
J. Univers. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. |
J. Univers. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rüdiger Ebendt, Wolfgang Günther 0001, Rolf Drechsler |
Combining ordered best-first search with branch and bound for exact BDD minimization. |
ASP-DAC |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rüdiger Ebendt, Rolf Drechsler |
A Tight Lower Bound for Dynamic BDD Reordering. |
MBMV |
2004 |
DBLP BibTeX RDF |
|
17 | Marc Fontaine, Stefan Burkhardt, Juha Kärkkäinen |
BDD-Based Analysis of Gapped q-Gram Filters. |
Stringology |
2004 |
DBLP BibTeX RDF |
|
17 | P. W. Chandana Prasad, Ali Assi 0001, Mohamed Raseen, Adnan Harb |
BDD Based Method for Fast Equivalence Checking. |
International Conference on Computational Intelligence |
2004 |
DBLP BibTeX RDF |
|
17 | Mark G. Karpovsky, Radomir S. Stankovic, Jaakko Astola |
Construction of linearly transformed planar BDD by Walsh coefficients. |
ISCAS (4) |
2004 |
DBLP BibTeX RDF |
|
17 | Tarik Hadzic |
A BDD-Based Approach to Interactive Configuration. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
17 | P. W. Chandana Prasad, Ali Assi 0001, Mohamed Raseen |
BDD Minimization Using Graph Parameter Permutation. |
ESA/VLSI |
2004 |
DBLP BibTeX RDF |
|
17 | Masahito Kurihara, Hisashi Kondo |
Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification. |
IEA/AIE |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Anuj Goel, Khurram Sajid, Hai Zhou 0001, Adnan Aziz, Vigyan Singhal |
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. |
Formal Methods Syst. Des. |
2003 |
DBLP DOI BibTeX RDF |
logic of equality, BDDs, uninterpreted functions |
17 | Orna Grumberg, Shlomi Livne, Shaul Markovitch |
Learning to Order BDD Variables in Verification. |
J. Artif. Intell. Res. |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Farn Wang |
Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures |
CoRR |
2003 |
DBLP BibTeX RDF |
|
17 | Tomas Bengtsson, Andrés Martinelli, Elena Dubrova |
A BDD-based fast heuristic algorithm for disjoint decomposition. |
ASP-DAC |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Sivaram Gopalakrishnan, Vijay Durairaj, Priyank Kalla |
Integrating CNF and BDD based SAT solvers. |
HLDVT |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Große, Rolf Drechsler |
BDD-based verification of scalable designs. |
HLDVT |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Junhao Shi, Görschwin Fey, Rolf Drechsler |
BDD Based Synthesis of Symmetric Functions with Full Path-Delay Fault Testability. |
Asian Test Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Hung-Yau Lin, Sy-Yen Kuo, Fu-Min Yeh |
Minimal Cutset Enumeration and Network Reliability Evaluation by Recursive Merge and BDD. |
ISCC |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Sanath Jayasena |
Bdd-Based Engineering-Change Logic Synthesis |
|
2003 |
RDF |
|
17 | Michael Baldamus, Klaus Schneider 0001 |
The BDD Space Complexity of Different Forms of Concurrency. |
Fundam. Informaticae |
2002 |
DBLP BibTeX RDF |
|
17 | Rakesh M. Verma, Sarah Hwang |
On the Structure of Counterexamples to Symmetric Orderings for BDD's. |
CATS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Michael J. C. Gordon |
Programming Combinations of Deduction and BDD-based Symbolic Calculation. |
LMS J. Comput. Math. |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Rolf Drechsler, Jochen Römmler |
Implementation and Visualization of a BDD Package in JAVA. |
MBMV |
2002 |
DBLP BibTeX RDF |
|
17 | Rune Møller Jensen, Randal E. Bryant, Manuela M. Veloso |
SetA*: An Efficient BDD-Based Heuristic Search Algorithm. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
17 | Matthias Krause 0001 |
BDD-Based Cryptanalysis of Keystream Generators. |
EUROCRYPT |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering. |
ICCD |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Mikael Kerttu, Per Lindgren, Rolf Drechsler, Mitchell A. Thornton |
Low Power Optimization Techniques for BDD Mapped Finite State Machines. |
IWLS |
2002 |
DBLP BibTeX RDF |
|
17 | Federico Politi |
Recognition of Transistor Level Complex Sequential and Dynamic Circuits using State Based BDD's. |
IWLS |
2002 |
DBLP BibTeX RDF |
|
17 | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
Efficient Gate and Input Ordering for Circuit-to-BDD Conversion. |
IWLS |
2002 |
DBLP BibTeX RDF |
|
17 | Christoph Meinel, Harald Sack, Arno Wagner |
WWW.BDD-PORTAL.ORG: An Experimentation Platform for Binary Decision Diagram Algorithms |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
2001 |
RDF |
|