Fulvio Corno - RankMe

233 papers A* 2A 21B 25C 6Misc 24Journal 56Unranked 98

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	How the Preattentive Process is Exploited in Practical Information Visualization Design: A Review. Int. J. Hum. Comput. Interact. Luisa Fernanda Barrera-León, Fulvio Corno, Luigi De Russis
2023	J	`jnl`	Security Evaluation of Arduino Projects Developed by Hobbyist IoT Programmers. Sensors Fulvio Corno, Luca Mannella
2022	J	`jnl`	Computational notebooks to support developers in prototyping IoT systems. Int. J. Hum. Comput. Stud. Fulvio Corno, Luigi De Russis, Juan Pablo Sáenz
2022	J	`jnl`	Helping novice developers harness security issues in cloud-IoT systems. J. Reliab. Intell. Environ. Fulvio Corno, Luigi De Russis, Luca Mannella
2022	J	`jnl`	How do end-users program the Internet of Things? Behav. Inf. Technol. Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2021	—	`conf`	Devices, Information, and People: Abstracting the Internet of Things for End-User Personalization. IS-EUD Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2021	J	`jnl`	From Users' Intentions to IF-THEN Rules in the Internet of Things. ACM Trans. Inf. Syst. Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2021	Misc	`conf`	On Computational Notebooks to Empower Physical Computing Novices. EICS Fulvio Corno, Luigi De Russis, Juan Pablo Sáenz
2021	B	`conf`	Perception of Security Issues in the Development of Cloud-IoT Systems by a Novice Programmer. Intelligent Environments (Workshops) Fulvio Corno, Luigi De Russis, Luca Mannella
2021	B	`conf`	TextCode: A Tool to Support Problem Solving Among Novice Programmers. VL/HCC Fulvio Corno, Luigi De Russis, Juan Pablo Sáenz
2020	B	`conf`	HeyTAP: Bridging the Gaps Between Users' Needs and Technology in IF-THEN Rules via Conversation. AVI Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2020	J	`jnl`	How is Open Source Software Development Different in Popular IoT Projects? IEEE Access Fulvio Corno, Luigi De Russis, Juan Pablo Sáenz
2020	C	`conf`	Systematic Variation of Preattentive Attributes to Highlight Relevant Data in Information Visualization. IV Luisa Fernanda Barrera-León, Fulvio Corno, Luigi De Russis
2020	A	`conf`	TAPrec: supporting the composition of trigger-action rules through dynamic recommendations. IUI Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2019	J	`jnl`	A high-level semantic approach to End-User Development in the Internet of Things. Int. J. Hum. Comput. Stud. Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2019	J	`jnl`	EUDoptimizer: Assisting End Users in Composing IF-THEN Rules Through Optimization. IEEE Access Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2019	A*	`conf`	Empowering End Users in Debugging Trigger-Action Rules. CHI Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2019	—	`conf`	My IoT Puzzle: Debugging IF-THEN Rules Through the Jigsaw Metaphor. IS-EUD Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2019	J	`jnl`	On the challenges novice programmers experience in developing IoT systems: A Survey. J. Syst. Softw. Fulvio Corno, Luigi De Russis, Juan Pablo Sáenz
2019	J	`jnl`	On the impact of dysarthric speech on contemporary ASR cloud platforms. J. Reliab. Intell. Environ. Luigi De Russis, Fulvio Corno
2019	J	`jnl`	RecRules: Recommending IF-THEN Rules for End-User Development. ACM Trans. Intell. Syst. Technol. Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2019	J	`jnl`	Reliability on pervasive well-being: will it soon become a reality? - State of the art and open issues. J. Reliab. Intell. Environ. Daniela Micucci, Fulvio Corno
2019	—	`conf`	Touch-Based Ontology Browsing on Tablets and Surfaces. COMPSAC (1) Fulvio Corno, Luigi De Russis, Luisa Fernanda Barrera-León
2019	—	`conf`	Towards Computational Notebooks for IoT Development. CHI Extended Abstracts Fulvio Corno, Luigi De Russis, Juan Pablo Sáenz
2019	J	`jnl`	XDN: cross-device framework for custom notifications management. Computing Fulvio Corno, Luigi De Russis, Teodoro Montanaro
2018	B	`conf`	"Hey Siri, Do You Understand Me?": Virtual Assistants and Dysarthria. Intelligent Environments (Workshops) Fabio Ballati, Fulvio Corno, Luigi De Russis
2018	J	`jnl`	An Unsupervised and Noninvasive Model for Predicting Network Resource Demands. IEEE Internet Things J. Fulvio Corno, Luigi De Russis, Andrea Marcelli, Teodoro Montanaro
2018	A	`conf`	Assessing Virtual Assistant Capabilities with Italian Dysarthric Speech. ASSETS Fabio Ballati, Fulvio Corno, Luigi De Russis
2018	J	`jnl`	AwareNotifications: Multi-device semantic notification handling with user-defined preferences. J. Ambient Intell. Smart Environ. Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2018	—	`conf`	Collaborative Accessible Gameplay with One-Switch Interfaces. GEM Daniela Bulgarelli, Fulvio Corno, Luigi De Russis
2018	—	`conf`	Easing IoT development for novice programmers through code recipes. ICSE (SEET) Fulvio Corno, Luigi De Russis, Juan Pablo Sáenz
2018	—	`conf`	Message from the ITiP Symposium Chairs. COMPSAC (1) San Murugesan, Fulvio Corno
2018	—	`conf`	On The Advanced Services That 5G May Provide To IoT Applications. 5G World Forum Fulvio Corno, Luigi De Russis, Juan Pablo Sáenz
2018	B	`conf`	User Expectations in Intelligent Environments - Issues and Opportunities in the Interaction of Intelligent Users and Intelligent Environments. Intelligent Environments (Workshops) Fulvio Corno
2018	J	`jnl`	User expectations in intelligent environments - Issues and opportunities in the interaction of intelligent users and intelligent environments. J. Reliab. Intell. Environ. Fulvio Corno
2017	—	`conf`	A High-Level Approach Towards End User Development in the IoT. CHI Extended Abstracts Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2017	J	`jnl`	A Semantic Web Approach to Simplifying Trigger-Action Programming in the IoT. Computer Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2017	J	`jnl`	Design and Development of One-Switch Video Games for Children with Severe Motor Disabilities. ACM Trans. Access. Comput. Sebastián Aced López, Fulvio Corno, Luigi De Russis
2017	—	`conf`	On the design of an energy and user aware study room. ISGT Europe Fulvio Corno, Luigi De Russis, Juan Pablo Sáenz
2017	—	`conf`	Pain Points for Novice Programmers of Ambient Intelligence Systems: An Exploratory Study. COMPSAC (1) Fulvio Corno, Luigi De Russis, Juan Pablo Sáenz
2017	J	`jnl`	Training Engineers for the Ambient Intelligence Challenge. IEEE Trans. Educ. Fulvio Corno, Luigi De Russis
2017	Misc	`conf`	XDN: cross-device framework for custom notifications management. EICS Fulvio Corno, Luigi De Russis, Teodoro Montanaro
2016	B	`conf`	A Healthcare Support System for Assisted Living Facilities: An IoT Solution. COMPSAC Fulvio Corno, Luigi De Russis, Alberto Monge Roffarello
2016	—	`conf`	Clocks, Bars and Balls: Design and Evaluation of Alternative GNomon Widgets for Children with Disabilities. CHI Extended Abstracts Sebastián Aced López, Fulvio Corno, Luigi De Russis
2016	J	`jnl`	Educating Internet of Things Professionals: The Ambient Intelligence Course. IT Prof. Fulvio Corno, Luigi De Russis, Dario Bonino
2016	B	`conf`	Estimate user meaningful places through low-energy mobile sensing. SMC Fulvio Corno, Luigi De Russis, Teodoro Montanaro
2015	—	`conf`	A context and user aware smart notification system. WF-IoT Fulvio Corno, Luigi De Russis, Teodoro Montanaro
2015	J	`jnl`	Autonomic goal-oriented device management for Smart Environments. J. Ambient Intell. Smart Environ. Muhammad Sanaullah, Fulvio Corno, Faisal Razzak
2015	A	`conf`	Can We Make Dynamic, Accessible and Fun One-Switch Video Games? ASSETS Sebastián Aced López, Fulvio Corno, Luigi De Russis
2015	J	`jnl`	Designing for user confidence in intelligent environments. J. Reliab. Intell. Environ. Fulvio Corno, Elena Guercio, Luigi De Russis, Eleonora Gargiulo
2015	—	`conf`	GNomon: Enabling Dynamic One-Switch Games for Children with Severe Motor Disabilities. CHI Extended Abstracts Sebastián Aced López, Fulvio Corno, Luigi De Russis
2015	—	`conf`	HomeRules: A Tangible End-User Programming Interface for Smart Homes. CHI Extended Abstracts Luigi De Russis, Fulvio Corno
2015	—	`conf`	IoT Meets Exhibition Areas: A Modular Architecture to Improve Proximity Interactions. FiCloud Fulvio Corno, Luigi De Russis, Teodoro Montanaro, Pino Castrogiovanni
2015	J	`jnl`	Playable One-Switch Video Games for Children with Severe Motor Disabilities Based on GNomon. EAI Endorsed Trans. Serious Games Sebastián Aced López, Fulvio Corno, Luigi De Russis
2015	—	`conf`	Playable one-switch video games for children with severe motor disabilities based on GNomon. INTETAIN Sebastián Aced López, Fulvio Corno, Luigi De Russis
2015	J	`jnl`	Real-time monitoring of high-level states in smart environments. J. Ambient Intell. Smart Environ. Fulvio Corno, Faisal Razzak
2015	J	`jnl`	Smart Systems. IT Prof. Robert R. Harmon, Fulvio Corno, Enrique Castro-Leon
2015	J	`jnl`	Supporting caregivers in assisted living facilities for persons with disabilities: a user study. Univers. Access Inf. Soc. Sebastián Aced López, Fulvio Corno, Luigi De Russis
2014	J	`jnl`	Advancing Cloud Computing. IT Prof. Irena Bojanova, Vladimir Dimitrov, Fulvio Corno
2014	J	`jnl`	Design-time formal verification for smart environments: an exploratory perspective. J. Ambient Intell. Humaniz. Comput. Fulvio Corno, Muhammad Sanaullah
2014	—	`conf`	IoT Meets Caregivers: A Healthcare Support System in Assisted Living Facilities. IoT360 (1) Sebastián Aced López, Fulvio Corno, Luigi De Russis
2014	J	`jnl`	JEERP: Energy-Aware Enterprise Resource Planning. IT Prof. Dario Bonino, Luigi De Russis, Fulvio Corno, Gianni Ferrero
2014	J	`jnl`	Modeling and formal verification of smart environments. Secur. Commun. Networks Fulvio Corno, Muhammad Sanaullah
2014	—	`conf`	PowerOnt: An Ontology-Based Approach for Power Consumption Estimation in Smart Homes. IoT360 (1) Dario Bonino, Fulvio Corno, Luigi De Russis
2014	J	`jnl`	SAT based enforcement of domotic effects in smart environments. J. Ambient Intell. Humaniz. Comput. Fulvio Corno, Faisal Razzak
2013	J	`jnl`	Innovative and Disruptive Technologies [From the Editors]. IT Prof. Phillip A. Laplante, Thomas C. Jepsen, Joseph Williams, Fulvio Corno
2013	—	`conf`	Template-Based Ontology Population for Smart Environments Configuration. ICSOC Workshops Sebastián Aced López, Dario Bonino, Fulvio Corno
2013	—	`conf`	The smart home controller on your wrist. UbiComp (Adjunct Publication) Luigi De Russis, Dario Bonino, Fulvio Corno
2012	J	`jnl`	DoMAIns: Domain-based modeling for Ambient Intelligence. Pervasive Mob. Comput. Dario Bonino, Fulvio Corno
2012	J	`jnl`	Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments. IEEE Trans. Smart Grid Fulvio Corno, Faisal Razzak
2012	—	`conf`	Publishing LO(D)D: Linked Open (Dynamic) Data for Smart Sensing and Measuring Environments. ANT/MobiWIS Fulvio Corno, Faisal Razzak
2012	—	`conf`	dWatch: A Personal Wrist Watch for Smart Environments. ANT/MobiWIS Dario Bonino, Fulvio Corno, Luigi De Russis
2012	—	`conf`	spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications. ANT/MobiWIS Dario Bonino, Fulvio Corno
2011	—	`conf`	A User-Friendly Interface for Rules Composition in Intelligent Environments. ISAmI Dario Bonino, Fulvio Corno, Luigi De Russis
2011	J	`jnl`	DOGeye: Controlling your home with eye interaction. Interact. Comput. Dario Bonino, Emiliano Castellina, Fulvio Corno, Luigi De Russis
2011	—	`conf`	Design Time Methodology for the Formal Verification of Intelligent Domotic Environments. ISAmI Fulvio Corno, Muhammad Sanaullah
2011	B	`conf`	Formal Verification of Device State Chart Models. Intelligent Environments Fulvio Corno, Muhammad Sanaullah
2011	J	`jnl`	What would you ask to your home if it were intelligent? Exploring user expectations about next-generation homes. J. Ambient Intell. Smart Environ. Dario Bonino, Fulvio Corno
2010	—	`conf`	DogSim: A state chart simulator for Domotic Environments. PerCom Workshops Dario Bonino, Fulvio Corno
2010	—	`ch.`	Eye-based Direct Interaction for Environmental Control in Heterogeneous Smart Environments. Handbook of Ambient Intelligence and Smart Environments Fulvio Corno, Alastair G. Gale, Päivi Majaranta, Kari-Jouko Räihä
2010	B	`conf`	Mobile interaction with smart environments through linked data. SMC Faisal Razzak, Dario Bonino, Fulvio Corno
2009	J	`jnl`	A blueprint for integrated eye-controlled environments. Univers. Access Inf. Soc. Dario Bonino, Emiliano Castellina, Fulvio Corno, Alastair G. Gale, A. Garbo, Kevin J. Purdy, Fangmin Shi
2009	J	`jnl`	Automatic domotic device interoperation. IEEE Trans. Consumer Electron. Dario Bonino, Emiliano Castellina, Fulvio Corno
2009	—	`conf`	FaSet: A Set Theory Model for Faceted Search. Web Intelligence Dario Bonino, Fulvio Corno, Laura Farinetti
2009	—	`conf`	Interoperation Modeling for Intelligent Domotic Environments. AmI Dario Bonino, Fulvio Corno
2009	J	`jnl`	Understanding users and their needs. Univers. Access Inf. Soc. Mick Donegan, Jeffrey D. Morris, Fulvio Corno, Isabella Signorile, Adriano Chiò, Valentina Pasian, Alessandro Vignola, Margret Buchholz, Eva Holmqvist
2008	—	`conf`	DOG: An Ontology-Powered OSGi Domotic Gateway. ICTAI (1) Dario Bonino, Emiliano Castellina, Fulvio Corno
2008	Misc	`conf`	DogOnt - Ontology Modeling for Intelligent Domotic Environments. ISWC Dario Bonino, Fulvio Corno
2008	C	`conf`	Eye Tracking Impact on Quality-of-Life of ALS Patients. ICCHP Andrea Calvo, Adriano Chiò, Emiliano Castellina, Fulvio Corno, Laura Farinetti, Paolo Ghiglione, Valentina Pasian, Alessandro Vignola
2008	B	`conf`	Integrated speech and gaze control for realistic desktop environments. ETRA Emiliano Castellina, Fulvio Corno, Paolo Pellegrino
2008	—	`conf`	Self-Similarity Metric for Index Pruning in Conceptual Vector Space Models. DEXA Workshops Dario Bonino, Fulvio Corno
2008	J	`jnl`	The DOG gateway: enabling ontology-based intelligent domotic environments. IEEE Trans. Consumer Electron. Dario Bonino, Emiliano Castellina, Fulvio Corno
2008	—	`conf`	Uniform Access to Domotic Environments through Semantics. SWAP Dario Bonino, Emiliano Castellina, Fulvio Corno
2007	—	`conf`	A reusable 3D visualization component for the semantic web. Web3D Alessio Bosca, Dario Bonino, Marco Comerio, Simone Grega, Fulvio Corno
2007	—	`conf`	Versatile RDF Representation for Multimedia Semantic Search. ICTAI (2) Dario Bonino, Fulvio Corno, Paolo Pellegrino
2006	—	`conf`	An Extensible Platform for Semantic Classification And Retrieval of Multimedia Resources. SWAP Paolo Pellegrino, Fulvio Corno
2006	Misc	`conf`	Domotic house gateway. SAC Paolo Pellegrino, Dario Bonino, Fulvio Corno
2006	J	`jnl`	On-the-fly Construction of Web Services Compositions from Natural Language Requests. J. Softw. Alessio Bosca, Fulvio Corno, Giuseppe Valetto, Roberta Maglione
2005	Misc	`conf`	Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks. SAC Dario Bonino, Fulvio Corno, Federico Pescarmona
2005	A	`conf`	Composing Web Services on the Basis of Natural Language Requests. ICWS Alessio Bosca, Andrea Ferrato, Fulvio Corno, Ilenia Congiu, Giuseppe Valetto
2005	J	`jnl`	Evolving assembly programs: how games help microprocessor validation. IEEE Trans. Evol. Comput. Fulvio Corno, Ernesto Sánchez, Giovanni Squillero
2005	A	`conf`	Specifying Web Service Compositions on the Basis of Natural Language Requests. ICSOC Alessio Bosca, Giuseppe Valetto, Roberta Maglione, Fulvio Corno
2004	J	`jnl`	A BIST-based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. J. Electron. Test. Davide Appello, Alessandra Fudoli, Vincenzo Tancorre, Paolo Bernardi, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda
2004	—	`conf`	A multi-level approach to the dependability analysis of networked systems based on the CAN protocol. SBCCI Fulvio Corno, Julio Pérez Acle, Matteo Sonza Reorda, Massimo Violante
2004	—	`conf`	An Agent Based Autonomic Semantic Platform. ICAC Dario Bonino, Alessio Bosca, Fulvio Corno
2004	J	`jnl`	Automatic Test Program Generation: A Case Study. IEEE Des. Test Comput. Fulvio Corno, Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero
2004	J	`jnl`	Code Generation for Functional Validation of Pipelined Microprocessors. J. Electron. Test. Fulvio Corno, Ernesto Sánchez, Matteo Sonza Reorda, Giovanni Squillero
2004	B	`conf`	Domain Specific Searches Using Conceptual Spectra. ICTAI Dario Bonino, Fulvio Corno, Laura Farinetti
2004	B	`conf`	Dynamic optimization of semantic annotation relevance. IEEE Congress on Evolutionary Computation Dario Bonino, Fulvio Corno, Giovanni Squillero
2004	—	`conf`	E-learning Issues for Advanced Technical Topics. EDUTECH Fulvio Corno
2004	A	`conf`	Evaluating the Effects of Transient Faults on Vehicle Dynamic Performance in Automotive Systems. ITC Fulvio Corno, Matteo Sonza Reorda, Simonluca Tosato, F. Esposito
2004	J	`jnl`	Evolutionary Simulation-Based Validation. Int. J. Artif. Intell. Tools Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2004	—	`conf`	Impact of Technology on Learning Paradigms and Teaching Practices. EDUTECH Fulvio Corno, Tina Ebey, Anna Grabowska, Iliana Nikolova, Evgenia Sendova
2004	Misc	`conf`	Multilingual semantic elaboration in the DOSE platform. SAC Dario Bonino, Fulvio Corno, Laura Farinetti, Andrea Ferrato
2004	B	`conf`	On the evolution of corewar warriors. IEEE Congress on Evolutionary Computation Fulvio Corno, Ernesto Sánchez, Giovanni Squillero
2004	—	`conf`	Validation of the dependability of CAN-based networked systems. HLDVT Fulvio Corno, Julio Pérez Acle, Mattia Ramasso, Matteo Sonza Reorda, Massimo Violante
2003	—	`conf`	A Real-Time Evolutionary Algorithm for Web Prediction. Web Intelligence Dario Bonino, Fulvio Corno, Giovanni Squillero
2003	B	`conf`	An Enhanced Framework for Microprocessor Test-Program Generation. EuroGP Fulvio Corno, Giovanni Squillero
2003	—	`conf`	An Evolutionary Approach to Web Request Prediction. WWW (Posters) Dario Bonino, Fulvio Corno, Giovanni Squillero
2003	Misc	`conf`	Automatic Test Program Generation for Pipeline Processors. SAC Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero
2003	—	`conf`	Code generation for functional validation of pipelined microprocessors. ETW Fulvio Corno, Giovanni Squillero, Matteo Sonza Reorda
2003	B	`conf`	DOSE: A Distributed Open Semantic Elaboration Platform. ICTAI Dario Bonino, Fulvio Corno, Laura Farinetti
2003	B	`conf`	Dynamic prediction of Web requests. IEEE Congress on Evolutionary Computation Dario Bonino, Fulvio Corno, Giovanni Squillero
2003	—	`conf`	Exploiting Auto-adaptive 7GP for Highly Effective Test Programs Generation. ICES Fulvio Corno, F. Cumani, Giovanni Squillero
2003	B	`conf`	Exploiting co-evolution and a modified island model to climb the Core War hill. IEEE Congress on Evolutionary Computation Fulvio Corno, Ernesto Sánchez, Giovanni Squillero
2003	A	`conf`	Fully Automatic Test Program Generation for Microprocessor Cores. DATE Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero
2003	—	`conf`	Relating vehicle-level and network-level reliability through high-level fault injection. HLDVT Fulvio Corno, Paolo Gabrielli, Simonluca Tosato
2003	—	`conf`	System-Level Analysis of Fault Effects in an Automotive Environment. DFT Fulvio Corno, Simonluca Tosato, Paolo Gabrielli
2002	—	`conf`	A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. IOLTW Davide Appello, Alessandra Fudoli, Vincenzo Tancorre, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda
2002	—	`conf`	A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. MTDT Davide Appello, Alessandra Fudoli, Vincenzo Tancorre, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda
2002	—	`conf`	A cost-effective solution for eye-gaze assistive technology. ICME (2) Fulvio Corno, Laura Farinetti, Isabella Signorile
2002	Misc	`conf`	An Industrial Environment for High-Level Fault-Tolerant Structures Insertion and Validation. VTS Luis Berrojo, Isabel González, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Luis Entrena, Celia López
2002	Misc	`conf`	An evolutionary algorithm for reducing integrated-circuit test application time. SAC Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2002	—	`conf`	Analysis of the Equivalences and Dominances of Transient Faults at the RT Level. IOLTW Luis Berrojo, Isabel González, Luis Entrena, Celia López, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2002	—	`conf`	Automatic Test Program Generation from RT-Level Microprocessor Descriptions. ISQED Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero
2002	B	`conf`	Efficient machine-code test-program induction. IEEE Congress on Evolutionary Computation Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero
2002	—	`conf`	Evolutionary Techniques for Minimizing Test Signals Application Time. EvoWorkshops Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2002	—	`conf`	Evolutionary Test Program Induction for Microprocessor Design Verification. Asian Test Symposium Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero
2002	—	`conf`	Hypervideo: A Parameterized Hotspot Approach. ICWI Florin Bota, Fulvio Corno, Laura Farinetti
2002	J	`jnl`	Initializability analysis of synchronous sequential circuits. ACM Trans. Design Autom. Electr. Syst. Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero
2002	A	`conf`	New Techniques for Speeding-Up Fault-Injection Campaigns. DATE Luis Berrojo, Isabel González, Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Luis Entrena, Celia López
2002	—	`conf`	Reducing Test Application Time through Interleaved Scan. SBCCI Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2001	—	`conf`	A P1500 Compliant BIST-Based Approach to Embedded RAM Diagnosis. Asian Test Symposium Davide Appello, Fulvio Corno, M. Giovinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
2001	—	`conf`	ARPIA: A High-Level Evolutionary Test Signal Generator. EvoWorkshops Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero
2001	—	`conf`	Effective Techniques for High-Level ATPG. Asian Test Symposium Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero
2001	Misc	`conf`	Evolving effective CA/CSTP: BIST architectures for sequential circuits. SAC Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2001	—	`conf`	Interactive Visit of a Website. WebNet Florin Bota, Laura Farinetti, Fulvio Corno
2001	A	`conf`	On the test of microprocessor IP cores. DATE Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante
2000	B	`conf`	A genetic algorithm-based system for generating test programs for microprocessor IP cores. ICTAI Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante
2000	—	`conf`	An Intelligent User Interface oriented to non-expert users. WebNet Fulvio Corno, Laura Farinetti, Giovanni Squillero
2000	—	`conf`	An RT-level fault model with high gate level correlation. HLDVT Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero
2000	C	`conf`	An improved cellular automata-based BIST architecture for sequential circuits. ISCAS Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2000	A	`conf`	Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience. DATE Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Alberto Manzone, Alessandro Pincetti
2000	—	`conf`	Automatic Validation of Protocol Interfaces Described in VHDL. EvoWorkshops Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2000	—	`conf`	CA-CSTP: a new BIST architecture for sequential circuits. ETW Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante
2000	—	`conf`	Enhancing Interactivity for Self-Evaluation in XML-based Courseware. WebNet Florin Bota, Fulvio Corno, Laura Farinetti
2000	—	`conf`	Evolving Cellular Automata for Self-Testing Hardware. ICES Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2000	—	`conf`	Exploiting the Selfish Gene Algorithm for Evolving Cellular Automata. IJCNN (6) Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2000	B	`conf`	Exploiting the Selfish Gene algorithm for evolving hardware cellular automata. CEC Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2000	Misc	`conf`	High-Level Observability for Effective High-Level ATPG. VTS Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
2000	Misc	`conf`	Low Power BIST via Non-Linear Hybrid Cellular Automata. VTS Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante
2000	—	`conf`	Prediction of Power Requirements for High-Speed Circuits. EvoWorkshops Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante
2000	J	`jnl`	RT-Level ITC'99 Benchmarks and First ATPG Results. IEEE Des. Test Comput. Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
1999	—	`conf`	A new BIST architecture for low power circuits. ETW Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante
1999	—	`conf`	ALPS: A Peak Power Estimation Tool for Sequential Circuits. Great Lakes Symposium on VLSI Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante
1999	—	`conf`	Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms. EvoWorkshops Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
1999	A	`conf`	Approximate Equivalence Verification of Sequential Circuits via Genetic Algorithms. DATE Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
1999	J	`jnl`	Exploiting Behavioral Information in Gate-Level ATPG. J. Electron. Test. Silvia Chiusano, Fulvio Corno, Paolo Prinetto
1999	A	`conf`	Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization. DATE Enrique San Millán, Luis Entrena, José Alberto Espejo, Silvia Chiusano, Fulvio Corno
1999	—	`conf`	Optimal Vector Selection for Low Power BIST. DFT Fulvio Corno, Matteo Sonza Reorda, Maurizio Rebaudengo, Massimo Violante
1999	B	`conf`	Optimizing deceptive functions with the SG-Clans algorithm. CEC Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
1999	Misc	`conf`	RT-level TPG Exploiting High-Level Synthesis Information. VTS Silvia Chiusano, Fulvio Corno, Paolo Prinetto
1999	—	`conf`	Simulation-based sequential equivalence checking of RTL VHDL. ICECS Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
1999	J	`jnl`	SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Fulvio Corno, Uwe Gläser, Paolo Prinetto, Matteo Sonza Reorda, Heinrich Theodor Vierhaus, Massimo Violante
1999	—	`conf`	Test Pattern Generation Under Low Power Constraints. EvoWorkshops Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante
1999	B	`conf`	Verifying the equivalence of sequential circuits with genetic algorithms. CEC Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
1998	—	`conf`	A System for Evaluating On-Line Testability at the RT-level. DFT Silvia Chiusano, Fulvio Corno, Matteo Sonza Reorda, Roberto Vietti
1998	—	`conf`	A Test Pattern Generation Algorithm Exploiting Behavioral Information. Asian Test Symposium Silvia Chiusano, Fulvio Corno, Paolo Prinetto
1998	Misc	`conf`	A Test Pattern Generation Methodology for Low-Power Consumption. VTS Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
1998	C	`conf`	Enhancing topological ATPG with high-level information and symbolic techniques. ICCD Fulvio Corno, Janak H. Patel, Elizabeth M. Rudnick, Matteo Sonza Reorda, Roberto Vietti
1998	A	`conf`	Exploiting Symbolic Techniques for Partial Scan Flip Flop Selection. DATE Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda, Massimo Violante
1998	A	`conf`	Fast Sequential Circuit Test Generation Using High-Level and Gate-Level Techniques. DATE Elizabeth M. Rudnick, Roberto Vietti, Akilah Ellis, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1998	J	`jnl`	Integrating Online and Offline Testing of a Switching Memory. IEEE Des. Test Comput. Stefano Barbagallo, Davide Medina, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1998	Misc	`conf`	On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits. VTS Fulvio Corno, Nicola Gaudenzi, Paolo Prinetto, Matteo Sonza Reorda
1998	J	`jnl`	The General Product Machine: a New Model for Symbolic FSM Traversal. Formal Methods Syst. Des. Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1998	Misc	`conf`	The selfish gene algorithm: a new evolutionary optimization strategy. SAC Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
1998	C	`conf`	VEGA: a verification tool based on genetic algorithms. ICCD Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero
1997	—	`conf`	A Genetic Algorithm for the Computation of Initialization Sequences for Synchronous Sequential Circuits. Asian Test Symposium Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero
1997	C	`conf`	A new Approach for Initialization Sequences Computation for Synchronous Sequential Circuits. ICCD Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero
1997	—	`conf`	Boolean Function Manipulation on a Parallel System Using BDDs. HPCN Europe F. Bianchi, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Roberto Ansaloni
1997	Misc	`conf`	Cellular automata for deterministic sequential test pattern generation. VTS Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1997	—	`conf`	Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG. Asian Test Symposium Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante
1997	B	`conf`	Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization. ICTAI S. Chuisano, Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
1997	B	`conf`	GA-Based Performance Analysis of Network Protocols. ICTAI Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Giovanni Squillero
1997	—	`conf`	Guaranteeing Testability in Re-encoding for Low Power. Asian Test Symposium Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
1997	—	`conf`	Hybrid symbolic-explicit techniques for the graph coloring problem. ED&TC Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1997	—	`conf`	New static compaction techniques of test sequences for sequential circuits. ED&TC Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
1997	Misc	`conf`	SAARA: a simulated annealing algorithm for test pattern generation for digital circuits. SAC Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
1997	—	`conf`	Simulation-based verification of network protocols performance. CHARME Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Paolo Prinetto, Matteo Sonza Reorda, Giovanni Squillero
1997	A	`conf`	Testability Analysis and ATPG on Behavioral RT-Level VHDL. ITC Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1996	B	`conf`	A Genetic Algorithm for Automatic Generation of Test Logic for Digital Circuits. ICTAI Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1996	—	`conf`	A Parallel Genetic Algorithm for Automatic Generation of Test Sequences for Digital Circuits. HPCN Europe Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
1996	—	`conf`	Advanced Techniques for GA-based sequential ATPGs. ED&TC Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, R. Mosca
1996	J	`jnl`	Circular Self-Test Path for FSMs. IEEE Des. Test Comput. Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1996	A	`conf`	Comparing Topological, Symbolic and GA-based ATPGs: An Experimental Approach. ITC Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
1996	A	`conf`	Exploiting Competing Subpopulations for Automatic Generation of Test Sequences for Digital Cicuits. PPSN Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
1996	—	`conf`	Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment. EURO-DAC Paolo Prinetto, Alfredo Benso, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo
1996	—	`conf`	Fault tolerant and BIST design of a FIFO cell. EURO-DAC Paolo Prinetto, Fulvio Corno, Matteo Sonza Reorda
1996	J	`jnl`	GATTO: a genetic algorithm for automatic test pattern generation for large synchronous sequential circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
1996	Misc	`conf`	On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications. EDCC Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Maurizio Damiani, Leonardo Impagliazzo, G. Sartore
1996	A	`conf`	Partial Scan Flip Flop Selection for Simulation-Based Sequential ATPGs. ITC Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
1996	Misc	`conf`	Scan insertion criteria for low design impact. VTS Stefano Barbagallo, Monica Lobetti Bodoni, Davide Medina, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1996	—	`conf`	Self-Checking and Fault Tolerant Approaches Can Help BIST Fault Coverage: A Case Study. ED&TC Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1995	—	`conf`	A PVM tool for automatic test generation on parallel and distributed systems. HPCN Europe Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Enzo Veiluva
1995	Misc	`conf`	A portable ATPG tool for parallel and distributed systems. VTS Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Enzo Veiluva
1995	—	`conf`	GARDA: a diagnostic ATPG for large synchronous sequential circuits. ED&TC Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
1995	Misc	`conf`	Improving topological ATPG with symbolic techniques. VTS Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda, Uwe Gläser, Heinrich Theodor Vierhaus
1995	—	`conf`	Proving testing preorders for process algebra descriptions. ED&TC Fulvio Corno, Marco Cusinato, Mario Ferrero, Paolo Prinetto
1995	A	`conf`	Testing a Switching Memory in a Telcommunication System. ITC Stefano Barbagallo, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1995	—	`conf`	Using symbolic techniques to find the maximum clique in very large sparse graphs. ED&TC Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1994	Misc	`conf`	A new functional fault model for system-level descriptions. VTS Paolo Camurati, Fulvio Corno, Michela Meo, Paolo Prinetto
1994	—	`conf`	A process algebra interpretation of a verification oriented overlanguage of VHDL. EURO-DAC Catherine Bayol, Bernard Soulas, Dominique Borrione, Fulvio Corno, Paolo Prinetto
1994	—	`conf`	An experimental analysis of the effectiveness of the circular self-test path technique. EURO-DAC Paolo Prinetto, Fulvio Corno, Matteo Sonza Reorda
1994	A	`conf`	Making the Circular Self-Test Path Technique Effective for Real Circuits. ITC Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1994	—	`conf`	System-Level Modeling and Verification: a Comprehensive Design Methodology. EDAC-ETC-EUROASIC Paolo Camurati, Fulvio Corno, Paolo Prinetto, Catherine Bayol, Bernard Soulas
1993	—	`conf`	A Methodology for System-Level Design for Verifiability. CHARME Paolo Camurati, Fulvio Corno, Paolo Prinetto
1993	J	`jnl`	An approach to sequential circuit diagnosis based on formal verification techniques. J. Electron. Test. Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1993	—	`conf`	An efficient tool for system-level verification of behaviors and temporal properties. EURO-DAC Paolo Camurati, Fulvio Corno, Paolo Prinetto
1993	—	`conf`	Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation. CHDL Paolo Camurati, Fulvio Corno, Paolo Prinetto
1992	A*	`conf`	A New Model for Improving symbolic Product Machine Traversal. DAC Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Silvano Gai, Paolo Prinetto, Matteo Sonza Reorda
1992	Misc	`conf`	A simulation-based approach to test pattern generation for synchronous sequential circuits. VTS Paolo Camurati, Fulvio Corno, Fulvio Prinetto, Matteo Sonza Reorda
1992	—	`conf`	Cross-fertilizing FSM verification techniques and sequential diagnosis. EURO-DAC Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
1992	A	`conf`	Sequential Circuit Diagnosis Based on Formal Verification Techniques. ITC Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda