Search results for "BDD"

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