Search Results - "Nocco, Sergio"
-
1
Classification of Drivers’ Mental Workload Levels: Comparison of Machine Learning Methods Based on ECG and Infrared Thermal Signals
Published in Sensors (Basel, Switzerland) (26-09-2022)“…Mental workload (MW) represents the amount of brain resources required to perform concurrent tasks. The evaluation of MW is of paramount importance for…”
Get full text
Journal Article -
2
Assessing Feasibility of Cognitive Impairment Testing Using Social Robotic Technology Augmented with Affective Computing and Emotional State Detection Systems
Published in Biomimetics (Basel, Switzerland) (01-10-2023)“…Social robots represent a valid opportunity to manage the diagnosis, treatment, care, and support of older people with dementia. The aim of this study is to…”
Get full text
Journal Article -
3
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-12-2010)“…The task graph cost-optimal scheduling problem consists in scheduling a certain number of interdependent tasks onto a set of heterogeneous processors…”
Get full text
Journal Article -
4
Benchmarking a model checker for algorithmic improvements and tuning for performance
Published in Formal methods in system design (01-10-2011)“…This paper describes a portfolio-based approach for model checking, i.e., an approach in which several model checking engines are orchestrated to reach the…”
Get full text
Journal Article -
5
Strengthening Model Checking Techniques With Inductive Invariants
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-01-2009)“…This paper describes optimized techniques to efficiently compute and reap benefits from inductive invariants within satisfiability (SAT)-based model checking…”
Get full text
Journal Article -
6
Partitioning Interpolant-Based Verification for Effective Unbounded Model Checking
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-03-2010)“…Interpolant-based model checking has been shown to be effective on large verification instances, as it efficiently combines automated abstraction and…”
Get full text
Journal Article -
7
Finding Multiple Equivalence-Preserving Transformations in Combinational Circuits through Incremental-SAT
Published in Journal of electronic testing (01-04-2010)“…This paper introduces an approach to effectively exploit incremental SAT in order to search for multiple equivalence-preserving transformations of…”
Get full text
Journal Article -
8
Are BDDs still alive within sequential verification?
Published in International journal on software tools for technology transfer (01-04-2005)“…This work proposes a fully BDD-based approach based on: mixing forward and backward traversals, dovetailing approximate and exact methods, adopting guided and…”
Get full text
Conference Proceeding Journal Article -
9
Boosting the role of inductive invariants in model checking
Published in Proceedings of the conference on Design, automation and test in Europe (16-04-2007)“…This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques…”
Get full text
Conference Proceeding
-
10
Exploiting incrementality in SAT-based search for multiple equivalence-preserving transformations in combinational circuits
Published in 2009 IEEE International High Level Design Validation and Test Workshop (01-11-2009)“…This paper introduces an approach to effectively exploit incremental SAT in order to search for multiple equivalence-preserving transformations of…”
Get full text
Conference Proceeding -
11
A BMC-based formulation for the scheduling problem of hardware systems
Published in International journal on software tools for technology transfer (01-04-2005)“…Hardware scheduling is a well-known and well-studied problem. This paper defines a new SAT-based formulation of automata-based scheduling and proposes for the…”
Get full text
Conference Proceeding Journal Article -
12
Boosting the Role of Inductive Invariants in Model Checking
Published in 2007 Design, Automation & Test in Europe Conference & Exhibition (01-04-2007)“…This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques…”
Get full text
Conference Proceeding -
13
Improving SAT-based bounded model checking by means of BDD-based approximate traversals
Published in 2003 Design, Automation and Test in Europe Conference and Exhibition (2003)“…Binary Decision Diagrams (BDDs) have been widely used for hardware verification since the beginning of the '90s, whereas Boolean Satisfiability (SAT) has been…”
Get full text
Conference Proceeding -
14
Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals
Published in Design, Automation, and Test in Europe: Proceedings of the conference on Design, Automation and Test in Europe - Volume 1; 03-07 Mar. 2003 (03-03-2003)“…Binary Decision Diagrams (BDDs) have been widely used for hardware verification since the beginning of the ý90s, whereas Boolean Satisfiability (SAT) has been…”
Get full text
Conference Proceeding -
15
Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking
Published in Design, Automation and Test in Europe (07-03-2005)“…In this paper a non-canonical circuit-based state set representation is used to efficiently perform quantifier elimination. The novelty of this approach lies…”
Get full text
Conference Proceeding -
16
Boosting the role of inductive invariants in model checking
Published in Design, Automation, and Test in Europe: Proceedings of the conference on Design, automation and test in Europe; 16-20 Apr. 2007 (01-04-2007)“…This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability…”
Get full text
Conference Proceeding -
17
Stepping forward with interpolants in unbounded model checking
Published in International Conference on Computer Aided Design: Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design : San Jose, California; 05-09 Nov. 2006 (05-11-2006)“…This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and…”
Get full text
Conference Proceeding -
18
A BMC-Formulation for the Scheduling Problem in Highly Constrained Hardware Systems
Published in Electronic notes in theoretical computer science (2003)“…This paper describes a novel application for SAT-based Bounded Model Checking (BMC) within hardware scheduling problems. First of all, it introduces a new…”
Get full text
Journal Article -
19
A symbolic approach for the combined solution of scheduling and allocation
Published in 15th International Symposium on System Synthesis, 2002 (02-10-2002)“…Scheduling is widely recognized as a very important step in high-level synthesis. Nevertheless, it is usually done without taking into account the effects on…”
Get full text
Conference Proceeding