Paolo Camurati

	2009
46		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
	2008
45		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
44		Gianpiero Cabodi, Paolo Camurati, Marco Murciano: Automated abstraction by incremental refinement in interpolant-based model checking. ICCAD 2008: 129-136
	2002
43		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Can BDDs compete with SAT solvers on bounded model checking? DAC 2002: 117-122
42		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Dynamic Scheduling and Clustering in Symbolic Image Computation. DATE 2002: 150-157
	2001
41		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Biasing symbolic search by means of dynamic activity profiles. DATE 2001: 9-15
40		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
39		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)
38		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)
37		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
36		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Improving Symbolic Traversals by Means of Activity Profiles. DAC 1999: 306-311
35		Gianpiero Cabodi, Paolo Camurati, Claudio Passerone, Stefano Quer: Computing Timed Transition Relations for Sequential Cycle-Based Simulation. DATE 1999: 8-12
34		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
33		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)
32		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)
31		Gianpiero Cabodi, Stefano Quer, Paolo Camurati: Memory Optimization in Function and Set Manipulation with BDDs. Softw., Pract. Exper. 28(1): 99-120 (1998)
	1997
30		Gianpiero Cabodi, Paolo Camurati, Antonio Lioy, Massimo Poncino, Stefano Quer: A parallel approach to symbolic traversal based on set partitioning. CHARME 1997: 167-184
29		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
28		Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer: Verification and synthesis of counters based on symbolic techniques. ED&TC 1997: 176-181
27		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
26		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Improved reachability analysis of large finite state machines. ICCAD 1996: 354-360
25		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
24		Paolo Camurati, Hans Eveking: Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings Springer 1995
23		Gianpiero Cabodi, Stefano Quer, Paolo Camurati: Transforming boolean relations by symbolic encoding. CHARME 1995: 161-170
22		Gianpiero Cabodi, Stefano Quer, Paolo Camurati: Computing subsets of equivalence classes for large FSMs. EURO-DAC 1995: 288-293
21		Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda, Stefano Barbagallo, Andrea Burri, Davide Medina: Industrial BIST of Embedded RAMs. IEEE Design & Test of Computers 12(3): 86-95 (1995)
	1994
20		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths. DAC 1994: 289-293
19		Paolo Camurati, Fulvio Corno, Paolo Prinetto, Catherine Bayol, Bernard Soulas: System-Level Modeling and Verification: a Comprehensive Design Methodology. EDAC-ETC-EUROASIC 1994: 636-640
18		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Symbolic exploration of large circuits with enhanced forward/backward traversals. EURO-DAC 1994: 22-27
17		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Efficient State Space Pruning in Symbolic Backward Traversal. ICCD 1994: 230-235
16		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Detecting hard faults with combined approximate forward/backward symbolic techniques. ISCAS 1994: 299-302
15		Gianpiero Cabodi, Paolo Camurati, Stefano Quer: Full-Symbolic ATPG for Large Circuits. ITC 1994: 980-988
	1993
14		Gianpiero Cabodi, Paolo Camurati: Advancements in Symbolic Traversal Technique. CHARME 1993: 155-166
13		Paolo Camurati, Fulvio Corno, Paolo Prinetto: A Methodology for System-Level Design for Verifiability. CHARME 1993: 80-91
12		Paolo Camurati, Fulvio Corno, Paolo Prinetto: Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation. CHDL 1993: 31-44
11		Gianpiero Cabodi, Paolo Camurati: Exploiting Cofactoring for Efficient FSM Symbolic Traversal Based on the Transition Relation. ICCD 1993: 299-303
10		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)
	1992
9		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
8		Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda: Sequential Circuit Diagnosis Based on Formal Verification Techniques. ITC 1992: 187-196
	1991
7		Gianpiero Cabodi, Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda: TPDL: Extended Temporal Profile Description Language. Softw., Pract. Exper. 21(4): 355-374 (1991)
	1990
6		Paolo Camurati, M. Gilli, Paolo Prinetto, Matteo Sonza Reorda: The Use of Model Checking in ATPG for Sequential Circuits. CAV 1990: 86-95
5		Paolo Camurati, Antonio Lioy, Paolo Prinetto, Matteo Sonza Reorda: Diagnosis oriented test pattern generation. EURO-DAC 1990: 470-474
4		Paolo Camurati, Paolo Prinetto, Matteo Sonza Reorda: Exact probabilistic testability measures for multi-output circuits. J. Electronic Testing 1(3): 229-234 (1990)
	1988
3		Paolo Camurati, Paolo Prinetto: Formal Verification of Hardware Correctness: Introduction and Survey of Current Research. IEEE Computer 21(7): 8-19 (1988)
2		Paolo Camurati, P. Gianoglio, R. Gianoglio, Paolo Prinetto: ESTA: an expert system for DFT rule verification. IEEE Trans. on CAD of Integrated Circuits and Systems 7(11): 1172-1180 (1988)
	1986
1		Gianpiero Cabodi, Paolo Camurati, Paolo Prinetto: Experiences in Prolog-Based DFT Rule Checking. FJCC 1986: 909-914

Coauthor Index

1	Stefano Barbagallo	[21]
2	Catherine Bayol	[19]
3	Robert K. Brayton	[39]
4	Andrea Burri	[21]
5	Gianpiero Cabodi	[1] [7] [8] [9] [10] [11] [14] [15] [16] [17] [18] [20] [22] [23] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46]
6	Fulvio Corno	[8] [9] [10] [12] [13] [19] [32]
7	Hans Eveking	[24]
8	Silvano Gai	[9]
9	Luz Garcia	[45] [46]
10	P. Gianoglio	[2]
11	R. Gianoglio	[2]
12	M. Gilli	[6]
13	Luciano Lavagno	[25] [28] [29] [39]
14	Antonio Lioy	[5] [30]
15	Enrico Macii	[25]
16	Davide Medina	[21]
17	Marco Murciano	[44] [45] [46]
18	Sergio Nocco	[45] [46]
19	Claudio Passerone	[35]
20	Massimo Poncino	[25] [30]
21	Paolo Prinetto	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [19] [21] [32]
22	Stefano Quer	[15] [16] [17] [18] [20] [22] [23] [25] [26] [28] [29] [30] [31] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [45] [46]
23	Matteo Sonza Reorda	[4] [5] [6] [7] [8] [9] [10] [21] [32]
24	Ellen Sentovich (Ellen M. Sentovich)	[25] [39]
25	Bernard Soulas	[19]

Colors in the list of coauthors