A BIST-based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques

Accessing Ambient Intelligence through Devices with Low Computational and Communication Power

Approximate equivalence verification of sequential circuits via genetic algorithms

scholarly article

Automatic test bench generation for validation of RT-level descriptions: an industrial experience

Automatic test generation for verifying microprocessors

Automatic test program generation: a case study

Circular self-test path for FSMs

Code Generation for Functional Validation of Pipelined Microprocessors

DoMAIns: Domain-based modeling for Ambient Intelligence

scientific article published in August 2012

DogOnt - Ontology Modeling for Intelligent Domotic Environments

scientific article published in ISWC 2008

E-Learning at Politecnico di Torino

Efficient machine-code test-program induction

Enabling machine understandable exchange of energy consumption information in intelligent domotic environments

Experiences in the use of evolutionary techniques for testing digital circuits

Exploiting symbolic techniques for partial scan flip flop selection

Eye Tracking Impact on Quality-of-Life of ALS Patients

article published in Lecture Notes in Computer Science

Fast sequential circuit test generation using high-level and gate-level techniques

Fully automatic test program generation for microprocessor cores

GATTO: a genetic algorithm for automatic test pattern generation for large synchronous sequential circuits

Guaranteeing testability in re-encoding for low power

How is Open Source Software Development Different in Popular IoT Projects?

scientific article published in 2020

Initializability analysis of synchronous sequential circuits

Integrating online and offline testing of a switching memory

Integrating symbolic techniques in ATPG-based sequential logic optimization

Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments

New techniques for speeding-up fault-injection campaigns

On the challenges novice programmers experience in developing IoT systems: A Survey

scientific article published in 2019

On the test of microprocessor IP cores

Optimizing deceptive functions with the SG-Clans algorithm

Review of the state-of-the-art in patent information and forthcoming evolutions in intelligent patent informatics

article

Rule-based intelligence for domotic environments

scientific article published in March 2010

SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information

Testability analysis and ATPG on behavioral RT-level VHDL

Training Engineers for the Ambient Intelligence Challenge

scientific article published in February 2017

Validation of the dependability of CAN-based networked systems

Verifying the equivalence of sequential circuits with genetic algorithms

scholarly article