Sergio Nocco
According to our database1,
Sergio Nocco
authored at least 26 papers
between 2002 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
1
1
1
3
1
3
2
1
2
2
1
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Classification of Drivers' Mental Workload Levels: Comparison of Machine Learning Methods Based on ECG and Infrared Thermal Signals.
Sensors, 2022
2013
ACM Trans. Design Autom. Electr. Syst., 2013
2011
Benchmarking a model checker for algorithmic improvements and tuning for performance.
Formal Methods Syst. Des., 2011
Proceedings of the Design, Automation and Test in Europe, 2011
Proceedings of the Design, Automation and Test in Europe, 2011
2010
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT.
J. Electron. Test., 2010
2009
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009
Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009
Speeding up model checking by exploiting explicit and hidden verification constraints.
Proceedings of the Design, Automation and Test in Europe, 2009
2008
ACM Trans. Design Autom. Electr. Syst., 2008
J. Satisf. Boolean Model. Comput., 2008
J. Satisf. Boolean Model. Comput., 2008
Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 2008
2007
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007
2006
Proceedings of the 2006 International Conference on Computer-Aided Design, 2006
2005
Symbolic reachability analysis techniques within the fields of formal verification and automated scheduling.
PhD thesis, 2005
Int. J. Softw. Tools Technol. Transf., 2005
Int. J. Softw. Tools Technol. Transf., 2005
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking.
Proceedings of the 2005 Design, 2005
2004
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals.
J. Univers. Comput. Sci., 2004
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking.
Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004
2003
Proceedings of the First International Workshop on Bounded Model Checking, 2003
2002
Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002