Sergio Nocco

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)

Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Interpolation sequences revisited. DATE 2011: 316-322

Gianpiero Cabodi, Sergio Nocco: Optimized model checking of multiple properties. DATE 2011: 543-546

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)

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)

Sergio Nocco, Stefano Quer: A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem. IEEE Trans. on CAD of Integrated Circuits and Systems 29(12): 2027-2040 (2010)

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)

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

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

Viviana Bruno, Luz Garcia, Sergio Nocco, Stefano Quer: Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization. JSAT 5(1-4): 83-110 (2008)

Sergio Nocco, Stefano Quer: A Probabilistic and Approximated Approach to Circuit-Based Formal Verification. JSAT 5(1-4): 111-132 (2008)

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)

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

Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Boosting the role of inductive invariants in model checking. DATE 2007: 1319-1324

Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer: Stepping forward with interpolants in unbounded model checking. ICCAD 2006: 772-778

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)

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)

Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Are BDDs still alive within sequential verification? STTT 7(2): 129-142 (2005)

Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer: Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. DATE 2005: 688-689

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)

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)

Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. DATE 2003: 10898-10905

Gianpiero Cabodi, Sergio Nocco, Stefano Quer: Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. CAV 2002: 471-484

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