Gianpiero Cabodi

	2011
66		Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Interpolation sequences revisited. DATE 2011: 316-322
65		Gianpiero Cabodi, Sergio Nocco: Optimized model checking of multiple properties. DATE 2011: 543-546
64		Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Benchmarking a model checker for algorithmic improvements and tuning for performance. Formal Methods in System Design 39(2): 205-227 (2011)
	2010
63		Gianpiero Cabodi, Luciano Lavagno, Marco Murciano, Alex Kondratyev, Yosinori Watanabe: Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques. ACM Trans. Design Autom. Electr. Syst. 15(2): (2010)
62		Gianpiero Cabodi, Marco Murciano, Massimo Violante: Boosting software fault injection for dependability analysis of real-time embedded applications. ACM Trans. Embedded Comput. Syst. 10(2): 24 (2010)
61		Gianpiero Cabodi, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer: Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking. IEEE Trans. on CAD of Integrated Circuits and Systems 29(3): 382-395 (2010)
60		Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco: Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT. J. Electronic Testing 26(2): 261-278 (2010)
	2009
59		Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer: Speeding up model checking by exploiting explicit and hidden verification constraints. DATE 2009: 1686-1691
58		Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco: Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits. HLDVT 2009: 46-53
57		Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Strengthening Model Checking Techniques With Inductive Invariants. IEEE Trans. on CAD of Integrated Circuits and Systems 28(1): 154-158 (2009)
	2008
56		Gianpiero Cabodi, Paolo Camurati, Luz Garcia, Marco Murciano, Sergio Nocco, Stefano Quer: Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. FMCAD 2008: 1-8
55		Gianpiero Cabodi, Paolo Camurati, Marco Murciano: Automated abstraction by incremental refinement in interpolant-based model checking. ICCAD 2008: 129-136
54		Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer: Boosting interpolation with dynamic localized abstraction and redundancy removal. ACM Trans. Design Autom. Electr. Syst. 13(1): (2008)
	2007
53		Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Boosting the role of inductive invariants in model checking. DATE 2007: 1319-1324
52		Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi: A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions. EUROCAST 2007: 505-514
	2006
51		Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer: Stepping forward with interpolants in unbounded model checking. ICCAD 2006: 772-778
50		Gianpiero Cabodi, Marco Murciano: BDD-Based Hardware Verification. SFM 2006: 78-107
	2005
49		Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer: Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. DATE 2005: 688-689
48		Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. Electr. Notes Theor. Comput. Sci. 119(2): 33-49 (2005)
47		Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe: A BMC-based formulation for the scheduling problem of hardware systems. STTT 7(2): 102-117 (2005)
46		Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Are BDDs still alive within sequential verification? STTT 7(2): 129-142 (2005)
	2004
45		Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. J. UCS 10(12): 1696-1730 (2004)
	2003
44		Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. DATE 2003: 10898-10905
43		Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe: A BMC-formulation for the scheduling problem in highly constrained hardware Systems. Electr. Notes Theor. Comput. Sci. 89(4): 623-638 (2003)
	2002
42		Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. CAV 2002: 471-484
41		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Can BDDs compete with SAT solvers on bounded model checking? DAC 2002: 117-122
40		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Dynamic Scheduling and Clustering in Symbolic Image Computation. DATE 2002: 150-156
39		Luciano Lavagno, Mihai T. Lazarescu, Stefano Quer, Sergio Nocco, Claudio Passerone, Gianpiero Cabodi: A Symbolic Approach for the Combined Solution of Scheduling and Allocation. ISSS 2002: 237-242
	2001
38		Gianpiero Cabodi: Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions. CAV 2001: 118-130
37		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Biasing symbolic search by means of dynamic activity profiles. DATE 2001: 9-15
36		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Reachability analysis of large circuits using disjunctive partitioning and partial iterative squaring. Journal of Systems Architecture 47(2): 163-179 (2001)
	2000
35		Gianpiero Cabodi, Stefano Quer, Fabio Somenzi: Optimizing sequential verification by retiming transformations. DAC 2000: 601-606
34		Stefano Quer, Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Ellen Sentovich, Robert K. Brayton: Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability Analysis, and Combinational Checks. Formal Methods in System Design 17(2): 107-134 (2000)
33		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Improving symbolic reachability analysis by means of activityprofiles. IEEE Trans. on CAD of Integrated Circuits and Systems 19(9): 1065-1075 (2000)
32		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Symbolic forward/backward traversals of large finite state machines. Journal of Systems Architecture 46(12): 1137-1158 (2000)
	1999
31		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Improving Symbolic Traversals by Means of Activity Profiles. DAC 1999: 306-311
30		Gianpiero Cabodi, Paolo Camurati, Claudio Passerone, Stefano Quer: Computing Timed Transition Relations for Sequential Cycle-Based Simulation. DATE 1999: 8-12
29		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Improving the efficiency of BDD-based operators by means of partitioning. IEEE Trans. on CAD of Integrated Circuits and Systems 18(5): 545-556 (1999)
	1998
28		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Auxiliary variables for BDD-based representation and manipulation of Boolean functions. ACM Trans. Design Autom. Electr. Syst. 3(3): 309-340 (1998)
27		Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: The General Product Machine: a New Model for Symbolic FSM Traversal. Formal Methods in System Design 12(3): 267-289 (1998)
26		Gianpiero Cabodi, Stefano Quer, Paolo Camurati: Memory Optimization in Function and Set Manipulation with BDDs. Softw., Pract. Exper. 28(1): 99-120 (1998)
25		Gianpiero Cabodi, Stefano Quer, Christoph Meinel, Harald Sack, Anna Slobodová, Christian Stangier: Binary Decision Diagrams and the Multiple Variable Order Problem Universität Trier, Mathematik/Informatik, Forschungsbericht 98-22: (1998)
	1997
24		Gianpiero Cabodi, Paolo Camurati, Antonio Lioy, Massimo Poncino, Stefano Quer: A parallel approach to symbolic traversal based on set partitioning. CHARME 1997: 167-184
23		Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer: Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits. DAC 1997: 728-733
22		Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer: Verification and synthesis of counters based on symbolic techniques. ED&TC 1997: 176-181
21		Gianpiero Cabodi, Paolo Camurati: Symbolic FSM traversals based on the transition relation. IEEE Trans. on CAD of Integrated Circuits and Systems 16(5): 448-457 (1997)
	1996
20		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Improved reachability analysis of large finite state machines. ICCAD 1996: 354-360
19		Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich: Enhancing FSM Traversal by Temporary Re-Encoding. ICCD 1996: 6-11
	1995
18		Gianpiero Cabodi, Stefano Quer, Paolo Camurati: Transforming boolean relations by symbolic encoding. CHARME 1995: 161-170
17		Gianpiero Cabodi, Stefano Quer, Paolo Camurati: Computing subsets of equivalence classes for large FSMs. EURO-DAC 1995: 288-293
	1994
16		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths. DAC 1994: 289-293
15		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Symbolic exploration of large circuits with enhanced forward/backward traversals. EURO-DAC 1994: 22-27
14		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Efficient State Space Pruning in Symbolic Backward Traversal. ICCD 1994: 230-235
13		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Detecting hard faults with combined approximate forward/backward symbolic techniques. ISCAS 1994: 299-302
12		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Full-Symbolic ATPG for Large Circuits. ITC 1994: 980-988
	1993
11		Gianpiero Cabodi, Paolo Camurati: Advancements in Symbolic Traversal Technique. CHARME 1993: 155-166
10		Gianpiero Cabodi, Paolo Camurati: Exploiting Cofactoring for Efficient FSM Symbolic Traversal Based on the Transition Relation. ICCD 1993: 299-303
9		Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: An approach to sequential circuit diagnosis based on formal verification techniques. J. Electronic Testing 4(1): 11-17 (1993)
8		Gianpiero Balboni, Gianpiero Cabodi, Silvano Gai, Matteo Sonza Reorda: A Parallel System for Test Pattern Generation. Parallel Computing 19(2): 177-185 (1993)
	1992
7		Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Silvano Gai, Paolo Prinetto, Matteo Sonza Reorda: A New Model for Improving symbolic Product Machine Traversal. DAC 1992: 614-619
6		Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Sequential Circuit Diagnosis Based on Formal Verification Techniques. ITC 1992: 187-196
	1991
5		Gianpiero Cabodi, Silvano Gai, Matteo Sonza Reorda: Fast Differential Fault Simulation by Dynamic Fault Ordering. ICCD 1991: 60-63
4		Gianpiero Balboni, Gianpiero Cabodi, Silvano Gai, D. Sismondi, Matteo Sonza Reorda: A parallel system for test pattern generation. SPDP 1991: 708-715
3		Gianpiero Cabodi, Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda: TPDL: Extended Temporal Profile Description Language. Softw., Pract. Exper. 21(4): 355-374 (1991)
	1988
2		Gianpiero Cabodi, Silvano Gai, Marco Mezzalama, Paolo Luca Montessoro, Fabio Somenzi: Fault simulation in a multilevel environment: the MOZART approach. FTCS 1988: 128-133
	1986
1		Gianpiero Cabodi, Paolo Camurati, Paolo Prinetto: Experiences in Prolog-Based DFT Rule Checking. FJCC 1986: 909-914

Coauthor Index

1	Gianpiero Balboni	[4] [8]
2	Gabriel P. Bischoff	[48] [52]
3	Karl S. Brace	[48] [52]
4	Robert K. Brayton	[34]
5	Paolo Camurati	[1] [3] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [26] [27] [28] [29] [30] [31] [32] [33] [34] [36] [37] [40] [41] [55] [56] [59]
6	Fulvio Corno	[6] [7] [9] [27]
7	Marco Crivellari	[49]
8	Leandro Dipietro	[58] [60]
9	Silvano Gai	[2] [4] [5] [7] [8]
10	Luz Garcia	[56] [59]
11	Luz Amanda Garcia	[61]
12	Alex Kondratyev	[43] [47] [63]
13	Luciano Lavagno	[19] [22] [23] [34] [39] [43] [47] [63]
14	Mihai T. Lazarescu	[39]
15	Antonio Lioy	[24]
16	Enrico Macii	[19]
17	Christoph Meinel	[25]
18	Marco Mezzalama	[2]
19	Paolo Luca Montessoro	[2]
20	Marco Murciano	[50] [51] [54] [55] [56] [58] [59] [60] [61] [62] [63]
21	Sergio Nocco	[39] [42] [43] [44] [45] [46] [47] [48] [49] [51] [53] [54] [56] [57] [58] [59] [60] [61] [64] [65] [66]
22	Claudio Passerone	[30] [39]
23	Massimo Poncino	[19] [24]
24	Paolo Prinetto	[1] [3] [6] [7] [9] [27]
25	Stefano Quer	[12] [13] [14] [15] [16] [17] [18] [19] [20] [22] [23] [24] [25] [26] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [51] [53] [54] [56] [57] [59] [61] [64] [66]
26	Matteo Sonza Reorda	[3] [4] [5] [6] [7] [8] [9] [27]
27	Harald Sack	[25]
28	Ellen Sentovich (Ellen M. Sentovich)	[19] [34]
29	D. Sismondi	[4]
30	Anna Slobodová	[25]
31	Fabio Somenzi	[2] [35]
32	Christian Stangier	[25]
33	Massimo Violante	[62]
34	Yosinori Watanabe	[43] [47] [63]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page