CS Structure

About CS Structure | Search | Help  

 

  • distributed system; shared memory; operating system; real-time system ( Subthemes )
  •          model checking; petri nets; hybrid system; timed automata ( Subthemes )
  •                  decision diagram; model checking; binary decision; symbolic model ( Subthemes )
  •                          decision diagram; binary decision; bdd minimization; branching program ( Subthemes )
  • GRAPH-BASED ALGORITHMS FOR BOOLEAN FUNCTION MANIPULATION  
    By Randal E. Bryant
    Date  June 2000
    Refs | Theme tree | Cited by 1404 CiteSeer

    Citation List: key=311874
     

    Citation List:

    Citation Tree

    1) SYMBOLIC MODEL CHECKING: 10 20 STATES AND BEYOND  
    By D. L. Dill    E. M. Clarke    J. R. Burch    K. L. Mcmillan    L. J. Hwang
    Date  March 1996
    Refs | Theme tree | Cited by 642 |  CiteSeer   (Hub and Authority Citation)

    2) ALGEBRAIC DECISION DIAGRAMS AND THEIR APPLICATIONS  
    By A. Frohm    Abelardo Pardo    Bahar Erica    Charles M. Gaona    Enrico Macii    Fabio Somenzi    Gary D. Hachtel    R. Iris
    Date  August 1996
    Refs | Theme tree | Cited by 113 |  CiteSeer   (Authority Citation)

    3) SYMBOLIC MODEL CHECKING FOR SEQUENTIAL CIRCUIT VERIFICATION  
    By D. E. Long    D. L. Dill    E. M. Clarke    J. R. Burch    K. L. Mcmillan
    Date  December 1993
    Refs | Theme tree | Cited by 139 |  CiteSeer   (Authority Citation)

    4) MODEL CHECKING AND ABSTRACTION  
    By David E. Long    Edmund M. Clarke
    Date  December 1995
    Refs | Theme tree | Cited by 181 |  CiteSeer   (Authority Citation)

    5) VERIFICATION OF ARITHMETIC FUNCTIONS WITH BINARY MOMENT DIAGRAMS  
    By Randal E. Bryant    Yirng-an Chen
    Date  June 1994
    Refs | Theme tree | Cited by 74 |  CiteSeer   (Authority Citation)

    6) SYMBOLIC MODEL CHECKING WITH PARTITIONED TRANSITION RELATIONS  
    By D. E. Long    E. M. Clarke    J. R. Burch
    Date  July 1992
    Refs | Theme tree | Cited by 57 |  CiteSeer   (Authority Citation)

    7) CUDD: CU DECISION DIAGRAM PACKAGE RELEASE 2.2.0  
    By Fabio Somenzi
    Date  May 1998
    Refs | Theme tree | Cited by 55 |  CiteSeer   (Authority Citation)

    8) SYMBOLIC MODEL CHECKING FOR REAL-TIME SYSTEMS  
    By Joseph Sifakis    Miniparc-zirst Rue Lavoisier    Sergio Yovine    Thomas A. Henzinger    Xavier Nicollin
    Date  July 1996
    Refs | Theme tree | Cited by 329 |  CiteSeer  

    9) SYMBOLIC MODEL CHECKING WITHOUT BDDS  
    By Alessandro Cimatti    Armin Biere    Edmund Clarke    Yunshan Zhu
    Date  January 1999
    Refs | Theme tree | Cited by 113 |  CiteSeer   (Authority Citation)

    10) VERIFICATION OF ARITHMETIC CIRCUITS WITH BINARY MOMENT DIAGRAMS  
    By Al E. Bryant    Yirng-an Chen
    Date  January 1997
    Refs | Theme tree | Cited by 47 |  CiteSeer   (Authority Citation)

    11) HEURISTIC MINIMIZATION OF BDDS USING DON'T CARES  
    By Alberto L. Sangiovanni-vincentelli    Ramin Hojati    Robert K. Brayton    Thomas R. Shiple
    Date  April 1994
    Refs | Theme tree | Cited by 41 |  CiteSeer   (Authority Citation)

    12) PETRI NET ANALYSIS USING BOOLEAN MANIPULATION  
    By Enric Pastor    Jordi Cortadella    Oriol Roig    Rosa M. Badia
    Date  June 1994
    Refs | Theme tree | Cited by 59 |  CiteSeer  

    13) BINARY DECISION DIAGRAMS AND BEYOND: ENABLING TECHNOLOGIES FOR FORMAL VERIFICATION  
    By Randal E. Bryant
    Date  January 1997
    Refs | Theme tree | Cited by 34 |  CiteSeer   (Authority Citation)

    14) EFFICIENT MODEL CHECKING BY AUTOMATED ORDERING OF TRANSITION RELATION PARTITIONS  
    By Daniel Geist    Ilan Beer
    Date  November 1999
    Refs | Theme tree | Cited by 36 |  CiteSeer   (Authority Citation)

    15) SIMULATED ANNEALING TO IMPROVE VARIABLE ORDERINGS FOR OBDDS  
    By And Ingo Wegener    Beate Bollig    Martin Lobbing
    Date  June 1995
    Refs | Theme tree | Cited by 26 |  CiteSeer   (Authority Citation)

    16) SYMBOLIC MODEL CHECKING USING SAT PROCEDURES INSTEAD OF BDDS  
    By A. Biere    A. Cimatti    E. M. Clarke    M. Fujita    Y. Zhu
    Date  September 1999
    Refs | Theme tree | Cited by 53 |  CiteSeer   (Authority Citation)

    17) MONA: MONADIC SECOND-ORDER LOGIC IN PRACTICE  
    By Anders B. Sandholm    Jesper G. Henriksen    Michael E. Jrgensen    Nils Klarlund    Ole J. L. Jensen    Robert Paige    Theis Rauhe
    Date  April 1995
    Refs | Theme tree | Cited by 75 |  CiteSeer  

    18) A PERFORMANCE STUDY OF BDD-BASED MODEL CHECKING  
    By Al E. Bryant    Armin Biere    Bwolen Yang    David R. O'hallaron    Fabio Somenzi    Geert Janssen    Olivier Coudert    Rajeev K. Ranjan
    Date  December 1998
    Refs | Theme tree | Cited by 25 |  CiteSeer   (Authority Citation)

    19) ANOTHER LOOK AT LTL MODEL CHECKING  
    By E. Clarke    K. Hamaguchi    O. Grumberg
    Date  March 1994
    Refs | Theme tree | Cited by 61 |  CiteSeer  

    20) VERIFICATION TOOLS FOR FINITE-STATE CONCURRENT SYSTEMS  
    By D. Long    E. Clarke    O. Grumberg
    Date  October 1993
    Refs | Theme tree | Cited by 85 |  CiteSeer  

    21) BOOLEAN EXPRESSION DIAGRAMS  
    By Henrik Hulgaard    Henrik Reif Andersen
    Date  June 1998
    Refs | Theme tree | Cited by 20 |  CiteSeer   (Authority Citation)

    22) REDUCING BDD SIZE BY EXPLOITING FUNCTIONAL DEPENDENCIES  
    By Alan J. Hu    David L. Dill
    Date  March 1997
    Refs | Theme tree | Cited by 26 |  CiteSeer   (Authority Citation)

    23) FORMAL METHODS: STATE OF THE ART AND FUTURE DIRECTIONS  
    By Edmund M. Clarke    Jeannette M. Wing
    Date  November 1996
    Refs | Theme tree | Cited by 176 |  CiteSeer  

    24) AUTOMATIC OBDD-BASED GENERATION OF UNIVERSAL PLANS IN NON-DETERMINISTIC . . .  
    By A. Cimatti    M. Roveri    P. Traverso
    Date  May 1998
    Refs | Theme tree | Cited by 39 |  CiteSeer   (Authority Citation)

    25) FAST OFDD BASED MINIMIZATION OF FIXED POLARITY REED-MULLER EXPRESSIONS  
    By Bernd Becker    Michael Theobald    Rolf Drechsler
    Date  April 1995
    Refs | Theme tree | Cited by 22 |  CiteSeer   (Authority Citation)

  • Next 25 articles...