Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Cross-fertilizing FSM verification techniques and sequential diagnosis.

G. Cabodi, P. Camurati, F. Corno, P. Prinetto, and M. Reorda. EURO-DAC, page 306-311. IEEE Computer Society Press, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gianpiero Galasso

Gianpiero Liuzzi

Other publications of authors with the same name

Cross-fertilizing FSM verification techniques and sequential diagnosis.G. Cabodi, P. Camurati, F. Corno, P. Prinetto, and M. Reorda. EURO-DAC, page 306-311. IEEE Computer Society Press, (1992)SAT solver management strategies in IC3: an experimental approach.G. Cabodi, P. Camurati, A. Mishchenko, M. Palena, and P. Pasini. Formal Methods Syst. Des., 50 (1): 39-74 (2017)Interpolation with Guided Refinement: Revisiting incrementality in SAT-based unbounded model checking.G. Cabodi, M. Palena, and P. Pasini. FMCAD, page 43-50. IEEE, (2014)Tightening BDD-based approximate reachability with SAT-based clause generalization∗.G. Cabodi, P. Pasini, S. Quer, and D. Vendraminetto. DATE, page 1-6. European Design and Automation Association, (2014)Thread-based multi-engine model checking for multicore platforms.G. Cabodi, S. Nocco, and S. Quer. ACM Trans. Design Autom. Electr. Syst., 18 (3): 36:1-36:28 (2013)Verification and synthesis of counters based on symbolic techniques.G. Cabodi, P. Camurati, L. Lavagno, and S. Quer. ED&TC, page 176-181. IEEE Computer Society, (1997)Interpolation sequences revisited.G. Cabodi, S. Nocco, and S. Quer. DATE, page 316-322. IEEE, (2011)Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking.G. Cabodi, M. Crivellari, S. Nocco, and S. Quer. DATE, page 688-689. IEEE Computer Society, (2005)Symbolic traversals of data paths with auxiliary variables.G. Cabodi, P. Camurati, and S. Quer. Great Lakes Symposium on VLSI, page 93-96. IEEE, (1994)Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.G. Cabodi, P. Camurati, L. Garcia, M. Murciano, S. Nocco, and S. Quer. FMCAD, page 1-8. IEEE, (2008)

BibSonomy

Disambiguation of "Cabodi, Gianpiero"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Cross-fertilizing FSM verification techniques and sequential diagnosis.

Please choose a person to relate this publication to

Gianpiero Galasso

Gianpiero Liuzzi

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Cabodi, Gianpiero"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Cross-fertilizing FSM verification techniques and sequential diagnosis.

Please choose a person to relate this publication to

Gianpiero Galasso

Gianpiero Liuzzi

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Cross-fertilizing FSM verification techniques and sequential diagnosis.