ELITE - Intelligent and Interactive Systems
Il gruppo di ricerca ELITE sviluppa tecnologie intelligenti applicate alle applicazioni distribuite. Lo spirito della ricerca è integrazione di sistemi complessi, basati sull'interazione tra un utente umano e la tecnologia, in cui il divario complessità è gestita da componenti software intelligenti.
Le principali aree di ricerca sono:
- Case intelligenti e sistemi domotici intelligenti: Integrazione di impianti domotici, gateway residenziali, agenti intelligenti "domestiche", interfacce di controllo ambientale, la verifica di proprietà formali sullo stato della casa
- Gestione intelligente dell'energia in ambienti intelligenti
- Elaborazione e sharing dei dati da sensori
Progetti e pubblicazioni
-
Selezione di progetti di ricerca finanziati
-
MAPP - MUSEI ALPINI PHYGITALI E PARTECIPATIVI
DE RUSSIS LUIGI
2024 - 2025 (In corso) -
TEIA - TURISMO ESPERIENZIALE GENERATO DALL’INTELLIGENZA ARTIFICIALE
DE RUSSIS LUIGI
2024 - 2025 (In corso) -
IMPROVING DIGITAL WELLBEING WITH AND FOR TEENS: A GAMIFIED AND PERSONALIZED INTELLIGENT SYSTEM
DE RUSSIS LUIGI
2023 - 2025 (In corso) -
VALUTAZIONE IN MERITO AL PRODOTTO SALESWARE SW4R SVILUPPATO DALLA SOCIETÀ RISORSA S.R.L.
CORNO FULVIO
2024 - 2024 (Concluso) -
USER EXPERIENCE A BORDO DI MACCHINE AGRICOLE CONNESSE
DE RUSSIS LUIGI
2021 - 2022 (Concluso) -
BATTI IL CINQUE! PROGETTUALITÀ COMUNITARIE TRA NORD E SUD
DE RUSSIS LUIGI, POGGIO ALBERTO
2019 - 2022 (Concluso) -
RELAZIONE IN MERITO AL PERCORSO DI RICERCA E SVILUPPO CONDOTTO DA RISORSA S.R.L. RELATIVAMENTE ALLA PIATTAFORMA SOFTWARE SALESWARE, IN PARTICOLARE ALLA PROGETTAZIONE E REALIZZAZIONE DELLA NUOVA VERSIONE 4 (IN GERGO SW4R)
CORNO FULVIO
2020 - 2020 (Concluso) -
INTELLIGENT INTERACTION FOR CONNECTED DRIVING
CORNO FULVIO
2018 - 2018 (Concluso) -
SERVIZIO DI FORMAZIONE E SUPPORTO ALLO SVILUPPO E AGGIORNAMENTO DI SISTEMI INFORMATIVI DEL SERVIZIO PASSEPARTOUT E DELLA DIREZIONE POLITICHE SOCIALI
CORNO FULVIO
2017 - 2018 (Concluso) -
FOG COMPUTING AND INTELLIGENT NETWORK SERVICES FOR IOT
CORNO FULVIO
2017 - 2017 (Concluso) -
SCOUTING DELLE TECNOLOGIE E DELLE SOLUZIONI APPLICATIVE PIÙ PROMETTENTI
CORNO FULVIO
2017 - 2017 (Concluso) -
SERVIZIO DI FORMAZIONE E SUPPORTO ALLO SVILUPPO E AGGIORNAMENTO DI SISTEMI INFORMATIVI DEL SERVIZIO PASSEPARTOUT E DELLA DIREZIONE POLITICHE SOCIALI
CORNO FULVIO
2016 - 2016 (Concluso) -
TECNOLOGIE SEMANTICHE PER LA GESTIONE DI RISORSE UMANE NEI SISTEMI INFORMATIVI AZIENDALI
CORNO FULVIO
2013 - 2013 (Concluso) -
STRUMENTI DI MONITORAGGIO ENERGETICO NEL CONTESTO DEL PROGETTO APPLUS ENERGIE
CORNO FULVIO
2013 - 2013 (Concluso) -
SUPPORTO ALLA PROGETTAZIONE ED ALL'ANIMAZIONE DEI LIVING LAB NEL CONTESTO DEI PROGETTI APPLUS ENERGIE ED APPLUS CLIMATIQUE
CORNO FULVIO
2013 - 2013 (Concluso) -
STRUMENTI DI MONITORAGGIO ENERGETICO NEL CONTESTO DEL PROGETTO APPLUS ENERGIE
CORNO FULVIO
2012 - 2013 (Concluso) -
VIRTUAL CAMPUS HUB
FARINETTI LAURA, FRACASTORO GIOVANNI VINCENZO
2011 - 2013 (Concluso) -
SPEAK2HOME - INTERAZIONE MEDIANTE LINGUAGGIO NATURALE IN AMBIENTI DOMOTIZZATI PER ANZIANI E DISABILI
CORNO FULVIO
2011 - 2013 (Concluso) -
SMCMS - SEMANTIC MOBILE CONTENT MANAGEMENT SOLUTION
CORNO FULVIO
2011 - 2012 (Concluso) -
STORIES - SMART TOOLS TO REDUCE OUR IMPACT ON THE ENVIRONMENT AND TO LIVE MORE SUSTAINABLY
CORNO FULVIO
2011 - 2012 (Concluso) -
TECNOLOGIE SEMANTICHE NEI SISTEMI INFORMATIVI AZIENDALI
CORNO FULVIO
2011 - 2012 (Concluso) -
MISURA ED ELABORAZIONE DI QUANTITÀ AMBIENTALI ED ENERGETICHE IN SMART BUILDING
CORNO FULVIO
2011 - 2012 (Concluso) -
SUPPORTO AL SOTTOSISTEMA DI GESTIONE DEGLI EDIFICI E DEGLI IMPIANTI
CORNO FULVIO
2010 - 2011 (Concluso) -
PARTECIPAZIONE AL GRUPPO DI LAVORO ALL'INTERNO DI MAISON EQUIPEE
CORNO FULVIO
2010 - 2010 (Concluso) -
MOTORI DI RICERCA CITAZIONALI IN AMBITO UMANISTICO BASATI SU TECNOLOGIE SEMANTICHE
CORNO FULVIO
2010 - 2010 (Concluso) -
PROGETTAZIONE E REALIZZAZIONE DI UN SISTEMA DI CATALOGAZIONE E RICERCA DI SOFTWARE GRATUITO PER L'EDUCAZIONE E LA RIABILITAZIONE 'FREEABLE'
CORNO FULVIO
2008 - 2009 (Concluso) -
COGAIN - COMMUNICATION BY GAZE INTERACTION
CORNO FULVIO
2004 - 2009 (Concluso)
-
MAPP - MUSEI ALPINI PHYGITALI E PARTECIPATIVI
-
Selezione di pubblicazioni recenti
2024
-
Exploring Trigger-Action Programs for Designing Self-Control Tools in Mobile Devices
proceeding
Chiarle, Mattia; Monge Roffarello, Alberto; Chattopadhyay, Debaleena
In: MobileHCI '24: 26th International Conference on Mobile Human-Computer Interaction
ACM
MobileHCI '24 Adjunct: Adjunct Proceedings of the 26th International Conference on Mobile Human-Computer Interaction (Melbourne (AUS)) 30 September - 3 October 2024
pp.6 (pp.1-6) ISBN:9798400705069 DOI:10.1145/3640471.3680237 -
Dialogues with digital wisdom: can LLMs help us put down the phone?
proceeding
De Russis, Luigi; Monge Roffarello, Alberto; Scibetta, Luca
In: GoodIT '24: Proceedings of the 2024 International Conference on Information Technology for Social Good
Association for Computing Machinery
GoodIT '24: International Conference on Information Technology for Social Good (Bremen (DEU)) 04 September 2024
pp.6 (pp.56-61) ISBN:9798400710940 DOI:10.1145/3677525.3678640 -
Empowering Users: End User Development for Mobile Applications Privacy Management
proceeding
Saenz Moreno, Juan Pablo; De Russis, Luigi
In: 2024 IEEE Symposium on Computers and Communications (ISCC)
IEEE (STATI UNITI D'AMERICA)
International Workshop on Trusted Computing and Artificial Intelligence applied to Cybersecurity (Paris (FRA)) 26-29 June, 2024
pp.6 (pp.1-6) ISBN:9798350354232 DOI:10.1109/ISCC61673.2024.10733613 -
Enhancing Smart Home Interaction through Multimodal Command Disambiguation
articolo
Calò, Tommaso; DE RUSSIS, Luigi
PERSONAL AND UBIQUITOUS COMPUTING
Springer
pp.16 ISSN:1617-4909 DOI:10.1007/s00779-024-01827-3 -
Trigger-action Programming for Wellbeing: Insights from 6,590 iOS Shortcuts
articolo
Monge Roffarello, Alberto; Purohit, Aditya Kumar; Purohit, Satyam V
IEEE PERVASIVE COMPUTING
IEEE
Vol.23 pp.8 (pp.49-56) ISSN:1536-1268 DOI:10.1109/MPRV.2024.3416698 -
Digital Wellbeing for Teens: Designing Educational Systems (DIGI-Teens 2024)
proceeding
Ceccarini, Chiara; Prandi, Catia; Monge Roffarello, Alberto; De Russis, Luigi
In: Proceedings of the 2024 International Conference on Advanced Visual Interfaces (AVI '24)
Association for Computing Machinery
17th International Conference on Advanced Visual Interfaces (AVI '24) (Arenzano (ITA)) 3-7 June 2024
pp.3 (pp.1-3) ISBN:9798400717642 DOI:10.1145/3656650.3660538 -
Towards Educator-Driven Tutor Authoring: Generative AI Approaches for Creating Intelligent Tutor Interfaces
proceeding
Calò, Tommaso; Maclellan, Christopher J.
In: Proceedings of the Eleventh ACM Conference on Learning @ Scale (L@S ’24)
ACM
ACM Conference on Learning @ Scale (L@S ’24) (Atlanta, GA (USA)) July 18–20, 2024
pp.5 (pp.305-309) ISBN:9798400706332 DOI:10.1145/3657604.3664694 -
Digital Wellbeing Lens: Design Interfaces That Respect User Attention
proceeding
Monge Roffarello, Alberto; De Russis, Luigi; Pellegrino, Massimiliano
In: Proceedings of the 2024 International Conference on Advanced Visual Interfaces (AVI '24)
ACM (STATI UNITI D'AMERICA)
International Conference on Advanced Visual Interfaces (AVI '24) (Arenzano, Italy) June 3rd -7th 2024
pp.5 (pp.1-5) ISBN:9798400717642 DOI:10.1145/3656650.3656674 -
Hey StepByStep! Can You Teach Me How To Use My Phone Better?
articolo
Monge Roffarello, Alberto; De Russis, Luigi
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES
Elsevier
Vol.183 pp.15 (pp.1-15) ISSN:1071-5819 DOI:10.1016/j.ijhcs.2023.103195 -
Interacting with the Internet of Things
capitolo
Corno, Fulvio; De Russis, Luigi; Monge Roffarello, Alberto; Saenz Moreno, Juan Pablo
Human-Computer Interaction in Intelligent Environments
CRC Press
pp.30 (pp.171-200) ISBN:9781032370040 DOI:10.1201/9781003490685-6 -
Abstractive video lecture summarization: applications and future prospects
articolo
Benedetto, Irene; LA QUATRA, Moreno; Cagliero, Luca; Canale, Lorenzo; Farinetti, Laura
EDUCATION AND INFORMATION TECHNOLOGIES
Springer
Vol.29 pp.21 (pp.2951-2971) ISSN:1573-7608 DOI:10.1007/s10639-023-11855-w
-
Data-Driven Analysis of Student Engagement in Time-Limited Computer Laboratories
articolo
Cagliero, Luca; Canale, Lorenzo; Farinetti, Laura
ALGORITHMS
MDPI
Vol.16 pp.26 ISSN:1999-4893 DOI:10.3390/a16100464 -
SIGCHI's FY24 Budget: Expanding Initiatives
articolo
De Russis, Luigi; Kumar, Neha
INTERACTIONS
Association for Computing Machinery
Vol.30 pp.2 (pp.58-59) ISSN:1072-5520 DOI:10.1145/3615832 -
Teaching and Learning "Digital Wellbeing"
articolo
Monge Roffarello, Alberto; De Russis, Luigi
FUTURE GENERATION COMPUTER SYSTEMS
Elsevier
Vol.149 pp.15 (pp.494-508) ISSN:0167-739X DOI:10.1016/j.future.2023.08.003 -
Nudging Users or Redesigning Interfaces? Evaluating Novel Strategies for Digital Wellbeing Through inControl
proceeding
Monge Roffarello, Alberto; De Russis, Luigi
In: ACM International Conference on Information Technology for Social Good (GoodIT '23)
ACM (STATI UNITI D'AMERICA)
ACM International Conference on Information Technology for Social Good (GoodIT '23) (Lisbon, Portugal) September 6-8, 2023
pp.10 (pp.100-109) ISBN:9798400701160 DOI:10.1145/3582515.3609523 -
Nudging Users Towards Conscious Social Media Use
proceeding
Monge Roffarello, Alberto; De Russis, Luigi
In: 25th International Conference on Mobile Human-Computer Interaction (MobileHCI '23 Companion)
ACM (STATI UNITI D'AMERICA)
25th International Conference on Mobile Human-Computer Interaction (MobileHCI '23) (Athens, Greece) September 26-29, 2023
pp.7 (pp.1-7) ISBN:9781450399241 DOI:10.1145/3565066.3608703 -
A Gateway-based MUD Architecture to Enhance Smart Home Security
proceeding
Corno, Fulvio; Mannella, Luca
In: Proceedings of the 8th International Conference on Smart and Sustainable Technologies – SpliTech 2023
Institute of Electrical and Electronics Engineers (IEEE)
8th International Conference on Smart and Sustainable Technologies (SpliTech 2023) (Split/Bol (HR)) June 20-23, 2023
pp.6 (pp.1-6) ISBN:9789532901283 DOI:10.23919/SpliTech58164.2023.10193747 -
Defining and Identifying Attention Capture Deceptive Designs in Digital Interfaces
proceeding
MONGE ROFFARELLO, Alberto; Lukoff, Kai; DE RUSSIS, Luigi
In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems
ACM
CHI '23: ACM CHI Conference on Human Factors in Computing Systems (Hamburg (Germany)) April 23-28, 2023
pp.19 (pp.1-19) ISBN:9781450394215 DOI:10.1145/3544548.3580729 -
Towards A Visual Programming Tool to Create Deep Learning Models
proceeding
Calo, Tommaso; De Russis, Luigi
In: EICS '23 Companion: Companion Proceedings of the 2023 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
Association for Computing Machinery
ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '23) (Swansea (UK)) June 27–30, 2023
pp.7 (pp.38-44) ISBN:9798400702068 DOI:10.1145/3596454.3597181 -
Listen Veronica! Can You Give me a Hand With This Bug?
proceeding
Saenz, Juan Pablo; De Russis, Luigi
In: Companion Proceedings of the 2023 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
Association for Computing Machinery (STATI UNITI D'AMERICA)
The 15th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (Swansea, United Kingdom) June 26-30, 2023
pp.7 (pp.24-30) ISBN:9798400702068 DOI:10.1145/3596454.3597179 -
Leveraging Large Language Models for End User Website Generation
proceeding
Calo, Tommaso; De Russis, Luigi
In: End-User Development
Springer
IS-EUD: the 9th International Symposium on End-User Development (Cagliari (Italy)) 06-08 June 2023
pp.10 (pp.52-61) ISBN:9783031344329 DOI:10.1007/978-3-031-34433-6_4 -
Defining Trigger-Action Rules via Voice: a Novel Approach for End-User Development in the IoT
proceeding
Monge Roffarello, Alberto; De Russis, Luigi
LECTURE NOTES IN COMPUTER SCIENCE
In: End-User Development
Springer (SVIZZERA)
IS-EUD: the 9th International Symposium on End-User Development (Cagliari (Italy)) 06-08 June 2023
Vol.13917 pp.19 (pp.65-83) ISSN:0302-9743 ISBN:9783031344329 DOI:10.1007/978-3-031-34433-6_5 -
Understanding digital wellbeing within complex technological contexts
editoriale
Monge Roffarello, Alberto; De Russis, Luigi; Lottridge, Danielle; Cecchinato, Marta E.
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES
Elsevier
Vol.175 pp.3 ISSN:1071-5819 DOI:10.1016/j.ijhcs.2023.103034 -
Security Evaluation of Arduino Projects Developed by Hobbyist IoT Programmers
articolo
Corno, Fulvio; Mannella, Luca
SENSORS
MDPI
Vol.23 pp.23 (pp.1-23) ISSN:1424-8220 DOI:10.3390/s23052740 -
The Art of Creating Code-Based Artworks
proceeding
Verano Merino, Mauricio; Saenz, Juan Pablo
In: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems
ACM
ACM CHI Conference on Human Factors in Computing Systems 2023 (Hamburg, Germany) April 23-28
pp.7 (pp.1-7) ISBN:9781450394222 DOI:10.1145/3544549.3585743 -
An Ontology-Based Approach for Setting Security Policies in Smart Homes
proceeding
Monge Roffarello, Alberto; De Russis, Luigi
In: Emerging Technologies for Authorization and Authentication
Springer Nature Switzerland AG
5th International Workshop on Emerging Technologies for Authorization and Authentication (ETAA 2022) (Copenhagen (Denmark)) September 30, 2022
Vol.13782 pp.14 (pp.1-14) ISBN:9783031254666 DOI:10.1007/978-3-031-25467-3_1 -
Achieving Digital Wellbeing Through Digital Self-Control Tools: A Systematic Review and Meta-Analysis
articolo
Monge Roffarello, Alberto; DE RUSSIS, Luigi
ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION
ACM
Vol.30 pp.66 (pp.1-66) ISSN:1557-7325 DOI:10.1145/3571810 -
How the Preattentive Process is Exploited in Practical Information Visualization Design: a Review
articolo
Barrera-Leon, Luisa; Corno, Fulvio; De Russis, Luigi
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER INTERACTION
Taylor & Francis
Vol.39 pp.14 (pp.707-720) ISSN:1532-7590 DOI:10.1080/10447318.2022.2049137
-
Suppose You Had Blocks within a Notebook
proceeding
Verano Merino, Mauricio; Saenz Moreno, Juan Pablo; Díaz Castillo, Ana María
In: Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
Association for Computing Machinery
1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments (Auckland, New Zealand) 5-10 December 2022
pp.6 (pp.57-62) ISBN:9781450399104 DOI:10.1145/3563836.3568728 -
Creating Dynamic Prototypes from Web Page Sketches
proceeding
Calo', Tommaso; De Russis, Luigi
In: Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments
Association for Computing Machinery
Programming Abstractions and Interactive Notations, Tools, and Environments Workshop (PAINT 2022) (Auckland, New Zealand) December 5, 2022
pp.6 (pp.20-25) ISBN:9781450399104 DOI:10.1145/3563836.3568724 -
Generating Comparative Explanations of Financial Time Series
proceeding
Fior, Jacopo; Cagliero, Luca; Calo', Tommaso
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
In: Advances in Databases and Information System
Springer
ADBIS: European Conference on Advances in Databases and Information Systems (Turin (Italy)) September 5–8, 2022
Vol.13389 pp.12 (pp.121-132) ISBN:9783031157394 DOI:10.1007/978-3-031-15740-0_10 -
Leveraging summarization techniques in educational technology systems
proceeding
Benedetto, Irene; Canale, Lorenzo; Farinetti, Laura; Cagliero, Luca; La Quatra, Moreno
In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC)
IEEE
2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) 27 June 2022 - 01 July 2022
pp.2 (pp.415-416) ISBN:9781665488105 DOI:10.1109/COMPSAC54236.2022.00068 -
SQL Murder Mystery: a serious game to learn querying databases
proceeding
Canale, Lorenzo; Farinetti, Laura
In: IEEE Annual International Computer Software and Applications Conference (COMPSAC)
IEEE
IEEE Annual International Computer Software and Applications Conference (COMPSAC) 27 June 2022 - 01 July 2022
pp.10 (pp.129-138) ISBN:9781665488105 DOI:10.1109/COMPSAC54236.2022.00027 -
Designing for Meaningful Interactions and Digital Wellbeing
proceeding
Monge Roffarello, Alberto; De Russis, Luigi; Schwartz, R. X.; Apostolellis, Panagiotis
In: Proceedings of the 2022 International Conference on Advanced Visual Interfaces
ACM
International Conference on Advanced Visual Interfaces (AVI 2022) (Frascati, Rome (Italy)) June 6th-10th 2022
pp.2 (pp.1-2) ISBN:9781450397193 DOI:10.1145/3531073.3535255 -
Dear Diary: On Documenting Novices' Development Process
proceeding
Saenz, Juan Pablo; De Russis, Luigi
In: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
IEEE (STATI UNITI D'AMERICA)
IEEE Symposium on Visual Languages and Human-Centric Computing 2022 (Rome, Italy) September 12-16
pp.3 (pp.1-3) DOI:10.1109/VL/HCC53370.2022.9833003 -
A Threat Model for Extensible Smart Home Gateways
proceeding
Corno, Fulvio; Mannella, Luca
In: Proceedings of the 7th International Conference on Smart and Sustainable Technologies – SpliTech 2022
Institute of Electrical and Electronics Engineers (IEEE)
7th International Conference on Smart and Sustainable Technologies – SpliTech 2022 (Split / Bol, Croatia) July 5-8, 2022
pp.6 (pp.1-6) ISBN:9781665488280 DOI:10.23919/SpliTech55088.2022.9854235 -
SIGCHI Turns 40: Honoring the Past, Celebrating the Present, and Envisioning the Next 40
proceeding
Vivacqua, Adriana S; Kun, Andrew L; Passmore, Cale; Mentis, Helena M.; Andres, Josh; Todi, Kashyap; De Russis, Luigi; Jones, Matt; Yamashita, Naomi; Kumar, Neha; Bidwell, Nicola J; Mirza-Babaei, Pejman; Kumar, Priya C.; Bardzell, Shaowen; Kriglstein, Simone; Branham, Stacy; Dray, Susan; Boll, Susanne CJ; Clegg, Tamara
In: CHI Conference on Human Factors in Computing Systems Extended Abstracts (CHI EA '22)
ACM
2022 CHI Conference on Human Factors in Computing Systems Extended Abstracts (New Orleans) April 30 - May 5, 2022
pp.3 (pp.1-3) DOI:10.1145/3491101.3516406 -
Style-Aware Sketch-to-Code Conversion for the Web
proceeding
Calò, Tommaso; De Russis, Luigi
In: Companion of the 2022 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '22 Companion)
ACM
ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '22) (Sophia Antipolis (France)) June 21-24, 2022
pp.4 (pp.44-47) DOI:10.1145/3531706.3536462 -
How Do End-Users Program the Internet of Things?
articolo
Corno, Fulvio; De Russis, Luigi; Monge Roffarello, Alberto
BEHAVIOUR & INFORMATION TECHNOLOGY
Taylor & Francis
pp.23 (pp.1-23) ISSN:0144-929X DOI:10.1080/0144929X.2022.2071169 -
Computational Notebooks to Support Developers in Prototyping IoT Systems
articolo
Corno, Fulvio; De Russis, Luigi; Saenz, Juan Pablo
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES
Elsevier
Vol.165 pp.17 ISSN:1071-5819 DOI:10.1016/j.ijhcs.2022.102850 -
Exploring Hybrid: A (hybrid) SIG to discuss hybrid conferences
proceeding
Vivacqua, Adriana S; Kun, Andrew L; Passmore, Cale; Mentis, Helena M.; Andres, Josh; Todi, Kashyap; De Russis, Luigi; Jones, Matt; Yamashita, Naomi; Kumar, Neha; Bidwell, Nicola J; Mirza-Babaei, Pejman; Kumar, Priya C.; Bardzell, Shaowen; Kriglstein, Simone; Branham, Stacy; Dray, Susan; Boll, Susanne CJ; Clegg, Tamara
In: CHI Conference on Human Factors in Computing Systems Extended Abstracts (CHI EA '22)
ACM
2022 CHI Conference on Human Factors in Computing Systems (New Orleans (USA)) Apri 30 - May 5, 2022
pp.3 (pp.1-3) DOI:10.1145/3491101.3516405 -
Equity Talks @SIGCHI
proceeding
Vivacqua, Adriana S; Kun, Andrew L; Passmore, Cale; Mentis, Helena M.; Andres, Josh; Todi, Kashyap; De Russis, Luigi; Jones, Matt; Yamashita, Naomi; Kumar, Neha; Bidwell, Nicola J; Mirza-Babaei, Pejman; Kumar, Priya C.; Bardzell, Shaowen; Kriglstein, Simone; Branham, Stacy; Dray, Susan; Boll, Susanne CJ; Clegg, Tamara
In: CHI Conference on Human Factors in Computing Systems Extended Abstracts (CHI EA '22)
ACM
2022 CHI Conference on Human Factors in Computing Systems (New Orleans (USA)) April 30 - May 5, 2022
pp.3 (pp.1-3) DOI:10.1145/3491101.3516397 -
Helping Novice Developers Harness Security Issues in Cloud-IoT Systems
articolo
Corno, Fulvio; De Russis, Luigi; Mannella, Luca
JOURNAL OF RELIABLE INTELLIGENT ENVIRONMENTS
Springer
Vol.8 pp.23 (pp.261-283) ISSN:2199-4676 DOI:10.1007/s40860-022-00175-4 -
On How Novices Approach Programming Exercises Before and During Coding
proceeding
Saenz, Juan Pablo; De Russis, Luigi
In: CHI Conference on Human Factors in Computing Systems Extended Abstracts
ACM (STATI UNITI D'AMERICA)
ACM CHI Conference on Human Factors in Computing System 2022 (New Orleans, LA (USA)) April 30–May 5 2022
pp.6 (pp.1-6) ISBN:9781450391566 DOI:10.1145/3491101.3519655 -
Towards Understanding the Dark Patterns That Steal Our Attention
proceeding
Monge Roffarello, Alberto; De Russis, Luigi
In: CHI Conference on Human Factors in Computing Systems Extended Abstracts
ACM (STATI UNITI D'AMERICA)
ACM Conference on Human Factors in Computing Systems (CHI 2022) (New Orleans, LA (USA)) April 30 - May 5 2022
pp.7 (pp.1-7) DOI:10.1145/3491101.3519829 -
Understanding and Streamlining App Switching Experiences in Mobile Interaction
articolo
Monge Roffarello, Alberto; De Russis, Luigi
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES
Elsevier
Vol.158 pp.14 (pp.1-14) ISSN:1071-5819 DOI:10.1016/j.ijhcs.2021.102735
-
OPUS: an Alternate Reality Game to learn SQL at university
proceeding
Lupano, Mara; Farinetti, Laura; Morreale, Domenico
In: Titolo volume non avvalorato
IEEE
2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC)
pp.6 (pp.121-126) ISBN:9781665424639 DOI:10.1109/COMPSAC51774.2021.00028 -
CHItaly '21: CHItaly 2021: 14th Biannual Conference of the Italian SIGCHI Chapter
curatela
De Angeli, Antonella; Chittaro, Luca; Gennari, Rosella; De Marsico, Maria; Melonio, Alessandra; Gena, Cristina; DE RUSSIS, Luigi; Davide Spano, Lucio
ACM (STATI UNITI D'AMERICA)
pp.14 (pp.1-14) ISBN:9781450389778 DOI:10.1145/3464385 -
From teaching books to educational videos and vice versa: a cross-media content retrieval experience
proceeding
Canale, Lorenzo; Farinetti, Laura; Cagliero, Luca
In: 2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC)
IEEE
45th Annual International IEEE-Computer-Society Computers, Software, and Applications Conference (COMPSAC) 12-16 July 2021
pp.6 (pp.115-120) ISBN:9781665424639 DOI:10.1109/COMPSAC51774.2021.00027 -
On producing energy-efficient and contrast-enhanced images for OLED-based mobile devices
articolo
Asnani, Sorath; Canu, MARIA GIULIA; Farinetti, Laura; Montrucchio, Bartolomeo
PERVASIVE AND MOBILE COMPUTING
Elsevier
Vol.75 (101384) pp.22 ISSN:1574-1192 DOI:10.1016/j.pmcj.2021.101384 -
Designing Technology That Promotes Users' Digital Wellbeing
articolo
Monge Roffarello, Alberto; De Russis, Luigi
CROSSROADS
ACM
Vol.28 pp.5 (pp.14-18) ISSN:1528-4972 DOI:10.1145/3481823 -
TextCode: A Tool to Support Problem Solving Among Novice Programmers
proceeding
Corno, Fulvio; De Russis, Luigi; Sáenz, Juan Pablo
In: 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)
IEEE
IEEE Symposium on Visual Languages and Human-Centric Computing 2021 (Online) October 10-13, 2021
pp.5 (pp.1-5) DOI:10.1109/VL/HCC51201.2021.9576164 -
Towards Vocally-Composed Personalization Rules in the IoT
proceeding
De Russis, Luigi; Monge Roffarello, Alberto; Borsarelli, Carlo
CEUR WORKSHOP PROCEEDINGS
In: Proceedings of the 2nd International Workshop on Empowering People in Dealing with Internet of Things Ecosystems (EMPATHY 2021)
CEUR-WS (GERMANIA)
2nd International Workshop on Empowering People in Dealing with Internet of Things Ecosystems (EMPATHY 2021) (Bari (Italy)) August 30, 2021
Vol.3053 pp.5 (pp.1-5) ISSN:1613-0073 -
Towards Multi-Device Digital Self-Control Tools
proceeding
Monge Roffarello, Alberto; De Russis, Luigi
In: Human-Computer Interaction – INTERACT 2021
Springer International Publishing (SVIZZERA)
IFIP Conference on Human-Computer Interaction (Bari (Italy)) Aug 30th - Sep 3rd, 2021
Vol.12935 pp.10 (pp.122-131) ISBN:9783030856090 DOI:10.1007/978-3-030-85610-6_8 -
On Computational Notebooks to Empower Physical Computing Novices
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; SAENZ MORENO, JUAN PABLO
In: Companion of the 2021 ACM SIGCHI Symposium on Engineering Interactive Computing Systems
Association for Computing Machinery (STATI UNITI D'AMERICA)
The 13th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (Virtual Event, Netherlands) June 8-11, 2021
pp.4 (pp.22-25) ISBN:9781450384490 DOI:10.1145/3459926.3464752 -
Devices, Information, and People: Abstracting the Internet of Things for End-User Personalization
proceeding
Corno, Fulvio; De Russis, Luigi; Monge Roffarello, Alberto
In: End-User Development
Springer International Publishing (SVIZZERA)
IS-EUD: the 8th International Symposium on End-User Development (Limassol (Cyprus)) July 6-8, 2021
Vol.12724 pp.16 (pp.71-86) ISBN:9783030798406 DOI:10.1007/978-3-030-79840-6_5 -
Perception of Security Issues in the Development of Cloud-IoT Systems by a Novice Programmer
proceeding
Corno, Fulvio; De Russis, Luigi; Mannella, Luca
In: Intelligent Environments 2021: Workshop Proceedings of the 17th International Conference on Intelligent Environments
IOS Press (PAESI BASSI)
WoRIE'21: 10th Workshop on the Reliability of Intelligent Environments (Dubai (UAE)) 22/06/2021
Vol.29 pp.11 (pp.5-15) ISBN:9781643681863 DOI:10.3233/AISE210074 -
Predicting student academic performance by means of associative classification
articolo
Cagliero, L.; Canale, L.; Farinetti, L.; Baralis, E.; Venuto, E.
APPLIED SCIENCES
MDPI
Vol.11 pp.22 (pp.1-22) ISSN:2076-3417 DOI:10.3390/app11041420 -
Reducing Risk in Digital Self-Control Tools: Design Patterns and Prototype
proceeding
Schwartz, R. X.; MONGE ROFFARELLO, Alberto; DE RUSSIS, Luigi; Apostolellis, Panagiotis
In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems
ACM
ACM Conference on Human Factors in Computing Systems (CHI 2021) (Yokohama (Japan)) May 8-13, 2021
pp.7 (pp.1-7) ISBN:9781450380959 DOI:10.1145/3411763.3451843 -
Understanding, Discovering, and Mitigating Habitual Smartphone Use in Young Adults
articolo
Monge Roffarello, Alberto; De Russis, Luigi
ACM TRANSACTIONS ON INTERACTIVE INTELLIGENT SYSTEMS
ACM
Vol.11 pp.34 (pp.1-34) ISSN:2160-6455 DOI:10.1145/3447991 -
Coping with Digital Wellbeing in a Multi-Device World
proceeding
Monge Roffarello, Alberto; De Russis, Luigi
In: Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems
ACM (STATI UNITI D'AMERICA)
ACM Conference on Human Factors in Computing Systems (CHI 2021) (Yokohama, Japan) May 8-13, 2021
pp.14 (pp.1-14) ISBN:9781450380966 DOI:10.1145/3411764.3445076 -
From Users' Intentions to IF-THEN Rules in the Internet of Things
articolo
Corno, Fulvio; De Russis, Luigi; Monge Roffarello, Alberto
ACM TRANSACTIONS ON INFORMATION SYSTEMS
ACM
Vol.39 pp.33 (pp.1-33) ISSN:1046-8188 DOI:10.1145/3447264 -
Globally Yours
editoriale
Kumar, Neha; Sari, Eunice; Vivacqua, Adriana; Karusala, Naveena; Kamath, Vikram; DE RUSSIS, Luigi; Terveen, Loren
INTERACTIONS
ACM
Vol.28 pp.2 (pp.94-95) ISSN:1072-5520 DOI:10.1145/3441305
-
End-User Development in the Internet of Things
tesi dottorato
MONGE ROFFARELLO, Alberto
Politecnico di Torino
pp.162 (pp.1-162) -
UNIFORM: Automatic Alignment of Open Learning Datasets
proceeding
Cagliero, Luca; Canale, Lorenzo; Farinetti, Laura
In: 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC)
IEEE
44th Annual Computers, Software, and Applications Conference (COMPSAC) 13-17 July 2020
pp.8 (pp.95-102) ISBN:9781728173030 DOI:10.1109/COMPSAC48688.2020.00022 -
Systematic Variation of Preattentive Attributes to Highlight Relevant Data in Information Visualization
proceeding
Barrera-Leon, Luisa; Corno, Fulvio; de Russis, Luigi
In: 2020 24th International Conference Information Visualisation (IV)
IEEE
24 International Conference Information Visualisation (IV 2020) (Melbourne, Australia) 7-11 Sept. 2020
pp.6 (pp.74-79) ISBN:9781728191348 DOI:10.1109/IV51561.2020.00022 -
Personalizing IoT Ecosystems via Voice
proceeding
De Russis, Luigi; Monge Roffarello, Alberto
CEUR WORKSHOP PROCEEDINGS
In: Proceedings of the 1st International Workshop on Empowering People in Dealing with Internet of Things Ecosystems (EMPATHY 2020)
CEUR-WS (GERMANIA)
EMPATHY 2020: Empowering People in Dealing with Internet of Things Ecosystems (Island of Ischia (Italy)) September 29, 2020
Vol.2702 pp.4 (pp.37-40) ISSN:1613-0073 -
Software Engineering in the IoT Context: Characteristics, Challenges, and Enabling Strategies
tesi dottorato
SAENZ MORENO, JUAN PABLO
Politecnico di Torino
pp.146 (pp.1-146) -
Data4Good: Designing for Diversity and Development
proceeding
De Russis, Luigi; Kumar, Neha; Mathur, Akhil
In: AVI '20: Proceedings of the International Conference on Advanced Visual Interfaces
ACM
International Conference on Advanced Visual Interfaces (AVI '20) (Salerno (Italy)) September 28-October 2, 2020
pp.2 (pp.1-2) ISBN:9781450375351 DOI:10.1145/3399715.3400864 -
HeyTAP: Bridging the Gaps Between Users' Needs and Technology in IF-THEN Rules via Conversation
proceeding
Corno, Fulvio; De Russis, Luigi; Monge Roffarello, Alberto
In: AVI '20: Proceedings of the International Conference on Advanced Visual Interfaces
ACM (STATI UNITI D'AMERICA)
International Conference on Advanced Visual Interfaces (AVI '20) (Island of Ischia (IT)) September 28 - October 2, 2020
pp.9 (pp.1-9) ISBN:9781450375351 DOI:10.1145/3399715.3399905 -
How is Open Source Software Development Different in Popular IoT Projects?
articolo
Corno, Fulvio; DE RUSSIS, Luigi; SAENZ MORENO, JUAN PABLO
IEEE ACCESS
IEEE
Vol.8 pp.12 (pp.28337-28348) ISSN:2169-3536 DOI:10.1109/ACCESS.2020.2972364 -
TAPrec: Supporting the Composition of Trigger-Action Rules Through Dynamic Recommendations
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; MONGE ROFFARELLO, Alberto
In: Proceedings of the 25th International Conference on Intelligent User Interfaces
ACM (STATI UNITI D'AMERICA)
IUI '20: ACM International Conference on Intelligent User Interfaces (Cagliari (Italy)) 17-20 March, 2020
pp.10 (pp.579-588) ISBN:9781450371186 DOI:10.1145/3377325.3377499
-
On the Challenges Novice Programmers Experience in Developing IoT Systems: A Survey
articolo
Corno, Fulvio; De Russis, Luigi; Sáenz, Juan Pablo
THE JOURNAL OF SYSTEMS AND SOFTWARE
Elsevier
Vol.157 pp.21 (pp.1-21) ISSN:0164-1212 DOI:10.1016/j.jss.2019.07.101 -
Reliability on Pervasive Well-being: will it soon become a reality? State of the art and open issues
editoriale
Micucci, Daniela; Corno, Fulvio
JOURNAL OF RELIABLE INTELLIGENT ENVIRONMENTS
Springer
Vol.5 pp.2 (pp.129-130) ISSN:2199-4668 DOI:10.1007/s40860-019-00087-w -
Towards Detecting and Mitigating Smartphone Habits
proceeding
MONGE ROFFARELLO, Alberto; DE RUSSIS, Luigi
In: Proceedings of the 2019 ACM International Joint Conference and 2019 International Symposium on Pervasive and Ubiquitous Computing and Wearable Computers (UbiComp 2019)
ACM
The 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2019) (London (UK)) 10-14 September, 2019
pp.4 (pp.149-152) ISBN:9781450368698 DOI:10.1145/3341162.3343770 -
RecRules: Recommending IF-THEN Rules for End-User Development
articolo
Corno, Fulvio; DE RUSSIS, Luigi; MONGE ROFFARELLO, Alberto
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY
ACM
Vol.10 pp.27 (pp.1-27) ISSN:2157-6904 DOI:10.1145/3344211 -
On the Impact of Dysarthric Speech on Contemporary ASR Cloud Platforms
articolo
De Russis, Luigi; Corno, Fulvio
JOURNAL OF RELIABLE INTELLIGENT ENVIRONMENTS
Springer
Vol.5 pp.10 (pp.163-172) ISSN:2199-4676 DOI:10.1007/s40860-019-00085-y -
VISA: A supervised approach to indexing video lectures with semantic annotations
proceeding
Cagliero, Luca; Canale, Lorenzo; Farinetti, Laura
In: 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)
IEEE (STATI UNITI D'AMERICA)
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) (Milwaukee, WI, USA) July 15-19, 2019
pp.10 (pp.226-235) ISBN:9781728126074 DOI:10.1109/COMPSAC.2019.00041 -
Who Cares? Exploring the Concept of Care Networks for Designing Healthcare Technologies
proceeding
Park, Sun Young; Nunes, Francisco; Berry, Andrew; Büyüktür, Ayse; De Russis, Luigi; Czerwinski, Mary; Seo, Woosuk
REPORTS OF THE EUROPEAN SOCIETY FOR SOCIALLY EMBEDDED TECHNOLOGIES
In: Proceedings of 17th European Conference on Computer-Supported Cooperative Work - Workshops
European Society for Socially Embedded Technologies (EUSSET)
17th European Conference on Computer-Supported Cooperative Work (Salzburg (Austria)) 8 - 12 June 2019
Vol.3 pp.9 (pp.1-9) ISSN:2510-2591 DOI:10.18420/ecscw2019_ws1 -
My IoT Puzzle: Debugging IF-THEN Rules Through the Jigsaw Metaphor
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; MONGE ROFFARELLO, Alberto
In: End-User Development
Springer International Publishing
IS-EUD: the 7th International Symposium on End-User Development (Hertfordshire, UK) 10-12 July, 2019
Vol.11553 pp.16 (pp.18-33) ISBN:9783030247805 DOI:10.1007/978-3-030-24781-2_2 -
Touch-Based Ontology Browsing on Tablets and Surfaces
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; BARRERA LEON, LUISA FERNANDA
In: 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC)
IEEE
43rd IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2019), Symposium on Human Computing & Social Computing (HCSC) (Milwaukee, Wisconsin (USA)) July 15-19, 2019
Vol.1 pp.6 (pp.616-621) ISBN:9781728126074 DOI:10.1109/COMPSAC.2019.00094 -
EUDoptimizer: Assisting End Users in Composing IF-THEN Rules Through Optimization
articolo
Corno, Fulvio; De Russis, Luigi; Monge Roffarello, Alberto
IEEE ACCESS
IEEE
Vol.7 pp.11 (pp.37950-37960) ISSN:2169-3536 DOI:10.1109/ACCESS.2019.2905619 -
Recommending Personalized Summaries of Teaching Materials
articolo
Cagliero, Luca; Farinetti, Laura; Baralis, ELENA MARIA
IEEE ACCESS
IEEE
Vol.7 pp.11 (pp.22729-22739) ISSN:2169-3536 DOI:10.1109/ACCESS.2019.2899655 -
Towards Computational Notebooks for IoT Development
proceeding
Corno, F.; De Russis, L; Saenz, J. P.
In: Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems (CHI EA '19)
ACM (STATI UNITI D'AMERICA)
ACM CHI Conference on Human Factors in Computing System 2019 (Glasgow (UK)) May 4-9, 2019
pp.6 (pp.1-6) ISBN:9781450359719 DOI:10.1145/3290607.3312963 -
Empowering End Users in Debugging Trigger-Action Rules
proceeding
Corno, Fulvio; De Russis, Luigi; Monge Roffarello, Alberto
In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems (CHI '19)
ACM (STATI UNITI D'AMERICA)
CHI Conference on Human Factors in Computing Systems (CHI 2019) (Glasgow (UK)) May 4-9, 2019
pp.13 (pp.1-13) ISBN:9781450359702 DOI:10.1145/3290605.3300618 -
The Race Towards Digital Wellbeing: Issues and Opportunities
proceeding
Monge Roffarello, Alberto; De Russis, Luigi
In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems (CHI '19)
ACM (STATI UNITI D'AMERICA)
CHI Conference on Human Factors in Computing Systems (CHI 2019) (Glasgow (UK)) May 4-9, 2019
pp.14 (pp.1-14) ISBN:9781450359702 DOI:10.1145/3290605.3300616 -
A High-Level Semantic Approach to End-User Development in the Internet of Things
articolo
Corno, Fulvio; De Russis, Luigi; Monge Roffarello, Alberto
INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES
Elsevier
Vol.125 pp.14 (pp.41-54) ISSN:1071-5819 DOI:10.1016/j.ijhcs.2018.12.008 -
XDN: Cross-Device Framework for Custom Notifications Management
articolo
Corno, Fulvio; De Russis, Luigi; Montanaro, Teodoro
COMPUTING
Springer
Vol.101 pp.27 (pp.1735-1761) ISSN:0010-485X DOI:10.1007/s00607-018-0686-6
-
La rete CLAN (Cultural Local Area Network) per la Città di Asti - The Cultural Local Area Network (CLAN) for the city of Asti
articolo
Filippi, Marco; Corno, Fulvio; Rocco, Andrea
ATTI E RASSEGNA TECNICA
SOCIETÀ DEGLI INGEGNERI E DEGLI ARCHITETTI IN TORINO
Vol.LXXII pp.9 (pp.37-45) ISSN:0004-7287 -
Message from the ITiP Symposium Chairs
proceeding
Murugesan, San; Corno, Fulvio
In: Proceedings - International Computer Software and Applications Conference
IEEE Computer Society (STATI UNITI D'AMERICA)
42nd IEEE Computer Software and Applications Conference, COMPSAC 2018 (Tokio, Japan) July 2018
Vol.1 pp.1 ISBN:9781538626665 DOI:10.1109/COMPSAC.2018.00108 -
An Unsupervised and Non-Invasive Model for Predicting Network Resource Demands
articolo
Corno, Fulvio; DE RUSSIS, Luigi; Marcelli, Andrea; Montanaro, Teodoro
IEEE INTERNET OF THINGS JOURNAL
IEEE
Vol.5 pp.9 (pp.4342-4350) ISSN:2327-4662 DOI:10.1109/JIOT.2018.2860681 -
User Expectations in Intelligent Environments
articolo
Corno, Fulvio
JOURNAL OF RELIABLE INTELLIGENT ENVIRONMENTS
Springer
Vol.4 pp.10 (pp.189-198) ISSN:2199-4668 DOI:10.1007/s40860-018-0068-z -
User Expectations in Intelligent Environments - Issues and Opportunities in the Interaction of Intelligent Users and Intelligent Environments
proceeding
Corno, Fulvio
AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS
In: Intelligent Environments 2018 - Workshop Proceedings of the 14th International Conference on Intelligent Environments
IOS Press (PAESI BASSI)
7th International Workshop on the Reliability of Intelligent Environments (WoRIE'18) (Roma (I)) June 2018
Vol.23 pp.2 (pp.542-543) ISSN:1875-4163 ISBN:9781614998730 -
L’uso delle tecnologie ICT (dal web alle app) a supporto della didattica blended
capitolo
Farinetti, Laura; Mezzalama, Marco; Venuto, Enrico
La formazione nell'era delle smart cities
Cisalpino (ITALIA)
pp.14 (pp.253-266) ISBN:9788820511043 DOI:10.12894/1111 -
Assessing Virtual Assistant Capabilities with Italian Dysarthric Speech
proceeding
Ballati, Fabio; Corno, Fulvio; De Russis, Luigi
In: Proceedings of the 20th International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS '18)
ACM (STATI UNITI D'AMERICA)
The 20th International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS '18) (Galway (Ireland)) October 22 - 24, 2018
pp.9 (pp.93-101) ISBN:9781450356503 DOI:10.1145/3234695.3236354 -
Improving the effectiveness of SQL learning practice: a data-driven approach
proceeding
Cagliero, Luca; DE RUSSIS, Luigi; Farinetti, Laura; Montanaro, Teodoro
In: 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC)
IEEE
42nd IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2018), Symposium on Computer Education & Learning Technologies (CELT) (Tokyo (Japan)) July 23-27, 2018
Vol.1 pp.10 (pp.980-989) ISBN:9781538626665 DOI:10.1109/COMPSAC.2018.00174 -
Collaborative Accessible Gameplay with One-Switch Interfaces
proceeding
Bulgarelli, Daniela; Corno, Fulvio; DE RUSSIS, Luigi
In: 2018 IEEE Games, Entertainment, Media Conference (GEM)
IEEE (STATI UNITI D'AMERICA)
2018 IEEE Games Entertainment & Media conference (Galway, Ireland) August 2018
pp.6 (pp.95-100) ISBN:9781538663042 DOI:10.1109/GEM.2018.8516494 -
IoT for ambient assisted living: Care4Me - A healthcare support system
capitolo
Corno, Fulvio; De Russis, Luigi; Monge Roffarello, Alberto
Wearable Technologies: Concepts, Methodologies, Tools, and Applications
IGI Global
pp.27 (pp.161-187) ISBN:9781522554851 DOI:10.4018/978-1-5225-5484-4.ch009 -
On The Advanced Services That 5G May Provide To IoT Applications
proceeding
Corno, Fulvio; De Russis, Luigi; Saenz, Juan Pablo
In: Proceedings of the 2018 IEEE 1st 5G World Forum
IEEE
2018 IEEE 1st 5G World Forum (5GWF’18) (Santa Clara, California (USA)) 9-11 July 2018
pp.4 (pp.528-531) ISBN:9781538649824 DOI:10.1109/5GWF.2018.8517038 -
Recognizing Student Research through Symposia and Competitions
articolo
De Russis, Luigi; Yoshida, Kenichi
IT PROFESSIONAL
IEEE
Vol.20 pp.4 (pp.86-89) ISSN:1520-9202 DOI:10.1109/MITP.2018.032501753 -
"Hey Siri, do you understand me?": Virtual Assistants and Dysarthria
proceeding
Ballati, Fabio; Corno, Fulvio; De Russis, Luigi
AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS
In: Intelligent Environments 2018: Workshop Proceedings of the 14th International Conference on Intelligent Environments
IOS Press
14th International Workshop on the Reliability of Intelligent Environments (WoRIE 2018) (Rome (Italy)) 25-28 June 2018
Vol.23 pp.10 (pp.557-566) ISSN:1875-4163 ISBN:9781614998730 DOI:10.3233/978-1-61499-874-7-557 -
On Using a Mobile Application to Support Teledermatology: A Case Study in an Underprivileged Area in Colombia
articolo
Sáenz, Juan Pablo; Novoa, Mónica Paola; Correal, Darío; Eapen, Bell Raj
INTERNATIONAL JOURNAL OF TELEMEDICINE AND APPLICATIONS
Hindawi Publishing Corporation
Vol.2018 pp.8 (pp.1-8) ISSN:1687-6415 DOI:10.1155/2018/1496941 -
End User Development in the IoT: a Semantic Approach
proceeding
MONGE ROFFARELLO, Alberto
In: Proceedings of 14th International Conference on Intelligent Environments
IEEE
The 14th International Conference on Intelligent Environments - IE '18 (Rome (Italy)) 25th-28th June 2018
pp.4 (pp.107-110) ISBN:9781538668443 DOI:10.1109/IE.2018.00026 -
A Debugging Approach for Trigger-Action Programming
proceeding
De Russis, Luigi; Monge Roffarello, Alberto
In: Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (CHI EA '18)
ACM
CHI 2018: The 36th Annual CHI Conference on Human Factors in Computing Systems (Montreal, QC (Canada)) April 21–26, 2018
pp.6 (pp.1-6) ISBN:9781450356213 DOI:10.1145/3170427.3188641 -
Easing IoT Development for Novice Programmers Through Code Recipes
proceeding
Corno, Fulvio; De Russis, Luigi; Sáenz, Juan Pablo
In: Proceedings of the 40th International Conference on Software Engineering: Software Engineering Education and Training
ACM
40th International Conference on Software Engineering: Software Engineering Education and Training Track (Gothenburg, Sweden) May 27-June 3 2018
pp.4 (pp.13-16) ISBN:9781450356602 DOI:10.1145/3183377.3183385 -
A Comparison and Critique of Natural Language Understanding Tools
proceeding
Canonico, Massimo; De Russis, Luigi
In: CLOUD COMPUTING 2018: The Ninth International Conference on Cloud Computing, GRIDs, and Virtualization
IARIA
CLOUD COMPUTING 2018: The Ninth International Conference on Cloud Computing, GRIDs, and Virtualization (Barcelona, Spain) February 18-22, 2018
pp.6 (pp.110-115) ISBN:9781612086071 -
AwareNotifications: Multi-Device Semantic Notification Handling with User-Defined Preferences
articolo
Corno, Fulvio; De Russis, Luigi; Monge Roffarello, Alberto
JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS
IOS Press
Vol.10 pp.17 (pp.327-343) ISSN:1876-1364 DOI:10.3233/AIS-180492 -
DogOnt as a viable seed for semantic modeling of AEC/FM
articolo
Bonino, Dario; DE RUSSIS, Luigi
SEMANTIC WEB
IOS Press
Vol.9 pp.18 (pp.763-780) ISSN:1570-0844 DOI:10.3233/SW-180295 -
Complex Event Processing for City Officers: A Filter and Pipe Visual Approach
articolo
Bonino, Dario; De Russis, Luigi
IEEE INTERNET OF THINGS JOURNAL
IEEE
Vol.5 pp.9 (pp.775-783) ISSN:2327-4662 DOI:10.1109/JIOT.2017.2728089
-
Message from the Student Research Symposium Chairs
proceeding
Demartini, Claudio; Yoshida, Kenichi; De Russis, Luigi
In: IEEE COMPSAC 2017 proceedings
IEEE
IEEE COMPSAC 2017
Vol.1 pp.1 DOI:10.1109/COMPSAC.2017.294 -
A Semantic Web Approach to Simplifying Trigger-Action Programming in the IoT
articolo
Corno, Fulvio; De Russis, Luigi; Monge Roffarello, Alberto
COMPUTER
IEEE
Vol.50 pp.7 (pp.18-24) ISSN:0018-9162 DOI:10.1109/MC.2017.4041355 -
SmartBike: an IoT Crowd Sensing Platform for Monitoring City Air Pollution
articolo
Corno, Fulvio; Montanaro, Teodoro; Migliore, Carmelo; Castrogiovanni, Pino
INTERNATIONAL JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING
IAES
Vol.7 pp.11 (pp.3602-3612) ISSN:2088-8708 DOI:10.11591/ijece.v7i6.pp3602-3612 -
Educational video services in universities: a systematic effectiveness analysis
proceeding
Cagliero, Luca; Farinetti, Laura; Mezzalama, Marco; Venuto, Enrico; Baralis, ELENA MARIA
In: 2017 IEEE Frontiers in Education Conference (FIE)
IEEE
2017 IEEE Frontiers in Education Conference (FIE 2017) (Indianapolis, Indiana (USA)) October 18 - 21, 2017
Vol.1 pp.9 (pp.1-9) ISBN:9781509059201 DOI:10.1109/FIE.2017.8190709 -
From Web to Apps in Massive University On-line Learning
articolo
Mezzalama, Marco; Venuto, Enrico; Farinetti, Laura
JOURNAL OF MODERN EDUCATION REVIEW
Academic Star Publishing Company
Vol.7 pp.13 (pp.166-178) ISSN:2155-7993 DOI:10.15341/jmer(2155-7993)/03.07.2017/002 -
Semi-automated Model-Based Generation of Enterprise Architecture Deliverables
proceeding
Saenz, JUAN PABLO; Cárdenas, Steve; Sánchez, Mario; Villalobos, Jorge
In: Business Information Systems: 20th International Conference, BIS 2017, Poznan, Poland, June 28--30, 2017, Proceedings
Springer International Publishing
20th International Conference on Business Information Systems (Poznań, Poland) 28-30 June 2017
pp.15 (pp.59-73) ISBN:9783319593364 DOI:10.1007/978-3-319-59336-4_5 -
On the Design of an Energy and User Aware Study Room
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; Saenz, JUAN PABLO
In: 2017 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT-Europe)
IEEE
7th IEEE International Conference on Innovative Smart Grid Technologies (ISGT Europe 2017) (Torino (Italy)) September 26 - 29, 2017
pp.6 DOI:10.1109/ISGTEurope.2017.8260192 -
XDN: Cross-Device Framework for Custom Notifications Management
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; Montanaro, Teodoro
In: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS '17)
ACM (STATI UNITI D'AMERICA)
The 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (Lisbon (Portugal)) June 26-29, 2017
pp.6 (pp.57-62) ISBN:9781450350839 DOI:10.1145/3102113.3102127 -
Test-driven summarization: combining formative assessment with teaching document summarization
proceeding
Cagliero, Luca; Farinetti, Laura; Baralis, ELENA MARIA
In: 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC)
IEEE
41st IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017), Symposium on Computer Education & Learning Technologies (CELT) (Torino (Italy)) July 4 - 8, 2017
Vol.1 pp.6 (pp.401-406) ISBN:9781538603673 DOI:10.1109/COMPSAC.2017.231 -
Experimental validation of a massive educational service in a blended learning environment
proceeding
Baralis, ELENA MARIA; Cagliero, Luca; Farinetti, Laura; Mezzalama, Marco; Venuto, Enrico
In: 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC)
IEEE
41st IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017), Symposium on Computer Education & Learning Technologies (CELT) (Torino (Italy)) July 4 - 8, 2017
Vol.1 pp.10 (pp.381-390) ISBN:9781538603673 DOI:10.1109/COMPSAC.2017.123 -
Skinhealth, A Mobile Application for Supporting Teledermatology: A Case Study in a Rural Area in Colombia
proceeding
Saenz, JUAN PABLO; Novoa, Mónica Paola; Correal, Darío; Eapen, Bell Raj
In: Wireless Mobile Communication and Healthcare: 6th International Conference, MobiHealth 2016, Milan, Italy, November 14-16, 2016, Proceedings
Springer International Publishing
6th EAI International Conference on Wireless Mobile Communication and Healthcare (MobiHealth 2016) (Milan (Italy)) November 14 - 16, 2016
Vol.192 pp.4 (pp.160-163) ISBN:9783319588773 DOI:10.1007/978-3-319-58877-3_21 -
Design and Development of One-Switch Video Games for Children with Severe Motor Disabilities
articolo
ACED LOPEZ, Sebastian; Corno, Fulvio; DE RUSSIS, Luigi
ACM TRANSACTIONS ON ACCESSIBLE COMPUTING
ACM
Vol.10 pp.42 (pp.1-42) ISSN:1936-7228 DOI:10.1145/3085957 -
Pain Points for Novice Programmers of Ambient Intelligence Systems: An Exploratory Study
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; Saenz, JUAN PABLO
In: 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC)
IEEE
41st IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2017), Symposium on Software Engineering Technologies & Applications (SETA) (Torino (Italy)) July 4 - 8, 2017
Vol.1 pp.6 (pp.250-255) ISBN:9781538603673 DOI:10.1109/COMPSAC.2017.186 -
On the Benefit of Adding User Preferences to Notification Delivery
proceeding
DE RUSSIS, Luigi; MONGE ROFFARELLO, Alberto
In: Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems
ACM
CHI 2017: The 35th Annual CHI Conference on Human Factors in Computing Systems (Denver, CO (USA)) May 6–11, 2017
pp.8 (pp.1561-1568) ISBN:9781450346566 DOI:10.1145/3027063.3053160 -
A High-Level Approach Towards End User Development in the IoT
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; MONGE ROFFARELLO, Alberto
In: Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems
ACM
CHI 2017: The 35th Annual CHI Conference on Human Factors in Computing Systems (Denver, CO (USA)) May 6–11, 2017
pp.7 (pp.1546-1552) ISBN:9781450346566 DOI:10.1145/3027063.3053157 -
Training Engineers for the Ambient Intelligence Challenge
articolo
Corno, Fulvio; DE RUSSIS, Luigi
IEEE TRANSACTIONS ON EDUCATION
IEEE
Vol.60 pp.10 (pp.40-49) ISSN:0018-9359 DOI:10.1109/TE.2016.2608785
-
IoT for Ambient Assisted Living: Care4Me - A Healthcare Support System
capitolo
Corno, Fulvio; DE RUSSIS, Luigi; MONGE ROFFARELLO, Alberto
Internet of Things and Advanced Application in Healthcare
IGI Global
pp.32 (pp.66-97) ISBN:9781522518204 DOI:10.4018/978-1-5225-1820-4.ch003 -
Estimate User Meaningful Places through Low-Energy Mobile Sensing
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; Montanaro, Teodoro
In: IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2016
IEEE (STATI UNITI D'AMERICA)
SMC 2016: IEEE International Conference on Systems, Man, and Cybernetics (Budapest) 9-12 October, 2016
Vol.2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC) pp.6 (pp.003039-003044) ISBN:9781509018970 DOI:10.1109/SMC.2016.7844703 -
Learning the Social Web: a Multidisciplinary Approach
proceeding
DE RUSSIS, Luigi; Farinetti, Laura; Taddeo, Gabriella
In: 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)
IEEE
40th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2016), Symposium on Computing Education & Learning Technologies (CELT) (Atlanta, Georgia (USA)) June 10-14, 2016
pp.6 (pp.722-727) DOI:10.1109/COMPSAC.2016.148 -
A Healthcare Support System for Assisted Living Facilities: an IoT Solution
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; MONGE ROFFARELLO, Alberto
In: 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)
IEEE
40th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC 2016), Symposium on IT in Practice (ITiP) (Atlanta, Georgia (USA)) June 10-14, 2016
pp.9 (pp.344-352) DOI:10.1109/COMPSAC.2016.29 -
Clocks, Bars and Balls: Design and Evaluation of Alternative GNomon Widgets for Children with Disabilities
proceeding
ACED LOPEZ, Sebastian; Corno, Fulvio; DE RUSSIS, Luigi
In: Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems
ACM
CHI 2016: The 34th Annual CHI Conference on Human Factors in Computing Systems (San Jose, California, USA) May 7-12, 2016
pp.7 (pp.1654-1660) ISBN:9781450340823 DOI:10.1145/2851581.2892373 -
Educating Internet of Things Professionals: The Ambient Intelligence Course
articolo
Corno, Fulvio; DE RUSSIS, Luigi; Bonino, Dario
IT PROFESSIONAL
IEEE Computer Society
Vol.18 pp.8 (pp.50-57) ISSN:1520-9202 DOI:10.1109/MITP.2016.100
-
On the Support of Automated Analysis Chains on Enterprise Models
proceeding
Ramos, Andrés; Saenz, JUAN PABLO; Sánchez, Mario; Villalobos, Jorge
LECTURE NOTES IN BUSINESS INFORMATION PROCESSING
In: Enterprise, Business-Process and Information Systems Modeling
Springer International Publishing
16th International Conference on Business Process Modeling, Development and Support, BPMDS 2015 and 20th International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2015 held at Conference on Advanced Information Systems Engineering, CAiSE 2015 (Stockholm, Sweden) 2015
Vol.214 pp.15 (pp.345-359) ISSN:1865-1348 ISBN:9783319192376 DOI:10.1007/978-3-319-19237-6_22 -
Generation and evaluation of summaries of academic teaching materials
proceeding
Baralis, ELENA MARIA; Cagliero, Luca; Farinetti, Laura
In: Proceedings of the IEEE 39th Annual Computer Software and Applications Conference (COMPSAC), 2015
IEEE Computer Society (STATI UNITI D'AMERICA)
Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual (Taichung (Taiwan)) 1-5 luglio 2015
Vol.2 pp.6 (pp.881-886) ISBN:9781467365635 DOI:10.1109/COMPSAC.2015.15 -
A Context and User Aware Smart Notification System
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; Montanaro, Teodoro
In: Internet of Things (WF-IoT), 2015 IEEE 2nd World Forum on
IEEE
IEEE 2nd World Forum on Internet of Things (WF-IoT) (Milan, Italy) 14-16 December 2015
pp.7 (pp.645-651) DOI:10.1109/WF-IoT.2015.7389130 -
The Ambient Intelligence Course at Politecnico Di Torino
articolo
DE RUSSIS, Luigi
CROSSROADS
ACM
Vol.22 pp.4 (pp.54-57) ISSN:1528-4972 DOI:10.1145/2845159 -
The Overall Architecture of a Decision Support System for Public Buildings
articolo
Capozzoli, Alfonso; Corno, Fulvio; Corrado, Vincenzo; Gorrino, Alice
ENERGY PROCEDIA
Elsevier
Vol.78 pp.6 (pp.2196-2201) ISSN:1876-6102 DOI:10.1016/j.egypro.2015.11.318 -
Smart Systems (Guest Editors' Introduction)
articolo
Harmon, Robert R.; Corno, Fulvio; Castro Leon, Enrique G.
IT PROFESSIONAL
IEEE Computer Society
Vol.17 pp.4 (pp.14-17) ISSN:1520-9202 DOI:10.1109/MITP.2015.115 -
Can We Make Dynamic, Accessible and Fun One-Switch Video Games?
proceeding
ACED LOPEZ, Sebastian; Corno, Fulvio; DE RUSSIS, Luigi
In: Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility
ACM (STATI UNITI D'AMERICA)
The 17th International ACM SIGACCESS Conference on Computers and Accessibility (Lisbon, Portugal) 26-28 Ottobre 2015
pp.2 (pp.421-422) ISBN:9781450334006 DOI:10.1145/2700648.2811333 -
IoT Meets Exhibition Areas: a Modular Architecture to Improve Proximity Interactions
proceeding
Corno, Fulvio; DE RUSSIS, Luigi; Montanaro, Teodoro; Castrogiovanni, P.
In: 3rd International Conference on Future Internet of Things and Cloud (FiCloud), 2015
IEEE
FiCloud 2015: The 3rd International Conference on Future Internet of Things and Cloud (Roma) 24-26 August, 2015
pp.8 (pp.293-300) DOI:10.1109/FiCloud.2015.25 -
Playable One-Switch Video Games for Children with Severe Motor Disabilities Based on GNomon
proceeding
ACED LOPEZ, Sebastian; Corno, Fulvio; DE RUSSIS, Luigi
In: Proceedings of the 7th International Conference on Intelligent Technologies for Interactive Entertainment (INTETAIN 2015)
IEEE
7th International Conference on Intelligent Technologies for Interactive Entertainment (Turin, Italy) June 10–12, 2015
pp.10 (pp.176-185) ISBN:9781631900617 DOI:10.4108/icst.intetain.2015.259620 -
Designing for User Confidence in Intelligent Environments
articolo
Corno, Fulvio; Guercio, E.; DE RUSSIS, Luigi; Gargiulo, Eleonora
JOURNAL OF RELIABLE INTELLIGENT ENVIRONMENTS
Springer International Publishing
Vol.1 pp.11 (pp.11-21) ISSN:2199-4668 DOI:10.1007/s40860-015-0001-7 -
A Semantic Decision Support System to optimize the energy use of public buildings
proceeding
Álvaro, Sicilia; Gonçal, Costa; Corrado, Vincenzo; Gorrino, Alice; Corno, Fulvio
In: Proc. of the 32nd CIB W78 Conference 2015
32nd International CIB W078 Conference (Eindhoven, The Netherlands) October 27th-29th 2015
pp.10 (pp.676-685) -
Domotica, partire dalle esigenze delle persone
articolo
Corno, Fulvio
SM ITALIA
AISM
Vol.16 pp.1 ISSN:1129-8642 -
GNomon: Enabling Dynamic One-Switch Games for Children with Severe Motor Disabilities
proceeding
ACED LOPEZ, Sebastian; Corno, Fulvio; DE RUSSIS, Luigi
In: Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems
ACM
CHI'15: CHI Conference on Human Factors in Computing Systems (Seoul, Republic of Korea) April 18-23, 2015
pp.6 (pp.995-1000) ISBN:9781450331463 DOI:10.1145/2702613.2732802 -
HomeRules: A Tangible End-User Programming Interface for Smart Homes
proceeding
DE RUSSIS, Luigi; Corno, Fulvio
In: Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems
ACM
CHI'15: CHI Conference on Human Factors in Computing Systems (Seoul, Republic of Korea) April 18 - 23, 2015
pp.6 (pp.2109-2114) ISBN:9781450331463 DOI:10.1145/2702613.2732795 -
Design Recommendations for Smart Energy Monitoring: a Case Study in Italy
articolo
Bonino, Dario; DE RUSSIS, Luigi
ENERGY AND BUILDINGS
Elsevier
Vol.91 pp.9 (pp.1-9) ISSN:0378-7788 DOI:10.1016/j.enbuild.2015.01.031 -
Interacting with Smart Environments: Users, Interfaces, and Devices
articolo
DE RUSSIS, Luigi
JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS
IOS Press
Vol.7 pp.2 (pp.115-116) ISSN:1876-1364 DOI:10.3233/AIS-140294 -
Supporting Caregivers in Assisted Living Facilities for Persons with Disabilities: a User Study
articolo
ACED LOPEZ, Sebastian; Corno, Fulvio; DE RUSSIS, Luigi
UNIVERSAL ACCESS IN THE INFORMATION SOCIETY
Springer
Vol.14 pp.12 (pp.133-144) ISSN:1615-5289 DOI:10.1007/s10209-014-0400-1 -
IoT Meets Caregivers: a Healthcare Support System in Assisted Living Facilities
proceeding
ACED LOPEZ, Sebastian; Corno, Fulvio; DE RUSSIS, Luigi
LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING
In: User-Centric Internet of Things
Springer International Publishing
1st International Conference on IoT Technologies for HealthCare (Roma, Italy) 27-28 October 2014
Vol.150 pp.6 (pp.172-177) ISSN:1867-8211 ISBN:9783319196558 DOI:10.1007/978-3-319-19656-5_25 -
PowerOnt: An Ontology-based Approach for Power Consumption Estimation in Smart Homes
proceeding
Bonino, Dario; Corno, Fulvio; DE RUSSIS, Luigi
LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING
In: User-Centric Internet of Things
Springer International Publishing
The First International Conference on Cognitive Internet of Things Technologies (Roma, Italy) 27 October 2014
Vol.150 pp.6 (pp.3-8) ISSN:1867-8211 ISBN:9783319196558 DOI:10.1007/978-3-319-19656-5_1 -
Autonomic goal-oriented device management for Smart Environments
articolo
Sanaullah, Muhammad; Corno, Fulvio; Razzak, Faisal
JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS
IOS PRESS
Vol.7 pp.24 (pp.425-448) ISSN:1876-1364 DOI:10.3233/AIS-150329 -
Real-Time Monitoring of High-Level States in Smart Environments
articolo
Corno, Fulvio; Razzak, Faisal
JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS
IOS Press
Vol.7 pp.21 (pp.133-153) ISSN:1876-1364 DOI:10.3233/AIS-150310
-
Sexual and Reproductive Health for Young Adults in Colombia: Teleconsultation Using Mobile Devices
articolo
Lopez, Catalina; Ramirez, Daniel Camilo; Valenzuela, Jose Ignacio; Arguello, Arturo; SAENZ MORENO, JUAN PABLO; Trujillo, Stephanie; Correal, Dario Ernesto; Fajardo, Roosevelt; Dominguez, Cristina
JMIR. JOURNAL OF MEDICAL INTERNET RESEARCH
Journal of Medical Internet Research
Vol.2 pp.20 ISSN:1438-8871 DOI:10.2196/mhealth.2904 -
Advancing Cloud Computing
articolo
Irena, Bojanova; Vladimir, Dimitrov; Corno, Fulvio
IT PROFESSIONAL
IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC
Vol.16 pp.2 (pp.16-17) ISSN:1520-9202 DOI:10.1109/MITP.2014.82 -
A Semantics-Rich Information Technology Architecture for Smart Buildings
articolo
Bonino, Dario; Corno, Fulvio; DE RUSSIS, Luigi
BUILDINGS
MDPI AG
Vol.4 pp.31 (pp.880-910) ISSN:2075-5309 DOI:10.3390/buildings4040880 -
Interacting with Smart Environments: Users, Interfaces, and Devices
tesi dottorato
DE RUSSIS, Luigi
Politecnico di Torino
pp.135 DOI:10.6092/polito/porto/2536887 -
Template-based ontology population for Smart Environments configuration
proceeding
ACED LOPEZ, Sebastian; Bonino, Dario; Corno, Fulvio
LECTURE NOTES IN COMPUTER SCIENCE
In: Service-Oriented Computing – ICSOC 2013 Workshops
Springer International Publishing (SVIZZERA)
The 9th Semantic Web Enabled Software Engineering (Berlin (DE)) December 2-5, 2013
Vol.8377 pp.8 (pp.271-278) ISSN:0302-9743 ISBN:9783319068589 DOI:10.1007/978-3-319-06859-6_24 -
Design-time formal verification for smart environments: an exploratory perspective
articolo
Corno, Fulvio; Sanaullah, Muhammad
JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING
Springer
Vol.5 pp.19 (pp.581-599) ISSN:1868-5137 DOI:10.1007/s12652-013-0209-4 -
SAT based Enforcement of Domotic Effects in Smart Environments
articolo
Corno, Fulvio; Razzak, Faisal
JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING
Springer-Verlag Berlin Heidelberg
Vol.5 pp.15 (pp.565-579) ISSN:1868-5137 DOI:10.1007/s12652-013-0183-x -
Modeling and Formal Verification of Smart Environments
articolo
Corno, Fulvio; Sanaullah, Muhammad
SECURITY AND COMMUNICATION NETWORKS
WILEY-BLACKWELL PUBLISHING
Vol.7 pp.17 (pp.1582-1598) ISSN:1939-0122 DOI:10.1002/sec.794 -
JEERP: Energy Aware Enterprise Resource Planning
articolo
Bonino, Dario; DE RUSSIS, Luigi; Corno, Fulvio; Gianni, Ferrero
IT PROFESSIONAL
IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC
Vol.16 pp.7 (pp.50-56) ISSN:1520-9202 DOI:10.1109/MITP.2013.22
-
The Smart Home Controller on Your Wrist
proceeding
DE RUSSIS, Luigi; Bonino, Dario; Corno, Fulvio
In: Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication
ACM (STATI UNITI D'AMERICA)
HomeSys 2013 (Zurich, Switzerland) September, 2013
pp.8 (pp.785-792) DOI:10.1145/2494091.2497319 -
Innovative and Disruptive Technologies
editoriale
Laplante, Phillip A.; Jepsen, Tom; Williams, Joseph; Corno, Fulvio
IT PROFESSIONAL
IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS
Vol.15 pp.2 (pp.4-5) ISSN:1520-9202 DOI:10.1109/MITP.2013.43 -
Real-time Big Data Processing for Domain Experts, An Application to Smart Buildings
capitolo
Bonino, Dario; Corno, Fulvio; DE RUSSIS, Luigi
Big Data Computing
CRC Press (REGNO UNITO DI GRAN BRETAGNA)
Vol.1 pp.33 (pp.415-447) ISBN:9781466578388 DOI:10.1201/b16014-20
-
E-Learning at Politecnico di Torino: Moving to a Sustainable Large-Scale Multi-Channel System of Services
capitolo
Barbagallo, Salvatore; Bertonasco, Roberto; Corno, Fulvio; Farinetti, Laura; Mezzalama, Marco; SONZA REORDA, Matteo; Venuto, Enrico
Handbook of Research on Didactic Strategies and Technologies for Education: Incorporating Advancements
Information Science Reference (an imprint of IGI Global) (STATI UNITI D'AMERICA)
pp.13 (pp.690-702) ISBN:9781466621220 DOI:10.4018/978-1-4666-2122-0.ch060 -
Mastering Real-Time Big Data With Stream Processing Chains
articolo
Bonino, Dario; DE RUSSIS, Luigi
CROSSROADS
ACM
Vol.19 pp.4 (pp.83-86) ISSN:1528-4972 DOI:10.1145/2331042.2331050 -
Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments
articolo
Corno, Fulvio; Razzak, Faisal
IEEE TRANSACTIONS ON SMART GRID
IEEE - INST ELECTRICAL ELECTRONICS ENGINEERS INC
Vol.3 pp.8 (pp.2128-2135) ISSN:1949-3053 DOI:10.1109/TSG.2012.2214407 -
Esercizi di programmazione in C
monografia
Corno, Fulvio; Chiusano, SILVIA ANNA
Lulu Enterprises, Inc. (STATI UNITI D'AMERICA)
pp.176 ISBN:9781291012880 -
spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications
proceeding
Corno, Fulvio; Bonino, Dario
PROCEDIA COMPUTER SCIENCE
In: ANT 2012 and MobiWIS 2012
Elsevier
The 3rd International Conference on Ambient Systems, Networks and Technologies, ANT 2012 (Niagara Falls, Ontario, Canada) August 27-29, 2012
Vol.10C pp.8 (pp.316-323) ISSN:1877-0509 DOI:10.1016/j.procs.2012.06.042 -
dWatch: a Personal Wrist Watch for Smart Environments
proceeding
Bonino, Dario; Corno, Fulvio; DE RUSSIS, Luigi
PROCEDIA COMPUTER SCIENCE
In: ANT 2012 and MobiWIS 2012
Elsevier
The 3rd International Conference on Ambient Systems, Networks and Technologies, ANT 2012 (Niagara Falls, Ontario, Canada) August 27-29, 2012
Vol.10C pp.8 (pp.300-307) ISSN:1877-0509 DOI:10.1016/j.procs.2012.06.040 -
Publishing LO(D)D: Linked Open (Dynamic) Data for Smart Sensing and Measuring Environments
proceeding
Corno, Fulvio; Razzak, Faisal
PROCEDIA COMPUTER SCIENCE
In: ANT 2012 and MobiWIS 2012
Elsevier
The 3rd International Conference on Ambient Systems, Networks and Technologies, ANT 2012 (Niagara Falls, Ontario, Canada) August 27-29, 2012
Vol.10C pp.8 (pp.381-388) ISSN:1877-0509 DOI:10.1016/j.procs.2012.06.050 -
Home Energy Consumption Feedback: A User Survey
articolo
Bonino, Dario; Corno, Fulvio; DE RUSSIS, Luigi
ENERGY AND BUILDINGS
Elsevier
Vol.47C pp.11 (pp.383-393) ISSN:0378-7788 DOI:10.1016/j.enbuild.2011.12.017 -
DoMAIns: Domain-based Modeling for Ambient Intelligence
articolo
Bonino, Dario; Corno, Fulvio
PERVASIVE AND MOBILE COMPUTING
Elsevier
Vol.8 pp.15 (pp.614-628) ISSN:1574-1192 DOI:10.1016/j.pmcj.2011.10.009
-
Zenaminer: lo standard SCORM incontra il Web of Data
proceeding
Mudu, E.; Schiatti, L.; Rizzo, Giuseppe; Servetti, Antonio; Farinetti, Laura
In: Titolo volume non avvalorato
DIDAMATICA (Informatica per la Didattica) (Torino) Maggio
pp.10 (pp.1-10) ISBN:9788890540622 -
The Impact of Gaze Controlled Technology on Quality of Life
capitolo
Pasian, V.; Corno, Fulvio; Signorile, Isabella; Farinetti, Laura
Gaze Interaction and Applications of Eye Tracking: Advances in Assistive Technologies
IGI Global (STATI UNITI D'AMERICA)
pp.7 (pp.48-54) ISBN:9781613500989 DOI:10.4018/978-1-61350-098-9 -
Beyond Communication and Control: Environmental Control and Mobility by Gaze
capitolo
Bates, R.; Castellina, Emiliano; Corno, Fulvio; Novák, P.; Štěpánková, O.
Gaze Interaction and Applications of Eye Tracking: Advances in Assistive Technologies
IGI Global (STATI UNITI D'AMERICA)
pp.25 (pp.103-127) ISBN:9781613500989 DOI:10.4018/978-1-61350-098-9.ch010 -
DOGeye: Controlling your Home with Eye Interaction
articolo
Bonino, Dario; Castellina, Emiliano; Corno, Fulvio; DE RUSSIS, Luigi
INTERACTING WITH COMPUTERS
Elsevier
Vol.23/5 pp.15 (pp.484-498) ISSN:0953-5438 DOI:10.1016/j.intcom.2011.06.002 -
Tecnologie per la disabilità nella formazione ingegneristica di base
proceeding
Bellomo, M; Corno, Fulvio; Ferraresi, Carlo
In: Titolo volume non avvalorato
Didamatica 2011 (Torino (IT)) 4-6 maggio 2011
pp.4 ISBN:9788890540622 -
La formazione a distanza al Politecnico di Torino: nuovi modelli e strumenti
proceeding
Barbagallo, Salvatore; Bertonasco, Roberto; Corno, Fulvio; Mezzalama, Marco; SONZA REORDA, Matteo; Venuto, Enrico
In: Titolo volume non avvalorato
Didamatica 2011 (Torino (IT)) 4-6 maggio 2011
pp.10 ISBN:9788890540622 -
Formal Verification of Device State Chart Models
proceeding
Corno, Fulvio; Sanaullah, Muhammad
In: Titolo volume non avvalorato
IEEE Computer Society (STATI UNITI D'AMERICA)
The 7th International Conference on Intelligent Environments (Nottingham (UK)) 25-28/07/2011
Vol.Proceedings 2011 Seventh International Conference on Intelligent Environments pp.8 (pp.66-73) ISBN:9780769544526 DOI:10.1109/IE.2011.36 -
Modeling, Simulation and Emulation of Intelligent Domotic Environments
articolo
Bonino, Dario; Corno, Fulvio
AUTOMATION IN CONSTRUCTION
Elsevier
Vol.20/7 pp.15 (pp.967-981) ISSN:0926-5805 DOI:10.1016/j.autcon.2011.03.014 -
Enabling Machine Understandable Exchange of Energy Consumption Information in Intelligent Domotic Environments
articolo
Bonino, Dario; Corno, Fulvio; Razzak, Faisal
ENERGY AND BUILDINGS
Elsevier
Vol.43/6 pp.11 (pp.1392-1402) ISSN:0378-7788 DOI:10.1016/j.enbuild.2011.01.013 -
What Would You Ask to Your Home if It Were Intelligent? Exploring User Expectations about Next-Generation Homes
articolo
Bonino, Dario; Corno, Fulvio
JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS
IOS Press
Vol.Volume 3, Number 2 / 2011 pp.16 (pp.111-126) ISSN:1876-1364 DOI:10.3233/AIS-2011-0099 -
A User-Friendly Interface for Rules Composition in Intelligent Environments
proceeding
Bonino, Dario; Corno, Fulvio; DE RUSSIS, Luigi
In: Ambient Intelligence - Software and Applications
Springer Berling (GERMANIA)
International Symposium on Ambient Intelligence (Salamanca (ES)) 6th - 8th April 2011
Vol.92 pp.5 (pp.213-217) ISBN:9783642199363 DOI:10.1007/978-3-642-19937-0_27 -
Design time Methodology for the Formal Verification of Intelligent Domotic Environments
proceeding
Corno, Fulvio; Sanaullah, Muhammad
In: Ambient Intelligence - Software and Applications
Springer Berlin (GERMANIA)
International Symposium on Ambient Intelligence (Salamanca (ES)) 6th - 8th April 2011
Vol.92 pp.8 (pp.9-16) ISBN:9783642199363 DOI:10.1007/978-3-642-19937-0_2
-
Can eye-tracking system communication improve quality of life and mood in ALS patients with locked-in syndrome?
articolo
Giacone, S.; Ilardi, A.; Pasian, V.; Moglia, C.; Balma, M.; Montuschi, A.; Corno, Fulvio; Calvo, A.; Gallo, S.; Canosa, A.; Chio, A.
JOURNAL OF NEUROLOGY
Springer Berlin / Heidelberg
Vol.257 pp.1 ISSN:0340-5354 DOI:10.1007/s00415-010-5575-7 -
Use of eye-tracking system communication in ALS patients: positive impact on quality of life and mood
articolo
Pessia, A.; Ilardi, A.; Pasian, V.; Moglia, C.; Giacone, S.; Cammarosano, S.; Montuschi, A.; Canosa, A.; Gallo, S.; Calvo, A.; Corno, Fulvio; Chio, A.
EUROPEAN JOURNAL OF NEUROLOGY
WIley Blackwell
Vol.17 pp.1 ISSN:1468-1331 DOI:10.1111/j.1468-1331.2010.03232.x -
Mobile Interaction with Smart Environments through Linked Data
proceeding
Bonino, Dario; Corno, Fulvio; Razzak, Faisal
In: SMC 2010, 2010 IEEE International Conference on Systems, Man, and Cybernetics
IEEE
IEEE International Conference on Systems, Man, and Cybernetics (Istanbul, Turkey) October 10-13
pp.8 (pp.2922-2929) ISBN:9781424465866 DOI:10.1109/ICSMC.2010.5641951 -
DogSim: A State Chart Simulator for Domotic Environments
proceeding
Bonino, Dario; Corno, Fulvio
In: Eighth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)
IEEE (STATI UNITI D'AMERICA)
Eighth Annual IEEE International Conference on Pervasive Computing and Communications
(pp.61-66) ISBN:9781424453283 -
Eye-based Direct Interaction for Environmental Control in Heterogeneous Smart Environments
capitolo
Corno, Fulvio; Gale, A; Majaranta, P; Raiha, K. J.
Handbook of Ambient Intelligence and Smart Environments
Springer (STATI UNITI D'AMERICA)
pp.22 (pp.1117-1138) ISBN:9780387938073 DOI:10.1007/978-0-387-93808-0_41 -
Review of the state-of-the-art in patent information and forthcoming evolutions in intelligent patent informatics
articolo
Bonino, Dario; Ciaramella, A; Corno, Fulvio
WORLD PATENT INFORMATION
Elsevier
Vol.32 pp.9 (pp.30-38) ISSN:0172-2190 DOI:10.1016/j.wpi.2009.05.008
-
Domotic OSGi Gateway 1.x
altro
Bonino, Dario; Castellina, Emiliano; Corno, Fulvio
-
La telematica nell'automotive: un progetto di formazione e cooperazione
proceeding
Farinetti, Laura; A., Rasetti
In: Congresso nazionale AICA 2009
AICA 2009 (Roma) 4-6 novembre 2009
-
An Ontology-Based Context Management and Reasoning on the DOG Gateway
proceeding
Liu, Min; Corno, Fulvio; Bonino, Dario; Castellina, Emiliano
In: Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
IEEE (STATI UNITI D'AMERICA)
Computational Intelligence and Software Engineering, 2009. CiSE 2009 (Wuhan, China) 11-13 Dec. 2009
(pp.1-4) ISBN:9781424445073 DOI:10.1109/CISE.2009.5364136 -
Rule-based Intelligence for Domotic Environments
articolo
Bonino, Dario; Corno, Fulvio
AUTOMATION IN CONSTRUCTION
ELSEVIER
Vol.19 pp.14 (pp.183-196) ISSN:0926-5805 DOI:10.1016/j.autcon.2009.10.008 -
Environmental Control Application compliant with Cogain Guidelines
proceeding
Razzak, Faisal; Castellina, Emiliano; Corno, Fulvio
In: COGAIN 2009: Gaze Interaction For Those Who Want It Most, COGAIN 2009
COGAIN 2009: Gaze Interaction For Those Who Want It Most, COGAIN 2009 (Copenaghen, Denmark) 26/05/2009
-
Sistema e metodo per la classificazione di contenuti
brevetto
Corno, Fulvio; Pellegrino, P; Ciaramella, A.
N.TO2009A000704 -
Interoperation Modeling for Intelligent Domotic Environments
proceeding
Bonino, Dario; Corno, Fulvio
LECTURE NOTES IN COMPUTER SCIENCE
In: Titolo volume non avvalorato
Springer
European Conference, AmI 2009 (Salzburg (AT)) November 18-21, 2009
Vol.5859 pp.10 (pp.143-152) ISSN:0302-9743 DOI:10.1007/978-3-642-05408-2_18 -
FaSet: A Set Theory Model for Faceted Search
proceeding
Bonino, Dario; Corno, Fulvio; Farinetti, Laura
In: Proc. 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence
IEEE (STATI UNITI D'AMERICA)
IEEE/WIC/ACM International Joint Conference on Web Intelligence (WI'09) (Milano, Italia) September, 2009
Vol.1 pp.8 (pp.474-481) ISBN:9780769538013 DOI:10.1109/WI-IAT.2009.81 -
Systems Thinking for Media Navigation: a Support for E-Learning in Complex Systems and Vehicle Telematics
proceeding
Farinetti, Laura; Rasetti, A.
In: Proceedings of EDULEARN09 - International Conference on Education and New Learning Technologies
EDULEARN09 - International Conference on Education and New Learning Technologies (Barcelon, Spain) 6-8 July, 2009
-
Automatic Domotic Device Interoperation
articolo
Bonino, Dario; Castellina, Emiliano; Corno, Fulvio
IEEE TRANSACTIONS ON CONSUMER ELECTRONICS
IEEE
Vol.55 pp.8 (pp.499-506) ISSN:0098-3063 DOI:10.1109/TCE.2009.5174413 -
Speech and Gaze Control for Desktop Environments
capitolo
Castellina, Emiliano; Corno, Fulvio; Pellegrino, Paolo
Multimodal Human Computer Interaction and Pervasive Services
Information Science Reference (STATI UNITI D'AMERICA)
pp.16 (pp.188-203) ISBN:9781605663869 -
Technology Independent Interoperation of Domotic Devices through Rules
proceeding
Bonino, Dario; Castellina, Emiliano; Corno, Fulvio; Liu, Min
In: The 13th IEEE International Symposium on Consumer Electronics
IEEE (STATI UNITI D'AMERICA)
The 13th IEEE International Symposium on Consumer Electronics (Kyoto, Japan) May 25-28, 2009
(pp.971-975) ISBN:9781424429752 DOI:10.1109/ISCE.2009.5157026 -
Understanding users and their needs
articolo
Donegan, M; Morris, J. D.; Corno, Fulvio; Signorile, Isabella; Chiò, A; Pasian, V; Vignola, A; Buchholz, M; Holmqvist, E.
UNIVERSAL ACCESS IN THE INFORMATION SOCIETY
Vol.8/4 pp.17 (pp.259-275) ISSN:1615-5289 DOI:10.1007/s10209-009-0148-1 -
A blueprint for integrated eye-controlled environments
articolo
Bonino, Dario; Castellina, Emiliano; Corno, Fulvio; Gale, A; Garbo, Alessandro; Purdy, K; Shi, F.
UNIVERSAL ACCESS IN THE INFORMATION SOCIETY
Springer
Vol.8 pp.11 (pp.311-321) ISSN:1615-5289 DOI:10.1007/s10209-009-0145-4
-
Uniform Access to Domotic Environments through Semantics
proceeding
Bonino, Dario; Castellina, Emiliano; Corno, Fulvio
In: Fifth Workshop on Semantic Web Applications and Perspectives
Fifth Workshop on Semantic Web Applications and Perspectives (Roma) 15-17 Dicembre 2008
-
The DOG gateway: enabling ontology-based intelligent domotic environments
articolo
Bonino, Dario; Castellina, Emiliano; Corno, Fulvio
IEEE TRANSACTIONS ON CONSUMER ELECTRONICS
IEEE
Vol.54 pp.9 (pp.1656-1664) ISSN:0098-3063 DOI:10.1109/TCE.2008.4711217 -
Ancore e TAG, la logica dell'interoperabilità tra archivi eterogenei di materiale multimediale
capitolo
Corno, Fulvio; Pellegrino, Paolo
Interfacce della memoria - Social media e patrimoni documentali online
ScriptaWeb (ITALIA)
(pp.75-88) ISBN:9788863810066 -
DOG: an Ontology-Powered OSGi Domotic Gateway
proceeding
Bonino, Dario; Castellina, Emiliano; Corno, Fulvio
In: 20th IEEE Int'l Conference on Tools with Artificial Intelligence
IEEE (STATI UNITI D'AMERICA)
20th IEEE Int'l Conference on Tools with Artificial Intelligence (Dayton, Ohio, USA) November 3-5, 2008
DOI:10.1109/ICTAI.2008.115 -
Multimodal Gaze Interaction in 3D Virtual Environments
proceeding
Castellina, Emiliano; Corno, Fulvio
In: COGAIN 2008‘Communication, Environmentand Mobility Control by Gaze’
COGAIN 2008 (Prague) September 2-3
(pp.34-38) ISBN:9788001041512 -
DogOnt - Ontology Modeling for Intelligent Domotic Environments
articolo
Bonino, Dario; Corno, Fulvio
LECTURE NOTES IN COMPUTER SCIENCE
Vol.5318/2008 pp.14 (pp.790-803) ISSN:0302-9743 ISBN:9783540885634 DOI:10.1007/978-3-540-88564-1_51 -
Eye Tracking Impact on Quality-of-Life of ALS Patients
proceeding
Calvo, A; Chiò, A; Castellina, Emiliano; Corno, Fulvio; Farinetti, Laura; Ghiglione, P; Pasian, V; AND VIGNOLA, A.
LECTURE NOTES IN COMPUTER SCIENCE
In: Titolo volume non avvalorato
Springer
11th International Conference on Computers Helping People with Special Needs (Linz (AT)) 9-11 July 2008
Vol.5105 pp.8 (pp.70-77) ISSN:0302-9743 ISBN:9783540705390 DOI:10.1007/978-3-540-70540-6_9 -
Self-Similarity metric for Index Pruning in Conceptual Vector Space Models
proceeding
Bonino, Dario; Corno, Fulvio
In: Nineteenth International Workshop on Database and Expert Systems Applications
IEEE (STATI UNITI D'AMERICA)
Nineteenth International Workshop on Database and Expert Systems Applications (Torino) 01/09/2008-05/09/2008
(pp.225-229) ISBN:9780769532998 DOI:10.1109/DEXA.2008.27 -
Integrated Speech and GazeControl for Realistic Desktop Environments
proceeding
Castellina, Emiliano; Corno, Fulvio; Pellegrino, Paolo
In: Titolo volume non avvalorato
ACM Press (STATI UNITI D'AMERICA)
ETRA '08: Proceedings of the 2008 symposium on Eye Tracking Research & Applications (Savannah, GA, U.S.A.) March 26-28, 2008
-
Accessible Web Surfing through gaze interaction
proceeding
Castellina, Emiliano; Corno, Fulvio
In: Gaze-based Creativity, Interacting with Games and On-line Communities
COGAIN 2007 (Leicester, UK) 3-4 september 2007
(pp.74-77) -
Versatile RDF Representation for Multimedia Semantic Search
proceeding
Bonino, Dario; Corno, Fulvio; Pellegrino, Paolo
In: Titolo volume non avvalorato
IEEE press (STATI UNITI D'AMERICA)
The 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) (Patras, Greece) October 29-31, 2007
-
A Reusable 3D Visualization Component for the Semantic Web
proceeding
Bosca, Alessio; Bonino, Dario; Comerio, M; Grega, S; Corno, Fulvio
In: Proceedings of Web3D 2007 Symposium
ACM (STATI UNITI D'AMERICA)
Web 3D 2007 symposium (Perugia) 15-18 Aprile 2007
-
On-the-fly Construction of Web Services Compositions from Natural Language Requests
articolo
Bosca, A; Corno, Fulvio; Valetto, G; Maglione, R.
JOURNAL OF SOFTWARE
Vol.1(1) (pp.40-50) ISSN:1796-217X -
An extensible platform for semantic classification and retrieval of multimedia resources
proceeding
Pellegrino, Paolo; Corno, Fulvio
In: Semantic Web Applications and Perspectives 2006. In Proceedings of SWAP 2006, the 3rd Italian Semantic Web Workshop, Pisa, Italy, December 18-20, 2006, CEUR Workshop Proceedings,
CEUR
Semantic Web Applications and Perspectives 3rd Italian Semantic Web Workshop (Pisa) 18-20 December, 2006
-
Control Application for Smart House through Gaze interaction
proceeding
Bonino, Dario; Castellina, Emiliano; Corno, Fulvio; Garbo, Alessandro
In: Proceedings of COGAIN 2006, The 2nd COGAIN Annual Conference on Communication by Gaze Interaction
COGAIN 2006, The 2nd COGAIN Annual Conference on Communication by Gaze Interaction (Torino, Italy) 4-5 Settembre 2006
-
Accessing Ambient Intelligence through Devices with Low Computational and Communication Power
proceeding
Borello, F; Bonino, Dario; Corno, Fulvio
In: First International Conference on Ambient Intelligence Developments
Springer-Verrlag
First International Conference on Ambient Intelligence Developments (Sophia-Antipolis, France) September 2006
pp.15 (pp.93-107) ISBN:9782287474699 -
Domotic House Gateway
proceeding
Pellegrino, Paolo; Bonino, Dario; Corno, Fulvio
In: SAC 2006, ACM Symposium on Applied Computing, April 23-27, 2006, Dijon, France
ACM Press (STATI UNITI D'AMERICA)
ACM Symposium on Applied Computing (Dijon, France) April 23-27, 2006
(pp.1920-1925) ISBN:9781595931085
-
Olympia Project – E-Learning environment in sports training. Final Report
altro
Bocconcino, MAURIZIO MARCO; Bocconcino, M; Farinetti, Laura; Corno, Fulvio
Vol.1 (pp.1-190) -
Automatic Test Generation for Verifying Microprocessors
articolo
Corno, Fulvio; SANCHEZ SANCHEZ, EDGAR ERNESTO; SONZA REORDA, Matteo; Squillero, Giovanni
IEEE POTENTIALS
Vol.24 (pp.34-37) ISSN:0278-6648 DOI:10.1109/MP.2005.1405800 -
Specifying Web Service Compositions on the Basis of Natural Language Requests
proceeding
Bosca, Alessio; G., Valetto; R., Maglione; Corno, Fulvio
LECTURE NOTES IN COMPUTER SCIENCE
In: Titolo volume non avvalorato
3rd International Conference on Service-Oriented Computing, ICSOC 2005 (Amsterdam (NL)) 12-15 December 2005
Vol.3826 pp.6 (pp.588-593) ISSN:0302-9743 ISBN:9783540308171 DOI:10.1007/11596141_54 -
Composing Web Services on the Basis of Natural Language Requests
proceeding
Bosca, Alessio; A., Ferrato; Corno, Fulvio; I., Congiu; G., Valetto
In: Web Services, 2005. ICWS 2005. Proceedings. 2005 IEEE International Conference on
IEEE International Conference on Web Services (ICWS'05 (Florida) July 2005
ISBN:9780769524092 DOI:10.1109/ICWS.2005.35 -
Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks
proceeding
Bonino, Dario; Corno, Fulvio; Pescarmona, F.
In: 20th Annual ACM Symposium on Applied Computing
ACM Press (STATI UNITI D'AMERICA)
Symposium on Applied Computing (Santa Fe, New Mexico) 13-17 Marzo 2005
(pp.1639-1644) ISBN:9781581139648 -
Multiple Low-cost Cameras for Effective Head and Gaze Tracking
proceeding
Corno, Fulvio; Garbo, Alessandro
In: Titolo volume non avvalorato
11th International Conference on Human-Computer Interaction, Las Vegas, USA, July 2005
-
Evolving assembly programs: how games help microprocessor validation
articolo
Corno, Fulvio; SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni
IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION
IEEE
Vol.9 pp.12 (pp.695-706) ISSN:1089-778X DOI:10.1109/TEVC.2005.856207
-
A BIST-based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques
articolo
D., Appello; A., Fudoli; V., Tancorre; Bernardi, Paolo; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo
JOURNAL OF ELECTRONIC TESTING
Vol.20 (pp.79-87) ISSN:0923-8174 DOI:10.1023/B:JETT.0000009315.57771.94 -
H-DOSE: an Holistic Distributed Open Semantic Elaboration Platform
proceeding
Bonino, Dario; Bosca, Alessio; Corno, Fulvio; Farinetti, Laura; F., Pescarmona
In: Titolo volume non avvalorato
SWAP2004: 1st Italian Semantic Web Workshop (Ancona) 10 Dicembre 2004
-
Ontology Driven Semantic Search
proceeding
Bonino, Dario; Corno, Fulvio; Farinetti, Laura; Bosca, Alessio
In: WSEAS Transaction on Information Science and Application
WSEAS Conference ICAI 2004 (Venezia, italia) Dicembre 2004
Vol.1 (pp.1597-1605) -
Domain Specific Searches using Conceptual Spectra
proceeding
Bonino, Dario; Corno, Fulvio; Farinetti, Laura
In: Proceedings of CTAI 2004 the IEEE International Conference on Tools with Artificial Intelligence
IEEE press (STATI UNITI D'AMERICA)
CTAI 2004 the IEEE International Conference on Tools with Artificial Intelligence (Boca Raton, Florida) 15-17 Novembre 2004
pp.8 (pp.680-687) ISBN:9780769522364 DOI:10.1109/ICTAI.2004.53 -
Dynamic Optimization of Semantic Annotation Relevance
proceeding
Bonino, Dario; Corno, Fulvio; Squillero, Giovanni
In: Proceedings of CEC2004, Congress on Evolutionary Computation
IEEE press (STATI UNITI D'AMERICA)
CEC2004, Congress on Evolutionary Computation (Portland, Oregon) 20-23 Giugno 2004
Vol.2 (pp.1301-1308) ISBN:9780780385153 -
Multilingual Semantic Elaboration in the DOSE platform
proceeding
Bonino, Dario; Corno, Fulvio; Farinetti, Laura; Ferrato, L.
In: Proceedings of SAC 2004, ACM Symposium on Applied Computing
ACM press (STATI UNITI D'AMERICA)
SAC 2004, ACM Symposium on Applied Computing (Nicosia, Cipro) 14-17 Marzo 2004
-
Validation of the dependability of CAN-based networked systems
proceeding
Corno, Fulvio; J., Perez; M., Ramasso; SONZA REORDA, Matteo; Violante, Massimo
In: Titolo volume non avvalorato
IEEE High-level Design Validation and Test Workshop
(pp.161-164) DOI:10.1109/HLDVT.2004.1431262 -
On the evolution of corewar warriors
proceeding
Corno, Fulvio; SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni
In: Titolo volume non avvalorato
Congress on Evolutionary Computation
pp.7 (pp.2365-2371) DOI:10.1109/CEC.2004.1330848 -
Evaluating the effects of transient faults on vehicle dynamic performance in automotive systems
proceeding
Corno, Fulvio; F., Esposito; SONZA REORDA, Matteo; S., Tosato
In: Titolo volume non avvalorato
IEEE International Test Conference
(pp.1332-1339) -
An Agent Based Autonomic Semantic Platform
proceeding
Bonino, Dario; Bosca, Alessio; Corno, Fulvio
In: Titolo volume non avvalorato
ICAC2004, First International Conference on Autonomic Computing (IEEE)
-
A multi-level approach to the dependability analysis of networked systems based on the CAN protocol
proceeding
Corno, Fulvio; J., Perez; SONZA REORDA, Matteo; Violante, Massimo
In: Titolo volume non avvalorato
SBCCI04: IEEE Symposium on Integrated Circuits and Systems Design
-
Impact of Technology on Learning Paradigms and Teaching Practices
proceeding
Corno, Fulvio; T., Ebey; A., Grabowska; I., Nikolova; E., Sendova
In: Titolo volume non avvalorato
EduTech2004 workshop, IFIP WorldComputerCongress
-
E-Learning Issues for Advanced Technical Topics
proceeding
Corno, Fulvio
In: Titolo volume non avvalorato
EduTech2004 workshop, IFIP WorldComputerCongress
-
A multi-level approach to the dependability analysis of CAN networks for automotive applications
proceeding
Corno, Fulvio; J., Perez; M., Ramasso; SONZA REORDA, Matteo; Violante, Massimo
In: Titolo volume non avvalorato
International Conference Integrated Chassis Control(ICC), 10-12, Nov. 2004
-
Automatic Test Program Generation: a Case Study
articolo
Corno, Fulvio; SANCHEZ SANCHEZ, EDGAR ERNESTO; SONZA REORDA, Matteo; Squillero, Giovanni
IEEE DESIGN & TEST OF COMPUTERS
IEEE
Vol.21 pp.8 (pp.102-109) ISSN:0740-7475 DOI:10.1109/MDT.2004.1277902 -
Code Generation for Functional Validation of Pipelined Microprocessors
articolo
Corno, Fulvio; SANCHEZ SANCHEZ, EDGAR ERNESTO; SONZA REORDA, Matteo; Squillero, Giovanni
JOURNAL OF ELECTRONIC TESTING
Vol.20 (pp.269-278) ISSN:0923-8174 -
Evolutionary Simulation-Based Validation
articolo
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS
Vol.14 (pp.897-916) ISSN:0218-2130
-
New Acceleration Techniques for Simulation-Based Fault-Injection
capitolo
Corno, Fulvio; Entrena, L.; Lopez, C.; SONZA REORDA, Matteo; Squillero, Giovanni
Frontiers in Electronic Testing
Springer (STATI UNITI D'AMERICA)
Vol.23 pp.14 (pp.217-230) ISBN:9781402075896 DOI:10.1007/0-306-48711-X_13 -
Semantic annotation and search at the document substructure level
proceeding
Bonino, Dario; Corno, Fulvio; Farinetti, Laura
In: ISWC2003 - 2nd International Semantic Web Conference, Florida (USA), October 2003
2nd International Semantic Web Conference (Florida (USA)) October 2003
ISBN:9783540203629 -
Dynamic Prediction of Web Requests
proceeding
Corno, Fulvio; Bonino, Dario; Squillero, Giovanni
In: CEC03: 2003 IEEE Congress on Evolutionary Computation
IEEE press (STATI UNITI D'AMERICA)
CEC03: 2003 IEEE Congress on Evolutionary Computation (Canberra, Australia) 8-12 Dicembre 2003
(pp.2034-2041) -
DOSE: a Distributed Open Semantic Elaboration Platform
proceeding
Bonino, Dario; Farinetti, Laura; Corno, Fulvio
In: Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence
IEEE press (STATI UNITI D'AMERICA)
ICTAI 2003, The 15th IEEE International Conference on Tools with Artificial Intelligence (Sacramento, California) 3-5 Novembre 2003
-
Automatic Test Program Generation for Pipelined Processors
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings of the 2003 ACM symposium on Applied computing
ACM Press (STATI UNITI D'AMERICA)
ACM Symposium on Applied Computing March 9-12, 2003
(pp.736-740) ISBN:9781581136241 DOI:10.1145/952532.952676 -
Exploiting Auto-Adaptive microGP for Highly Effective Test Programs Generation
proceeding
Corno, Fulvio; Squillero, Giovanni
In: Evolvable Systems: From Biology to Hardware. ICES 2003
Springer
International Conference on Evolvable Systems
Vol.2606 pp.12 (pp.262-273) ISBN:9783540007302 DOI:10.1007/3-540-36553-2_24 -
An Enhanced Framework for Microprocessor Test-Program Generation
proceeding
Corno, Fulvio; Squillero, Giovanni
LECTURE NOTES IN COMPUTER SCIENCE
In: Titolo volume non avvalorato
6th European Conference, EuroGP 2003 (Essex (UK)) April 14–16, 2003
Vol.2610 pp.9 (pp.307-315) ISSN:0302-9743 DOI:10.1007/3-540-36599-0_28 -
Exploiting co-evolution and a modified island model to climb the Core War hill
proceeding
Corno, Fulvio; SANCHEZ SANCHEZ, EDGAR ERNESTO; Squillero, Giovanni
In: Titolo volume non avvalorato
Congress on Evolutionary Computation
pp.5 (pp.2217-2221) DOI:10.1109/CEC.2003.1299947 -
A real-time evolutionary algorithm for Web prediction
proceeding
Bonino, Dario; Corno, Fulvio; Squillero, Giovanni
In: Proceedings of the IEEE/WIC International Conference on Web Intelligence
IEEE Computer Society (STATI UNITI D'AMERICA)
International Web Intelligence
pp.7 (pp.139-145) ISBN:9780769519326 -
Code generation for functional validation of pipelined microprocessors
proceeding
Corno, Fulvio; Squillero, Giovanni; SONZA REORDA, Matteo
In: Proceedings of the 8th IEEE European Test Workshop
IEEE Computer Society (STATI UNITI D'AMERICA)
European Test Workshop
(pp.113-118) ISBN:9780769519081 -
Fully automatic test program generation for microprocessor cores
proceeding
Corno, Fulvio; G., Cumani; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
IEEE Computer Society (STATI UNITI D'AMERICA)
Design, Automation and Test in Europe Conference and Exhibition
Vol.1 (pp.1006-1011) ISBN:9780769518701 -
Can Data Mining Techniques Ease The Semantic Tagging Burden?
proceeding
Forno, F.; Farinetti, Laura; O. MIADHACHAIN, S.
In: Titolo volume non avvalorato
VLDB2003, First International Workshop on Semantic Web and Databases
-
Wide-band Compensation of Presbycusis
proceeding
C., Grasso; D., Quaglia; Farinetti, Laura; G., Fiorio; DE MARTIN, JUAN CARLOS
In: IASTED International Conference on Signal Processing, Pattern Recognition, and Applications (SPPRA)
(pp.104-108) -
A Simulative Study of Analysis-By-Synthesis Perceptual Video Classification and Transmission over DiffServ IP Networks
proceeding
D'Agostino, FABIO SALVATORE; Masala, Enrico; Farinetti, Laura; DE MARTIN, JUAN CARLOS
In: Proc. of IEEE Int. Conf. on Communications (ICC)
IEEE (STATI UNITI D'AMERICA)
IEEE Int. Conf. on Communications (ICC) (Anchorage, Alaska, USA) May 2003
Vol.1 pp.5 (pp.572-576) -
UML-Based System-Level specifications for integrated systems
proceeding
Corno, Fulvio; Maggiore, Paolo; Repici, Gianfrancesco; Sorniotti, Aldo; E., Suraci; Tosato, Simonluca; Velardocchia, Mauro
In: Titolo volume non avvalorato
9th EAEC International Congress, "European Automotive Industry Driving Global Changes"
-
System-level Analysis of Fault Effects in an Automotive Environment
proceeding
Corno, Fulvio; P., Gabrielli; S., Tosato
In: Titolo volume non avvalorato
DFT2003: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems
-
Relating Vehicle-level and Network-level Reliability through High-level Fault Injection
proceeding
Corno, Fulvio; P., Gabrielli; S., Tosato
In: Titolo volume non avvalorato
HLDVT2003: IEEE International Workshop on High Level Design Validation and Test
-
An Evolutionary Approach to Web Request Prediction
proceeding
Bonino, Dario; Corno, Fulvio; Squillero, Giovanni
In: Titolo volume non avvalorato
WWW2003 - The 12th Intl World Wide Web Conference, Budapest, HU 20-24 May 2003
-
New Acceleration Techniques for Simulation-Based Fault-Injection
capitolo
Corno, Fulvio; L., Entrena; C., Lopez; SONZA REORDA, Matteo; Squillero, Giovanni
Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation
Kluwer
(pp.217-230) ISBN:9781402075896
-
Initializability Analysis of Synchronous Sequential Circuits
articolo
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
Vol.7 pp.16 (pp.249-264) ISSN:1084-4309 DOI:10.1145/544536.544538 -
Perceptual Classification of MPEG Video for Differentiated-Services Communications
proceeding
DE VITO, Fabio; Farinetti, Laura; DE MARTIN, JUAN CARLOS
In: Proceedings of IEEE Int. Conf. on Multimedia & Expo (ICME)
IEEE Int. Conf. on Multimedia & Expo (ICME) (Lausanne, Switzerland) August 2002
Vol.1 (pp.141-144) -
Reducing Test Application Time through Interleaved Scan
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings of the 15th symposium on Integrated circuits and systems design
IEEE Computer Society (STATI UNITI D'AMERICA)
SBCCI2002: 15th IEEE Symposium on Integrated Circuits and Systems Design, Porto Alegre (Brasil)
(pp.89-94) ISBN:9780769518077 -
Evolutionary Test Program Induction for Microprocessor Design Verification
proceeding
Corno, Fulvio; Cumani, G; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings of the 11th Asian Test Symposium
IEEE Computer Society (STATI UNITI D'AMERICA)
ATS2002: IEEE Asian Test Symposium
(pp.368-373) ISBN:9780769518251 -
Analysis of the Equivalences and Dominances of Transient Faults at the Register-Transfer Level
proceeding
Errojo, L; Gonzlez, I; Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni; Entrena, L; Lopez, C.
In: Proceedings of the Proceedings of The Eighth IEEE International On-Line Testing Workshop (IOLTW'02)
IEEE Computer Society (STATI UNITI D'AMERICA)
OLTW2002: IEEE International On-line Testing Workshop
ISBN:9780769516417 -
Efficient Machine-Code Test-Program Induction
proceeding
Corno, Fulvio; Cumani, G; SONZA REORDA, Matteo; Squillero, Giovanni
In: Titolo volume non avvalorato
CEC2002: Congress on Evolutionary Computation
(pp.1486-1491) -
Evolutionary Techniques for Minimizing Test Signals Application Time
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
LECTURE NOTES IN COMPUTER SCIENCE
In: Titolo volume non avvalorato
Springer
EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN (Kinsale (IRL)) April 3–4, 2002
Vol.2279 pp.7 (pp.183-189) ISSN:0302-9743 ISBN:9783540434320 DOI:10.1007/3-540-46004-7_19 -
An Evolutionary Algorithm for Reducing Integrated-Circuit Test Application Time
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings of the 2002 ACM symposium on Applied computing
ACM Press (STATI UNITI D'AMERICA)
SAC2002: 17th ACM Symposium on Applied Computing
(pp.608-612) ISBN:9781581134452 DOI:10.1145/508791.508908 -
New Techniques for Speeding-up Fault-injection Campaigns
proceeding
Berrojo, L; Gonzlez, I; Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni; Entrena, L; Lopez, C.
In: Proceedings of the conference on Design, automation and test in Europe
IEEE Computer Society (STATI UNITI D'AMERICA)
DATE: Automation and Test in Europe, Conference and Exhibition (Paris, France) 2002
(pp.847-852) -
A Transparent Search Agent for Closed Collections
proceeding
Bota, F; Corno, Fulvio; Farinetti, Laura; Squillero, Giovanni
In: Titolo volume non avvalorato
SSGRR-2002w: International Conference on Advances in Infrastructure for e-Business, e-Education, e-S (L'Aquila)
-
A BIST-based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques
proceeding
D., Appello; A., Fudoli; V., Tancorre; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
IOLTW2002: IEEE International On-line Testing Workshop (Isola di Bendor, Francia) 8-10 luglio 2002
(pp.112-116) -
Self-directed distance learning systems: a European-level cooperation initiative
proceeding
Farinetti, Laura; Schroeder, U.
In: Titolo volume non avvalorato
EDEN 2002, European Distance Learning Network annual conference
-
Performance analysis of distributed speech recognition over IP networks on the Aurora database
proceeding
Quercia, D.; DOCIO FERNANDEZ, L.; GARCIA MATEO, C.; Farinetti, Laura; DE MARTIN, JUAN CARLOS
In: Titolo volume non avvalorato
ICASSP 2002, International Conference on Acoustic Speech and Signal Processing
-
The semantic elearning institution
proceeding
O' MIADHACHAIN, S.; Farinetti, Laura; Young, A.
In: Titolo volume non avvalorato
Online Educa 2002, 8th International Conference on Technology Supported Learning
-
Automatic Test Program Generation from RT-level MicroprocessorDescriptions
proceeding
Corno, Fulvio; G., Cumani; SONZA REORDA, Matteo; Squillero, Giovanni
In: Titolo volume non avvalorato
ISQED2002: 3rd International Symposium on Quality Electronic Design
-
An Industrial Environment for High-Level Fault-Tolerant Structures Insertion and Validation
proceeding
L., Berrojo; Corno, Fulvio; L., Entrena; I., Gonzlez; C., Lopez; SONZA REORDA, Matteo; Squillero, Giovanni
In: Titolo volume non avvalorato
VTS2002: 20th IEEE VLSI Test Symposium
-
Hypervideo: a Parameterized Hotspot Approach
proceeding
F., Bota; Corno, Fulvio; Farinetti, Laura
In: Titolo volume non avvalorato
ICWI2002: IADIS International Conference WWW/Internet 2002
-
A Cost-Effective Solution for Eye-Gaze Assistive Technology
proceeding
Corno, Fulvio; Farinetti, Laura; Signorile, I.
In: Titolo volume non avvalorato
ICME2002: IEEE International Conference on Multimedia and Expo August 2002
-
An eye-gaze input device for people with severe motor disabilities
proceeding
Corno, Fulvio; Farinetti, Laura; Signorile, I.
In: Titolo volume non avvalorato
SSGRR-2002s: International Conference on Advances in Infrastructure for e-Busin
-
An XML-based Modular Approach for Interactive E-learning
proceeding
Bota, F.; Corno, Fulvio; Farinetti, Laura
In: Titolo volume non avvalorato
SSGRR-2002w: International Conference on Advances in Infrastructure for e-Busin January 2002
-
Built-In Self test of Sequential Circuits — A New Evolutionary Paradigm for Cultivating Cellular Automata
capitolo
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Evolutionary Algorithms for Embedded System Design
Kluwer Academic Publishers (PAESI BASSI)
(pp.143-173) ISBN:9781402072765 -
A New Evolutionary Paradigm for Cultivating Cellular Automata for Built-In Self Test of Sequential Circuits
capitolo
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
Evolutionary Algorithms for Embedded System Design
Kluwer Academic Publishers
ISBN:9781402072765
-
Programmazione in linguaggio Quick-BASIC: esercizi risolti e proposti
monografia
Corno, Fulvio; Quer, Stefano; Rebaudengo, Maurizio
-
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
In: 10th anniversary compendium of papers from Asian Test Symposium : proceedings : 1992-2001
IEEE
ATS '97 (Akita (JPN)) 19-21 Nov. 1997
pp.6 (pp.213-218) ISBN:9780769512334 DOI:10.1109/ATS.2001.10066 -
Evolving Effective CA/CSTP BIST Architectures for Sequential Circuits
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings of the 2001 ACM symposium on Applied computing
ACM Press (STATI UNITI D'AMERICA)
SAC2001: 16th ACM Symposium on Applied Computing
(pp.345-350) ISBN:9781581132878 DOI:10.1145/372202.372361 -
On the Test of Microprocessor IP Cores
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Violante, Massimo; Squillero, Giovanni
In: Proceedings of the conference on Design, automation and test in Europe
IEEE Press (STATI UNITI D'AMERICA)
DATE2001: IEEE Design, Automation & Test in Europe Conference (Munich (Germany))
(pp.209-213) ISBN:9780769509938 -
ARPIA: a High-Level Evolutionary Test Signal Generator
proceeding
Corno, Fulvio; Cumani, G; SONZA REORDA, Matteo; Squillero, Giovanni
LECTURE NOTES IN COMPUTER SCIENCE
In: Applications of Evolutionary Computing
Springer
EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM (Como (ITA)) April 18–20, 2001
Vol.2037 pp.9 (pp.298-306) ISSN:0302-9743 ISBN:9783540419204 DOI:10.1007/3-540-45365-2_31 -
An Interpretation Framework for Evaluating High-Level Fault Models and ATPG Capabilities
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Titolo volume non avvalorato
DCIS2001: Design of Circuits and Integrated Systems
(pp.273-278) -
Effective Techniques for High-Level ATPG
proceeding
Corno, Fulvio; Cumani, G; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings of the 10th Asian Test Symposium
IEEE Computer Society (STATI UNITI D'AMERICA)
ATS2001: IEEE Asian Test Symposium
(pp.225-230) -
Devising an RT-Level ATPG for uProcessor Cores
proceeding
Corno, Fulvio; Cumani, G; SONZA REORDA, Matteo; Squillero, Giovanni
In: WRTLT2001: 2nd Worshop on RTL, ATPG & DFT
WRTLT2001: 2nd Worshop on RTL, ATPG & DFT (Nara, Japan)
-
A P1500 compliant BIST-based approach to embedded RAM diagnosis
proceeding
D., Appello; Corno, Fulvio; M., Giovinetto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
ATS, IEEE Asian Test Symposium (Kyoto, Giappone) 19-21 novembre 2001
(pp.97-102) -
Interactive Visit of a Website
proceeding
Bota, F.; Corno, Fulvio; Farinetti, Laura
In: Titolo volume non avvalorato
Webnet 2001 - World Conference of the WWW and Internet
-
XML Based database courseware
proceeding
Bota, F.; Corno, Fulvio; Farinetti, Laura
In: Titolo volume non avvalorato
ICDE 2001 - 20th world conference on open learning and distance education 01-05 April 2001
-
Synchronized Multimedia use in Distance Education
proceeding
Bota, F.; Corno, Fulvio; Farinetti, Laura
In: Titolo volume non avvalorato
ICDE 2001 - 20th world conference on open learning and distance education 01-05 April 2001
-
Struttura, organizzazione e progetto dei calcolatori. Interdipendenza fra hardware e software – Seconda Edizione
monografia
Mezzalama, Marco; Corno, Fulvio; Farinetti, Laura; SONZA REORDA, Matteo
Jackson Libri (ITALIA)
pp.896 ISBN:9788825615173 -
Prediction of Power Requirements for High-Speed Circuits
proceeding
Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Violante, Massimo
LECTURE NOTES IN COMPUTER SCIENCE
In: Real-World Applications of Evolutionary Computing
Springer
EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight (Edinburgh (GBR)) April 17, 2000
Vol.1803 pp.8 (pp.247-254) ISSN:0302-9743 ISBN:9783540673538 DOI:10.1007/3-540-45561-2_24 -
Evolving Cellular Automata for Self-Testing Hardware
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
LECTURE NOTES IN COMPUTER SCIENCE
In: Evolvable Systems: From Biology to Hardware
Springer
Third International Conference, ICES 2000 (Edinburgh (GBR)) April 17–19, 2000
Vol.1801 pp.10 (pp.31-40) ISSN:0302-9743 ISBN:9783540673385 DOI:10.1007/3-540-46406-9_4 -
High-Level Observability for Effective High-Level ATPG
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: VTS2000: 18th IEEE VLSI Test Symposium, Montreal, Canada, May 2000, pp. 411-416
IEEE
VLSI Test Symposium (Montreal, Canada) May 2000
(pp.411-416) -
Low Power BIST via Hybrid Cellular Automata
proceeding
Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni; Violante, Massimo
In: VTS2000: 18th IEEE VLSI Test Symposium, Montreal, Canada, May 2000, pp. 29-34
IEEE
VLSI Test Symposium (Montreal, Canada) May 2000
(pp.29-34) -
An improved cellular automata-based BIST architecture for sequential circuits
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Titolo volume non avvalorato
IEEE
ISCAS2000: IEEE International Symposium on Circuits and Systems (Geneva (CHE)) 28-31 May 2000
Vol.1 pp.4 (pp.76-79) ISBN:9780780354821 DOI:10.1109/ISCAS.2000.857030 -
Exploiting the selfish gene algorithm for evolving cellular automata
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Titolo volume non avvalorato
IEEE
IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000 (Como (ITA)) 24-27 Jul 2000
Vol.6 pp.5 (pp.577-581) ISBN:9780769506197 DOI:10.1109/IJCNN.2000.859457 -
RT-level Fault Simulation Techniques based on Simulation Command Scripts
proceeding
Corno, Fulvio; G., Cumani; SONZA REORDA, Matteo; Squillero, Giovanni
In: DCIS2000: XV Conference on Design of Circuits and Integrated Systems, Le Corum, Montpellier, November 21-24, 2000, pp. 825-830
XV Conference on Design of Circuits and Integrated Systems (Montpellier (F)) November 21-24, 2000
(pp.825-830) -
A Genetic Algorithm-based System for Generating Test Programs for Microprocessor IP Cores
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni; Violante, Massimo
In: ICTAI2000: The Twelfth IEEE International Conference on Tools with Artificial Intelligence, Vancouver, British Columbia, Canada, November 13-15, 2000, pp. 195-198
IEEE
International Conference on Tools with Artificial Intelligence (Vancouver, Canada) November 13-15, 2000
pp.4 (pp.195-198) -
An RT-level Fault Model with High Gate Level Correlation
proceeding
Corno, Fulvio; Cumani, G; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings of the IEEE International High-Level Validation and Test Workshop (HLDVT'00)
IEEE Computer Society (STATI UNITI D'AMERICA)
ISBN:9780769507866 -
Archivi on-line fruibili da utenti inesperti: un'esperienza nel campo della disabilità
proceeding
Corno, Fulvio; Squillero, Giovanni
In: Convegno AICA sull'Informatica per la Didattica
Didamatica2000
(pp.181-187) -
An Intelligent User Interface oriented to non-expert users
proceeding
Corno, Fulvio; Farinetti, Laura; Squillero, Giovanni
In: World Conference on the WWW and Internet
WebNet2000
(pp.675-676) -
Low Power BIST via Non-Linear Hybrid Cellular Automata
proceeding
Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni; Violante, Massimo
In: Proceedings of the 18th IEEE VLSI Test Symposium (VTS'00)
IEEE Computer Society (STATI UNITI D'AMERICA)
VTS
(pp.29-34) ISBN:9780769506135 -
CA-CSTP: A new BIST Architecture for Sequential Circuit
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni; Violante, Massimo
In: Proceedings of the IEEE European Test Workshop
ETW
(pp.167-172) ISBN:9780769507019 -
Automatic Validation of Protocol Interfaces Described in VHDL
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
LECTURE NOTES IN COMPUTER SCIENCE
In: Real-World Applications of Evolutionary Computing
Springer
EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoRob, and EvoFlight (Edinburgh (GBR)) April 17, 2000
Vol.1803 pp.9 (pp.205-213) ISSN:0302-9743 ISBN:9783540673538 DOI:10.1007/3-540-45561-2_20 -
Automatic test bench generation for validation of RT-level descriptions: an industrial experience
proceeding
Corno, Fulvio; A., Manzone; A., Pincetti; SONZA REORDA, Matteo; Squillero, Giovanni
In: Titolo volume non avvalorato
ACM
Design, Automation and Test in Europe Conference and Exhibition 2000 (Paris (FRA)) 27-30 Mar 2000
pp.5 (pp.385-389) ISBN:9781581132441 DOI:10.1145/343647.343802 -
Open and distance learning activities and results at Politecnico di Torino
proceeding
Farinetti, Laura
In: Titolo volume non avvalorato
First Research Workshop of EDEN, European Distance Education Network
-
An authoring tool for building flexible on-line courses using XML
proceeding
Farinetti, Laura; Bota, F.; Rarau, A.
In: Titolo volume non avvalorato
XML Europe 2000
-
Student knowledge evaluation in Internet environments
proceeding
Bota, F.; Farinetti, Laura; Corno, Fulvio
In: Titolo volume non avvalorato
Romanian Internet Learning Workshop on Internet as a Vehicle for Teaching
-
An educational-oriented framework for building on-line courses using XML
proceeding
Bota, F.; Farinetti, Laura; Rarau, A.
In: Titolo volume non avvalorato
ICME 2000, IEEE International Conference on Multimedia and Expo
-
Utilizzo di XML per l’interoperabilità fra applicazioni Internet
proceeding
Bruzzone, F.; Farinetti, Laura
In: Titolo volume non avvalorato
XML Italia 2000
-
Enhancing Interactivity for Self-Evaluation in XML-Based Coureware
proceeding
Bota, F.; Corno, Fulvio; Farinetti, Laura
In: Titolo volume non avvalorato
WebNet2000: World Conference on the WWW and Internet, San Antonio, Texas (USA)
-
RT-level ITC'99 benchmarks and first ATPG results
articolo
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
IEEE DESIGN & TEST OF COMPUTERS
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 445 HOES LANE, PISCATAWAY, NJ 08855 USA
Vol.17 pp.10 (pp.44-53) ISSN:0740-7475 DOI:10.1109/54.867894 -
GA-Based Verification of Network Protocols Performance
capitolo
Baldi, Mario; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
Telecommunications Optimizations: Heuristic and Adaptive Techniques
Wiley and Sons (STATI UNITI D'AMERICA)
(pp.185-198) ISBN:9780471988557
-
Transformation-based peak power reduction for test sequences
proceeding
Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Violante, Massimo
In: Titolo volume non avvalorato
Low-Power Design, 1999. Proceedings. IEEE Alessandro Volta Memorial Workshop on (Como, I) 4-5 Mar 1999
pp.6 (pp.78-83) ISBN:9780769500195 DOI:10.1109/LPD.1999.750406 -
ALPS: a peak power estimation tool for sequential circuits
proceeding
Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Violante, Massimo
In: Titolo volume non avvalorato
VLSI, 1999. Proceedings. Ninth Great Lakes Symposium on
pp.4 (pp.350-353) ISBN:9780769501048 DOI:10.1109/GLSV.1999.757454 -
A New BIST Architecture for Low Power Circuits
proceeding
Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Violante, Massimo
In: Titolo volume non avvalorato
European Test Workshop 1999. Proceedings (Constance, Germany) 25-28 May 1999
pp.5 (pp.160-164) ISBN:9780769503905 DOI:10.1109/ETW.1999.804523 -
Optimal vector selection for low power BIST
proceeding
Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Violante, Massimo
In: Titolo volume non avvalorato
Defect and Fault Tolerance in VLSI Systems, 1999. DFT '99. International Symposium on (Albuquerque, NM, USA) Nov 1999
pp.8 (pp.219-226) ISBN:9780769503257 DOI:10.1109/DFTVS.1999.802888 -
Test Pattern Generation under Low Power Constraints
proceeding
Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Violante, Massimo
LECTURE NOTES IN COMPUTER SCIENCE
In: Evolutionary Image Analysis, Signal Processing and Telecommunications
Springer
1st European Workshops, EvoIASP’99 and EuroEcTel’99 (Göteborg (SWE)) May 26-27, 1999
Vol.1596 pp.9 (pp.162-170) ISSN:0302-9743 ISBN:9783540658375 DOI:10.1007/10704703_13 -
High Quality Test Pattern Generation for RT-level VHDL Descriptions
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: 2nd International Workshop on Microprocessor Test and Verification Common Challenges and Solutions
IEEE
-
Simulation-Based Sequential Equivalence Checking of RTL VHDL
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings the 6th IEEE International Conference on Electronics, Circuits and Systems
IEEE
(pp.351-354) -
Verifying the Equivalence of Sequential Circuits with Genetic Algorithms
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Congress on Evolutionary Computation
IEEE
(pp.1293-1297) -
Optimizing Deceptive Functions with the SG-Clans Algorithm
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Congress on Evolutionary Computation
IEEE
CEC
(pp.2190-2195) -
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
LECTURE NOTES IN COMPUTER SCIENCE
In: Titolo volume non avvalorato
Springer
Evolutionary Image Analysis, Signal Processing and Telecommunications First European Workshops, EvoIASP’99 and EuroEcTel’99 (Göteborg (SWE)) May 26-27, 1999
Vol.1596 pp.11 (pp.182-192) ISSN:0302-9743 ISBN:9783540658375 DOI:10.1007/10704703_15 -
Approximate equivalence verification of sequential circuits via genetic algorithms
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Titolo volume non avvalorato
ACM (STATI UNITI D'AMERICA)
DATE '99, Design, Automation and Test in Europe Conference and Exhibition 1999 (Munich (DEU)) March 9-12, 1999
pp.2 (pp.754-755) ISBN:9781581131215 DOI:10.1145/307418.307431 -
Educational strategies and technical implementation: the experienceof Politecnico di Torino in remote tutoring
proceeding
Farinetti, Laura; Malnati, Giovanni
In: Titolo volume non avvalorato
Multimedia Computing and Systems, 1999. IEEE International Conference on (Florence, Italy) 06/07/1999 - 06/11/1999
Vol.2 (pp.690-694) ISBN:9780769502533 -
RT-level TPG Exploiting High-Level Synthesis Information
proceeding
Chiusano, SILVIA ANNA; Corno, Fulvio; Prinetto, Paolo Ernesto
In: Titolo volume non avvalorato
IEEE VLSI Test Symposium 25-30 April 1999
(pp.341-353) ISBN:9780769501468 -
Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization
proceeding
SAN MILLAN, E.; Entrena, L.; Espejo, J. A.; Chiusano, SILVIA ANNA; Corno, Fulvio
In: Titolo volume non avvalorato
IEEE Design, Automation and Test in Europe 9-12 March 1999
(pp.516-520) ISBN:9780769500782 -
SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information
articolo
Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo; Violante, Massimo; U., Glaeser; H. T., Vierhaus
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
Vol.18 pp.12 (pp.191-202) ISSN:0278-0070 DOI:10.1109/43.743731 -
Exploiting Behavioral Information in Gate-Level ATPG
articolo
Chiusano, SILVIA ANNA; Corno, Fulvio; Prinetto, Paolo Ernesto
JOURNAL OF ELECTRONIC TESTING
Vol.14(1-2) (pp.141-148) ISSN:0923-8174 DOI:10.1023/A:1008322011010 -
I modelli e le strategie di apprendimento (Cap. 2)
capitolo
Farinetti, Laura
Insegnare all'università: formazione dei docenti e qualità della didattica
UTET (ITALIA)
ISBN:9788877505897
-
Exploiting symbolic techniques for partial scan flip flop selection
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo; Violante, Massimo
In: DATE 1998 : IEEE Design Automation and Test Conference in Europe, 1998
IEEE Computer Society (STATI UNITI D'AMERICA)
DATE 1998 : IEEE Design Automation and Test Conference in Europe, 1998 (Paris (France)) Feb 23-26, 1998
pp.10 (pp.670-679) ISBN:9780818683596 DOI:10.1109/DATE.1998.655930 -
Experiences in the use of evolutionary techniques for testing digital circuits
proceeding
Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
Applications and Science of Neural Networks, Fuzzy Systems, and Evolutionary Computation
ISBN:9780819429100 DOI:10.1117/12.326704 -
A test pattern generation methodology for low power consumption
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
IEEE Computer Society (STATI UNITI D'AMERICA)
16th IEEE VLSI Test Symposium (Monterey (CA)) Apr 26-30 1998
pp.5 (pp.453-457) ISBN:9780818684364 DOI:10.1109/VTEST.1998.670912 -
Fast sequential circuit test generation using high-level and gate-level techniques
proceeding
Rudnick, E. M.; Vietti, R.; Ellis, A.; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
Design, Automation and Test in Europe, 1998
ISBN:9780818683596 DOI:10.1109/DATE.1998.655915 -
The Selfish Gene Algorithm: a New Evolutionary Optimization Strategy
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings of the 1998 ACM symposium on Applied Computing
ACM Press (STATI UNITI D'AMERICA)
SAC
(pp.349-355) ISBN:9780897919692 DOI:10.1145/330560.330838 -
A New Evolutionary Algorithm Inspired by the Selfish Gene Theory
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: IEEE International Conference on Evolutionary Computation
IEEE
ICEC98
(pp.575-580) -
VEGA: A Verification Tool Based on Genetic Algorithms
proceeding
Corno, Fulvio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings the International Conference on Circuit Design
ICCD
(pp.321-326) -
On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits
proceeding
Prinetto, Paolo Ernesto; SONZA REORDA, Matteo; Gaudenzi, N.; Corno, Fulvio
In: Titolo volume non avvalorato
VTS'98 : 16th IEEE VLSI Test Symposium (Monterey CA, (USA)) Apr 26-30, 1998
pp.6 (pp.424-429) ISBN:9780818684364 DOI:10.1109/VTEST.1998.670902 -
Multimedia, Training Process and Effectiveness Analysis
proceeding
Farinetti, Laura; Farinetti, L.; Taverna, S.
In: Titolo volume non avvalorato
WCCEE 98, 7th World Conference on Continuing Engineering Education
-
Sicuro Project
proceeding
Bobbio, A.; DEL CORSO, D.; Farinetti, Laura; Malnati, M.; Ovcin, E.; Vidotto, D.
In: Titolo volume non avvalorato
WCCEE 98, 7th World Conference on Continuing Engineering Education
-
A System for Evaluating On-Line Testability at the RT-level
proceeding
Chiusano, SILVIA ANNA; Corno, Fulvio; SONZA REORDA, Matteo; Vietti, R.
In: Titolo volume non avvalorato
IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems 2-4 November 1998
(pp.284-291) ISBN:9780818688324 -
A Test Pattern Generation Algorithm Exploiting Behavioral Information
proceeding
Chiusano, SILVIA ANNA; Corno, Fulvio; Prinetto, Paolo Ernesto
In: Titolo volume non avvalorato
IEEE Asian Test Symposium 2-4 December 1998
(pp.480-485) ISBN:9780818682773 -
Integrating On-Line and Off-Line Testing of a Switching Memory in a Telecommunication System
articolo
S., Barbagallo; Corno, Fulvio; D., Medina; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
IEEE DESIGN & TEST OF COMPUTERS
Vol.Vol. 15, No. 1 ISSN:0740-7475 -
Integrating Online and Offline Testing of a Switching Memory
articolo
Barbagallo, S; Corno, Fulvio; Medina, D; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
IEEE DESIGN & TEST OF COMPUTERS
Vol.15 , Issue: 1 , Jan-March 1998 (pp.63-70) ISSN:0740-7475 DOI:10.1109/54.655184 -
The General Product Machine: a New Model for Symbolic FSM Traversal
articolo
Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
FORMAL METHODS IN SYSTEM DESIGN
Vol.12 (pp.267-289) ISSN:0925-9856
-
Dynamic rollback problem in concurrent event-driven fault simulation
proceeding
Farinetti, Laura; Montessoro, Pier Luca
In: Proceedings of the IEEE VLSI Test Symposium
IEEE (STATI UNITI D'AMERICA)
Proceedings of the 1997 15th VLSI Test Symposium (Monterey, CA, USA, null) 1997
pp.6 (pp.282-287) ISBN:9780818678103 DOI:10.1109/VTEST.1997.600289 -
Optimizing area loss in flat glass cutting
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; S., Bisotto
In: Titolo volume non avvalorato
Second International Conference on Genetic Algorithms in Engineering Systems (Glasgow, UK) 2-4 Sept. 1997
pp.6 (pp.450-455) ISBN:9780852966938 DOI:10.1049/cp:19971222 -
Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Violante, Massimo
In: Titolo volume non avvalorato
Test Symposium, 1997. (ATS '97) Proceedings., Sixth Asian (Akita, J) 17-19 Nov 1997
pp.6 (pp.68-73) ISBN:9780818682094 DOI:10.1109/ATS.1997.643922 -
New Static Compaction Techniques of Test Sequences for Sequential Circuits
proceeding
Corno, Fulvio; Rebaudengo, Maurizio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
EDTC '97 Proceedings of the 1997 European conference on Design and Test
pp.7 (pp.37-43) ISBN:9780818677861 -
SAARA: a simulated annealing algorithm for test pattern generation for digital circuits
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
pp.5 (pp.228-232) ISBN:9780897918503 DOI:10.1145/331697.331745 -
Boolean function manipulation on a parallel system using BDDs
proceeding
F., Bianchi; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; R., Ansaloni
LECTURE NOTES IN COMPUTER SCIENCE
In: Titolo volume non avvalorato
Springer
High-Performance Computing and Networking International Conference and Exhibition (Vienna (AUT)) April 28–30, 1997
Vol.1225 pp.13 (pp.916-928) ISSN:0302-9743 ISBN:9783540628989 DOI:10.1007/BFb0031663 -
Il Politecnico di Torino su Internet: un'esperienza di gestione di un server web universitario
altro
Corno, Fulvio; Farinetti, Laura; Innocenti, Mauro; F., Maino; SONZA REORDA, Matteo
-
Reti Logiche (Esercizi commentati e risolti)
monografia
Benso, Alfredo; Corno, Fulvio; Prinetto, Paolo Ernesto
Ed. Esculapio (ITALIA)
pp.100 -
GA-based Performance Analysis of Network Protocols
proceeding
Baldi, Mario; Corno, Fulvio; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
In: 9th IEEE Proceedings the International Conference on Tools with Artificial Intelligence
IEEE
ICTAI (Newport Beach, CA (USA))
pp.7 (pp.118-124) ISBN:9780818682032 DOI:10.1109/TAI.1997.632245 -
Simulation-Based Verification of Network Protocols Performance
proceeding
Baldi, Mario; Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Proceedings of the IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods: Advances in Hardware Design and Verification
Chapman & Hall, Ltd (REGNO UNITO DI GRAN BRETAGNA)
CHARME
pp.16 (pp.236-251) ISBN:9780412813306 -
A genetic algorithm for the computation of initialization sequences for synchronous sequential circuits
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
In: Titolo volume non avvalorato
IEEE
ATS '97, 6th Asian Test Symposium (Akita (JPN)) 17-19 Nov 1997
pp.6 (pp.56-61) ISBN:9780818682094 DOI:10.1109/ATS.1997.643917 -
A New Approach for Initialization Sequences Computation for Synchronous Sequential Circuits
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
In: 1997 IEEE Proceedings of the International Conference on Computer Design
IEEE
International Conference on Computer Design
(pp.381-386) -
Testability analysis and ATPG on behavioral RT-level VHDL
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
IEEE Computer Society (STATI UNITI D'AMERICA)
ITC 1997: IEEE International Test Conference (Washington DC (USA)) Nov 1-6, 1997
pp.7 (pp.753-759) ISBN:9780780342095 DOI:10.1109/TEST.1997.639688 -
Formazione continua e didattica a distanza
proceeding
Farinetti, Laura; Malnati, Giovanni; Mezzalama, Marco
In: Titolo volume non avvalorato
Simposio Didattica e Informatica
-
Hybrid Symbolic-Explicit Techniques for the Graph Coloring Problem
proceeding
Chiusano, SILVIA ANNA; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
IEEE European Design and Test Conference (Paris) March 1997
pp.5 (pp.422-426) ISBN:9780818677861 -
Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization
proceeding
Chiusano, SILVIA ANNA; Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
IEEE International Conference on Tools with Artificial Intelligence 3-8 Nov 1997
(pp.133-140) ISBN:9780818682032 -
Cellular automata for deterministic sequential test pattern generation
proceeding
Chiusano, SILVIA ANNA; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
IEEE VLSI Test Symposium April 27-May 1, 1997
(pp.60-67) ISBN:9780818678103 -
Guaranteeing Testability in Re-encoding for Low Power.
proceeding
Chiusano, SILVIA ANNA; Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
IEEE Asian Test Symposium 17-18 November 1997
(pp.30-35) ISBN:9780818682094 -
Le nuove esigenze didattiche nella società tecnologica
capitolo
Farinetti, Laura; Malnati, Giovanni; Mezzalama, M.
La formazione e il lavoro al tempo delle reti telematiche
Rosenberg&Sellier (ITALIA)
(pp.149-168)
-
A genetic algorithm for automatic generation of test logic for digital circuits
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo; ,
In: ICTAI 1996 : 8th IEEE International Conference on Tools with Artificial Intelligence, 1996
IEEE Computer Society (STATI UNITI D'AMERICA)
ICTAI 1996 : 8th IEEE International Conference on Tools with Artificial Intelligence, 1996 (Toulouse (France)) Nov 16-19, 1996
pp.7 (pp.10-16) ISBN:9780818676864 DOI:10.1109/TAI.1996.560394 -
Scan insertion criteria for low design impact
proceeding
Barbagallo, S.; Lobetti Bodoni, M.; Medina, D.; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: VTS 1996 : IEEE VLSI Test Symposium
IEEE Computer Society (STATI UNITI D'AMERICA)
VTS 1996 : IEEE VLSI Test Symposium (Princeton, NJ (USA)) Apr 26 - May 1, 1996
pp.6 (pp.26-31) ISBN:9780818673047 DOI:10.1109/VTEST.1996.510831 -
Self-checking and Fault Tolerant approaches can help BIST fault coverage: a case study
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: ED&TC 96: IEEE European Conference on Design and Test 1996
IEEE Computer Society (STATI UNITI D'AMERICA)
ED&TC 96: IEEE European Conference on Design and Test 1996 (Paris (Francia)) Mar 11-14, 1996
pp.1 ISBN:9780818674235 DOI:10.1109/EDTC.1996.494374 -
Fault Tolerant and BIST design of a FIFO cell
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: Euro-DAC '96: IEEE European Design Automation Conference with Euro-VHDL '96 and Exhibition
IEEE Computer Society (STATI UNITI D'AMERICA)
Euro-DAC '96: IEEE European Design Automation Conference with Euro-VHDL '96 and Exhibition (Geneva (CH)) Sep 16-20, 1996
pp.6 (pp.233-238) ISBN:9780818675737 DOI:10.1109/EURDAC.1996.558210 -
Partial scan flip flop selection for simulation-based sequential ATPGs
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
Test Conference, 1996. Proceedings., International (Washington, DC, USA) 20-25 Oct 1996
pp.7 (pp.558-564) ISBN:9780780335417 DOI:10.1109/TEST.1996.557088 -
Comparing topological, symbolic and GA-based ATPGs: an experimental approach
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
Test Conference, 1996. Proceedings., International (Washington, DC) 20-25 Oct 1996
pp.9 (pp.39-47) ISBN:9780780335417 DOI:10.1109/TEST.1996.556941 -
Fault Behavior Observation of a Microprocessor System through a VHDL Simulation-Based Fault Injection Experiment
proceeding
Amendola, A.; Benso, Alfredo; Corno, Fulvio; Impagliazzo, L.; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
Design Automation Conference, 1996, with EURO-VHDL '96 and Exhibition, Proceedings EURO-DAC '96, European (Geneva, CH) 16 - 20 Sep 1996
pp.6 (pp.536-541) ISBN:9780818675737 DOI:10.1109/EURDAC.1996.558255 -
Advanced Techniques for GA-based sequential ATPGs
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Mosca, R.
In: Titolo volume non avvalorato
European Design and Test Conference, 1996. ED&TC 96. Proceedings (Paris, F) 11-14 Mar 1996
pp.5 (pp.375-379) ISBN:9780818674242 DOI:10.1109/EDTC.1996.494328 -
A parallel genetic algorithm for Automatic Generation of Test Sequences for digital circuits
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
LECTURE NOTES IN COMPUTER SCIENCE
In: Titolo volume non avvalorato
Springer
High-Performance Computing and Networking International Conference and Exhibition HPCN EUROPE 1996 (Brussels (BEL)) April 15–19, 1996
Vol.1067 pp.6 (pp.454-459) ISSN:0302-9743 ISBN:9783540611424 DOI:10.1007/3-540-61142-8_583 -
Exploiting competing subpopulations for automatic generation of test sequences for digital circuits
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
LECTURE NOTES IN COMPUTER SCIENCE
In: Parallel Problem Solving from Nature — PPSN IV
Springer
International Conference on Evolutionary Computation — The 4th International Conference on Parallel Problem Solving from Nature (Berlin (DEU)) September 22–26, 1996
Vol.1141 pp.10 (pp.791-800) ISSN:0302-9743 ISBN:9783540617235 DOI:10.1007/3-540-61723-X_1042 -
On-line testing of an off-the-shelf microprocessor board for safety-critical applications
proceeding
Corno, Fulvio; M., Damiani; L., Impagliazzo; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; G., Sartore; SONZA REORDA, Matteo
LECTURE NOTES IN COMPUTER SCIENCE
In: Titolo volume non avvalorato
Springer
Dependable Computing — EDCC-2, 2nd European Dependable Computing Conference (Taormina (ITA)) October 2–4, 1996
Vol.1150 pp.12 (pp.190-201) ISSN:0302-9743 ISBN:9783540617723 DOI:10.1007/3-540-61772-8_38 -
Il ruolo delle tecniche di fault injection nell’analisi dell’affidabilità dei sistemi
articolo
Benso, Alfredo; Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
AEI AUTOMAZIONE ENERGIA INFORMAZIONE
Association Elettrotecnica Elettronic: AEI Uffic Center, Piaz Morandi 2, 20121 Milan Italy:011 39 02 77790223, EMAIL: soci@aei.it, Fax: 011 39 02 798817
Vol.83 pp.7 (pp.63-69) ISSN:1122-2824 -
Role of fault injection techniques in system dependability analysis
articolo
Benso, Alfredo; Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
AEI AUTOMAZIONE ENERGIA INFORMAZIONE
Vol.83 (pp.63-69) ISSN:1122-2824 -
Remote tutoring: what we learned by a practical experience
proceeding
Farinetti, Laura; Malnati, Giovanni
In: Titolo volume non avvalorato
of ED-TELECOM 96, World Conference on Educational Telecommunication 17-22 Giugno
-
Testable Synthesis of Control Units via Circular Self-Test Path: Problems and Solutions
articolo
Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
IEEE DESIGN & TEST OF COMPUTERS
(pp.50-60) ISSN:0740-7475 -
Circular self-test path for FSMs
articolo
Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
IEEE DESIGN & TEST OF COMPUTERS
Vol.13 , Issue: 4 , Winter 1996 (pp.50-60) ISSN:0740-7475 DOI:10.1109/54.544536 -
GATTO: A Genetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits
articolo
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS
Vol.15(8) (pp.991-1000) ISSN:0278-0070 DOI:10.1109/43.511578
-
Il manuale del laboratorio di informatica (per chi impara il linguaggio C)
monografia
Farinetti, Laura; Piccolo, Elio
C.L.U.T. (ITALIA)
pp.150 (pp.1-150) -
Uso di Tecniche Evolutive per la Risoluzione di Problemi di CAD Elettronico
capitolo
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Processori dedicati
Franco Angeli (ITALIA)
pp.5 (pp.39-43) ISBN:9788820494834 -
Testing a Switching Memory in a Telecommunication System
proceeding
Barbagallo, S.; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: ITC 1995 : IEEE International Test Conference, 1995
IEEE Computer Society (STATI UNITI D'AMERICA)
ITC 1995 : IEEE International Test Conference, 1995 (Washington DC (USA)) Oct 21-25, 1995
pp.10 (pp.947-956) ISBN:9780780329928 DOI:10.1109/TEST.1995.529941 -
Proving testing preorders for process algebra descriptions
proceeding
Corno, Fulvio; Cusinato, Marco; Ferrero, M.; Prinetto, Paolo Ernesto
In: ED&TC 1995: IEEE European Design and Test Conference, 1995
IEEE Computer Society Press (STATI UNITI D'AMERICA)
ED&TC 1995: IEEE European Design and Test Conference, 1995 (Paris (France)) Mar 6-9, 1995
pp.5 (pp.333-337) ISBN:9780818670398 DOI:10.1109/EDTC.1995.470375 -
Using symbolic techniques to find the maximum clique in very large sparse graphs
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
European Design and Test Conference, 1995. ED&TC 1995
ISBN:9780818670398 DOI:10.1109/EDTC.1995.470377 -
A portable ATPG tool for parallel and distributed systems
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Veiluva, E.
In: Titolo volume non avvalorato
13th IEEE VLSI Test Symposium (VTS'95) (Princeton, NJ, USA) April 30 - May 03 1995
pp.6 (pp.29-34) ISBN:9780818670008 DOI:10.1109/VTEST.1995.512613 -
GARDA: a Diagnostic ATPG for Large Synchronous Sequential Circuits
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
European Design and Test Conference, 1995. ED&TC 1995, Proceedings. (Paris, F) 6-9 Mar 1995
pp.5 (pp.267-271) ISBN:9780818670398 DOI:10.1109/EDTC.1995.470385 -
Improving topological ATPG with symbolic techniques
proceeding
Corno, Fulvio; U., Gläser; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; T., Vierhaus
In: Titolo volume non avvalorato
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
IEEE VLSI Test Symposium
pp.6 (pp.338-343) ISBN:9780818670008 DOI:10.1109/VTEST.1995.512658 -
A PVM tool for automatic test generation on parallel and distributed systems
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Enzo, Veiluva
LECTURE NOTES IN COMPUTER SCIENCE
In: Titolo volume non avvalorato
Springer
High-Performance Computing and Networking International Conference and Exhibition (Milan (ITA)) May 3–5, 1995
Vol.919 pp.6 (pp.39-44) ISSN:0302-9743 ISBN:9783540593935 DOI:10.1007/BFb0046607 -
Reti Logiche (Raccolta di lucidi)
monografia
Corno, Fulvio; Prinetto, Paolo Ernesto
Libreria Editrice Universitaria Levrotto & Bella (ITALIA)
-
Making the circular self-test path technique effective for real circuits
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: ITC 1994 : IEEE International Test Conference, 1994
IEEE Computer Society (STATI UNITI D'AMERICA)
ITC 1994 : IEEE International Test Conference, 1994 (Washington DC (USA)) Oct 2-6, 1994
pp.9 (pp.949-957) ISBN:9780780321038 DOI:10.1109/TEST.1994.528044 -
A process algebra interpretation of a verification oriented overlanguage of VHDL
proceeding
Bayol, C.; Soulas, B.; Borrione, D.; Corno, Fulvio; Prinetto, Paolo Ernesto
In: EURO-DAC '94: IEEE European Design Automation Conference
IEEE Computer Society (STATI UNITI D'AMERICA)
EURO-DAC '94: IEEE European Design Automation Conference (Grenoble (France)) Sep 19-22, 1994
pp.6 (pp.506-511) ISBN:9780897916851 DOI:10.1145/198174.198314 -
System-Level Modeling and Verification: a Comprehensive Design Methodology
proceeding
Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; bayol, C.; soulas, B. .
In: ED&TC 1994 : IEEE European Design and Test Conference EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design
IEEE Computer Society (STATI UNITI D'AMERICA)
ED&TC 1994 : IEEE European Design and Test Conference EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design (Paris (France)) Feb 28 - Mar 03, 1994
pp.5 (pp.636-640) ISBN:9780818654107 DOI:10.1109/EDTC.1994.326811 -
An experimental analysis of the effectiveness of the circular self-test path technique
proceeding
Prinetto, Paolo Ernesto; Corno, Fulvio; SONZA REORDA, Matteo
In: EURO-DAC '94: IEEE European design automation Conference
IEEE Computer Society Press (STATI UNITI D'AMERICA)
EURO-DAC '94: IEEE European design automation Conference (Grenoble (France)) Sep 19-22, 1994
pp.6 (pp.246-251) ISBN:9780897916851 DOI:10.1145/198174.198254 -
A New Functional Fault Model for System-Level Descriptions
proceeding
P., Camurati; Corno, Fulvio; Meo, Michela; Prinetto, Paolo Ernesto
In: Titolo volume non avvalorato
2th IEEE VLSI Test Symposium (NJ (USA)) April 1994
ISBN:9780818654404 DOI:10.1109/VTEST.1994.292310
-
Adaptive technique for dynamic rollback in concurrent event-driven fault simulation
proceeding
Farinetti, Laura; Montessoro, Pier Luca
In: Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors
IEEE (STATI UNITI D'AMERICA)
Proceedings of the 1993 IEEE International Conference on Computer Design: VLSI in Computers & Processors (Cambridge, MA, USA) 1993
pp.7 (pp.576-582) ISBN:9780818642302 DOI:10.1109/ICCD.1993.393311 -
Finding the Maximurn Clique in a Graph Using BDDs
proceeding
Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: ICVC93: IEEE 3rd International Conference on VLSI and CAD
ICVC93: IEEE 3rd International Conference on VLSI and CAD. (Taejon (Korea).) Nov 1993
pp.4 (pp.269-272) -
A verifiable design methodology at system-level
proceeding
Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas
In: ICVC93: IEEE 3rd International Conference on VLSI and CAD
ICVC93: IEEE 3rd International Conference on VLSI and CAD (Taejon (Korea)) Nov 1993
pp.4 (pp.364-367) -
System-level fault modeling and test pattern generation with process algebras
proceeding
Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
In: ETC-93: IEEE 3rd European Test Conference
IEEE Computer Society (STATI UNITI D'AMERICA)
ETC-93: IEEE 3rd European Test Conference (Rotterdam (The Netherlands)) Apr 19-22, 1993
pp.10 (pp.47-56) ISBN:9780818633607 DOI:10.1109/ETC.1993.246534 -
Exploiting symbolic traversal techniques for efficient Process Algebra Manipulation
proceeding
Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
In: CHDL'93: 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications
North-Holland Publishing Co. (PAESI BASSI)
CHDL'93: 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications (Ottawa, Ontario (Canada)) Apr 26-28, 1993
pp.14 (pp.31-44) ISBN:9780444816412 -
An efficient tool for system-level verification of behaviors and temporal properties
proceeding
Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
In: EURO-DAC '93: IEEE European Design Automation Conference, 1993, with EURO-VHDL '93
IEEE Computer Society (STATI UNITI D'AMERICA)
EURO-DAC '93: IEEE European Design Automation Conference, 1993, with EURO-VHDL '93 (Hamburg (Germany)) Sep 20-24, 1993
pp.6 (pp.124-129) ISBN:9780818643507 DOI:10.1109/EURDAC.1993.410626 -
VOVHDL: A verification-oriented dialect of VHDL
proceeding
Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; C., Bayol; B., Soulas
In: VFE'93: VHDL Forum for CAD in Europe: Fall '93 Meeting
VFE'93: VHDL Forum for CAD in Europe: Fall '93 Meeting (Hamburg (Germany)) Sept 23, 1993
pp.11 (pp.37-47) -
A methodology for system-level design for verifiability
proceeding
Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto
LECTURE NOTES IN COMPUTER SCIENCE
In: Correct Hardware Design and Verification Methods
Springer
IFIPWG10.2 Advanced Research Working Conference, CHARME'93 (Arles (FRA)) May 24–26, 1993
Vol.683 pp.12 (pp.80-91) ISSN:0302-9743 ISBN:9783540567783 DOI:10.1007/BFb0021716 -
An Approach to Sequential Circuit Diagnosis Based on Formal Verification Techniques
articolo
Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
JOURNAL OF ELECTRONIC TESTING
Vol.4 pp.7 (pp.11-17) ISSN:0923-8174
-
A simulation-based approach to test pattern generation for synchronous circuits
proceeding
Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
IEEE / Institute of Electrical and Electronics Engineers Incorporated:445 Hoes Lane:Piscataway, NJ 08854:(800)701-4333, (732)981-0060, EMAIL: subscription-service@ieee.org, INTERNET: http://www.ieee.org, Fax: (732)981-9667
IEEE VLSI Test Symposium
pp.5 (pp.263-267) ISBN:9780780306233 DOI:10.1109/VTEST.1992.232763 -
Sequential circuit diagnosis based on formal verification techniques
proceeding
Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: ITC 1992: IEEE International Test Conference 1992
IEEE Computer Society (STATI UNITI D'AMERICA)
ITC 1992: IEEE International Test Conference 1992 (Baltimore MD (USA)) Sept. 20-24 1992
(pp.187-196) -
A new model for improving symbolic Product Machine traversal
proceeding
Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; S., Gai; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: Titolo volume non avvalorato
DAC-29: 29th ACM/IEEE Design Automation Conference (Anaheim, CA (USA)) June 1992
pp.6 (pp.614-619) -
Cross-fertilizing FSM Verification Techniques and Sequential Diagnosis
proceeding
Cabodi, Gianpiero; Camurati, Paolo Enrico; Corno, Fulvio; Prinetto, Paolo Ernesto; SONZA REORDA, Matteo
In: Proceedings of the 1992 IEEE EURO-DAC
IEEE EURO-DAC'92 (Hamburg (Germany)) September 1992
(pp.306-311)
-
Exploring Trigger-Action Programs for Designing Self-Control Tools in Mobile Devices