dblp.uni-trier.dewww.uni-trier.de

Fabio Somenzi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Mohammad Awedh [109] [111] [112] [121] [127]
2Adnan Aziz [50] [51]
3R. Iris Bahar [23] [33] [34] [38] [40] [42] [47] [54] [57]
4Brian Bailey [98]
5Daniel K. Beece [98]
6Luca Benini [67]
7Armin Biere [66]
8Roderick Bloem [76] [80] [81] [84] [86] [89] [92] [93] [119] [120] [129]
9Robert K. Brayton [50] [51] [63] [74]
10Melvin A. Breuer [78]
11Randal E. Bryant [66]
12M. Burns [47]
13Gianpiero Cabodi [83]
14Szu-Tsung Cheng [50] [51]
15Hyunwoo Cho [8] [11] [12] [20] [21] [25] [30] [34] [36] [45] [46] [54]
16Olivier Coudert [66]
17Rolf Drechsler [88]
18Stephen A. Edwards [50] [51]
19Michele Favalli [10]
20Peter Feldmann [38]
21Fabrizio Ferrandi [65]
22Erica A. Frohm [23] [57]
23Masahiro Fujita [98]
24Harold N. Gabow [80] [120]
25Silvano Gai [1] [2] [3] [4] [5] [6]
26Charles M. Gaona [23] [57]
27Dirk Grunwald [61]
28Wolfgang Günther [88]
29Rajesh K. Gupta (Rajesh Gupta) [98]
30Sankar Gurumurthy [93] [100]
31Gary D. Hachtel [8] [11] [12] [13] [14] [15] [21] [22] [23] [25] [28] [29] [30] [31] [33] [34] [35] [36] [37] [38] [42] [44] [45] [46] [47] [48] [49] [50] [51] [54] [56] [57] [64] [79] [89] [96] [97] [107] [110] [118] [119]
32HyoJung Han [115] [130] [134]
33Hiroyuki Higuchi [72]
34Warren A. Hunt Jr. [102]
35Reily M. Jacoby [28]
36Jae-Young Jang [48] [64]
37Geert Janssen [66]
38Nikhil Jayakumar [99]
39Seh-Woong Jeong [8] [14] [17] [20]
40Seon-Woong Jeong [13]
41HoonSang Jin [90] [91] [96] [103] [105] [106] [110] [112] [114] [115] [116] [118] [125] [128] [133] [135]
42Sunil P. Khatri [50] [51]
43Hyondeuk Kim [124] [128] [133] [135]
44Andreas Kuehlmann [91]
45Yuji Kukimoto [50] [51]
46James H. Kukula [73] [85]
47Balakrishna Kumthekar [58] [67] [82]
48Orna Kupferman [100]
49Robert P. Kurshan [133]
50Woohyuk Lee [48]
51Bing Li [95] [96] [108] [113] [118] [122]
52Bill Lin [7]
53Alberto Macii [65]
54Enrico Macii [18] [23] [25] [30] [33] [34] [35] [36] [37] [42] [44] [45] [46] [47] [53] [54] [57] [59] [62] [65] [67]
55Srilatha Manne [38] [42] [61]
56Kenneth L. McMillan [68]
57Christoph Meinel [43] [52] [60] [69] [77]
58Marco Mezzalama [1] [2]
59Shin-ichi Minato [55]
60Pier Luca Montessoro [5] [6]
61In-Ho Moon [58] [64] [73] [79] [85]
62Kuntal Nanshi [126] [132] [136]
63David R. O'Hallaron [66]
64John O'Leary [98]
65Piero Olivo [10]
66Shipra Panda [32] [39]
67Abelardo Pardo [23] [31] [35] [37] [38] [42] [44] [48] [49] [50] [51] [57]
68Massoud Pedram [59] [62]
69John Pierce [133]
70M. Pipponzi [9]
71Carl Pixley [20] [24] [64] [98]
72Bernard Plessier [8] [13] [14] [18] [25] [29] [32] [45] [53]
73Massimo Poncino [30] [31] [36] [42] [46] [65]
74Paolo Prinetto [1] [2]
75Mitra Purandare [94] [99]
76Shaz Qadeer [50] [51]
77Stefano Quer [83]
78Rajeev K. Ranjan [50] [51] [63] [66] [74]
79Kavita Ravi [41] [49] [68] [71] [75] [76] [81] [84] [85] [89] [90] [92] [103] [104] [119] [131] [133]
80Shishpal Rawat [98]
81June-Kyung Rho [15] [16] [19] [24] [26] [27] [28]
82Mariano Hermida de la Rica [31]
83Bruno Riccò [10]
84Marco Roveri [129]
85Alberto L. Sangiovanni-Vincentelli [50] [51]
86Majid Sarrafzadeh [78]
87Shaker Sarwary [50] [51]
88Riccardo Scarsi [65]
89Eric M. Schwarz [8]
90H. Shin [47]
91Thomas R. Shiple [50] [51] [68] [73]
92Sandeep K. Shukla [98]
93Vigyan Singhal [63] [74]
94Saqib Sohail [131]
95Petr Spacek [133]
96M. Spalla [4]
97Gitanjali Swamy [50] [51]
98Thorsten Theobald [43] [52] [60] [69] [77]
99Ernst Ulrich [3]
100Moshe Y. Vardi [100]
101Tiziano Villa [50] [51]
102Chao Wang [89] [95] [96] [97] [107] [110] [113] [118] [119]
103David Ward [117] [123]
104Bwolen Yang [66]
105Jun Yuan [64]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)