Citazione	Data di pubblicazione	Autori	File
1	Verification of Similar FSMs by Mixing Incremental Re-encoding Reachability Analysis and Combinational Checks / S. QUER; G. CABODI; P. CAMURATI; L. LAVAGNO; E.M. SENTOVICH; R.K. BRAYTON. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - 17:2(2000), pp. 107-134.	2000	QUER, Stefano  ; CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; LAVAGNO, Luciano  ; E. M. SENTOVICH; R. K. BRAYTON	Administrator1397886.pdf
2	Verification and Synthesis of Counters based on Symbolic Techniques / Cabodi G.; Camurati P.; Lavagno L.; Quer S.. - STAMPA. - (1996). ((Intervento presentato al convegno 4th International Workshop on Symbolic Methods and Applications to Circuit Design (SMACD 1996) tenutosi a Leuven Belgium nel October, 1996.	1996	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; LAVAGNO, Luciano  ; QUER, Stefano	Administratorsmacd96.pdf
3	Verification and synthesis of counters based on symbolic techniques / G. Cabodi;P. Camurati;L. Lavagno;S. Quer. - (1997), pp. 176-181. ((Intervento presentato al convegno Proceedings European Design and Test Conference. ED & TC 97.	1997	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; LAVAGNO, Luciano  ; QUER, Stefano	-
4	Transforming boolean relations by symbolic encoding / CABODI G; CAMURATI P.; S. QUER. - 987(1995), pp. 161-170. ((Intervento presentato al convegno IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 tenutosi a Frankfurt/Main (DEU) nel October 2–4, 1995.	1995	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; QUER, Stefano	-
5	Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3 / G.Cabodi; A.Mishchenko; M.Palena. - ELETTRONICO. - (2013). ((Intervento presentato al convegno International Workshop on Design and Implementation of Formal Tools and Systems tenutosi a Portland, OR nel 19 Ottobre 2013.	2013	CABODI, Gianpiero  ; A. Mishchenko; PALENA, MARCO	-
6	Trading off SAT Search and Variable Quantifications for Effective Unbounded Model Checking / CABODI G.; P. CAMURATI; M. MURCIANO; L. GARCIA; S. NOCCO; S. QUER. - STAMPA. - (2008), pp. 205-212. ((Intervento presentato al convegno FMCAD 2008: Formal Methods in Computer Aided Design tenutosi a Portland, OR, USA nel 17-20 novembre 2008.	2008	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; MURCIANO, MARCO  ; GARCIA GALEANO, LUZ AMANDA  ; NOCCO, SERGIO  ; QUER, Stefano	AdministratorFMCAD2008.pdf
7	TPDL*: Extended Temporal Profile Description Language / CABODI G.; P.CAMURATI; P.PRINETTO; M.SONZA REORDA. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 21(1991), pp. 355-374.	1991	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; PRINETTO, Paolo Ernesto  ; SONZA REORDA, MATTEO	-
8	To Split or to Group: From Divide-and-Conquer to Sub-Task Sharing for Verifying Multiple Properties in Model Checking / Cabodi, Gianpiero; Camurati, Paolo; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano. - In: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. - ISSN 1433-2779. - (In corso di stampa).	Being printed	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; LOIACONO, CARMELO  ; PALENA, MARCO  ; PASINI, PAOLO  ; PATTI, DENIS  ; QUER, Stefano	-
9	Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization / Gianpiero Cabodi; Paolo Pasini; Stefano Quer; Danilo Vendraminetto. - STAMPA. - (2014), pp. 1-6. ((Intervento presentato al convegno Design Automation and Test in Europe (DATE) tenutosi a Dresden, Germany nel March 2014.	2014	CABODI, Gianpiero  ; PASINI, PAOLO  ; QUER, Stefano  ; VENDRAMINETTO, DANILO	Administratorcon14-01.pdf
10	Thread-based multi-engine model checking for multicore platforms / Cabodi, G.; Nocco, S.; Quer, S.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - ELETTRONICO. - 18:3(2013), pp. 1-28.	2013	CABODI, Gianpiero  ; NOCCO, SERGIO  ; QUER, Stefano	Administratorriv13-01.pdf
11	The General Product Machine: a New Model for Symbolic FSM Traversal / CABODI G.; CAMURATI P.; CORNO F.; PRINETTO P.; SONZA REORDA M.. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - 12(1998), pp. 267-289.	1998	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; CORNO, Fulvio  ; PRINETTO, Paolo Ernesto  ; SONZA REORDA, MATTEO	-
12	Testability measures with concurrent good simulation / CABODI G.P; CAMURATI P; PRINETTO P.; SONZA REORDA M. - (1989), pp. 144-149. ((Intervento presentato al convegno ETC'89: IEEE 1st European Test Conference tenutosi a Paris (France) nel 12-14 April 1989.	1989	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; PRINETTO, Paolo Ernesto  ; SONZA REORDA, MATTEO	-
13	Symbolic Traversals of Data Paths with Auxiliary Variables / Cabodi G.; Camurati P.; Quer S.. - STAMPA. - (1994), pp. 93-96. ((Intervento presentato al convegno GLSV '94: Fourth Great Lakes Symposium on VLSI tenutosi a Notre Dame, Indiana, USA nel March 1994.	1994	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; QUER, Stefano	-
14	Symbolic FSM Traversal based on the Transition Relation / CABODI G; CAMURATI P.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 16(1997), pp. 448-457.	1997	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico	-
15	Symbolic Forward/Backward Traversals of Large Finite State Machines / G. CABODI; CAMURATI P.; S. QUER. - In: JOURNAL OF SYSTEMS ARCHITECTURE. - ISSN 1383-7621. - 46(2000), pp. 1137-1158.	2000	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; QUER, Stefano	-
16	Symbolic Exploration of Large Circuits with Enhanced Forward/Backward Traversals / CABODI G; CAMURATI P.; S. QUER. - (1994), pp. 22-27. ((Intervento presentato al convegno IEEE EURO-DAC94 tenutosi a Grenoble nel September 1994.	1994	CABODI, Gianpiero  ; CAMURATI, Paolo Enrico  ; QUER, Stefano	-
17	A Symbolic Approach for the Combined Solution of Scheduling and Allocation / Cabodi, Gianpiero; Lavagno, Luciano; Lazarescu, MIHAI TEODOR; Nocco, Sergio; Passerone, Claudio; Quer, Stefano. - ELETTRONICO. - (2002), pp. 237-242. ((Intervento presentato al convegno ISSS'02: ACM/IEEE International Symposium of System Synthesis tenutosi a Kyoto, Japan nel 2-4 ottobre 2002.	2002	CABODI, Gianpiero  ; LAVAGNO, Luciano  ; LAZARESCU, MIHAI TEODOR  ; NOCCO, SERGIO  ; PASSERONE, CLAUDIO  ; QUER, Stefano	Visibile a tuttischeduling...
18	Strengthening Model Checking Techniques with Inductive Invariants / G. CABODI; S. NOCCO; QUER S.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 28(2009), pp. 154-158.	2009	CABODI, Gianpiero  ; NOCCO, SERGIO  ; QUER, Stefano	Visibile a tuttiriv09-01.pdf
19	Stepping Forward with Interpolants in Unbounded Model Checking / CABODI G.; M.MURCIANO; S.NOCCO; S.QUER. - (2006), pp. 772-778. ((Intervento presentato al convegno ICCAD'06: IEEE/ACM International Conference on Computer Aided Design tenutosi a San Jose nel 5-9 november 2006.	2006	CABODI, Gianpiero  ; MURCIANO, MARCO  ; NOCCO, SERGIO  ; QUER, Stefano	-
20	Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques / CABODI G; LAVAGNO L.; MURCIANO M; KONDRATYEV A; WATANABE Y. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 15:2(2010), pp. 12:1-12:34.	2010	CABODI, Gianpiero  ; LAVAGNO, Luciano  ; MURCIANO, MARCO  ; KONDRATYEV A; WATANABE Y.	Administratortodaes2009...