Sergio Nocco

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 1

Top Topics

Machine Learning Methods

Deterministic Finite Automaton

Top Venues

ACM Trans. Design Autom. Electr. Syst.

Publications

Daniela Cardone, David Perpetuini, Chiara Filippini, Lorenza Mancini, Sergio Nocco, Michele Tritto, Sergio Rinella, Alberto Giacobbe, Giorgio Fallica, Fabrizio Ricci, Sabina Gallina, Arcangelo Merla
Classification of Drivers' Mental Workload Levels: Comparison of Machine Learning Methods Based on ECG and Infrared Thermal Signals. Sensors 22 (19) (2022)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Thread-based multi-engine model checking for multicore platforms. ACM Trans. Design Autom. Electr. Syst. 18 (3) (2013)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Interpolation sequences revisited. DATE (2011)
Gianpiero Cabodi, Sergio Nocco
Optimized model checking of multiple properties. DATE (2011)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Benchmarking a model checker for algorithmic improvements and tuning for performance. Formal Methods Syst. Des. 39 (2) (2011)
Sergio Nocco, Stefano Quer
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (12) (2010)
Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT. J. Electron. Test. 26 (2) (2010)
Gianpiero Cabodi, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (3) (2010)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Strengthening Model Checking Techniques With Inductive Invariants. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (1) (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)
Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco
Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits. HLDVT (2009)
Sergio Nocco, Stefano Quer
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification. J. Satisf. Boolean Model. Comput. 5 (1-4) (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)
Viviana Bruno, Luz Garcia, Sergio Nocco, Stefano Quer
Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization. J. Satisf. Boolean Model. Comput. 5 (1-4) (2008)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Boosting the role of inductive invariants in model checking. DATE (2007)
Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer
Stepping forward with interpolants in unbounded model checking. ICCAD (2006)
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. Electron. Notes Theor. Comput. Sci. 119 (2) (2005)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Are BDDs still alive within sequential verification? Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)
Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. DATE (2005)
Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe
A BMC-based formulation for the scheduling problem of hardware systems. Int. J. Softw. Tools Technol. Transf. 7 (2) (2005)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. J. Univers. Comput. Sci. 10 (12) (2004)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. DATE (2003)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe
A BMC-formulation for the scheduling problem in highly constrained hardware Systems. Electron. Notes Theor. Comput. Sci. 89 (4) (2003)
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)
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. CAV (2002)