Sergio Nocco

27 papers A* 1A 7B 1Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Classification of Drivers' Mental Workload Levels: Comparison of Machine Learning Methods Based on ECG and Infrared Thermal Signals.
Sensors
Daniela Cardone, David Perpetuini, Chiara Filippini, Lorenza Mancini, Sergio Nocco, Michele Tritto, Sergio Rinella, Alberto Giacobbe, Giorgio Fallica, Fabrizio Ricci, Sabina Gallina, Arcangelo Merla
2013 J jnl
Thread-based multi-engine model checking for multicore platforms.
ACM Trans. Design Autom. Electr. Syst.
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
2011 J jnl
Benchmarking a model checker for algorithmic improvements and tuning for performance.
Formal Methods Syst. Des.
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
2011 A conf
Interpolation sequences revisited.
DATE
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
2011 A conf
Optimized model checking of multiple properties.
DATE
Gianpiero Cabodi, Sergio Nocco
2010 J jnl
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sergio Nocco, Stefano Quer
2010 J jnl
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT.
J. Electron. Test.
Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco
2010 J jnl
Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Gianpiero Cabodi, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
2009 — conf
Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits.
HLDVT
Gianpiero Cabodi, Leandro Dipietro, Marco Murciano, Sergio Nocco
2009 A conf
Speeding up model checking by exploiting explicit and hidden verification constraints.
DATE
Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
2009 J jnl
Strengthening Model Checking Techniques With Inductive Invariants.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
2008 J jnl
A Probabilistic and Approximated Approach to Circuit-Based Formal Verification.
J. Satisf. Boolean Model. Comput.
Sergio Nocco, Stefano Quer
2008 J jnl
Boosting interpolation with dynamic localized abstraction and redundancy removal.
ACM Trans. Design Autom. Electr. Syst.
Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer
2008 J jnl
Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization.
J. Satisf. Boolean Model. Comput.
Viviana Bruno, Luz Amanda Garcia, Sergio Nocco, Stefano Quer
2008 B conf
Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.
FMCAD
Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer
2007 A conf
Boosting the role of inductive invariants in model checking.
DATE
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
2006 A conf
Stepping forward with interpolants in unbounded model checking.
ICCAD
Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer
2005 J jnl
A BMC-based formulation for the scheduling problem of hardware systems.
Int. J. Softw. Tools Technol. Transf.
Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe
2005 J jnl
Are BDDs still alive within sequential verification?
Int. J. Softw. Tools Technol. Transf.
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
2005 A conf
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking.
DATE
Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer
2005 — —
Symbolic reachability analysis techniques within the fields of formal verification and automated scheduling.
Sergio Nocco
2004 — conf
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking.
BMC@CAV
Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer
2004 J jnl
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals.
J. Univers. Comput. Sci.
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
2003 — conf
A BMC-formulation for the scheduling problem in highly constrained hardware Systems.
BMC@CAV
Gianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe
2003 A conf
Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals.
DATE
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
2002 — conf
A Symbolic Approach for the Combined Solution of Scheduling and Allocation.
ISSS
Luciano Lavagno, Mihai T. Lazarescu, Stefano Quer, Sergio Nocco, Claudio Passerone, Gianpiero Cabodi
2002 A* conf
Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification.
CAV
Gianpiero Cabodi, Sergio Nocco, Stefano Quer