The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fabio Somenzi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christoph Meinel, Fabio Somenzi, Thorsten Theobald
    Function Decomposition and Synthesis Using Linear Sifting. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 1998, pp:81-86 [Conf]
  2. Roderick Bloem, Kavita Ravi, Fabio Somenzi
    Efficient Decision Procedures for Model Checking of Linear Time Logic Properties. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:222-235 [Conf]
  3. Mohammad Awedh, Fabio Somenzi
    Proving More Properties with Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:96-108 [Conf]
  4. Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
    VIS: A System for Verification and Synthesis. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:428-432 [Conf]
  5. Sankar Gurumurthy, Roderick Bloem, Fabio Somenzi
    Fair Simulation Minimization. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:610-624 [Conf]
  6. HoonSang Jin, Mohammad Awedh, Fabio Somenzi
    CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:519-522 [Conf]
  7. Mitra Purandare, Fabio Somenzi
    Vacuum Cleaning CTL Formulae. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:485-499 [Conf]
  8. June-Kyung Rho, Fabio Somenzi
    Automatic Generation of Network Invariants for the Verification of Iterative Sequential Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:123-137 [Conf]
  9. Fabio Somenzi, Roderick Bloem
    Efficient Büchi Automata from LTL Formulae. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:248-263 [Conf]
  10. Sankar Gurumurthy, Orna Kupferman, Fabio Somenzi, Moshe Y. Vardi
    On Complementing Nondeterministic Büchi Automata. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:96-110 [Conf]
  11. Kavita Ravi, Fabio Somenzi
    Hints to accelerate Symbolic Traversal. [Citation Graph (0, 0)][DBLP]
    CHARME, 1999, pp:250-264 [Conf]
  12. Fabio Somenzi
    The Charme of Abstract Entities. [Citation Graph (0, 0)][DBLP]
    CHARME, 2003, pp:2- [Conf]
  13. David Ward, Fabio Somenzi
    Automatic Generation of Hints for Symbolic Traversal. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:207-221 [Conf]
  14. Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
    Divide and Compose: SCC Refinement for Language Emptiness. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:456-471 [Conf]
  15. Mohammad Awedh, Fabio Somenzi
    Automatic invariant strengthening to prove properties in bounded model checking. [Citation Graph (0, 0)][DBLP]
    DAC, 2006, pp:1073-1076 [Conf]
  16. Roderick Bloem, Kavita Ravi, Fabio Somenzi
    Symbolic guided search for CTL model checking. [Citation Graph (0, 0)][DBLP]
    DAC, 2000, pp:29-34 [Conf]
  17. Gianpiero Cabodi, Stefano Quer, Fabio Somenzi
    Optimizing sequential verification by retiming transformations. [Citation Graph (0, 0)][DBLP]
    DAC, 2000, pp:601-606 [Conf]
  18. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi
    Algorithms for Approximate FSM Traversal. [Citation Graph (0, 0)][DBLP]
    DAC, 1993, pp:25-30 [Conf]
  19. Silvano Gai, Pier Luca Montessoro, Fabio Somenzi
    The Performance of the Concurrent Fault Simulation Algorithms in MOZART. [Citation Graph (0, 0)][DBLP]
    DAC, 1988, pp:692-697 [Conf]
  20. Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi
    Formal verification - prove it or pitch it. [Citation Graph (0, 0)][DBLP]
    DAC, 2003, pp:710-711 [Conf]
  21. Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
    Probabilistic Analysis of Large Finite State Machines. [Citation Graph (0, 0)][DBLP]
    DAC, 1994, pp:270-275 [Conf]
  22. Nikhil Jayakumar, Mitra Purandare, Fabio Somenzi
    Dos and don'ts of CTL state coverage estimation. [Citation Graph (0, 0)][DBLP]
    DAC, 2003, pp:292-295 [Conf]
  23. HoonSang Jin, Fabio Somenzi
    Prime clauses for fast enumeration of satisfying assignments to boolean circuits. [Citation Graph (0, 0)][DBLP]
    DAC, 2005, pp:750-753 [Conf]
  24. Balakrishna Kumthekar, Luca Benini, Enrico Macii, Fabio Somenzi
    In-Place Power Optimization for LUT-Based FPGAs. [Citation Graph (0, 0)][DBLP]
    DAC, 1998, pp:718-721 [Conf]
  25. Enrico Macii, Massoud Pedram, Fabio Somenzi
    High-Level Power Modeling, Estimation, and Optimization. [Citation Graph (0, 0)][DBLP]
    DAC, 1997, pp:504-511 [Conf]
  26. Srilatha Manne, Dirk Grunwald, Fabio Somenzi
    Remembrance of Things Past: Locality and Memory in BDDs. [Citation Graph (0, 0)][DBLP]
    DAC, 1997, pp:196-201 [Conf]
  27. Srilatha Manne, Abelardo Pardo, R. Iris Bahar, Gary D. Hachtel, Fabio Somenzi, Enrico Macii, Massimo Poncino
    Computing the Maximum Power Cycles of a Sequential Circuit. [Citation Graph (0, 0)][DBLP]
    DAC, 1995, pp:23-28 [Conf]
  28. Christoph Meinel, Fabio Somenzi, Thorsten Theobald
    Linear Sifting of Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    DAC, 1997, pp:202-207 [Conf]
  29. In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi
    To split or to conjoin: the question in image computation. [Citation Graph (0, 0)][DBLP]
    DAC, 2000, pp:23-28 [Conf]
  30. Kuntal Nanshi, Fabio Somenzi
    Guiding simulation with increasingly refined abstract traces. [Citation Graph (0, 0)][DBLP]
    DAC, 2006, pp:737-742 [Conf]
  31. June-Kyung Rho, Fabio Somenzi
    Inductive Verification of Iterative Systems. [Citation Graph (0, 0)][DBLP]
    DAC, 1992, pp:628-633 [Conf]
  32. June-Kyung Rho, Fabio Somenzi, Carl Pixley
    Minimum Length Synchronizing Sequences of Finite State Machine. [Citation Graph (0, 0)][DBLP]
    DAC, 1993, pp:463-468 [Conf]
  33. Kavita Ravi, Kenneth L. McMillan, Thomas R. Shiple, Fabio Somenzi
    Approximation and Decomposition of Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    DAC, 1998, pp:445-450 [Conf]
  34. Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
    Refining the SAT decision ordering for bounded model checking. [Citation Graph (0, 0)][DBLP]
    DAC, 2004, pp:535-538 [Conf]
  35. HoonSang Jin, Fabio Somenzi
    Strong conflict analysis for propositional satisfiability. [Citation Graph (0, 0)][DBLP]
    DATE, 2006, pp:818-823 [Conf]
  36. Balakrishna Kumthekar, Fabio Somenzi
    Power and Delay Reduction via Simultaneous Logic and Placement Optimization in FPGAs. [Citation Graph (0, 0)][DBLP]
    DATE, 2000, pp:202-207 [Conf]
  37. Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton
    Using Combinational Verification for Sequential Circuits. [Citation Graph (0, 0)][DBLP]
    DATE, 1999, pp:138-144 [Conf]
  38. R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi
    Timing Analysis of Combinational Circuits using ADD's. [Citation Graph (0, 0)][DBLP]
    EDAC-ETC-EUROASIC, 1994, pp:625-629 [Conf]
  39. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi
    A State Space Decomposition Algorithm for Approximate FSM Traversal. [Citation Graph (0, 0)][DBLP]
    EDAC-ETC-EUROASIC, 1994, pp:137-141 [Conf]
  40. Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
    Symbolic Algorithms to Calculate Steady-State Probabilities of a Finite State Machine. [Citation Graph (0, 0)][DBLP]
    EDAC-ETC-EUROASIC, 1994, pp:214-218 [Conf]
  41. Fabio Somenzi, Kavita Ravi, Roderick Bloem
    Analysis of Symbolic SCC Hull Algorithms. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2002, pp:88-105 [Conf]
  42. Mohammad Awedh, Fabio Somenzi
    Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:230-244 [Conf]
  43. Roderick Bloem, Harold N. Gabow, Fabio Somenzi
    An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:37-54 [Conf]
  44. Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa
    VIS. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:248-256 [Conf]
  45. In-Ho Moon, Gary D. Hachtel, Fabio Somenzi
    Border-Block Triangular Form and Conjunction Schedule in Image Computation. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:73-90 [Conf]
  46. Kavita Ravi, Roderick Bloem, Fabio Somenzi
    A Comparative Study of Symbolic Algorithms for the Computation of Fair Cycles. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2000, pp:143-160 [Conf]
  47. Kavita Ravi, Abelardo Pardo, Gary D. Hachtel, Fabio Somenzi
    Modular Verification of Multipliers. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:49-63 [Conf]
  48. Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi
    A Performance Study of BDD-Based Model Checking. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1998, pp:255-289 [Conf]
  49. Hyondeuk Kim, Fabio Somenzi
    Finite Instantiations for Integer Difference Logic. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:31-38 [Conf]
  50. R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
    Algebraic decision diagrams and their applications. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1993, pp:188-191 [Conf]
  51. R. Iris Bahar, Gary D. Hachtel, Enrico Macii, Fabio Somenzi
    A symbolic method to reduce power consumption of circuits containing false paths. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1994, pp:368-371 [Conf]
  52. R. Iris Bahar, Fabio Somenzi
    Boolean techniques for low power driven re-synthesis. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1995, pp:428-432 [Conf]
  53. Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi
    ATPG Aspects of FSM Verification. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1990, pp:134-137 [Conf]
  54. Fabrizio Ferrandi, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi, Fabio Somenzi
    Symbolic algorithms for layout-oriented synthesis of pass transistor logic circuits. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1998, pp:235-241 [Conf]
  55. Gary D. Hachtel, Mariano Hermida de la Rica, Abelardo Pardo, Massimo Poncino, Fabio Somenzi
    Re-encoding sequential circuits to reduce power dissipation. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1994, pp:70-73 [Conf]
  56. Gary D. Hachtel, Fabio Somenzi
    A symbolic algorithm for maximum flow in 0-1 networks. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1993, pp:403-406 [Conf]
  57. Hiroyuki Higuchi, Fabio Somenzi
    Lazy group sifting for efficient symbolic state traversal of FSMs. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1999, pp:45-49 [Conf]
  58. Seh-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi
    Extended BDD's: Trading off Canonicity for Structure in Verification Algorithms. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1991, pp:464-467 [Conf]
  59. Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi
    Variable Ordering and Selection for FSM Traversal. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1991, pp:476-479 [Conf]
  60. Seh-Woong Jeong, Fabio Somenzi
    A new algorithm for the binate covering problem and its application to the minimization of Boolean relations. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1992, pp:417-420 [Conf]
  61. Bing Li, Fabio Somenzi
    Efficient computation of small abstraction refinements. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2004, pp:518-525 [Conf]
  62. Bill Lin, Fabio Somenzi
    Minimization of Symbolic Relations. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1990, pp:88-91 [Conf]
  63. Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi
    Tearing based automatic abstraction for CTL model checking. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1996, pp:76-81 [Conf]
  64. Enrico Macii, Bernard Plessier, Fabio Somenzi
    Verification of systems containing counters. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1992, pp:179-182 [Conf]
  65. In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley
    Approximate reachability don't cares for CTL model checking. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1998, pp:351-358 [Conf]
  66. In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi
    Least fixpoint approximations for reachability analysis. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1999, pp:41-44 [Conf]
  67. Shipra Panda, Fabio Somenzi
    Who are the variables in your neighborhood. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1995, pp:74-77 [Conf]
  68. Shipra Panda, Fabio Somenzi, Bernard Plessier
    Symmetry detection and dynamic variable ordering of decision diagrams. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1994, pp:628-631 [Conf]
  69. Rajeev K. Ranjan, Vigyan Singhal, Fabio Somenzi, Robert K. Brayton
    On the optimization power of retiming and resynthesis transformations. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1998, pp:402-407 [Conf]
  70. Kavita Ravi, Fabio Somenzi
    High-density reachability analysis. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1995, pp:154-158 [Conf]
  71. June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi
    Don't Care Sequences and the Optimization of Interacting Finite State Machines. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1991, pp:418-421 [Conf]
  72. Chao Wang, Gary D. Hachtel, Fabio Somenzi
    The Compositional Far Side of Image Computation. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2003, pp:334-341 [Conf]
  73. Chao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
    Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2003, pp:408-415 [Conf]
  74. David Ward, Fabio Somenzi
    Decomposing image computation for symbolic reachability analysis using control flow information. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2006, pp:779-785 [Conf]
  75. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi
    A Structural Approach to State Space Decomposition for Approximate Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    ICCD, 1994, pp:236-239 [Conf]
  76. Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi
    Redundancy Identification and Removal Based on Implicit State Enumeration. [Citation Graph (0, 0)][DBLP]
    ICCD, 1991, pp:77-80 [Conf]
  77. Kavita Ravi, Fabio Somenzi
    Efficient Fixpoint Computation for Invariant Checking. [Citation Graph (0, 0)][DBLP]
    ICCD, 1999, pp:467-0 [Conf]
  78. June-Kyung Rho, Fabio Somenzi
    The Role of Prime Compatibles in the Minimization of Finite State Machines. [Citation Graph (0, 0)][DBLP]
    ICCD, 1992, pp:324-327 [Conf]
  79. Chao Wang, Gary D. Hachtel, Fabio Somenzi
    Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. [Citation Graph (0, 0)][DBLP]
    ICCD, 2004, pp:112-118 [Conf]
  80. R. Iris Bahar, M. Burns, Gary D. Hachtel, Enrico Macii, H. Shin, Fabio Somenzi
    Symbolic computation of logic implications for technology-dependent low-power synthesis. [Citation Graph (0, 0)][DBLP]
    ISLPED, 1996, pp:163-168 [Conf]
  81. Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi
    A symbolic algorithm for low-power sequential synthesis. [Citation Graph (0, 0)][DBLP]
    ISLPED, 1997, pp:56-61 [Conf]
  82. Abelardo Pardo, R. Iris Bahar, Srilatha Manne, Peter Feldmann, Gary D. Hachtel, Fabio Somenzi
    CMOS dynamic power estimation based on collapsible current source transistor modeling. [Citation Graph (0, 0)][DBLP]
    ISLPD, 1995, pp:111-116 [Conf]
  83. Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi
    Fast Sequential ATPG Based on Implicit State Enumeration. [Citation Graph (0, 0)][DBLP]
    ITC, 1991, pp:67-74 [Conf]
  84. HoonSang Jin, Fabio Somenzi
    CirCUs: A Hybrid Satisfiability Solver. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  85. HoonSang Jin, Fabio Somenzi
    CirCUs: A Hybrid Satisfiability Solver. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:211-223 [Conf]
  86. Bing Li, Fabio Somenzi
    Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:227-241 [Conf]
  87. HoonSang Jin, HyoJung Han, Fabio Somenzi
    Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:287-300 [Conf]
  88. HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi
    Fine-Grain Conjunction Scheduling for Symbolic Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:312-326 [Conf]
  89. HoonSang Jin, Kavita Ravi, Fabio Somenzi
    Fate and Free Will in Error Traces. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:445-459 [Conf]
  90. Kavita Ravi, Fabio Somenzi
    Minimal Assignments for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:31-45 [Conf]
  91. Mohammad Awedh, Fabio Somenzi
    Termination Criteria for Bounded Model Checking: Extensions and Comparison. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:51-66 [Journal]
  92. HoonSang Jin, Fabio Somenzi
    An Incremental Algorithm to Check Satisfiability for Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:51-65 [Journal]
  93. Bing Li, Chao Wang, Fabio Somenzi
    A satisfiability-based approach to abstraction refinement in model checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:4, pp:- [Journal]
  94. Fabio Somenzi
    Symbolic State Exploration. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal]
  95. Roderick Bloem, Marco Roveri, Fabio Somenzi
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:1- [Journal]
  96. R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
    Algebraic Decision Diagrams and Their Applications. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1997, v:10, n:2/3, pp:171-206 [Journal]
  97. Gary D. Hachtel, Fabio Somenzi
    A Symbolic Algorithms for Maximum Flow in 0-1 Networks. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1997, v:10, n:2/3, pp:207-219 [Journal]
  98. Bernard Plessier, Gary D. Hachtel, Fabio Somenzi
    Extended BDDs: Trading off Canonicity for Structure in Verification Algorithms. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1994, v:4, n:2, pp:167-185 [Journal]
  99. Shin-ichi Minato, Fabio Somenzi
    Arithmetic Boolean Expression Manipulator Using BDDs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1997, v:10, n:2/3, pp:221-242 [Journal]
  100. Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
    Compositional SCC Analysis for Language Emptiness. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:28, n:1, pp:5-36 [Journal]
  101. Roderick Bloem, Harold N. Gabow, Fabio Somenzi
    An Algorithm for Strongly Connected Component Analysis in n log n Symbolic Steps. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:28, n:1, pp:37-56 [Journal]
  102. HoonSang Jin, Kavita Ravi, Fabio Somenzi
    Fate and free will in error traces. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:102-116 [Journal]
  103. Bing Li, Chao Wang, Fabio Somenzi
    Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:143-155 [Journal]
  104. Fabio Somenzi
    Efficient manipulation of decision diagrams. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:2, pp:171-181 [Journal]
  105. Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto
    Testing Strategy and Technique for Macro-Based Circuits. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1985, v:34, n:1, pp:85-90 [Journal]
  106. R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi
    Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1997, v:16, n:10, pp:1101-1115 [Journal]
  107. Melvin A. Breuer, Majid Sarrafzadeh, Fabio Somenzi
    Fundamental CAD algorithms. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2000, v:19, n:12, pp:1449-1475 [Journal]
  108. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi
    Automatic state space decomposition for approximate FSM traversal based on circuit analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1996, v:15, n:12, pp:1451-1464 [Journal]
  109. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi
    Algorithms for approximate FSM traversal based on state space decomposition. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1996, v:15, n:12, pp:1465-1478 [Journal]
  110. Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi
    Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1993, v:12, n:7, pp:935-945 [Journal]
  111. Rolf Drechsler, Wolfgang Günther, Fabio Somenzi
    Using lower bounds during dynamic BDD minimization. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2001, v:20, n:1, pp:51-57 [Journal]
  112. Silvano Gai, Pier Luca Montessoro, Fabio Somenzi
    MOZART: a concurrent multilevel simulator. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1988, v:7, n:9, pp:1005-1016 [Journal]
  113. Silvano Gai, Fabio Somenzi, M. Spalla
    Fast and Coherent Simulation with Zero Delay Elements. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1987, v:6, n:1, pp:85-93 [Journal]
  114. Silvano Gai, Fabio Somenzi, Ernst Ulrich
    Advances in Concurrent Multilevel Simulation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1987, v:6, n:6, pp:1006-1012 [Journal]
  115. Gary D. Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi
    Markovian analysis of large finite state machines. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1996, v:15, n:12, pp:1479-1493 [Journal]
  116. Enrico Macii, Bernard Plessier, Fabio Somenzi
    Formal verification of digital systems by automatic reduction of data paths. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1997, v:16, n:10, pp:1136-1156 [Journal]
  117. Enrico Macii, Massoud Pedram, Fabio Somenzi
    High-level power modeling, estimation, and optimization. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1998, v:17, n:11, pp:1061-1079 [Journal]
  118. Christoph Meinel, Fabio Somenzi, Thorsten Theobald
    Linear sifting of decision diagrams and its application insynthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2000, v:19, n:5, pp:521-533 [Journal]
  119. June-Kyung Rho, Gary D. Hachtel, Fabio Somenzi, Reily M. Jacoby
    Exact and heuristic algorithms for the minimization of incompletely specified state machines. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1994, v:13, n:2, pp:167-177 [Journal]
  120. June-Kyung Rho, Fabio Somenzi
    Don't care sequences and the optimization of interacting finite state machines. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1994, v:13, n:7, pp:865-874 [Journal]
  121. Fabio Somenzi, Silvano Gai, Marco Mezzalama, Paolo Prinetto
    PART: Programmable Array Testing Based on a Partitioning Algorithm. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1984, v:3, n:2, pp:142-149 [Journal]
  122. Chai Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi
    Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2006, v:25, n:11, pp:2297-2316 [Journal]
  123. HyoJung Han, Fabio Somenzi
    Alembic: An Efficient Algorithm for CNF Preprocessing. [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:582-587 [Conf]

  124. Application of Formal Word-Level Analysis to Constrained Random Simulation. [Citation Graph (, )][DBLP]


  125. Constraints in one-to-many concretization for abstraction refinement. [Citation Graph (, )][DBLP]


  126. Improved Visibility in One-to-Many Trace Concretization. [Citation Graph (, )][DBLP]


  127. An iterative algorithm for the binate covering problem. [Citation Graph (, )][DBLP]


  128. Safety first: A two-stage algorithm for LTL games. [Citation Graph (, )][DBLP]


  129. Efficient Term-ITE Conversion for Satisfiability Modulo Theories. [Citation Graph (, )][DBLP]


  130. On-the-Fly Clause Improvement. [Citation Graph (, )][DBLP]


  131. A Hybrid Algorithm for LTL Games. [Citation Graph (, )][DBLP]


Search in 0.191secs, Finished in 0.199secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002