PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Nocco, Sergio"

Author of the publication

copydeleteadd this publication to your clipboard
Interpolation sequences revisited.

, , and . DATE, page 316-322. IEEE, (2011)

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.

Sergio Gutierrez Sanchez University of Stuttgart

Sergio Ivan Caceres Castro University of Stuttgart

 

Other publications of authors with the same name

Optimized model checking of multiple properties., and . DATE, page 543-546. IEEE, (2011)A BMC-based formulation for the scheduling problem of hardware systems., , , , , and . STTT, 7 (2): 102-117 (2005)Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking., , , and . DATE, page 688-689. IEEE Computer Society, (2005)Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking., , , , , and . FMCAD, page 1-8. IEEE, (2008)Interpolation sequences revisited., , and . DATE, page 316-322. IEEE, (2011)Thread-based multi-engine model checking for multicore platforms., , and . ACM Trans. Design Autom. Electr. Syst., 18 (3): 36:1-36:28 (2013)A BMC-formulation for the scheduling problem in highly constrained hardware Systems., , , , , and . Electron. Notes Theor. Comput. Sci., 89 (4): 623-638 (2003)Are BDDs still alive within sequential verification?, , and . STTT, 7 (2): 129-142 (2005)Strengthening Model Checking Techniques With Inductive Invariants., , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 28 (1): 154-158 (2009)Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals., , and . DATE, page 10898-10905. IEEE Computer Society, (2003)