Sergio Nocco - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2022

Classification of Drivers' Mental Workload Levels: Comparison of Machine Learning Methods Based on ECG and Infrared Thermal SignalsDaniela Cardone, David Perpetuini, Chiara Filippini, Lorenza Mancini, Sergio Nocco, Michele Tritto, Sergio Rinella, Alberto Giacobbe, Giorgio Fallica, Fabrizio Ricci, Sabina Gallina, Arcangelo Merla. sensors, 22(19):7300, 2022. [doi]

2013

Thread-based multi-engine model checking for multicore platformsGianpiero Cabodi, Sergio Nocco, Stefano Quer. todaes, 18(3):36, 2013. [doi]

2011

Optimized model checking of multiple propertiesGianpiero Cabodi, Sergio Nocco. date 2011: 543-546 [doi]

Benchmarking a model checker for algorithmic improvements and tuning for performanceGianpiero Cabodi, Sergio Nocco, Stefano Quer. fmsd, 39(2):205-227, 2011. [doi]

Interpolation sequences revisitedGianpiero Cabodi, Sergio Nocco, Stefano Quer. date 2011: 316-322 [doi]

2010

2009

2008

2007

Boosting the role of inductive invariants in model checkingGianpiero Cabodi, Sergio Nocco, Stefano Quer. date 2007: 1319-1324 [doi]

2006

Stepping forward with interpolants in unbounded model checkingGianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer. iccad 2006: 772-778 [doi]

2005

Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant CheckingGabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer. ENTCS, 119(2):33-49, 2005. [doi]

Are BDDs still alive within sequential verification?Gianpiero Cabodi, Sergio Nocco, Stefano Quer. STTT, 7(2):129-142, 2005. [doi]

Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model CheckingGianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer. date 2005: 688-689 [doi]

A BMC-based formulation for the scheduling problem of hardware systemsGianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe. STTT, 7(2):102-117, 2005. [doi]

Symbolic reachability analysis techniques within the fields of formal verification and automated schedulingSergio Nocco. PhD thesis, Polytechnic University of Turin, Italy, 2005. [doi]

2004

Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate TraversalsGianpiero Cabodi, Sergio Nocco, Stefano Quer. jucs, 10(12):1696-1730, 2004. [doi]

2003

Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate TraversalsGianpiero Cabodi, Sergio Nocco, Stefano Quer. date 2003: 10898-10905 [doi]

A BMC-formulation for the scheduling problem in highly constrained hardware SystemsGianpiero Cabodi, Sergio Nocco, Stefano Quer, Alex Kondratyev, Luciano Lavagno, Yosinori Watanabe. ENTCS, 89(4):623-638, 2003. [doi]

2002

Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based VerificationGianpiero Cabodi, Sergio Nocco, Stefano Quer. cav 2002: 471-484 [doi]

A Symbolic Approach for the Combined Solution of Scheduling and AllocationLuciano Lavagno, Mihai T. Lazarescu, Stefano Quer, Sergio Nocco, Claudio Passerone, Gianpiero Cabodi. isss 2002: 237-242 [doi]

Sign in or sign up to see more results.

runs on WebDSL