Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Rolf Drechsler, Wolfgang Günther 0001 |
History-based dynamic BDD minimization. |
Integr. |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Krause 0001 |
BDD-based Cryptanalysis of Keystream Generators |
Electron. Colloquium Comput. Complex. |
2001 |
DBLP BibTeX RDF |
|
17 | Matthias Krause 0001 |
BDD-based Cryptanalysis of Keystream Generators. |
IACR Cryptol. ePrint Arch. |
2001 |
DBLP BibTeX RDF |
|
17 | Javier Esparza, Stefan Schwoon |
A BDD-Based Model Checker for Recursive Programs. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Shin-ichi Minato, Shinya Ishihara |
Streaming BDD manipulation for large-scale combinatorial problems. |
DATE |
2001 |
DBLP DOI BibTeX RDF |
|
17 | David Déharbe, Jorgiano Márcio Bruno Vidal |
Optimizing BDD-Based Verification Analysing Variable Dependencies. |
SBCCI |
2001 |
DBLP BibTeX RDF |
|
17 | William N. N. Hung, Xiaoyu Song |
BDD Variable Ordering by Scatter Search. |
ICCD |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Saravanan Padmanaban, Maria K. Michael, Spyros Tragoudas |
Exact path delay grading with fundamental BDD operations. |
ITC |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Poul Frederick Williams, Macha Nikolskaïa, Antoine Rauzy |
Bypassing BDD construction for reliability analysis. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Steffen Hölldobler, Hans-Peter Störr |
BDD-based reasoning in the fluent calculus - first results |
CoRR |
2000 |
DBLP BibTeX RDF |
|
17 | Riccardo Forth, Paul Molitor |
An efficient heuristic for state encoding minimizing the BDD representations of the transistion relations of finite state machines. |
ASP-DAC |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Ayman Mohamed Wahba |
BDD/AOG-based algorithm for multiple error rectification in combinational circuits. |
ICECS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Dirk Beyer 0001, Andreas Noack |
BDD-basierte Verifikation von Echtzeit-Systemen. |
FBT |
2000 |
DBLP BibTeX RDF |
|
17 | Masahito Kurihara, Hisashi Kondo |
BDD encoding for partial order constraints and its application to expert systems in software verification domains. |
SMC |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Heraldo Maciel França Madeira, Junior Barrera |
Incremental Evaluation of BDD-Represented Set Operators. |
SIBGRAPI |
2000 |
DBLP DOI BibTeX RDF |
translation invariant operators, locally defined set operators, 2D discrete W-operators, 3D discrete W-operators, reduced ordered binary decision diagram, equivalence proof, mathematical morphology, mathematical morphology, formal language, vocabulary, morphological operators |
17 | Arno Wagner |
WWW.BDD-PORTAL.ORG: Ein Forschungsportal im WWW. |
GI Jahrestagung |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Chung-Yang Huang, Bwolen Yang, Huan-Chih Tsai, Kwang-Ting Cheng |
Static property checking using ATPG vs. BDD techniques. |
ITC |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Christoph Scholl 0001, Dirk Möller, Paul Molitor, Rolf Drechsler |
BDD minimization using symmetries. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Beate Bollig, Martin Löbbing, Martin Sauerhoff, Ingo Wegener |
On the complexity of the hidden weighted bit function for various BDD models. |
RAIRO Theor. Informatics Appl. |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Nils Klarlund |
An n log n Algorithm for Online BDD Refinement. |
J. Algorithms |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Serge Colin, Frédéric Mesnard, Antoine Rauzy |
Un module Prolog de mu-calcul booléen: une réalisation par BDD. |
JFPLC |
1999 |
DBLP BibTeX RDF |
|
17 | Amit Narayon |
Recent Advances in BDD Based Representations for Boolean Functions: A Survey. |
VLSI Design |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Rolf Drechsler, Wolfgang Günther 0001 |
Using Lower Bounds During Dynamic BDD Minimization. |
DAC |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Rolf Drechsler, Wolfgang Günther 0001 |
History-Based Dynamic Minimization During BDD Construction. |
VLSI |
1999 |
DBLP BibTeX RDF |
|
17 | Christoph Meinel, Harald Sack |
Xor-OBDDs - a BDD Structure for Probabilistic Verification |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
1998 |
RDF |
|
17 | Christoph Meinel, Harald Sack |
Parity-OBDDs - a BDD structure for Probabilistic Verification. |
PROBMIV |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
Auxiliary variables for BDD-based representation and manipulation of Boolean functions. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
finite state machines, binary decision diagrams, reachability analysis, functional decompositions |
17 | Anuj Goel, Khurram Sajid, Hai Zhou 0001, Adnan Aziz, Vigyan Singhal |
BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Bwolen Yang, Yirng-An Chen, Randal E. Bryant, David R. O'Hallaron |
Space- and Time-Efficient BDD Construction via Working Set Control. |
ASP-DAC |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Justin E. Harlow III, Franc Brglez |
Design of experiments in BDD variable ordering: lessons learned. |
ICCAD |
1998 |
DBLP DOI BibTeX RDF |
circuit mutants, benchmarking, design of experiments, equivalence class |
17 | David E. Long |
The design of a cache-friendly BDD library. |
ICCAD |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Beate Bollig |
Komplexitätsanalysen für BDD-artige Datenstrukturen. |
|
1998 |
RDF |
|
17 | C. A. J. van Eijk |
A BDD-based verification method for large synthesized circuits. |
Integr. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Christoph Meinel, Anna Slobodová |
A Unifying Theoretical Background for Some Bdd-based Data Structures. |
Formal Methods Syst. Des. |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Jie-Hong R. Jiang, Jing-Yang Jou, Juinn-Dar Huang, Jung-Shian Wei |
BDD based lambda set selection in Roth-Karp decomposition for LUT architecture. |
ASP-DAC |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Tsuyoshi Shinogi, Terumine Hayashi, Kazuo Taki |
Test Generation for Stuck-On Faults in BDD-Based Pass-Transistor Logic SPL. |
Asian Test Symposium |
1997 |
DBLP DOI BibTeX RDF |
DFT circuit, test generation, pass-transistor logic, stuck-on fault |
17 | Frank Reffel |
Partial-Order Reduzierung des Zustandsraumes bei der BDD-Modellprüfung. |
FBT |
1997 |
DBLP BibTeX RDF |
|
17 | Rajeev K. Ranjan 0001, Wilsin Gosti, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Dynamic Reordering in a Breadth-First Manipulation Based BDD Package: Challenges and Solutions. |
ICCD |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Ruchir Puri, Jun Gu |
A BDD SAT Solver for Satisfiability Testing: An Industrial Case Study. |
Ann. Math. Artif. Intell. |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Hett, Bernd Becker 0001, Rolf Drechsler |
MORE: an alternative implementation of BDD packages by multi-operand synthesis. |
EURO-DAC |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Enrico Macii, Massimo Poncino, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto |
BDD-based testability estimation of VHDL designs. |
EURO-DAC |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Ellen Sentovich |
A Brief Study of BDD Package Performance. |
FMCAD |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Jagesh V. Sanghavi, Rajeev K. Ranjan 0001, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
High Performance BDD Package By Exploiting Memory Hiercharchy. |
DAC |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Tony Stornetta, Forrest Brewer |
Implementation of an Efficient Parallel BDD Package. |
DAC |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Scott Hazelhurst, Carl-Johan H. Seger |
A simple theorem prover based on symbolic trajectory evaluation and BDD's. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Jean Goubault |
A BDD-Based Simplification and Skolemization Procedure. |
Log. J. IGPL |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan |
Testing Language Containment for omega-Automata Using BDD's |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Oriol Roig, Jordi Cortadella, Enric Pastor |
Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets. |
Application and Theory of Petri Nets |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev |
Checking signal transition graph implementability by symbolic BDD traversal. |
ED&TC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Rainer Leupers, Peter Marwedel |
A BDD-based frontend for retargetable compilers. |
ED&TC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Alexey Glebov, David T. Blaauw, Larry G. Jones |
Transistor reordering for low power CMOS gates using an SP-BDD representation. |
ISLPD |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Cristiana Bolchini, Franco Fummi, R. Gemelli, Fabio Salice |
A BDD Based Algorithm for Detecting Difficult Faults. |
ISCAS |
1995 |
DBLP BibTeX RDF |
|
17 | Bechir Ayari, Bozena Kaminska |
BDD-FTEST: Fast, Backtrack-Free Test Generator Based on Binary Decision Diagram Representation. |
ISCAS |
1995 |
DBLP BibTeX RDF |
|
17 | Shinji Kimura |
Residue BDD and Its Application to the Verification of Arithmetic Circuits. |
DAC |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Christoph Meinel, Anna Slobodová |
A Unifying Theoretical Background for Some BDD-based Data Structures |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
1994 |
RDF |
|
17 | Fabrizio Ferrandi |
Reduction of fault detection costs through a BDD formalism. |
Microprocess. Microprogramming |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Gianpiero Cabodi, Silvano Gai, Maurizio Rebaudengo, Matteo Sonza Reorda |
A BDD Package For A Massively Parallel SIMD Architecture. |
PDP |
1994 |
DBLP DOI BibTeX RDF |
|
17 | C. A. J. van Eijk, Geert Janssen |
Exploiting Structural Similarities in a BDD-Based Verification Method. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Rolf Drechsler |
BiTeS: a BDD based test pattern generator for strong robust path delay faults. |
EURO-DAC |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová |
Boolean Manipulation with Free BDD's. First Experimental Results. |
EDAC-ETC-EUROASIC |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Yegnashankar Parasuram, Edward P. Stabler, Shiu-Kai Chin |
Parallel implementation of BDD Algorithms using a Distributed Shared Memory. |
HICSS (1) |
1994 |
DBLP BibTeX RDF |
|
17 | Adnan Aziz, Serdar Tasiran, Robert K. Brayton |
BDD Variable Ordering for Interacting Finite State Machines. |
DAC |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan 0001, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
HSIS: A BDD-Based Environment for Formal Verification. |
DAC |
1994 |
DBLP DOI BibTeX RDF |
VHDL |
17 | Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová |
Boolean Manipulation with Free BDD's - First Experimental Results |
Universität Trier, Mathematik/Informatik, Forschungsbericht |
1993 |
RDF |
|
17 | Ramin Hojati, Robert K. Brayton, Robert P. Kurshan |
BDD-Based Debugging Of Design Using Language Containment and Fair CTL. |
CAV |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Rolf Krieger, Bernd Becker 0001, R. Sinkovic |
A BDD - based Algorithm for Computation of Exact Fault Detection Probabilities. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Eric Felt, Gary York, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Dynamic variable reordering for BDD minimization. |
EURO-DAC |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Yasushi Koseko, Takuji Ogihara, Shinichi Murai |
Tri-state bus conflict checking method for ATPG using BDD. |
ICCAD |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Jeffrey J. Joyce, Carl-Johan H. Seger |
Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving. |
DAC |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula |
BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis. |
DAC |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Alan J. Hu, David L. Dill |
Reducing BDD Size by Exploiting Functional Dependencies. |
DAC |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Timothy Kam, P. A. Subrahmanyam |
State machine abstraction from circuit layouts using BDD's: applications in verification and synthesis. |
EURO-DAC |
1992 |
DBLP DOI BibTeX RDF |
|
17 | William K. C. Lam, Robert K. Brayton |
On Relationship Between ITE and BDD. |
ICCD |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi |
Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. |
ICCAD |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Noriyuki Takahashi, Nagisa Ishiura, Shuzo Yajima |
Fault Simulation for Multiple Faults Using Shared BDD Representation of Fault Sets. |
ICCAD |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Karl S. Brace, Richard L. Rudell, Randal E. Bryant |
Efficient Implementation of a BDD Package. |
DAC |
1990 |
DBLP DOI BibTeX RDF |
|
9 | Hongxin Hu, Gail-Joon Ahn, Ketan Kulkarni |
Anomaly discovery and resolution in web access control policies. |
SACMAT |
2011 |
DBLP DOI BibTeX RDF |
|
9 | Graham D. Price, Manish Vachharajani |
Large program trace analysis and compression with ZDDs. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
parallel programming, trace compression |
9 | Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz |
Analyzing k-step induction to compute invariants for SAT-based property checking. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
k-step induction, symbolic traversal, invariants, IPC |
9 | Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang |
Improved Bounded Model Checking for the Universal Fragment of CTL. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
model checking algorithm, ACTL, SAT, software verification, bounded model checking |
9 | Wanwei Liu, Ji Wang 0001, Huowang Chen, Xiaodong Ma, Zhaofei Wang |
Symbolic model checking APSL. |
Frontiers Comput. Sci. China |
2009 |
DBLP DOI BibTeX RDF |
tableau approach, extended NuSMV, symbolic model checking, property specification language |
9 | Daniel Brolund |
Documentation by Example. |
XP |
2009 |
DBLP DOI BibTeX RDF |
behavior-driven development, Bumblebee, Java, documentation, test-driven development, JUnit, example, snippet |
9 | Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska |
Computational Social Choice Using Relation Algebra and RelView. |
RelMiCS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Warren A. Hunt Jr., Sol Swords |
Centaur Technology Media Unit Verification. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
Graded-CTL: Satisfiability and Symbolic Model Checking. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Vinay Saripalli, Vijaykrishnan Narayanan, Suman Datta |
Ultra Low Energy Binary Decision Diagram Circuits Using Few Electron Transistors. |
NanoNet |
2009 |
DBLP DOI BibTeX RDF |
low-energy circuits, single electron transistors, binary decision diagram logic circuits |
9 | Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato |
Analyzing recursive programs using a fixed-point calculus. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
recursive systems, model-checking, abstraction, logic, software verification, mu-calculus |
9 | Jérôme Leroux, Gérald Point |
TaPAS: The Talence Presburger Arithmetic Suite. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Keisuke Inoue, Mineo Kaneko, Tsuyoshi Iwagaki |
Safe clocking for the setup and hold timing constraints in datapath synthesis. |
ACM Great Lakes Symposium on VLSI |
2009 |
DBLP DOI BibTeX RDF |
ordered clocking, register assignment, datapath synthesis |
9 | Yakir Vizel, Orna Grumberg |
Interpolation-sequence based model checking. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Sagar Chaki, Arie Gurfinkel, Ofer Strichman |
Decision diagrams for linear arithmetic. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Wei Chen 0018, Wenhui Zhang |
Bounded Model Checking of ACTL Formulae. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Shih-Chieh Wu, Chun-Yao Wang, Yung-Chih Chen |
Novel Probabilistic Combinational Equivalence Checking. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Rudolf Berghammer |
Applying relation algebra and Rel View to solve problems on orders and lattices. |
Acta Informatica |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Anubhav Gupta 0001, Kenneth L. McMillan, Zhaohui Fu |
Automated assumption generation for compositional verification. |
Formal Methods Syst. Des. |
2008 |
DBLP DOI BibTeX RDF |
L*, Model checking, Formal verification, Decision tree, SAT, Compositional verification, Assume-guarantee |
9 | Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown |
Scalable Synthesis and Clustering Techniques Using Decision Diagrams. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya |
Efficient guided symbolic reachability using reachability expressions. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Jörn Ossowski, Christel Baier |
A uniform framework for weighted decision diagrams and its implementation. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Nenad Miladinovic, Marc P. C. Fossorier |
Generalized LDPC codes and generalized stopping sets. |
IEEE Trans. Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Graham D. Price, John Giacomoni, Manish Vachharajani |
Visualizing potential parallelism in sequential programs. |
PACT |
2008 |
DBLP DOI BibTeX RDF |
thread extraction, visualization, parallel programming |