Search results for "BDD"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Martin Jonás, Jan Strejcek	Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers.	ICTAC	2018	DBLP DOI BibTeX RDF
17	Gabriel Oliveira, Sabrina Marczak	On the Understanding of BDD Scenarios' Quality: Preliminary Practitioners' Opinions.	REFSQ	2018	DBLP DOI BibTeX RDF
17	Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.	Optimal Symbolic Controllers Determinization for BDD storage.	ADHS	2018	DBLP DOI BibTeX RDF
17	Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay	Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings.	ADHS	2018	DBLP DOI BibTeX RDF
17	Amad Ul Hassen, Salman Anwar Khokhar, Haseeb Aslam Butt, Sumit Kumar Jha 0001	Free BDD based CAD of Compact Memristor Crossbars for in-Memory Computing.	NANOARCH	2018	DBLP DOI BibTeX RDF
17	Patrícia Mello, Pablo Ximenes, Rousiany Lemos, Ana Luíza Bessa, Mariela I. Cortés, Cleilton Lima Rocha	On the applicability of BDD in a Business Intelligence project: experience report.	SBQS	2018	DBLP DOI BibTeX RDF
17	Yang Wang 0049, Stefan Wagner 0001	Combining STPA and BDD for safety analysis and verification in agile development.	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
17	Huy Quoc Le, Pradeep Kumar Mishra, Dung Hoang Duong, Masaya Yasuda	Solving LWR via BDD Strategy: Modulus Switching Approach.	CANS	2018	DBLP DOI BibTeX RDF
17	Harish Kumar Sahu, Indivar Gupta, N. Rajesh Pillai, Rajendra Kumar Sharma	BDD-based cryptanalysis of stream cipher: a practical approach.	IET Inf. Secur.	2017	DBLP DOI BibTeX RDF
17	Zhusheng Pan, Liudong Xing, Yuchang Mo	A new reliability evaluation method for networks with imperfect vertices using BDD.	Qual. Reliab. Eng. Int.	2017	DBLP DOI BibTeX RDF
17	Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata	BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems.	IEICE Trans. Inf. Syst.	2017	DBLP DOI BibTeX RDF
17	Shin-ichi Minato	Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation.	IEICE Trans. Inf. Syst.	2017	DBLP DOI BibTeX RDF
17	Marcin Kubica, Adam Opara, Dariusz Kania	Logic synthesis for FPGAs based on cutting of BDD.	Microprocess. Microsystems	2017	DBLP DOI BibTeX RDF
17	Marcel Wild	ALLSAT compressed with wildcards. Part 2: All k-models of a BDD.	CoRR	2017	DBLP BibTeX RDF
17	Xiaolin Xu, Bicky Shakya, Mark M. Tehranipoor, Domenic Forte	Novel Bypass Attack and BDD-based Tradeoff Analysis Against all Known Logic Locking Attacks.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
17	Shoko Tago, Tsuyoshi Ochiai, Seitaro Suzuki, Mio Hayashi, Takeshi Kondo, Akira Fujishima	Flexible Boron-Doped Diamond (BDD) Electrodes for Plant Monitoring.	Sensors	2017	DBLP DOI BibTeX RDF
17	David Bergman, André Augusto Ciré	On Finding the Optimal BDD Relaxation.	CPAIOR	2017	DBLP DOI BibTeX RDF
17	Andreas Rauchenecker, Robert Wille	An efficient physical design of fully-testable BDD-based circuits.	DDECS	2017	DBLP DOI BibTeX RDF
17	Gabriel Oliveira, Sabrina Marczak	On the Empirical Evaluation of BDD Scenarios Quality: Preliminary Findings of an Empirical Study.	RE Workshops	2017	DBLP DOI BibTeX RDF
17	Saman Fröhlich, Daniel Große, Rolf Drechsler	Exakte BDD Minimierung mit Fehlerschranke für den Einsatz im Approximate Computing.	MBMV	2017	DBLP BibTeX RDF
17	Rui Xu 0006, Sze Ling Yeo, Kazuhide Fukushima, Tsuyoshi Takagi, Hwajung Seo, Shinsaku Kiyomoto, Matt Henricksen	An Experimental Study of the BDD Approach for the Search LWE Problem.	ACNS	2017	DBLP DOI BibTeX RDF
17	Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata	BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems.	AAAI Workshops	2017	DBLP BibTeX RDF
17	Chun-Feng Liao, Ching-Ju Cheng, Kung Chen, Chen-Ho Lai, Tien Chiu, Chi Wu-Lee	Toward A Service Platform for Developing Smart Contracts on Blockchain in BDD and TDD Styles.	SOCA	2017	DBLP DOI BibTeX RDF
17	Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler	An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimization.	GECCO	2017	DBLP DOI BibTeX RDF
17	Saman Fröhlich, Daniel Große, Rolf Drechsler	Error Bounded Exact BDD Minimization in Approximate Computing.	ISMVL	2017	DBLP DOI BibTeX RDF
17	Fábio Levy Siqueira, Thiago C. de Sousa, Paulo Sérgio Muniz Silva	Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea.	FormaliSE@ICSE	2017	DBLP DOI BibTeX RDF
17	Xiaolin Xu, Bicky Shakya, Mark M. Tehranipoor, Domenic Forte	Novel Bypass Attack and BDD-based Tradeoff Analysis Against All Known Logic Locking Attacks.	CHES	2017	DBLP DOI BibTeX RDF
17	Sven Mattsen	BDD-based value analysis for X86 executables.		2017	RDF
17	Benedikt Eberhardinger, David Faragó, Mario Friske, Dehla Sokenou	Aktuelle Fragestellungen zum Zusammenspiel von BDD, MBT und KDT.	Softwaretechnik-Trends	2016	DBLP BibTeX RDF
17	Tianhua Xu, Haifeng Wang, Tangming Yuan, MengChu Zhou	BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems.	IEEE Trans. Intell. Transp. Syst.	2016	DBLP DOI BibTeX RDF
17	Qixia Yuan, Hongyang Qu 0001, Jun Pang 0001, Andrzej Mizera	Improving BDD-based attractor detection for synchronous Boolean networks.	Sci. China Inf. Sci.	2016	DBLP DOI BibTeX RDF
17	Macauley Coggins	Design of an Optoelectronic State Machine with integrated BDD based Optical logic.	CoRR	2016	DBLP BibTeX RDF
17	Shahar Maoz, Or Pistiner, Jan Oliver Ringert	Symbolic BDD and ADD Algorithms for Energy Games.	SYNT@CAV	2016	DBLP DOI BibTeX RDF
17	Elena Kirshanova, Alexander May 0001, Friedrich Wiemer	Parallel Implementation of BDD enumeration for LWE.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
17	Gokhan Akyol, Halûk Gümüskaya	Cevik Yazilim Gelistirmede BDD/TDD Yontemlerinin ve Yazilim Kalite Araclarinin Kullanilmasi: Bir Yazilim Muhendisligi Dersindeki Tecrube.	UYMS	2016	DBLP BibTeX RDF
17	Saeideh Shirinzadeh, Mathias Soeken, Rolf Drechsler	Multi-objective BDD optimization for RRAM based circuit design.	DDECS	2016	DBLP DOI BibTeX RDF
17	Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi	BDD-Based Boolean Functional Synthesis.	CAV (2)	2016	DBLP DOI BibTeX RDF
17	Truong Khanh Nguyen, Tian Huat Tan, Jun Sun 0001, Jiaying Li 0001, Yang Liu 0003, Manman Chen, Jin Song Dong	Scaling BDD-based Timed Verification with Simulation Reduction.	ICFEM	2016	DBLP DOI BibTeX RDF
17	Mathias Soeken, Daniel Große, Arun Chandrasekharan, Rolf Drechsler	BDD minimization for approximate computing.	ASP-DAC	2016	DBLP DOI BibTeX RDF
17	Elena Kirshanova, Alexander May 0001, Friedrich Wiemer	Parallel Implementation of BDD Enumeration for LWE.	ACNS	2016	DBLP DOI BibTeX RDF
17	Lara Almeida, Elder Cirilo, Eiji Adachi Barbosa	SS-BDD: Automated Acceptance Testing for Spreadsheets.	SAST	2016	DBLP DOI BibTeX RDF
17	Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler	Approximate BDD Optimization with Prioritized ε-Preferred Evolutionary Algorithm.	GECCO (Companion)	2016	DBLP DOI BibTeX RDF
17	Shin-ichi Minato	Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation.	ISMVL	2016	DBLP DOI BibTeX RDF
17	Anindita Chakraborty, Rakesh Das, Chandan Bandyopadhyay, Hafizur Rahaman 0001	BDD based synthesis technique for design of high-speed memristor based circuits.	VDAT	2016	DBLP DOI BibTeX RDF
17	Christian Brandes, Benedikt Eberhardinger, David Faragó, Mario Friske, Baris Güldali, Andrej Pietschker	Drei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich.	Softwaretechnik-Trends	2015	DBLP BibTeX RDF
17	V. Matuzas, S. Contini	Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis.	Reliab. Eng. Syst. Saf.	2015	DBLP DOI BibTeX RDF
17	Anamaria Baciu, Magdalena Ardelean, Aniela Pop, Rodica Pode, Florica Manea	Simultaneous Voltammetric/Amperometric Determination of Sulfide and Nitrite in Water at BDD Electrode.	Sensors	2015	DBLP DOI BibTeX RDF
17	Tsuyoshi Ochiai, Shoko Tago, Mio Hayashi, Akira Fujishima	Highly Sensitive Measurement of Bio-Electric Potentials by Boron-Doped Diamond (BDD) Electrodes for Plant Monitoring.	Sensors	2015	DBLP DOI BibTeX RDF
17	Zhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson	A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.	IEEE Trans Autom. Sci. Eng.	2015	DBLP DOI BibTeX RDF
17	Brian Kell, Ashish Sabharwal, Willem-Jan van Hoeve	BDD-Guided Clause Generation.	CPAIOR	2015	DBLP DOI BibTeX RDF
17	Takahisa Toda, Koji Tsuda	BDD construction for all solutions SAT and efficient caching mechanism.	SAC	2015	DBLP DOI BibTeX RDF
17	Anna Bernasconi 0001, Valentina Ciriani, Gabriella Trucco	Biconditional-BDD Ordering for Autosymmetric Functions.	DSD	2015	DBLP DOI BibTeX RDF
17	Robert Wille, Oliver Keszöcze, Clemens Hopfmuller, Rolf Drechsler	Reverse BDD-based synthesis for splitter-free optical circuits.	ASP-DAC	2015	DBLP DOI BibTeX RDF
17	Huiping Zhang, Junwei Du, Ling Cao, Guixin Zhu	A Full Symbolic Reachability Analysis Algorithm of Timed Automata Based on BDD.	ISADS	2015	DBLP DOI BibTeX RDF
17	Junwei Du, Huiping Zhang, Gang Yu, Xi Wang	A full symbolic compositional reachability analysis of timed automata based on BDD.	ICACI	2015	DBLP DOI BibTeX RDF
17	Hongyang Qu 0001, Qixia Yuan, Jun Pang 0001, Andrzej Mizera	Improving BDD-based Attractor Detection for Synchronous Boolean Networks.	Internetware	2015	DBLP DOI BibTeX RDF
17	Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata	BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems.	AAAI	2015	DBLP DOI BibTeX RDF
17	Saeideh Shirinzadeh, Mathias Soeken, Rolf Drechsler	Multi-Objective BDD Optimization with Evolutionary Algorithms.	GECCO	2015	DBLP DOI BibTeX RDF
17	Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li 0031, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang 0001	A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.	SETTA	2015	DBLP DOI BibTeX RDF
17	Eleonora Schönborn, Kamalika Datta, Robert Wille, Indranil Sengupta 0001, Hafizur Rahaman 0001, Rolf Drechsler	BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits.	VLSID	2015	DBLP DOI BibTeX RDF
17	Christian Appold	Symbolische BDD-basierte Modellprüfung asynchroner nebenläufiger Systeme.		2015	RDF
17	Mingjie Liu, Xiaoyun Wang 0001, Guangwu Xu, Xuexin Zheng	A note on BDD problems with λ2-gap.	Inf. Process. Lett.	2014	DBLP DOI BibTeX RDF
17	Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny	BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance.	Auton. Agents Multi Agent Syst.	2014	DBLP DOI BibTeX RDF
17	Yuchang Mo, Liudong Xing, Farong Zhong, Zhusheng Pan, Zhongyu Chen	Choosing a heuristic and root node for edge ordering in BDD-based network reliability analysis.	Reliab. Eng. Syst. Saf.	2014	DBLP DOI BibTeX RDF
17	Peter Kissmann, Jörg Hoffmann 0001	BDD Ordering Heuristics for Classical Planning.	J. Artif. Intell. Res.	2014	DBLP DOI BibTeX RDF
17	Dirk Beyer 0001, Andreas Stahlbauer	BDD-based software verification - Applications to event-condition-action systems.	Int. J. Softw. Tools Technol. Transf.	2014	DBLP DOI BibTeX RDF
17	Graeme Gange, Peter James Stuckey, Vitaly Lagoon	Fast Set Bounds Propagation Using a BDD-SAT Hybrid.	CoRR	2014	DBLP BibTeX RDF
17	Tomasz Gogacz, Jerzy Marcinkowski	On the BDD/FC Conjecture.	CoRR	2014	DBLP BibTeX RDF
17	David Bergman, André A. Ciré, Willem Jan van Hoeve, Tallys H. Yunes	BDD-based heuristics for binary optimization.	J. Heuristics	2014	DBLP DOI BibTeX RDF
17	Hidefumi Hiraishi, Hiroshi Imai	BDD Operations for Quantum Graph States.	RC	2014	DBLP DOI BibTeX RDF
17	Minh Lê, Josef Weidendorfer, Max Walter	A Novel Variable Ordering Heuristic for BDD-based K-Terminal Reliability.	DSN	2014	DBLP DOI BibTeX RDF
17	Sayak Chakraborti, Paturi Varun Chowdhary, Kamalika Datta, Indranil Sengupta 0001	BDD based synthesis of Boolean functions using memristors.	IDT	2014	DBLP DOI BibTeX RDF
17	Gianpiero Cabodi, Paolo Pasini, Stefano Quer, Danilo Vendraminetto	Tightening BDD-based approximate reachability with SAT-based clause generalization∗.	DATE	2014	DBLP DOI BibTeX RDF
17	Miroslav N. Velev, Ping Gao 0002	Efficient parallel GPU algorithms for BDD manipulation.	ASP-DAC	2014	DBLP DOI BibTeX RDF
17	Saifulza Alwi, Yasutaka Fujimoto	Safety property comparison between Gröbner bases and BDD-based model checking method.	ICARCV	2014	DBLP DOI BibTeX RDF
17	Christian Appold	A New Approach to Use Partial Results During Image Computation in BDD Based Symbolic Model Checking.	MBMV	2014	DBLP BibTeX RDF
17	Sen-Tarng Lai, Fang-Yie Leu, William Cheng-Chung Chu	Combining IID with BDD to Enhance the Critical Quality of Security Functional Requirements.	BWCCA	2014	DBLP DOI BibTeX RDF
17	Zheng Zhao, Chian-Wei Liu, Chun-Yao Wang, Weikang Qian	BDD-based synthesis of reconfigurable single-electron transistor arrays.	ICCAD	2014	DBLP DOI BibTeX RDF
17	Fei He 0001, Bow-Yaw Wang, Liangze Yin, Lei Zhu	Symbolic assume-guarantee reasoning through BDD learning.	ICSE	2014	DBLP DOI BibTeX RDF
17	Partha De, Kunal Banerjee 0001, Chittaranjan A. Mandal	A BDD based secure hardware design method to guard against power analysis attacks.	VDAT	2014	DBLP DOI BibTeX RDF
17	Elena Dubrova, Shohreh Sharif Mansouri	A BDD-Based Method for LFSR Parallelization with Application to Fast CRC Encoding.	J. Multiple Valued Log. Soft Comput.	2013	DBLP BibTeX RDF
17	Liudong Xing, Gregory Levitin	BDD-based reliability evaluation of phased-mission systems with internal/external common-cause failures.	Reliab. Eng. Syst. Saf.	2013	DBLP DOI BibTeX RDF
17	Shin-ichi Minato	Techniques of BDD/ZDD: Brief History and Recent Activity.	IEICE Trans. Inf. Syst.	2013	DBLP DOI BibTeX RDF
17	Ronggen Chen, Yuchang Mo, Zhusheng Pan	Performance Improvement of Edge Expansion Technique for BDD-based Network Reliability Analysis.	J. Comput.	2013	DBLP BibTeX RDF
17	Guanfeng Lv, Kaile Su, Yanyan Xu 0001	CacBDD: A BDD Package with Dynamic Cache Management.	CAV	2013	DBLP DOI BibTeX RDF
17	Partha De, Kunal Banerjee 0001, Chittaranjan A. Mandal, Debdeep Mukhopadhyay	Designing DPA Resistant Circuits Using BDD Architecture and Bottom Pre-charge Logic.	DSD	2013	DBLP DOI BibTeX RDF
17	Tomasz Gogacz, Jerzy Marcinkowski	On the BDD/FC conjecture.	PODS	2013	DBLP DOI BibTeX RDF
17	Rajeev Goré, Jimmy Thomson 0001	An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description.	CADE	2013	DBLP DOI BibTeX RDF
17	Rafael Chiavegatto, Vanilton de Souza Freire Pinheiro, Andréia Vieira, João Clineu, Erbett Hinton Oliveira, Ellen Barroso, Alexandre Amorim, Tayana Conte	Especificação e Automação Colaborativas de Testes utilizando a técnica BDD.	SBQS	2013	DBLP DOI BibTeX RDF
17	Tony Ribeiro, Katsumi Inoue, Chiaki Sakama	A BDD-Based Algorithm for Learning from Interpretation Transition.	ILP	2013	DBLP DOI BibTeX RDF
17	Mingjie Liu, Phong Q. Nguyen	Solving BDD by Enumeration: An Update.	CT-RSA	2013	DBLP DOI BibTeX RDF
17	Peter Kissmann, Jörg Hoffmann 0001	What's in It for My BDD? On Causal Graphs and Variable Orders in Planning.	ICAPS	2013	DBLP BibTeX RDF
17	Anuja Arora, Madhavi Sinha	Avoiding state explosion problem of generated AJAX web application state machine using BDD.	IC3	2013	DBLP DOI BibTeX RDF
17	Álvaro Torralba, Vidal Alcázar	Constrained Symbolic Search: On Mutexes, BDD Minimization and More.	SOCS	2013	DBLP DOI BibTeX RDF
17	Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli	BDS-MAJ: a BDD-based logic synthesis tool exploiting majority logic decomposition.	DAC	2013	DBLP DOI BibTeX RDF
17	Tom van Dijk, Alfons Laarman, Jaco van de Pol	Multi-Core BDD Operations for Symbolic Reachability.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
17	Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato	Counterexamples to the long-standing conjecture on the complexity of BDD binary operations.	Inf. Process. Lett.	2012	DBLP DOI BibTeX RDF
17	Shin-ichi Minato, Nicolas Spyratos	BDD-Based Combinatorial Keyword Query Processing under a Taxonomy Model.	Int. J. Organ. Collect. Intell.	2012	DBLP DOI BibTeX RDF
17	Rahul Dixit, Harpreet Singh 0001	BDD, BNN, and FPGA on Fuzzy Techniques for Rapid System Analysis.	Adv. Fuzzy Syst.	2012	DBLP DOI BibTeX RDF
17	Robert Meolic	Biddy - a Multi-platform Academic BDD Package.	J. Softw.	2012	DBLP DOI BibTeX RDF