Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. - Gianpiero Cabodi; Sergio Nocco; Stefano Quer (CAV, 2002)

A Symbolic Approach for the Combined Solution of Scheduling and Allocation. - Luciano Lavagno; Mihai T. Lazarescu; Stefano Quer; Sergio Nocco; Claudio Passerone; Gianpiero Cabodi (ISSS, 2002)

A BMC-formulation for the scheduling problem in highly constrained hardware Systems. - Gianpiero Cabodi; Sergio Nocco; Stefano Quer; Alex Kondratyev; Luciano Lavagno; Yosinori Watanabe (BMC@CAV, 2003)

Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking. - Gabriel P. Bischoff; Karl S. Brace; Gianpiero Cabodi; Sergio Nocco; Stefano Quer (BMC@CAV, 2004)

Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals. - Gianpiero Cabodi; Sergio Nocco; Stefano Quer (J. Univers. Comput. Sci., 2004)

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

A BMC-based formulation for the scheduling problem of hardware systems. - Gianpiero Cabodi; Alex Kondratyev; Luciano Lavagno; Sergio Nocco; Stefano Quer; Yosinori Watanabe (Int. J. Softw. Tools Technol. Transf., 2005)

Are BDDs still alive within sequential verification? - Gianpiero Cabodi; Sergio Nocco; Stefano Quer (Int. J. Softw. Tools Technol. Transf., 2005)

Symbolic reachability analysis techniques within the fields of formal verification and automated scheduling. - Sergio Nocco (2005)

Stepping forward with interpolants in unbounded model checking. - Gianpiero Cabodi; Marco Murciano; Sergio Nocco; Stefano Quer (ICCAD, 2006)

Boosting the role of inductive invariants in model checking. - Gianpiero Cabodi; Sergio Nocco; Stefano Quer (DATE, 2007)

Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. - Gianpiero Cabodi; Paolo Camurati; Luz Amanda Garcia; Marco Murciano; Sergio Nocco; Stefano Quer (FMCAD, 2008)

Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization. - Viviana Bruno; Luz Amanda Garcia; Sergio Nocco; Stefano Quer (J. Satisf. Boolean Model. Comput., 2008)

A Probabilistic and Approximated Approach to Circuit-Based Formal Verification. - Sergio Nocco; Stefano Quer (J. Satisf. Boolean Model. Comput., 2008)

Boosting interpolation with dynamic localized abstraction and redundancy removal. - Gianpiero Cabodi; Marco Murciano; Sergio Nocco; Stefano Quer (ACM Trans. Design Autom. Electr. Syst., 2008)

Speeding up model checking by exploiting explicit and hidden verification constraints. - Gianpiero Cabodi; Paolo Camurati; Luz Amanda Garcia; Marco Murciano; Sergio Nocco; Stefano Quer (DATE, 2009)

Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits. - Gianpiero Cabodi; Leandro Dipietro; Marco Murciano; Sergio Nocco (HLDVT, 2009)

Strengthening Model Checking Techniques With Inductive Invariants. - Gianpiero Cabodi; Sergio Nocco; Stefano Quer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)

Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT. - Gianpiero Cabodi; Leandro Dipietro; Marco Murciano; Sergio Nocco (J. Electron. Test., 2010)

Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking. - Gianpiero Cabodi; Luz Amanda Garcia; Marco Murciano; Sergio Nocco; Stefano Quer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem. - Sergio Nocco; Stefano Quer (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

Optimized model checking of multiple properties. - Gianpiero Cabodi; Sergio Nocco (DATE, 2011)

Interpolation sequences revisited. - Gianpiero Cabodi; Sergio Nocco; Stefano Quer (DATE, 2011)

Benchmarking a model checker for algorithmic improvements and tuning for performance. - Gianpiero Cabodi; Sergio Nocco; Stefano Quer (Formal Methods Syst. Des., 2011)

Thread-based multi-engine model checking for multicore platforms. - Gianpiero Cabodi; Sergio Nocco; Stefano Quer (ACM Trans. Design Autom. Electr. Syst., 2013)

Classification of Drivers' Mental Workload Levels: Comparison of Machine Learning Methods Based on ECG and Infrared Thermal Signals. - Daniela Cardone; David Perpetuini; Chiara Filippini; Lorenza Mancini; Sergio Nocco; Michele Tritto; Sergio Rinella; Alberto Giacobbe; Giorgio Fallica; Fabrizio Ricci; Sabina Gallina; Arcangelo Merla (Sensors, 2022)