Search results for "BDD"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Jean Vuillemin	On Circuits and Numbers.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	PROM, 2-adic integers, synchronous decision diagrams, BDD constructs, bit-serial circuits, reset signals, 2Z, arithmetic synthesis f, periodic binary constants, deeply binding synchronous enable, combinational circuit semantics, arbitrary precision, programmable active memories, specification languages, sequential circuits, combinational circuits, digital arithmetic, logic CAD, adders, digital circuits, arithmetic, combinatorial circuits, synchronous circuits, continuous functions, rational numbers
17	Ali Hassaan Mughal	Advancing BDD Software Testing: Dynamic Scenario Re-Usability And Step Auto-Complete For Cucumber Framework.	CoRR	2024	DBLP DOI BibTeX RDF
17	Fernando Pastor Ricós, Beatriz Marín, I. S. W. B. Prasetya, Tanja E. J. Vos, Joseph Davidson, Karel Hovorka	An Industrial Experience Leveraging the iv4XR Framework for BDD Testing of a 3D Sandbox Game.	RCIS (1)	2024	DBLP DOI BibTeX RDF
17	Ahmed Awad 0002, Amjad Hawash, Baker Abdalhaq	A Genetic Algorithm (GA) and Swarm-Based Binary Decision Diagram (BDD) Reordering Optimizer Reinforced With Recent Operators.	IEEE Trans. Evol. Comput.	2023	DBLP DOI BibTeX RDF
17	Randal E. Bryant, Marijn J. H. Heule	Generating Extended Resolution Proofs with a BDD-Based SAT Solver.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
17	Luan Luan, Yanan Shi, Chunxiang Gu, Yonghui Zheng	Application of Discrete Pruned Enumeration in Solving BDD.	Symmetry	2023	DBLP DOI BibTeX RDF
17	Seyd Teymoor Seydi, Mahdi Hasanlou, Jocelyn Chanussot, Pedram Ghamisi	BDD-Net+: A Building Damage Detection Framework Based on Modified Coat-Net.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2023	DBLP DOI BibTeX RDF
17	Steffan Christ Sølvsten, Jaco van de Pol	Predicting Memory Demands of BDD Operations using Maximum Graph Cuts (Extended Paper).	CoRR	2023	DBLP DOI BibTeX RDF
17	Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar	Making IP=PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
17	Xi Zhu, Xiya Cao, Zhiwei Dong, Caifa Zhou, Qiangbo Liu, Wei Li, Yongliang Wang	NeMO: Neural Map Growing System for Spatiotemporal Fusion in Bird's-Eye-View and BDD-Map Benchmark.	CoRR	2023	DBLP DOI BibTeX RDF
17	Stefan Mengel	Bounds on BDD-Based Bucket Elimination.	CoRR	2023	DBLP DOI BibTeX RDF
17	Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini	Towards Code Generation from BDD Test Case Specifications: A Vision.	CoRR	2023	DBLP DOI BibTeX RDF
17	Manish Goyal 0002, David Bergman, Parasara Sridhar Duggirala	BDD for Complete Characterization of a Safety Violation in Linear Systems with Inputs.	CoRR	2023	DBLP DOI BibTeX RDF
17	Vincent Mastain, Fábio Petrillo	BDD-Based Framework with RL Integration: An approach for videogames automated testing.	CoRR	2023	DBLP DOI BibTeX RDF
17	Randal E. Bryant	Notes on "Bounds on BDD-Based Bucket Elimination".	CoRR	2023	DBLP DOI BibTeX RDF
17	Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen	Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
17	Kim G. Larsen, Anders Mariegaard, Stefan Schmid 0001, Jirí Srba	AllSynth: A BDD-based approach for network update synthesis.	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
17	Wiam Rabhi, Walid Amara, Zakaria Charouh, Fatima El Jaimi, Hafssa Benaboud, Moudathirou Ben Saindou	E-Moulouya BDD: Extended Moulouya Bird Detection Dataset.		2023	DOI RDF
17	Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar	Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms.	CAV (3)	2023	DBLP DOI BibTeX RDF
17	Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini	Towards Code Generation from BDD Test Case Specifications: A Vision.	CAIN	2023	DBLP DOI BibTeX RDF
17	Rune Krauss, Mehran Goli, Rolf Drechsler	EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation.	ASP-DAC	2023	DBLP DOI BibTeX RDF
17	Steffan Christ Sølvsten, Jaco van de Pol	Predicting Memory Demands of BDD Operations Using Maximum Graph Cuts.	ATVA	2023	DBLP DOI BibTeX RDF
17	Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink	From BDD Scenarios to Test Case Generation.	ICSTW	2023	DBLP DOI BibTeX RDF
17	Juliana Saraiva, Sérgio Soares	Adoption of the LGPD Inventory in the User Stories and BDD Scenarios Creation.	SBES	2023	DBLP DOI BibTeX RDF
17	Joao P. Nespolo, Renato D. Peralta, Paulo F. Butzen, André Inácio Reis	Effect of Unique Table Implementation in the Performance of BDD Packages.	SBCCI	2023	DBLP DOI BibTeX RDF
17	Stefan Mengel	Bounds on BDD-Based Bucket Elimination.	SAT	2023	DBLP DOI BibTeX RDF
17	Lisa Petani, Lea Llupa, Zhen Peng, Genki Ogata, Liane Koker, Ulrich Gengenbach, Yasuaki Einaga, Christian Pylatiuk	Dissolved ozone sensing in water and blood based on commercial screen-printed and BDD electrodes.	BioCAS	2023	DBLP DOI BibTeX RDF
17	Eric Lee, Jiayu Gong, Qinghong Cao	Object Oriented BDD and Executable Human-Language Module Specification.	SNPD-Winter	2023	DBLP DOI BibTeX RDF
17	Hao Cheng, Chi-Jhe Li, Hung-Lin Chen, Jiun-Lang Huang	BDD-Based Self-Test Program Generation for Processor Cores.	ITC-Asia	2023	DBLP DOI BibTeX RDF
17	Elena Pinilla, David Fernández-Amorós, Ruben Heradio	Circuit Testing Based on Fuzzy Sampling with BDD Bases.	HICSS	2023	DBLP BibTeX RDF
17	Stefan Ellmauthaler, Lukas Gerlach 0002	ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks.	AI³@AI*IA	2023	DBLP BibTeX RDF
17	Seyd Teymoor Seydi, Heidar Rastiveis, Bahareh Kalantar, Alfian Abdul Halin, Naonori Ueda	BDD-Net: An End-to-End Multiscale Residual CNN for Earthquake-Induced Building Damage Detection.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
17	Oliver Keszöcze	BDD-Based Error Metric Analysis, Computation and Optimization.	IEEE Access	2022	DBLP DOI BibTeX RDF
17	Vojtech Mrazek	Optimization of BDD-based Approximation Error Metrics Calculations.	CoRR	2022	DBLP DOI BibTeX RDF
17	Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek	BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
17	Jaime E. González, André A. Ciré, Andrea Lodi 0001, Louis-Martin Rousseau	BDD-based optimization for the quadratic stable set problem.	Discret. Optim.	2022	DBLP DOI BibTeX RDF
17	Mohsin Irshad, Jürgen Börstler, Kai Petersen	Supporting refactoring of BDD specifications - An empirical study.	Inf. Softw. Technol.	2022	DBLP DOI BibTeX RDF
17	Vojtech Mrazek	Optimization of BDD-based Approximation Error Metrics Calculations.	ISVLSI	2022	DBLP DOI BibTeX RDF
17	Huck Bennett, Chris Peikert, Yi Tang	Improved Hardness of BDD and SVP Under Gap-(S)ETH.	ITCS	2022	DBLP DOI BibTeX RDF
17	Ryosuke Matsuo, Shin-ichi Minato	Space and Power Reduction in BDD-based Optical Logic Circuits Exploiting Dual Ports.	DATE	2022	DBLP DOI BibTeX RDF
17	Abhimanyu Gupta, Geert Poels	The Effectiveness of Conceptual Models Auto-Generated from a Set of User Stories Written as BDD Scenarios: A Proposed Study.	Agil-ISE@CAiSE	2022	DBLP BibTeX RDF
17	Samedi Heng, Monique Snoeck, Konstantinos Tsilionis	Building a Software Architecture out of User Stories and BDD Scenarios: Research Agenda.	Agil-ISE@CAiSE	2022	DBLP BibTeX RDF
17	Lelio Campanile, Maria Stella de Biase, Stefano Marrone 0001, Mariapia Raimondo, Laura Verde	On the Evaluation of BDD Requirements with Text-based Metrics: The ETCS-L3 Case Study.	KES-IDT	2022	DBLP DOI BibTeX RDF
17	Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner	ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.	COMMA	2022	DBLP DOI BibTeX RDF
17	Randal E. Bryant	Tbuddy: A Proof-Generating BDD Package.	FMCAD	2022	DBLP DOI BibTeX RDF
17	Chun-Yu Wei, Yuan-Hung Tsai, Chiao-Shan Jhang, Jie-Hong R. Jiang	Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification.	DAC	2022	DBLP DOI BibTeX RDF
17	Nicolas Nascimento, Alan R. Santos, Afonso Sales, Rafael Chanin	Teaching BDD in Active Learning Environments: A Multi-study Analysis.	CSEDU (2)	2022	DBLP DOI BibTeX RDF
17	Anindita Chakraborty, Partha Sarathi Gupta, Ritika Singh, Rakesh Das, Hafizur Rahaman 0001	BDD-based synthesis approach for in-memory logic realization utilizing Memristor Aided loGIC (MAGIC).	Integr.	2021	DBLP DOI BibTeX RDF
17	Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek	BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs.	CoRR	2021	DBLP BibTeX RDF
17	Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen	BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks.	CoRR	2021	DBLP BibTeX RDF
17	Randal E. Bryant, Marijn J. H. Heule	Generating Extended Resolution Proofs with a BDD-Based SAT Solver.	CoRR	2021	DBLP BibTeX RDF
17	Huck Bennett, Chris Peikert, Yi Tang	Improved Hardness of BDD and SVP Under Gap-(S)ETH.	CoRR	2021	DBLP BibTeX RDF
17	Mohsin Irshad, Ricardo Britto 0001, Kai Petersen	Adapting Behavior Driven Development (BDD) for large-scale software systems.	J. Syst. Softw.	2021	DBLP DOI BibTeX RDF
17	Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen	BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks.	CAV (1)	2021	DBLP DOI BibTeX RDF
17	Ryosuke Matsuo, Shin-ichi Minato	BDD Variable Ordering for Minimizing Power Consumption of Optical Logic Circuits.	ISVLSI	2021	DBLP DOI BibTeX RDF
17	Dirk Beyer 0001, Karlheinz Friedberger, Stephan Holzner	PJBDD: A BDD Library for Java and Multi-Threading.	ATVA	2021	DBLP DOI BibTeX RDF
17	Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang 0001	On Continuous Local BDD-Based Search for Hybrid SAT Solving.	AAAI	2021	DBLP DOI BibTeX RDF
17	Randal E. Bryant, Marijn J. H. Heule	Dual Proof Generation for Quantified Boolean Formulas with a BDD-based Solver.	CADE	2021	DBLP DOI BibTeX RDF
17	Juraj Síc, Jan Strejcek	DQBDD: An Efficient BDD-Based DQBF Solver.	SAT	2021	DBLP DOI BibTeX RDF
17	Randal E. Bryant, Marijn J. H. Heule	Generating Extended Resolution Proofs with a BDD-Based SAT Solver.	TACAS (1)	2021	DBLP DOI BibTeX RDF
17	Amad Ul Hassen, Fahad Ahmed Khan	An Adaptive Metric for Node Substitution-Based BDD Minimization.	ISCAS	2021	DBLP DOI BibTeX RDF
17	Thiago Rocha Silva, Brian Fitzgerald 0001	Empirical Findings on BDD Story Parsing to Support Consistency Assurance between Requirements and Artifacts.	EASE	2021	DBLP DOI BibTeX RDF
17	Fabio Gomes Rocha, Layse Santos Souza, Thiciane Suely Couto Silva, Guillermo Rodríguez 0002	Enhancing the Student Learning Experience by Adopting TDD and BDD in Course Projects.	EDUCON	2021	DBLP DOI BibTeX RDF
17	Jinyuan Shao, Lina Tang, Ming Liu, Guofan Shao, Lang Sun, Quanyi Qiu	BDD-Net: A General Protocol for Mapping Buildings Damaged by a Wide Range of Disasters Based on Satellite Imagery.	Remote. Sens.	2020	DBLP DOI BibTeX RDF
17	David Faragó, Mario Friske, Dehla Sokenou	Towards a Taxonomy for Applying Behavior-Driven Development (BDD).	Softwaretechnik-Trends	2020	DBLP BibTeX RDF
17	Phrangboklang Lyngton Thangkhiew, Alwin Zulehner, Robert Wille, Kamalika Datta, Indranil Sengupta 0001	An efficient memristor crossbar architecture for mapping Boolean functions using Binary Decision Diagrams (BDD).	Integr.	2020	DBLP DOI BibTeX RDF
17	Mohamed S. Esseissah, Ashraf Bhery, Hatem M. Bahig	Improving BDD Enumeration for LWE Problem Using GPU.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Thiago Rocha Silva, Brian Fitzgerald 0001	Parsing BDD Stories for Automated Verification of Software Artefacts.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2020	DBLP DOI BibTeX RDF
17	Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang 0001	On Continuous Local BDD-Based Search for Hybrid SAT Solving.	CoRR	2020	DBLP BibTeX RDF
17	Partha De, Udaya Parampalli, Chittaranjan Mandal 0002	Secure Path Balanced BDD-Based Pre-Charge Logic for Masking.	IEEE Trans. Circuits Syst.	2020	DBLP DOI BibTeX RDF
17	Wonhong Nam, Haejin Yang, Hyunyoung Kil	Winning Strategy Tree Construction for BDD-Based ATL Model Checkers.	Int. J. Softw. Eng. Knowl. Eng.	2020	DBLP DOI BibTeX RDF
17	Mohammad Z. Anjum, Silvana Togneri MacMahon, Fergal McCaffery	Development of Health Software using Behaviour Driven Development - BDD.	MODELSWARD	2020	DBLP DOI BibTeX RDF
17	Andreas Wendler, Oliver Keszöcze	A fast BDD Minimization Framework for Approximate Computing.	DATE	2020	DBLP DOI BibTeX RDF
17	Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler	Multiply-Accumulate Enhanced BDD-Based Logic Synthesis on RRAM Crossbars.	ISCAS	2020	DBLP DOI BibTeX RDF
17	Thomas Thüm	A BDD for Linux?: the knowledge compilation challenge for variability.	SPLC (A)	2020	DBLP DOI BibTeX RDF
17	Baker Abdalhaq, Ahmed Awad 0002, Amjad Hawash	A Swarm based Binary Decision Diagram (BDD) Reordering Optimizer for Reversible Circuit Synthesis.	DTIS	2020	DBLP DOI BibTeX RDF
17	Chunhuan Zhao, Zhongxiang Zheng	Improved analysis of the reduction from BDD to uSVP.	Inf. Process. Lett.	2019	DBLP DOI BibTeX RDF
17	Adam Opara, Marcin Kubica, Dariusz Kania	Methods of Improving Time Efficiency of Decomposition Dedicated at FPGA Structures and Using BDD in the Process of Cyber-Physical Synthesis.	IEEE Access	2019	DBLP DOI BibTeX RDF
17	Farley Soares Oliveira, Hidefumi Hiraishi, Hiroshi Imai	Revisiting the Top-Down Computation of BDD of Spanning Trees of a Graph and Its Tutte Polynomial.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2019	DBLP DOI BibTeX RDF
17	Ryosuke Matsuo, Jun Shiomi, Tohru Ishihara, Hidetoshi Onodera, Akihiko Shinya, Masaya Notomi	Methods for Reducing Power and Area of BDD-Based Optical Logic Circuits.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2019	DBLP DOI BibTeX RDF
17	Robert Meolic	The Biddy BDD package.	J. Open Source Softw.	2019	DBLP DOI BibTeX RDF
17	Martin Jonás, Jan Strejcek	Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors.	CAV (2)	2019	DBLP DOI BibTeX RDF
17	Ryosuke Matsuo, Jun Shiomi, Tohru Ishihara, Hidetoshi Onodera, Akihiko Shinya, Masaya Notomi	BDD-based synthesis of optical logic circuits exploiting wavelength division multiplexing.	ASP-DAC	2019	DBLP DOI BibTeX RDF
17	Gabriel Oliveira, Sabrina Marczak, Cassiano Moralles	How to Evaluate BDD Scenarios' Quality?	SBES	2019	DBLP DOI BibTeX RDF
17	Rafael Fazzolino, Genaína Nunes Rodrigues	Feature-Trace: Generating Operational Profile and Supporting Testing Prioritization from BDD Features.	SBES	2019	DBLP DOI BibTeX RDF
17	Fabio Gomes Rocha, Layse Santos Souza, Thiciane Suely Couto Silva, Guillermo Rodríguez 0002	Agile Teaching Practices: Using TDD and BDD in Software Development Teaching.	SBES	2019	DBLP DOI BibTeX RDF
17	Sander Thuijsman, Dennis Hendriks, Rolf J. M. Theunissen, Michel A. Reniers, Ramon R. H. Schiffelers	Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata.	CASE	2019	DBLP DOI BibTeX RDF
17	Takuto Koizumi, Masahiro Hayashi	BDD Method for Evaluating Reliability of Traffic-Path-Based Network Model.	APNOMS	2019	DBLP DOI BibTeX RDF
17	Victor Travassos Sarinho	"BDD Assemble!": A Paper-Based Game Proposal for Behavior Driven Development Design Learning.	ICEC-JCSG	2019	DBLP DOI BibTeX RDF
17	Nina Narodytska, Leonid Ryzhyk, Igor Ganichev, Soner Sevinc	BDD-Based Algorithms for Packet Classification.	FMCAD	2019	DBLP DOI BibTeX RDF
17	Ozan Yakar, Yuqi Nie, Kazumi Wada, Anuradha Agarwal, Ilke Ercan	Energy Efficiency of Microring Resonator (MRR)-Based Binary Decision Diagram (BDD) Circuits.	ICRC	2019	DBLP DOI BibTeX RDF
17	He Zhou, Sunil P. Khatri, Jiang Hu, Frank Liu 0001	A Memory-Efficient Markov Decision Process Computation Framework Using BDD-based Sampling Representation.	DAC	2019	DBLP DOI BibTeX RDF
17	Sagar Chaki, Arie Gurfinkel	BDD-Based Symbolic Model Checking.	Handbook of Model Checking	2018	DBLP DOI BibTeX RDF
17	Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.	Optimal Symbolic Controllers Determinization for BDD storage.	CoRR	2018	DBLP BibTeX RDF
17	Yang Wang 0049, Stefan Wagner 0001	Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment.	CoRR	2018	DBLP BibTeX RDF
17	Lisette Sanchez, Wieger Wesselink, Tim A. C. Willemse	A Comparison of BDD-Based Parity Game Solvers.	GandALF	2018	DBLP DOI BibTeX RDF
17	Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay	Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings.	CoRR	2018	DBLP BibTeX RDF
17	Julien Vion, Sylvain Piechowiak	From MDD to BDD and Arc consistency.	Constraints An Int. J.	2018	DBLP DOI BibTeX RDF
17	Yang Wang 0049, Daniel Ryan Degutis, Stefan Wagner 0001	Speed up BDD for safety verification in agile development: a partially replicated controlled experiment.	XP Companion	2018	DBLP DOI BibTeX RDF
17	Yang Wang 0049, Stefan Wagner 0001	Combining STPA and BDD for Safety Analysis and Verification in Agile Development: A Controlled Experiment.	XP	2018	DBLP DOI BibTeX RDF