Concepedia

Sergio Nocco

SN

13

Publications

312

Citations

13

H-Index

2003

Active since

Affiliations

Polytechnic University of Turin(Current)

University of Chieti-Pescara

Sergio Nocco is an author at Polytechnic University of Turin specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationComputer EngineeringAutomated ReasoningProgram AnalysisSoftware AnalysisSoftware Testing

Publications per year

2003–2023

13

Publications

13

Classification of Drivers’ Mental Workload Levels: Comparison of Machine Learning Methods Based on ECG and Infrared Thermal Signals

Daniela Cardone, David Perpetuini, Chiara Filippini et al. · Sensors · 2022 · 48 citations · Full text

Infrared Thermal Signals, Neuropsychology, Engineering +25

Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals

Gianpiero Cabodi, Sergio Nocco, Stefano Quer · Design, Automation, and Test in Europe · 2003 · 44 citations

Engineering, Verification, Computer-aided Verification +20

Improving SAT-based bounded model checking by means of BDD-based approximate traversals

Gianpiero Cabodi, Sergio Nocco, Stefano Quer · 2003 Design, Automation and Test in Europe Conference and Exhibition · 2003 · 36 citations

Engineering, Verification, Computer-aided Verification +20

Stepping forward with interpolants in unbounded model checking

Gianpiero Cabodi, Marco Murciano, Sergio Nocco et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 2006 · 26 citations

Mathematical Programming, Engineering, Verification +17

Benchmarking a model checker for algorithmic improvements and tuning for performance

Gianpiero Cabodi, Sergio Nocco, Stefano Quer · Formal Methods in System Design · 2011 · 26 citations

Benchmarking Tool, Engineering, Program Analysis +14

Rows per page

1–5 of 13