A New Model for Improving symbolic Product Machine Traversal. - Gianpiero Cabodi; Paolo Camurati; Fulvio Corno; Silvano Gai; Paolo Prinetto; Matteo Sonza Reorda (DAC, 1992)

Cross-fertilizing FSM verification techniques and sequential diagnosis. - Gianpiero Cabodi; Paolo Camurati; Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (EURO-DAC, 1992)

Sequential Circuit Diagnosis Based on Formal Verification Techniques. - Gianpiero Cabodi; Paolo Camurati; Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (ITC, 1992)

A simulation-based approach to test pattern generation for synchronous sequential circuits. - Paolo Camurati; Fulvio Corno; Fulvio Prinetto; Matteo Sonza Reorda (VTS, 1992)

A Methodology for System-Level Design for Verifiability. - Paolo Camurati; Fulvio Corno; Paolo Prinetto (CHARME, 1993)

Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation. - Paolo Camurati; Fulvio Corno; Paolo Prinetto (CHDL, 1993)

An efficient tool for system-level verification of behaviors and temporal properties. - Paolo Camurati; Fulvio Corno; Paolo Prinetto (EURO-DAC, 1993)

An approach to sequential circuit diagnosis based on formal verification techniques. - Gianpiero Cabodi; Paolo Camurati; Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (J. Electron. Test., 1993)

A process algebra interpretation of a verification oriented overlanguage of VHDL. - Catherine Bayol; Bernard Soulas; Dominique Borrione; Fulvio Corno; Paolo Prinetto (EURO-DAC, 1994)

System-Level Modeling and Verification: a Comprehensive Design Methodology. - Paolo Camurati; Fulvio Corno; Paolo Prinetto; Catherine Bayol; Bernard Soulas (EDAC-ETC-EUROASIC, 1994)

An experimental analysis of the effectiveness of the circular self-test path technique. - Paolo Prinetto; Fulvio Corno; Matteo Sonza Reorda (EURO-DAC, 1994)

Making the Circular Self-Test Path Technique Effective for Real Circuits. - Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (ITC, 1994)

A new functional fault model for system-level descriptions. - Paolo Camurati; Fulvio Corno; Michela Meo; Paolo Prinetto (VTS, 1994)

Proving testing preorders for process algebra descriptions. - Fulvio Corno; Marco Cusinato; Mario Ferrero; Paolo Prinetto (ED&TC, 1995)

Using symbolic techniques to find the maximum clique in very large sparse graphs. - Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (ED&TC, 1995)

GARDA: a diagnostic ATPG for large synchronous sequential circuits. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (ED&TC, 1995)

A PVM tool for automatic test generation on parallel and distributed systems. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda; Enzo Veiluva (HPCN Europe, 1995)

Testing a Switching Memory in a Telcommunication System. - Stefano Barbagallo; Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (ITC, 1995)

Improving topological ATPG with symbolic techniques. - Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda; Uwe Gläser; Heinrich Theodor Vierhaus (VTS, 1995)

A portable ATPG tool for parallel and distributed systems. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda; Enzo Veiluva (VTS, 1995)

Self-Checking and Fault Tolerant Approaches Can Help BIST Fault Coverage: A Case Study. - Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (ED&TC, 1996)

Advanced Techniques for GA-based sequential ATPGs. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda; R. Mosca (ED&TC, 1996)

On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda; Maurizio Damiani; Leonardo Impagliazzo; G. Sartore (EDCC, 1996)

Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment. - Paolo Prinetto; Alfredo Benso; Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda; Arturo M. Amendola; Leonardo Impagliazzo; P. Marmo (EURO-DAC, 1996)

Fault tolerant and BIST design of a FIFO cell. - Paolo Prinetto; Fulvio Corno; Matteo Sonza Reorda (EURO-DAC, 1996)

A Parallel Genetic Algorithm for Automatic Generation of Test Sequences for Digital Circuits. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (HPCN Europe, 1996)

A Genetic Algorithm for Automatic Generation of Test Logic for Digital Circuits. - Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (ICTAI, 1996)

Comparing Topological, Symbolic and GA-based ATPGs: An Experimental Approach. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (ITC, 1996)

Partial Scan Flip Flop Selection for Simulation-Based Sequential ATPGs. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (ITC, 1996)

Exploiting Competing Subpopulations for Automatic Generation of Test Sequences for Digital Cicuits. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (PPSN, 1996)

Scan insertion criteria for low design impact. - Stefano Barbagallo; Monica Lobetti Bodoni; Davide Medina; Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (VTS, 1996)

Circular Self-Test Path for FSMs. - Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (IEEE Des. Test Comput., 1996)

GATTO: a genetic algorithm for automatic test pattern generation for large synchronous sequential circuits. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996)

Guaranteeing Testability in Re-encoding for Low Power. - Silvia Chiusano; Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (Asian Test Symposium, 1997)

A Genetic Algorithm for the Computation of Initialization Sequences for Synchronous Sequential Circuits. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda; Giovanni Squillero (Asian Test Symposium, 1997)

Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda; Massimo Violante (Asian Test Symposium, 1997)

Simulation-based verification of network protocols performance. - Mario Baldi; Fulvio Corno; Maurizio Rebaudengo; Paolo Prinetto; Matteo Sonza Reorda; Giovanni Squillero (CHARME, 1997)

Hybrid symbolic-explicit techniques for the graph coloring problem. - Silvia Chiusano; Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (ED&TC, 1997)

New static compaction techniques of test sequences for sequential circuits. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (ED&TC, 1997)

Boolean Function Manipulation on a Parallel System Using BDDs. - F. Bianchi; Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda; Roberto Ansaloni (HPCN Europe, 1997)

A new Approach for Initialization Sequences Computation for Synchronous Sequential Circuits. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda; Giovanni Squillero (ICCD, 1997)

GA-Based Performance Analysis of Network Protocols. - Mario Baldi; Fulvio Corno; Maurizio Rebaudengo; Giovanni Squillero (ICTAI, 1997)

Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization. - S. Chuisano; Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (ICTAI, 1997)

Testability Analysis and ATPG on Behavioral RT-Level VHDL. - Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (ITC, 1997)

SAARA: a simulated annealing algorithm for test pattern generation for digital circuits. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (SAC, 1997)

Cellular automata for deterministic sequential test pattern generation. - Silvia Chiusano; Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (VTS, 1997)

A Test Pattern Generation Algorithm Exploiting Behavioral Information. - Silvia Chiusano; Fulvio Corno; Paolo Prinetto (Asian Test Symposium, 1998)

Exploiting Symbolic Techniques for Partial Scan Flip Flop Selection. - Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda; Massimo Violante (DATE, 1998)

Fast Sequential Circuit Test Generation Using High-Level and Gate-Level Techniques. - Elizabeth M. Rudnick; Roberto Vietti; Akilah Ellis; Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (DATE, 1998)

A System for Evaluating On-Line Testability at the RT-level. - Silvia Chiusano; Fulvio Corno; Matteo Sonza Reorda; Roberto Vietti (DFT, 1998)

Enhancing topological ATPG with high-level information and symbolic techniques. - Fulvio Corno; Janak H. Patel; Elizabeth M. Rudnick; Matteo Sonza Reorda; Roberto Vietti (ICCD, 1998)

VEGA: a verification tool based on genetic algorithms. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (ICCD, 1998)

The selfish gene algorithm: a new evolutionary optimization strategy. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (SAC, 1998)

On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits. - Fulvio Corno; Nicola Gaudenzi; Paolo Prinetto; Matteo Sonza Reorda (VTS, 1998)

A Test Pattern Generation Methodology for Low-Power Consumption. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (VTS, 1998)

Integrating Online and Offline Testing of a Switching Memory. - Stefano Barbagallo; Davide Medina; Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (IEEE Des. Test Comput., 1998)

The General Product Machine: a New Model for Symbolic FSM Traversal. - Gianpiero Cabodi; Paolo Camurati; Fulvio Corno; Paolo Prinetto; Matteo Sonza Reorda (Formal Methods Syst. Des., 1998)

Verifying the equivalence of sequential circuits with genetic algorithms. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (CEC, 1999)

Optimizing deceptive functions with the SG-Clans algorithm. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (CEC, 1999)

Approximate Equivalence Verification of Sequential Circuits via Genetic Algorithms. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (DATE, 1999)

Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization. - Enrique San Millán; Luis Entrena; José Alberto Espejo; Silvia Chiusano; Fulvio Corno (DATE, 1999)

Optimal Vector Selection for Low Power BIST. - Fulvio Corno; Matteo Sonza Reorda; Maurizio Rebaudengo; Massimo Violante (DFT, 1999)

A new BIST architecture for low power circuits. - Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda; Massimo Violante (ETW, 1999)

Test Pattern Generation Under Low Power Constraints. - Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda; Massimo Violante (EvoWorkshops, 1999)

Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (EvoWorkshops, 1999)

ALPS: A Peak Power Estimation Tool for Sequential Circuits. - Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda; Massimo Violante (Great Lakes Symposium on VLSI, 1999)

Simulation-based sequential equivalence checking of RTL VHDL. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (ICECS, 1999)

RT-level TPG Exploiting High-Level Synthesis Information. - Silvia Chiusano; Fulvio Corno; Paolo Prinetto (VTS, 1999)

Exploiting Behavioral Information in Gate-Level ATPG. - Silvia Chiusano; Fulvio Corno; Paolo Prinetto (J. Electron. Test., 1999)

SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information. - Fulvio Corno; Uwe Gläser; Paolo Prinetto; Matteo Sonza Reorda; Heinrich Theodor Vierhaus; Massimo Violante (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Exploiting the Selfish Gene algorithm for evolving hardware cellular automata. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (CEC, 2000)

Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero; Alberto Manzone; Alessandro Pincetti (DATE, 2000)

CA-CSTP: a new BIST architecture for sequential circuits. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero; Massimo Violante (ETW, 2000)

Prediction of Power Requirements for High-Speed Circuits. - Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda; Massimo Violante (EvoWorkshops, 2000)

Automatic Validation of Protocol Interfaces Described in VHDL. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (EvoWorkshops, 2000)

An RT-level fault model with high gate level correlation. - Fulvio Corno; Gianluca Cumani; Matteo Sonza Reorda; Giovanni Squillero (HLDVT, 2000)

Evolving Cellular Automata for Self-Testing Hardware. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (ICES, 2000)

A genetic algorithm-based system for generating test programs for microprocessor IP cores. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero; Massimo Violante (ICTAI, 2000)

Exploiting the Selfish Gene Algorithm for Evolving Cellular Automata. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (IJCNN (6), 2000)

An improved cellular automata-based BIST architecture for sequential circuits. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (ISCAS, 2000)

Low Power BIST via Non-Linear Hybrid Cellular Automata. - Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda; Giovanni Squillero; Massimo Violante (VTS, 2000)

High-Level Observability for Effective High-Level ATPG. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (VTS, 2000)

Enhancing Interactivity for Self-Evaluation in XML-based Courseware. - Florin Bota; Fulvio Corno; Laura Farinetti (WebNet, 2000)

An Intelligent User Interface oriented to non-expert users. - Fulvio Corno; Laura Farinetti; Giovanni Squillero (WebNet, 2000)

RT-Level ITC'99 Benchmarks and First ATPG Results. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (IEEE Des. Test Comput., 2000)

A P1500 Compliant BIST-Based Approach to Embedded RAM Diagnosis. - Davide Appello; Fulvio Corno; M. Giovinetto; Maurizio Rebaudengo; Matteo Sonza Reorda (Asian Test Symposium, 2001)

Effective Techniques for High-Level ATPG. - Fulvio Corno; Gianluca Cumani; Matteo Sonza Reorda; Giovanni Squillero (Asian Test Symposium, 2001)

On the test of microprocessor IP cores. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero; Massimo Violante (DATE, 2001)

ARPIA: A High-Level Evolutionary Test Signal Generator. - Fulvio Corno; Gianluca Cumani; Matteo Sonza Reorda; Giovanni Squillero (EvoWorkshops, 2001)

Evolving effective CA/CSTP: BIST architectures for sequential circuits. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (SAC, 2001)

Interactive Visit of a Website. - Florin Bota; Laura Farinetti; Fulvio Corno (WebNet, 2001)

Evolutionary Test Program Induction for Microprocessor Design Verification. - Fulvio Corno; Gianluca Cumani; Matteo Sonza Reorda; Giovanni Squillero (Asian Test Symposium, 2002)

Efficient machine-code test-program induction. - Fulvio Corno; Gianluca Cumani; Matteo Sonza Reorda; Giovanni Squillero (IEEE Congress on Evolutionary Computation, 2002)

New Techniques for Speeding-Up Fault-Injection Campaigns. - Luis Berrojo; Isabel González; Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero; Luis Entrena; Celia López (DATE, 2002)

Evolutionary Techniques for Minimizing Test Signals Application Time. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (EvoWorkshops, 2002)

Hypervideo: A Parameterized Hotspot Approach. - Florin Bota; Fulvio Corno; Laura Farinetti (ICWI, 2002)

A cost-effective solution for eye-gaze assistive technology. - Fulvio Corno; Laura Farinetti; Isabella Signorile (ICME (2), 2002)

Analysis of the Equivalences and Dominances of Transient Faults at the RT Level. - Luis Berrojo; Isabel González; Luis Entrena; Celia López; Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (IOLTW, 2002)

Automatic Test Program Generation from RT-Level Microprocessor Descriptions. - Fulvio Corno; Gianluca Cumani; Matteo Sonza Reorda; Giovanni Squillero (ISQED, 2002)

A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. - Davide Appello; Alessandra Fudoli; Vincenzo Tancorre; Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda (MTDT, 2002)

An evolutionary algorithm for reducing integrated-circuit test application time. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (SAC, 2002)

Reducing Test Application Time through Interleaved Scan. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (SBCCI, 2002)

An Industrial Environment for High-Level Fault-Tolerant Structures Insertion and Validation. - Luis Berrojo; Isabel González; Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero; Luis Entrena; Celia López (VTS, 2002)

Initializability analysis of synchronous sequential circuits. - Fulvio Corno; Paolo Prinetto; Maurizio Rebaudengo; Matteo Sonza Reorda; Giovanni Squillero (ACM Trans. Design Autom. Electr. Syst., 2002)

Dynamic prediction of Web requests. - Dario Bonino; Fulvio Corno; Giovanni Squillero (IEEE Congress on Evolutionary Computation, 2003)

Exploiting co-evolution and a modified island model to climb the Core War hill. - Fulvio Corno; Ernesto Sánchez 001; Giovanni Squillero (IEEE Congress on Evolutionary Computation, 2003)

Fully Automatic Test Program Generation for Microprocessor Cores. - Fulvio Corno; Gianluca Cumani; Matteo Sonza Reorda; Giovanni Squillero (DATE, 2003)

System-Level Analysis of Fault Effects in an Automotive Environment. - Fulvio Corno; Simonluca Tosato; Paolo Gabrielli (DFT, 2003)

Code generation for functional validation of pipelined microprocessors. - Fulvio Corno; Giovanni Squillero; Matteo Sonza Reorda (ETW, 2003)

An Enhanced Framework for Microprocessor Test-Program Generation. - Fulvio Corno; Giovanni Squillero (EuroGP, 2003)

Relating vehicle-level and network-level reliability through high-level fault injection. - Fulvio Corno; Paolo Gabrielli; Simonluca Tosato (HLDVT, 2003)

Exploiting Auto-adaptive 7GP for Highly Effective Test Programs Generation. - Fulvio Corno; F. Cumani; Giovanni Squillero (ICES, 2003)

DOSE: A Distributed Open Semantic Elaboration Platform. - Dario Bonino; Fulvio Corno; Laura Farinetti (ICTAI, 2003)

Automatic Test Program Generation for Pipeline Processors. - Fulvio Corno; Gianluca Cumani; Matteo Sonza Reorda; Giovanni Squillero (SAC, 2003)

A Real-Time Evolutionary Algorithm for Web Prediction. - Dario Bonino; Fulvio Corno; Giovanni Squillero (Web Intelligence, 2003)

An Evolutionary Approach to Web Request Prediction. - Dario Bonino; Fulvio Corno; Giovanni Squillero (WWW (Posters), 2003)

Dynamic optimization of semantic annotation relevance. - Dario Bonino; Fulvio Corno; Giovanni Squillero (IEEE Congress on Evolutionary Computation, 2004)

On the evolution of corewar warriors. - Fulvio Corno; Ernesto Sánchez 001; Giovanni Squillero (IEEE Congress on Evolutionary Computation, 2004)

Validation of the dependability of CAN-based networked systems. - Fulvio Corno; Julio Pérez Acle; Mattia Ramasso; Matteo Sonza Reorda; Massimo Violante (HLDVT, 2004)

An Agent Based Autonomic Semantic Platform. - Dario Bonino; Alessio Bosca; Fulvio Corno (ICAC, 2004)

Domain Specific Searches Using Conceptual Spectra. - Dario Bonino; Fulvio Corno; Laura Farinetti (ICTAI, 2004)

E-learning Issues for Advanced Technical Topics. - Fulvio Corno (EDUTECH, 2004)

Impact of Technology on Learning Paradigms and Teaching Practices. - Fulvio Corno; Tina Ebey; Anna Grabowska; Iliana Nikolova; Evgenia Sendova (EDUTECH, 2004)

Evaluating the Effects of Transient Faults on Vehicle Dynamic Performance in Automotive Systems. - Fulvio Corno; Matteo Sonza Reorda; Simonluca Tosato; F. Esposito (ITC, 2004)

Multilingual semantic elaboration in the DOSE platform. - Dario Bonino; Fulvio Corno; Laura Farinetti; Andrea Ferrato (SAC, 2004)

A multi-level approach to the dependability analysis of networked systems based on the CAN protocol. - Fulvio Corno; Julio Pérez Acle; Matteo Sonza Reorda; Massimo Violante (SBCCI, 2004)

Automatic Test Program Generation: A Case Study. - Fulvio Corno; Ernesto Sánchez 001; Matteo Sonza Reorda; Giovanni Squillero (IEEE Des. Test Comput., 2004)

A BIST-based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. - Davide Appello; Alessandra Fudoli; Vincenzo Tancorre; Paolo Bernardi; Fulvio Corno; Maurizio Rebaudengo; Matteo Sonza Reorda (J. Electron. Test., 2004)

Code Generation for Functional Validation of Pipelined Microprocessors. - Fulvio Corno; Ernesto Sánchez 001; Matteo Sonza Reorda; Giovanni Squillero (J. Electron. Test., 2004)

Evolutionary Simulation-Based Validation. - Fulvio Corno; Matteo Sonza Reorda; Giovanni Squillero (Int. J. Artif. Intell. Tools, 2004)

Specifying Web Service Compositions on the Basis of Natural Language Requests. - Alessio Bosca; Giuseppe Valetto; Roberta Maglione; Fulvio Corno (ICSOC, 2005)

Composing Web Services on the Basis of Natural Language Requests. - Alessio Bosca; Andrea Ferrato; Fulvio Corno; Ilenia Congiu; Giuseppe Valetto (ICWS, 2005)

Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks. - Dario Bonino; Fulvio Corno; Federico Pescarmona (SAC, 2005)

Evolving assembly programs: how games help microprocessor validation. - Fulvio Corno; Ernesto Sánchez 001; Giovanni Squillero (IEEE Trans. Evol. Comput., 2005)

Domotic house gateway. - Paolo Pellegrino; Dario Bonino; Fulvio Corno (SAC, 2006)

An Extensible Platform for Semantic Classification And Retrieval of Multimedia Resources. - Paolo Pellegrino; Fulvio Corno (SWAP, 2006)

On-the-fly Construction of Web Services Compositions from Natural Language Requests. - Alessio Bosca; Fulvio Corno; Giuseppe Valetto; Roberta Maglione (J. Softw., 2006)

Versatile RDF Representation for Multimedia Semantic Search. - Dario Bonino; Fulvio Corno; Paolo Pellegrino (ICTAI (2), 2007)

A reusable 3D visualization component for the semantic web. - Alessio Bosca; Dario Bonino; Marco Comerio; Simone Grega; Fulvio Corno (Web3D, 2007)

Self-Similarity Metric for Index Pruning in Conceptual Vector Space Models. - Dario Bonino; Fulvio Corno (DEXA Workshops, 2008)

Integrated speech and gaze control for realistic desktop environments. - Emiliano Castellina; Fulvio Corno; Paolo Pellegrino (ETRA, 2008)

Eye Tracking Impact on Quality-of-Life of ALS Patients. - Andrea Calvo; Adriano Chiò; Emiliano Castellina; Fulvio Corno; Laura Farinetti; Paolo Ghiglione; Valentina Pasian; Alessandro Vignola (ICCHP, 2008)

DOG: An Ontology-Powered OSGi Domotic Gateway. - Dario Bonino; Emiliano Castellina; Fulvio Corno (ICTAI (1), 2008)

DogOnt - Ontology Modeling for Intelligent Domotic Environments. - Dario Bonino; Fulvio Corno (ISWC, 2008)

Uniform Access to Domotic Environments through Semantics. - Dario Bonino; Emiliano Castellina; Fulvio Corno (SWAP, 2008)

The DOG gateway: enabling ontology-based intelligent domotic environments. - Dario Bonino; Emiliano Castellina; Fulvio Corno (IEEE Trans. Consumer Electron., 2008)

Interoperation Modeling for Intelligent Domotic Environments. - Dario Bonino; Fulvio Corno (AmI, 2009)

FaSet: A Set Theory Model for Faceted Search. - Dario Bonino; Fulvio Corno; Laura Farinetti (Web Intelligence, 2009)

Automatic domotic device interoperation. - Dario Bonino; Emiliano Castellina; Fulvio Corno (IEEE Trans. Consumer Electron., 2009)

A blueprint for integrated eye-controlled environments. - Dario Bonino; Emiliano Castellina; Fulvio Corno; Alastair G. Gale; A. Garbo; Kevin J. Purdy; Fangmin Shi (Univers. Access Inf. Soc., 2009)

Understanding users and their needs. - Mick Donegan; Jeffrey D. Morris; Fulvio Corno; Isabella Signorile; Adriano Chiò; Valentina Pasian; Alessandro Vignola; Margret Buchholz; Eva Holmqvist (Univers. Access Inf. Soc., 2009)

Eye-based Direct Interaction for Environmental Control in Heterogeneous Smart Environments. - Fulvio Corno; Alastair G. Gale; Päivi Majaranta; Kari-Jouko Räihä (Handbook of Ambient Intelligence and Smart Environments, 2010)

DogSim: A state chart simulator for Domotic Environments. - Dario Bonino; Fulvio Corno (PerCom Workshops, 2010)

Mobile interaction with smart environments through linked data. - Faisal Razzak; Dario Bonino; Fulvio Corno (SMC, 2010)

Formal Verification of Device State Chart Models. - Fulvio Corno; Muhammad Sanaullah (Intelligent Environments, 2011)

A User-Friendly Interface for Rules Composition in Intelligent Environments. - Dario Bonino; Fulvio Corno; Luigi De Russis (ISAmI, 2011)

Design Time Methodology for the Formal Verification of Intelligent Domotic Environments. - Fulvio Corno; Muhammad Sanaullah (ISAmI, 2011)

DOGeye: Controlling your home with eye interaction. - Dario Bonino; Emiliano Castellina; Fulvio Corno; Luigi De Russis (Interact. Comput., 2011)

What would you ask to your home if it were intelligent? Exploring user expectations about next-generation homes. - Dario Bonino; Fulvio Corno (J. Ambient Intell. Smart Environ., 2011)

DoMAIns: Domain-based modeling for Ambient Intelligence. - Dario Bonino; Fulvio Corno (Pervasive Mob. Comput., 2012)

spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications. - Dario Bonino; Fulvio Corno (ANT/MobiWIS, 2012)

dWatch: A Personal Wrist Watch for Smart Environments. - Dario Bonino; Fulvio Corno; Luigi De Russis (ANT/MobiWIS, 2012)

Publishing LO(D)D: Linked Open (Dynamic) Data for Smart Sensing and Measuring Environments. - Fulvio Corno; Faisal Razzak (ANT/MobiWIS, 2012)

Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments. - Fulvio Corno; Faisal Razzak (IEEE Trans. Smart Grid, 2012)

The smart home controller on your wrist. - Luigi De Russis; Dario Bonino; Fulvio Corno (UbiComp (Adjunct Publication), 2013)

Template-Based Ontology Population for Smart Environments Configuration. - Sebastián Aced López; Dario Bonino; Fulvio Corno (ICSOC Workshops, 2013)

Innovative and Disruptive Technologies [From the Editors]. - Phillip A. Laplante; Thomas C. Jepsen; Joseph Williams; Fulvio Corno (IT Prof., 2013)

PowerOnt: An Ontology-Based Approach for Power Consumption Estimation in Smart Homes. - Dario Bonino; Fulvio Corno; Luigi De Russis (IoT360 (1), 2014)

IoT Meets Caregivers: A Healthcare Support System in Assisted Living Facilities. - Sebastián Aced López; Fulvio Corno; Luigi De Russis (IoT360 (1), 2014)

Advancing Cloud Computing. - Irena Bojanova; Vladimir Dimitrov 001; Fulvio Corno (IT Prof., 2014)

JEERP: Energy-Aware Enterprise Resource Planning. - Dario Bonino; Luigi De Russis; Fulvio Corno; Gianni Ferrero (IT Prof., 2014)

SAT based enforcement of domotic effects in smart environments. - Fulvio Corno; Faisal Razzak (J. Ambient Intell. Humaniz. Comput., 2014)

Design-time formal verification for smart environments: an exploratory perspective. - Fulvio Corno; Muhammad Sanaullah (J. Ambient Intell. Humaniz. Comput., 2014)

Modeling and formal verification of smart environments. - Fulvio Corno; Muhammad Sanaullah (Secur. Commun. Networks, 2014)

Can We Make Dynamic, Accessible and Fun One-Switch Video Games? - Sebastián Aced López; Fulvio Corno; Luigi De Russis (ASSETS, 2015)

GNomon: Enabling Dynamic One-Switch Games for Children with Severe Motor Disabilities. - Sebastián Aced López; Fulvio Corno; Luigi De Russis (CHI Extended Abstracts, 2015)

HomeRules: A Tangible End-User Programming Interface for Smart Homes. - Luigi De Russis; Fulvio Corno (CHI Extended Abstracts, 2015)

IoT Meets Exhibition Areas: A Modular Architecture to Improve Proximity Interactions. - Fulvio Corno; Luigi De Russis; Teodoro Montanaro; Pino Castrogiovanni (FiCloud, 2015)

A context and user aware smart notification system. - Fulvio Corno; Luigi De Russis; Teodoro Montanaro (WF-IoT, 2015)

Smart Systems. - Robert R. Harmon; Fulvio Corno; Enrique Castro-Leon (IT Prof., 2015)

Real-time monitoring of high-level states in smart environments. - Fulvio Corno; Faisal Razzak (J. Ambient Intell. Smart Environ., 2015)

Autonomic goal-oriented device management for Smart Environments. - Muhammad Sanaullah; Fulvio Corno; Faisal Razzak (J. Ambient Intell. Smart Environ., 2015)

Designing for user confidence in intelligent environments. - Fulvio Corno; Elena Guercio; Luigi De Russis; Eleonora Gargiulo (J. Reliab. Intell. Environ., 2015)

Playable One-Switch Video Games for Children with Severe Motor Disabilities Based on GNomon. - Sebastián Aced López; Fulvio Corno; Luigi De Russis (EAI Endorsed Trans. Serious Games, 2015)

Supporting caregivers in assisted living facilities for persons with disabilities: a user study. - Sebastián Aced López; Fulvio Corno; Luigi De Russis (Univers. Access Inf. Soc., 2015)

Clocks, Bars and Balls: Design and Evaluation of Alternative GNomon Widgets for Children with Disabilities. - Sebastián Aced López; Fulvio Corno; Luigi De Russis (CHI Extended Abstracts, 2016)

A Healthcare Support System for Assisted Living Facilities: An IoT Solution. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (COMPSAC, 2016)

Estimate user meaningful places through low-energy mobile sensing. - Fulvio Corno; Luigi De Russis; Teodoro Montanaro (SMC, 2016)

Educating Internet of Things Professionals: The Ambient Intelligence Course. - Fulvio Corno; Luigi De Russis; Dario Bonino (IT Prof., 2016)

A High-Level Approach Towards End User Development in the IoT. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (CHI Extended Abstracts, 2017)

Pain Points for Novice Programmers of Ambient Intelligence Systems: An Exploratory Study. - Fulvio Corno; Luigi De Russis; Juan Pablo Sáenz (COMPSAC (1), 2017)

On the design of an energy and user aware study room. - Fulvio Corno; Luigi De Russis; Juan Pablo Sáenz (ISGT Europe, 2017)

A Semantic Web Approach to Simplifying Trigger-Action Programming in the IoT. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (Computer, 2017)

Design and Development of One-Switch Video Games for Children with Severe Motor Disabilities. - Sebastián Aced López; Fulvio Corno; Luigi De Russis (ACM Trans. Access. Comput., 2017)

Training Engineers for the Ambient Intelligence Challenge. - Fulvio Corno; Luigi De Russis (IEEE Trans. Educ., 2017)

On The Advanced Services That 5G May Provide To IoT Applications. - Fulvio Corno; Luigi De Russis; Juan Pablo Sáenz (5G World Forum, 2018)

Assessing Virtual Assistant Capabilities with Italian Dysarthric Speech. - Fabio Ballati; Fulvio Corno; Luigi De Russis (ASSETS, 2018)

Message from the ITiP Symposium Chairs. - San Murugesan; Fulvio Corno (COMPSAC (1), 2018)

Collaborative Accessible Gameplay with One-Switch Interfaces. - Daniela Bulgarelli; Fulvio Corno; Luigi De Russis (GEM, 2018)

Easing IoT development for novice programmers through code recipes. - Fulvio Corno; Luigi De Russis; Juan Pablo Sáenz (ICSE (SEET), 2018)

"Hey Siri, Do You Understand Me?": Virtual Assistants and Dysarthria. - Fabio Ballati; Fulvio Corno; Luigi De Russis (Intelligent Environments (Workshops), 2018)

An Unsupervised and Noninvasive Model for Predicting Network Resource Demands. - Fulvio Corno; Luigi De Russis; Andrea Marcelli; Teodoro Montanaro (IEEE Internet Things J., 2018)

AwareNotifications: Multi-device semantic notification handling with user-defined preferences. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (J. Ambient Intell. Smart Environ., 2018)

User expectations in intelligent environments - Issues and opportunities in the interaction of intelligent users and intelligent environments. - Fulvio Corno (J. Reliab. Intell. Environ., 2018)

Empowering End Users in Debugging Trigger-Action Rules. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (CHI, 2019)

Towards Computational Notebooks for IoT Development. - Fulvio Corno; Luigi De Russis; Juan Pablo Sáenz (CHI Extended Abstracts, 2019)

Touch-Based Ontology Browsing on Tablets and Surfaces. - Fulvio Corno; Luigi De Russis; Luisa Fernanda Barrera-León (COMPSAC (1), 2019)

My IoT Puzzle: Debugging IF-THEN Rules Through the Jigsaw Metaphor. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (IS-EUD, 2019)

EUDoptimizer: Assisting End Users in Composing IF-THEN Rules Through Optimization. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (IEEE Access, 2019)

XDN: cross-device framework for custom notifications management. - Fulvio Corno; Luigi De Russis; Teodoro Montanaro (Computing, 2019)

A high-level semantic approach to End-User Development in the Internet of Things. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (Int. J. Hum. Comput. Stud., 2019)

Reliability on pervasive well-being: will it soon become a reality? - State of the art and open issues. - Daniela Micucci; Fulvio Corno (J. Reliab. Intell. Environ., 2019)

On the impact of dysarthric speech on contemporary ASR cloud platforms. - Luigi De Russis; Fulvio Corno (J. Reliab. Intell. Environ., 2019)

On the challenges novice programmers experience in developing IoT systems: A Survey. - Fulvio Corno; Luigi De Russis; Juan Pablo Sáenz (J. Syst. Softw., 2019)

RecRules: Recommending IF-THEN Rules for End-User Development. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (ACM Trans. Intell. Syst. Technol., 2019)

HeyTAP: Bridging the Gaps Between Users' Needs and Technology in IF-THEN Rules via Conversation. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (AVI, 2020)

TAPrec: supporting the composition of trigger-action rules through dynamic recommendations. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (IUI, 2020)

Systematic Variation of Preattentive Attributes to Highlight Relevant Data in Information Visualization. - Luisa Fernanda Barrera-León; Fulvio Corno; Luigi De Russis (IV, 2020)

How is Open Source Software Development Different in Popular IoT Projects? - Fulvio Corno; Luigi De Russis; Juan Pablo Sáenz (IEEE Access, 2020)

On Computational Notebooks to Empower Physical Computing Novices. - Fulvio Corno; Luigi De Russis; Juan Pablo Sáenz (EICS, 2021)

Perception of Security Issues in the Development of Cloud-IoT Systems by a Novice Programmer. - Fulvio Corno; Luigi De Russis; Luca Mannella (Intelligent Environments (Workshops), 2021)

Devices, Information, and People: Abstracting the Internet of Things for End-User Personalization. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (IS-EUD, 2021)

TextCode: A Tool to Support Problem Solving Among Novice Programmers. - Fulvio Corno; Luigi De Russis; Juan Pablo Sáenz (VL/HCC, 2021)

From Users' Intentions to IF-THEN Rules in the Internet of Things. - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (ACM Trans. Inf. Syst., 2021)

How do end-users program the Internet of Things? - Fulvio Corno; Luigi De Russis; Alberto Monge Roffarello (Behav. Inf. Technol., 2022)

Computational notebooks to support developers in prototyping IoT systems. - Fulvio Corno; Luigi De Russis; Juan Pablo Sáenz (Int. J. Hum. Comput. Stud., 2022)

Helping novice developers harness security issues in cloud-IoT systems. - Fulvio Corno; Luigi De Russis; Luca Mannella (J. Reliab. Intell. Environ., 2022)

How the Preattentive Process is Exploited in Practical Information Visualization Design: A Review. - Luisa Fernanda Barrera-León; Fulvio Corno; Luigi De Russis (Int. J. Hum. Comput. Interact., 2023)

Security Evaluation of Arduino Projects Developed by Hobbyist IoT Programmers. - Fulvio Corno; Luca Mannella (Sensors, 2023)