![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Fulvio Corno
Person information
- affiliation: Polytechnic Institute of Turin, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j56]Luisa Fernanda Barrera-León
, Fulvio Corno
, Luigi De Russis
:
How the Preattentive Process is Exploited in Practical Information Visualization Design: A Review. Int. J. Hum. Comput. Interact. 39(4): 707-720 (2023) - [j55]Fulvio Corno
, Luca Mannella
:
Security Evaluation of Arduino Projects Developed by Hobbyist IoT Programmers. Sensors 23(5): 2740 (2023) - 2022
- [j54]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
How do end-users program the Internet of Things? Behav. Inf. Technol. 41(9): 1865-1887 (2022) - [j53]Fulvio Corno
, Luigi De Russis
, Juan Pablo Sáenz
:
Computational notebooks to support developers in prototyping IoT systems. Int. J. Hum. Comput. Stud. 165: 102850 (2022) - [j52]Fulvio Corno
, Luigi De Russis
, Luca Mannella
:
Helping novice developers harness security issues in cloud-IoT systems. J. Reliab. Intell. Environ. 8(3): 261-283 (2022) - 2021
- [j51]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello:
From Users' Intentions to IF-THEN Rules in the Internet of Things. ACM Trans. Inf. Syst. 39(4): 53:1-53:33 (2021) - 2020
- [j50]Fulvio Corno
, Luigi De Russis
, Juan Pablo Sáenz
:
How is Open Source Software Development Different in Popular IoT Projects? IEEE Access 8: 28337-28348 (2020) - 2019
- [j49]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
EUDoptimizer: Assisting End Users in Composing IF-THEN Rules Through Optimization. IEEE Access 7: 37950-37960 (2019) - [j48]Fulvio Corno
, Luigi De Russis
, Teodoro Montanaro
:
XDN: cross-device framework for custom notifications management. Computing 101(11): 1735-1761 (2019) - [j47]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
A high-level semantic approach to End-User Development in the Internet of Things. Int. J. Hum. Comput. Stud. 125: 41-54 (2019) - [j46]Daniela Micucci
, Fulvio Corno
:
Reliability on pervasive well-being: will it soon become a reality? - State of the art and open issues. J. Reliab. Intell. Environ. 5(3): 129-130 (2019) - [j45]Luigi De Russis
, Fulvio Corno
:
On the impact of dysarthric speech on contemporary ASR cloud platforms. J. Reliab. Intell. Environ. 5(3): 163-172 (2019) - [j44]Fulvio Corno
, Luigi De Russis
, Juan Pablo Sáenz
:
On the challenges novice programmers experience in developing IoT systems: A Survey. J. Syst. Softw. 157 (2019) - [j43]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
RecRules: Recommending IF-THEN Rules for End-User Development. ACM Trans. Intell. Syst. Technol. 10(5): 58:1-58:27 (2019) - 2018
- [j42]Fulvio Corno
, Luigi De Russis
, Andrea Marcelli
, Teodoro Montanaro
:
An Unsupervised and Noninvasive Model for Predicting Network Resource Demands. IEEE Internet Things J. 5(6): 4342-4350 (2018) - [j41]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
AwareNotifications: Multi-device semantic notification handling with user-defined preferences. J. Ambient Intell. Smart Environ. 10(4): 327-343 (2018) - [j40]Fulvio Corno
:
User expectations in intelligent environments - Issues and opportunities in the interaction of intelligent users and intelligent environments. J. Reliab. Intell. Environ. 4(4): 189-198 (2018) - 2017
- [j39]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
A Semantic Web Approach to Simplifying Trigger-Action Programming in the IoT. Computer 50(11): 18-24 (2017) - [j38]Sebastián Aced López
, Fulvio Corno
, Luigi De Russis
:
Design and Development of One-Switch Video Games for Children with Severe Motor Disabilities. ACM Trans. Access. Comput. 10(4): 12:1-12:42 (2017) - [j37]Fulvio Corno
, Luigi De Russis
:
Training Engineers for the Ambient Intelligence Challenge. IEEE Trans. Educ. 60(1): 40-49 (2017) - 2016
- [j36]Fulvio Corno
, Luigi De Russis
, Dario Bonino
:
Educating Internet of Things Professionals: The Ambient Intelligence Course. IT Prof. 18(6): 50-57 (2016) - 2015
- [j35]Robert R. Harmon, Fulvio Corno
, Enrique Castro-Leon:
Smart Systems. IT Prof. 17(6): 14-17 (2015) - [j34]Fulvio Corno
, Faisal Razzak:
Real-time monitoring of high-level states in smart environments. J. Ambient Intell. Smart Environ. 7(2): 133-153 (2015) - [j33]Muhammad Sanaullah, Fulvio Corno
, Faisal Razzak:
Autonomic goal-oriented device management for Smart Environments. J. Ambient Intell. Smart Environ. 7(4): 425-448 (2015) - [j32]Fulvio Corno
, Elena Guercio, Luigi De Russis
, Eleonora Gargiulo:
Designing for user confidence in intelligent environments. J. Reliab. Intell. Environ. 1(1): 11-21 (2015) - [j31]Sebastián Aced López, Fulvio Corno
, Luigi De Russis
:
Playable One-Switch Video Games for Children with Severe Motor Disabilities Based on GNomon. EAI Endorsed Trans. Serious Games 2(7): e2 (2015) - [j30]Sebastián Aced López
, Fulvio Corno
, Luigi De Russis
:
Supporting caregivers in assisted living facilities for persons with disabilities: a user study. Univers. Access Inf. Soc. 14(1): 133-144 (2015) - 2014
- [j29]Dario Bonino
, Luigi De Russis
, Fulvio Corno
, Gianni Ferrero:
JEERP: Energy-Aware Enterprise Resource Planning. IT Prof. 16(4): 50-56 (2014) - [j28]Irena Bojanova, Vladimir Dimitrov
, Fulvio Corno
:
Advancing Cloud Computing. IT Prof. 16(6): 16-17 (2014) - [j27]Fulvio Corno
, Faisal Razzak:
SAT based enforcement of domotic effects in smart environments. J. Ambient Intell. Humaniz. Comput. 5(4): 565-579 (2014) - [j26]Fulvio Corno
, Muhammad Sanaullah:
Design-time formal verification for smart environments: an exploratory perspective. J. Ambient Intell. Humaniz. Comput. 5(4): 581-599 (2014) - [j25]Fulvio Corno
, Muhammad Sanaullah:
Modeling and formal verification of smart environments. Secur. Commun. Networks 7(10): 1582-1598 (2014) - 2013
- [j24]Phillip A. Laplante, Thomas C. Jepsen, Joseph Williams, Fulvio Corno
:
Innovative and Disruptive Technologies [From the Editors]. IT Prof. 15(3): 4-5 (2013) - 2012
- [j23]Dario Bonino
, Fulvio Corno
:
DoMAIns: Domain-based modeling for Ambient Intelligence. Pervasive Mob. Comput. 8(4): 614-628 (2012) - [j22]Fulvio Corno
, Faisal Razzak:
Intelligent Energy Optimization for User Intelligible Goals in Smart Home Environments. IEEE Trans. Smart Grid 3(4): 2128-2135 (2012) - 2011
- [j21]Dario Bonino
, Emiliano Castellina, Fulvio Corno
, Luigi De Russis
:
DOGeye: Controlling your home with eye interaction. Interact. Comput. 23(5): 484-498 (2011) - [j20]Dario Bonino
, Fulvio Corno
:
What would you ask to your home if it were intelligent? Exploring user expectations about next-generation homes. J. Ambient Intell. Smart Environ. 3(2): 111-126 (2011) - 2009
- [j19]Dario Bonino
, Emiliano Castellina, Fulvio Corno
:
Automatic domotic device interoperation. IEEE Trans. Consumer Electron. 55(2): 499-506 (2009) - [j18]Mick Donegan, Jeffrey D. Morris, Fulvio Corno
, Isabella Signorile, Adriano Chiò, Valentina Pasian, Alessandro Vignola, Margret Buchholz
, Eva Holmqvist:
Understanding users and their needs. Univers. Access Inf. Soc. 8(4): 259-275 (2009) - [j17]Dario Bonino
, Emiliano Castellina, Fulvio Corno
, Alastair G. Gale, A. Garbo, Kevin J. Purdy, Fangmin Shi:
A blueprint for integrated eye-controlled environments. Univers. Access Inf. Soc. 8(4): 311-321 (2009) - 2008
- [j16]Dario Bonino
, Emiliano Castellina, Fulvio Corno
:
The DOG gateway: enabling ontology-based intelligent domotic environments. IEEE Trans. Consumer Electron. 54(4): 1656-1664 (2008) - 2006
- [j15]Alessio Bosca, Fulvio Corno
, Giuseppe Valetto
, Roberta Maglione:
On-the-fly Construction of Web Services Compositions from Natural Language Requests. J. Softw. 1(1): 40-50 (2006) - 2005
- [j14]Fulvio Corno
, Ernesto Sánchez, Giovanni Squillero
:
Evolving assembly programs: how games help microprocessor validation. IEEE Trans. Evol. Comput. 9(6): 695-706 (2005) - 2004
- [j13]Fulvio Corno
, Ernesto Sánchez, Matteo Sonza Reorda
, Giovanni Squillero
:
Automatic Test Program Generation: A Case Study. IEEE Des. Test Comput. 21(2): 102-109 (2004) - [j12]Davide Appello, Alessandra Fudoli, Vincenzo Tancorre, Paolo Bernardi
, Fulvio Corno
, Maurizio Rebaudengo
, Matteo Sonza Reorda
:
A BIST-based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. J. Electron. Test. 20(1): 79-87 (2004) - [j11]Fulvio Corno
, Ernesto Sánchez, Matteo Sonza Reorda
, Giovanni Squillero:
Code Generation for Functional Validation of Pipelined Microprocessors. J. Electron. Test. 20(3): 269-278 (2004) - [j10]Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero:
Evolutionary Simulation-Based Validation. Int. J. Artif. Intell. Tools 13(4): 897-916 (2004) - 2002
- [j9]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo
, Matteo Sonza Reorda
, Giovanni Squillero
:
Initializability analysis of synchronous sequential circuits. ACM Trans. Design Autom. Electr. Syst. 7(2): 249-264 (2002) - 2000
- [j8]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero
:
RT-Level ITC'99 Benchmarks and First ATPG Results. IEEE Des. Test Comput. 17(3): 44-53 (2000) - 1999
- [j7]Silvia Chiusano, Fulvio Corno
, Paolo Prinetto:
Exploiting Behavioral Information in Gate-Level ATPG. J. Electron. Test. 14(1-2): 141-148 (1999) - [j6]Fulvio Corno
, Uwe Gläser, Paolo Prinetto, Matteo Sonza Reorda
, Heinrich Theodor Vierhaus, Massimo Violante:
SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(2): 191-202 (1999) - 1998
- [j5]Stefano Barbagallo, Davide Medina, Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
:
Integrating Online and Offline Testing of a Switching Memory. IEEE Des. Test Comput. 15(1): 63-70 (1998) - [j4]Gianpiero Cabodi, Paolo Camurati, Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
:
The General Product Machine: a New Model for Symbolic FSM Traversal. Formal Methods Syst. Des. 12(3): 267-289 (1998) - 1996
- [j3]Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
:
Circular Self-Test Path for FSMs. IEEE Des. Test Comput. 13(4): 50-60 (1996) - [j2]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo
, Matteo Sonza Reorda
:
GATTO: a genetic algorithm for automatic test pattern generation for large synchronous sequential circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(8): 991-1000 (1996) - 1993
- [j1]Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
:
An approach to sequential circuit diagnosis based on formal verification techniques. J. Electron. Test. 4(1): 11-17 (1993)
Conference and Workshop Papers
- 2021
- [c176]Fulvio Corno
, Luigi De Russis
, Juan Pablo Sáenz:
On Computational Notebooks to Empower Physical Computing Novices. EICS 2021: 22-25 - [c175]Fulvio Corno
, Luigi De Russis
, Luca Mannella
:
Perception of Security Issues in the Development of Cloud-IoT Systems by a Novice Programmer. Intelligent Environments (Workshops) 2021: 5-15 - [c174]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello:
Devices, Information, and People: Abstracting the Internet of Things for End-User Personalization. IS-EUD 2021: 71-86 - [c173]Fulvio Corno
, Luigi De Russis
, Juan Pablo Sáenz:
TextCode: A Tool to Support Problem Solving Among Novice Programmers. VL/HCC 2021: 1-5 - 2020
- [c172]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
HeyTAP: Bridging the Gaps Between Users' Needs and Technology in IF-THEN Rules via Conversation. AVI 2020: 23:1-23:9 - [c171]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
TAPrec: supporting the composition of trigger-action rules through dynamic recommendations. IUI 2020: 579-588 - [c170]Luisa Fernanda Barrera-León, Fulvio Corno
, Luigi De Russis
:
Systematic Variation of Preattentive Attributes to Highlight Relevant Data in Information Visualization. IV 2020: 74-79 - 2019
- [c169]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
Empowering End Users in Debugging Trigger-Action Rules. CHI 2019: 388 - [c168]Fulvio Corno
, Luigi De Russis
, Juan Pablo Sáenz:
Towards Computational Notebooks for IoT Development. CHI Extended Abstracts 2019 - [c167]Fulvio Corno
, Luigi De Russis
, Luisa Fernanda Barrera-León:
Touch-Based Ontology Browsing on Tablets and Surfaces. COMPSAC (1) 2019: 616-621 - [c166]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
My IoT Puzzle: Debugging IF-THEN Rules Through the Jigsaw Metaphor. IS-EUD 2019: 18-33 - 2018
- [c165]Fulvio Corno
, Luigi De Russis
, Juan Pablo Sáenz:
On The Advanced Services That 5G May Provide To IoT Applications. 5G World Forum 2018: 528-531 - [c164]Fabio Ballati
, Fulvio Corno
, Luigi De Russis
:
Assessing Virtual Assistant Capabilities with Italian Dysarthric Speech. ASSETS 2018: 93-101 - [c163]San Murugesan
, Fulvio Corno
:
Message from the ITiP Symposium Chairs. COMPSAC (1) 2018: 727 - [c162]Daniela Bulgarelli, Fulvio Corno
, Luigi De Russis
:
Collaborative Accessible Gameplay with One-Switch Interfaces. GEM 2018: 95-100 - [c161]Fulvio Corno
, Luigi De Russis
, Juan Pablo Sáenz:
Easing IoT development for novice programmers through code recipes. ICSE (SEET) 2018: 13-16 - [c160]Fulvio Corno
:
User Expectations in Intelligent Environments - Issues and Opportunities in the Interaction of Intelligent Users and Intelligent Environments. Intelligent Environments (Workshops) 2018: 542-543 - [c159]Fabio Ballati, Fulvio Corno
, Luigi De Russis
:
"Hey Siri, Do You Understand Me?": Virtual Assistants and Dysarthria. Intelligent Environments (Workshops) 2018: 557-566 - 2017
- [c158]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
A High-Level Approach Towards End User Development in the IoT. CHI Extended Abstracts 2017: 1546-1552 - [c157]Fulvio Corno
, Luigi De Russis
, Juan Pablo Sáenz:
Pain Points for Novice Programmers of Ambient Intelligence Systems: An Exploratory Study. COMPSAC (1) 2017: 250-255 - [c156]Fulvio Corno
, Luigi De Russis
, Teodoro Montanaro
:
XDN: cross-device framework for custom notifications management. EICS 2017: 57-62 - [c155]Fulvio Corno
, Luigi De Russis
, Juan Pablo Sáenz:
On the design of an energy and user aware study room. ISGT Europe 2017: 1-6 - 2016
- [c154]Sebastián Aced López, Fulvio Corno
, Luigi De Russis
:
Clocks, Bars and Balls: Design and Evaluation of Alternative GNomon Widgets for Children with Disabilities. CHI Extended Abstracts 2016: 1654-1660 - [c153]Fulvio Corno
, Luigi De Russis
, Alberto Monge Roffarello
:
A Healthcare Support System for Assisted Living Facilities: An IoT Solution. COMPSAC 2016: 344-352 - [c152]Fulvio Corno
, Luigi De Russis
, Teodoro Montanaro
:
Estimate user meaningful places through low-energy mobile sensing. SMC 2016: 3039-3044 - 2015
- [c151]Sebastián Aced López, Fulvio Corno
, Luigi De Russis
:
Can We Make Dynamic, Accessible and Fun One-Switch Video Games? ASSETS 2015: 421-422 - [c150]Sebastián Aced López
, Fulvio Corno
, Luigi De Russis
:
GNomon: Enabling Dynamic One-Switch Games for Children with Severe Motor Disabilities. CHI Extended Abstracts 2015: 995-1000 - [c149]Luigi De Russis
, Fulvio Corno
:
HomeRules: A Tangible End-User Programming Interface for Smart Homes. CHI Extended Abstracts 2015: 2109-2114 - [c148]Fulvio Corno
, Luigi De Russis
, Teodoro Montanaro
, Pino Castrogiovanni:
IoT Meets Exhibition Areas: A Modular Architecture to Improve Proximity Interactions. FiCloud 2015: 293-300 - [c147]Sebastián Aced López, Fulvio Corno, Luigi De Russis:
Playable one-switch video games for children with severe motor disabilities based on GNomon. INTETAIN 2015: 176-185 - [c146]Fulvio Corno
, Luigi De Russis
, Teodoro Montanaro
:
A context and user aware smart notification system. WF-IoT 2015: 645-651 - 2014
- [c145]Dario Bonino
, Fulvio Corno
, Luigi De Russis
:
PowerOnt: An Ontology-Based Approach for Power Consumption Estimation in Smart Homes. IoT360 (1) 2014: 3-8 - [c144]Sebastián Aced López, Fulvio Corno
, Luigi De Russis
:
IoT Meets Caregivers: A Healthcare Support System in Assisted Living Facilities. IoT360 (1) 2014: 172-177 - 2013
- [c143]Luigi De Russis
, Dario Bonino
, Fulvio Corno
:
The smart home controller on your wrist. UbiComp (Adjunct Publication) 2013: 785-792 - [c142]Sebastián Aced López, Dario Bonino
, Fulvio Corno
:
Template-Based Ontology Population for Smart Environments Configuration. ICSOC Workshops 2013: 271-278 - 2012
- [c141]Dario Bonino
, Fulvio Corno
, Luigi De Russis
:
dWatch: A Personal Wrist Watch for Smart Environments. ANT/MobiWIS 2012: 300-307 - [c140]Dario Bonino
, Fulvio Corno
:
spChains: A Declarative Framework for Data Stream Processing in Pervasive Applications. ANT/MobiWIS 2012: 316-323 - [c139]Fulvio Corno
, Faisal Razzak:
Publishing LO(D)D: Linked Open (Dynamic) Data for Smart Sensing and Measuring Environments. ANT/MobiWIS 2012: 381-388 - 2011
- [c138]Fulvio Corno
, Muhammad Sanaullah:
Formal Verification of Device State Chart Models. Intelligent Environments 2011: 66-73 - [c137]Fulvio Corno
, Muhammad Sanaullah:
Design Time Methodology for the Formal Verification of Intelligent Domotic Environments. ISAmI 2011: 9-16 - [c136]Dario Bonino
, Fulvio Corno
, Luigi De Russis
:
A User-Friendly Interface for Rules Composition in Intelligent Environments. ISAmI 2011: 213-217 - 2010
- [c135]Dario Bonino
, Fulvio Corno:
DogSim: A state chart simulator for Domotic Environments. PerCom Workshops 2010: 208-213 - [c134]Faisal Razzak, Dario Bonino
, Fulvio Corno
:
Mobile interaction with smart environments through linked data. SMC 2010: 2922-2929 - 2009
- [c133]Dario Bonino
, Fulvio Corno
:
Interoperation Modeling for Intelligent Domotic Environments. AmI 2009: 143-152 - [c132]Dario Bonino
, Fulvio Corno
, Laura Farinetti
:
FaSet: A Set Theory Model for Faceted Search. Web Intelligence 2009: 474-481 - 2008
- [c131]Dario Bonino
, Fulvio Corno
:
Self-Similarity Metric for Index Pruning in Conceptual Vector Space Models. DEXA Workshops 2008: 225-229 - [c130]Emiliano Castellina, Fulvio Corno
, Paolo Pellegrino:
Integrated speech and gaze control for realistic desktop environments. ETRA 2008: 79-82 - [c129]Andrea Calvo
, Adriano Chiò
, Emiliano Castellina, Fulvio Corno
, Laura Farinetti
, Paolo Ghiglione, Valentina Pasian, Alessandro Vignola:
Eye Tracking Impact on Quality-of-Life of ALS Patients. ICCHP 2008: 70-77 - [c128]Dario Bonino
, Emiliano Castellina, Fulvio Corno
:
DOG: An Ontology-Powered OSGi Domotic Gateway. ICTAI (1) 2008: 157-160 - [c127]Dario Bonino, Fulvio Corno
:
DogOnt - Ontology Modeling for Intelligent Domotic Environments. ISWC 2008: 790-803 - [c126]Dario Bonino, Emiliano Castellina, Fulvio Corno:
Uniform Access to Domotic Environments through Semantics. SWAP 2008 - 2007
- [c125]Dario Bonino
, Fulvio Corno
, Paolo Pellegrino:
Versatile RDF Representation for Multimedia Semantic Search. ICTAI (2) 2007: 32-38 - [c124]Alessio Bosca, Dario Bonino
, Marco Comerio
, Simone Grega, Fulvio Corno
:
A reusable 3D visualization component for the semantic web. Web3D 2007: 89-96 - 2006
- [c123]Paolo Pellegrino, Dario Bonino, Fulvio Corno:
Domotic house gateway. SAC 2006: 1915-1920 - [c122]Paolo Pellegrino, Fulvio Corno:
An Extensible Platform for Semantic Classification And Retrieval of Multimedia Resources. SWAP 2006 - 2005
- [c121]Alessio Bosca, Giuseppe Valetto
, Roberta Maglione, Fulvio Corno
:
Specifying Web Service Compositions on the Basis of Natural Language Requests. ICSOC 2005: 588-593 - [c120]Alessio Bosca, Andrea Ferrato, Fulvio Corno
, Ilenia Congiu, Giuseppe Valetto
:
Composing Web Services on the Basis of Natural Language Requests. ICWS 2005: 817-818 - [c119]Dario Bonino
, Fulvio Corno
, Federico Pescarmona:
Automatic learning of text-to-concept mappings exploiting WordNet-like lexical networks. SAC 2005: 1639-1644 - 2004
- [c118]Fulvio Corno
, Ernesto Sánchez, Giovanni Squillero
:
On the evolution of corewar warriors. IEEE Congress on Evolutionary Computation 2004: 133-138 - [c117]Dario Bonino, Fulvio Corno, Giovanni Squillero:
Dynamic optimization of semantic annotation relevance. IEEE Congress on Evolutionary Computation 2004: 1301-1308 - [c116]Fulvio Corno
, Julio Pérez Acle
, Mattia Ramasso, Matteo Sonza Reorda
, Massimo Violante:
Validation of the dependability of CAN-based networked systems. HLDVT 2004: 161-164 - [c115]Dario Bonino, Alessio Bosca, Fulvio Corno:
An Agent Based Autonomic Semantic Platform. ICAC 2004: 189-196 - [c114]Dario Bonino
, Fulvio Corno
, Laura Farinetti
:
Domain Specific Searches Using Conceptual Spectra. ICTAI 2004: 680-687 - [c113]Fulvio Corno, Tina Ebey, Anna Grabowska, Iliana Nikolova, Evgenia Sendova:
Impact of Technology on Learning Paradigms and Teaching Practices. EDUTECH 2004: 199-200 - [c112]Fulvio Corno:
E-learning Issues for Advanced Technical Topics. EDUTECH 2004: 201-206 - [c111]Fulvio Corno, Matteo Sonza Reorda
, Simonluca Tosato, F. Esposito:
Evaluating the Effects of Transient Faults on Vehicle Dynamic Performance in Automotive Systems. ITC 2004: 1332-1339 - [c110]Dario Bonino, Fulvio Corno, Laura Farinetti, Andrea Ferrato:
Multilingual semantic elaboration in the DOSE platform. SAC 2004: 1642-1646 - [c109]Fulvio Corno, Julio Pérez Acle, Matteo Sonza Reorda
, Massimo Violante:
A multi-level approach to the dependability analysis of networked systems based on the CAN protocol. SBCCI 2004: 71-75 - 2003
- [c108]Dario Bonino
, Fulvio Corno
, Giovanni Squillero:
Dynamic prediction of Web requests. IEEE Congress on Evolutionary Computation 2003: 2034-2041 - [c107]Fulvio Corno
, Ernesto Sánchez, Giovanni Squillero
:
Exploiting co-evolution and a modified island model to climb the Core War hill. IEEE Congress on Evolutionary Computation 2003: 2217-2221 - [c106]Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero:
Fully Automatic Test Program Generation for Microprocessor Cores. DATE 2003: 11006-11011 - [c105]Fulvio Corno, Simonluca Tosato, Paolo Gabrielli:
System-Level Analysis of Fault Effects in an Automotive Environment. DFT 2003: 529-536 - [c104]Fulvio Corno, Giovanni Squillero, Matteo Sonza Reorda
:
Code generation for functional validation of pipelined microprocessors. ETW 2003: 113-118 - [c103]Fulvio Corno
, Giovanni Squillero:
An Enhanced Framework for Microprocessor Test-Program Generation. EuroGP 2003: 307-316 - [c102]Fulvio Corno, Paolo Gabrielli, Simonluca Tosato:
Relating vehicle-level and network-level reliability through high-level fault injection. HLDVT 2003: 71-76 - [c101]Fulvio Corno
, F. Cumani, Giovanni Squillero:
Exploiting Auto-adaptive 7GP for Highly Effective Test Programs Generation. ICES 2003: 262-273 - [c100]Dario Bonino, Fulvio Corno, Laura Farinetti:
DOSE: A Distributed Open Semantic Elaboration Platform. ICTAI 2003: 580-588 - [c99]Fulvio Corno
, Gianluca Cumani, Matteo Sonza Reorda
, Giovanni Squillero
:
Automatic Test Program Generation for Pipeline Processors. SAC 2003: 736-740 - [c98]Dario Bonino
, Fulvio Corno, Giovanni Squillero:
A Real-Time Evolutionary Algorithm for Web Prediction. Web Intelligence 2003: 139-145 - [c97]Dario Bonino, Fulvio Corno, Giovanni Squillero:
An Evolutionary Approach to Web Request Prediction. WWW (Posters) 2003 - 2002
- [c96]Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda
, Giovanni Squillero:
Evolutionary Test Program Induction for Microprocessor Design Verification. Asian Test Symposium 2002: 368-373 - [c95]Fulvio Corno
, Gianluca Cumani, Matteo Sonza Reorda
, Giovanni Squillero:
Efficient machine-code test-program induction. IEEE Congress on Evolutionary Computation 2002: 1486-1491 - [c94]Luis Berrojo, Isabel González, Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero, Luis Entrena
, Celia López:
New Techniques for Speeding-Up Fault-Injection Campaigns. DATE 2002: 847-852 - [c93]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero:
Evolutionary Techniques for Minimizing Test Signals Application Time. EvoWorkshops 2002: 183-189 - [c92]Florin Bota, Fulvio Corno, Laura Farinetti:
Hypervideo: A Parameterized Hotspot Approach. ICWI 2002: 620-623 - [c91]Fulvio Corno, Laura Farinetti
, Isabella Signorile:
A cost-effective solution for eye-gaze assistive technology. ICME (2) 2002: 433-436 - [c90]Luis Berrojo, Isabel González, Luis Entrena
, Celia López, Fulvio Corno, Matteo Sonza Reorda
, Giovanni Squillero:
Analysis of the Equivalences and Dominances of Transient Faults at the RT Level. IOLTW 2002: 193 - [c89]Davide Appello
, Alessandra Fudoli, Vincenzo Tancorre, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda
:
A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. IOLTW 2002: 206-210 - [c88]Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda
, Giovanni Squillero:
Automatic Test Program Generation from RT-Level Microprocessor Descriptions. ISQED 2002: 120-125 - [c87]Davide Appello, Alessandra Fudoli, Vincenzo Tancorre, Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda
:
A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques. MTDT 2002: 12-16 - [c86]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero
:
An evolutionary algorithm for reducing integrated-circuit test application time. SAC 2002: 608-612 - [c85]Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero:
Reducing Test Application Time through Interleaved Scan. SBCCI 2002: 89-94 - [c84]Luis Berrojo, Isabel González, Fulvio Corno, Matteo Sonza Reorda
, Giovanni Squillero, Luis Entrena
, Celia López:
An Industrial Environment for High-Level Fault-Tolerant Structures Insertion and Validation. VTS 2002: 229-236 - 2001
- [c83]Davide Appello
, Fulvio Corno, M. Giovinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
:
A P1500 Compliant BIST-Based Approach to Embedded RAM Diagnosis. Asian Test Symposium 2001: 97-102 - [c82]Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda
, Giovanni Squillero:
Effective Techniques for High-Level ATPG. Asian Test Symposium 2001: 225- - [c81]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero, Massimo Violante:
On the test of microprocessor IP cores. DATE 2001: 209-213 - [c80]Fulvio Corno
, Gianluca Cumani, Matteo Sonza Reorda
, Giovanni Squillero:
ARPIA: A High-Level Evolutionary Test Signal Generator. EvoWorkshops 2001: 298-306 - [c79]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero
:
Evolving effective CA/CSTP: BIST architectures for sequential circuits. SAC 2001: 345-350 - [c78]Florin Bota, Laura Farinetti, Fulvio Corno:
Interactive Visit of a Website. WebNet 2001: 93-97 - 2000
- [c77]Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero:
Exploiting the Selfish Gene algorithm for evolving hardware cellular automata. CEC 2000: 1401-1406 - [c76]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero
, Alberto Manzone, Alessandro Pincetti:
Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience. DATE 2000: 385-389 - [c75]Fulvio Corno, Matteo Sonza Reorda
, Giovanni Squillero, Massimo Violante:
CA-CSTP: a new BIST architecture for sequential circuits. ETW 2000: 167-172 - [c74]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero:
Automatic Validation of Protocol Interfaces Described in VHDL. EvoWorkshops 2000: 205-213 - [c73]Fulvio Corno
, Maurizio Rebaudengo, Matteo Sonza Reorda
, Massimo Violante:
Prediction of Power Requirements for High-Speed Circuits. EvoWorkshops 2000: 247-254 - [c72]Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda
, Giovanni Squillero:
An RT-level fault model with high gate level correlation. HLDVT 2000: 3-8 - [c71]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero:
Evolving Cellular Automata for Self-Testing Hardware. ICES 2000: 31-40 - [c70]Fulvio Corno, Matteo Sonza Reorda
, Giovanni Squillero, Massimo Violante:
A genetic algorithm-based system for generating test programs for microprocessor IP cores. ICTAI 2000: 195-198 - [c69]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero
:
Exploiting the Selfish Gene Algorithm for Evolving Cellular Automata. IJCNN (6) 2000: 577-584 - [c68]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero
:
An improved cellular automata-based BIST architecture for sequential circuits. ISCAS 2000: 76-79 - [c67]Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda, Giovanni Squillero, Massimo Violante:
Low Power BIST via Non-Linear Hybrid Cellular Automata. VTS 2000: 29-34 - [c66]Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero:
High-Level Observability for Effective High-Level ATPG. VTS 2000: 411-416 - [c65]Florin Bota, Fulvio Corno, Laura Farinetti:
Enhancing Interactivity for Self-Evaluation in XML-based Courseware. WebNet 2000: 50-55 - [c64]Fulvio Corno, Laura Farinetti, Giovanni Squillero:
An Intelligent User Interface oriented to non-expert users. WebNet 2000: 675-676 - 1999
- [c63]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero:
Verifying the equivalence of sequential circuits with genetic algorithms. CEC 1999: 1293-1298 - [c62]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero:
Optimizing deceptive functions with the SG-Clans algorithm. CEC 1999: 2190-2198 - [c61]Enrique San Millán
, Luis Entrena
, José Alberto Espejo, Silvia Chiusano
, Fulvio Corno
:
Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization. DATE 1999: 516-520 - [c60]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero
:
Approximate Equivalence Verification of Sequential Circuits via Genetic Algorithms. DATE 1999: 754-755 - [c59]Fulvio Corno
, Matteo Sonza Reorda
, Maurizio Rebaudengo, Massimo Violante:
Optimal Vector Selection for Low Power BIST. DFT 1999: 219-226 - [c58]Fulvio Corno
, Maurizio Rebaudengo, Matteo Sonza Reorda
, Massimo Violante:
A new BIST architecture for low power circuits. ETW 1999: 160-164 - [c57]Fulvio Corno
, Maurizio Rebaudengo, Matteo Sonza Reorda
, Massimo Violante:
Test Pattern Generation Under Low Power Constraints. EvoWorkshops 1999: 162-170 - [c56]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero:
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms. EvoWorkshops 1999: 182-192 - [c55]Fulvio Corno
, Maurizio Rebaudengo, Matteo Sonza Reorda
, Massimo Violante:
ALPS: A Peak Power Estimation Tool for Sequential Circuits. Great Lakes Symposium on VLSI 1999: 350-353 - [c54]Fulvio Corno, Matteo Sonza Reorda, Giovanni Squillero:
Simulation-based sequential equivalence checking of RTL VHDL. ICECS 1999: 351-354 - [c53]Silvia Chiusano, Fulvio Corno, Paolo Prinetto:
RT-level TPG Exploiting High-Level Synthesis Information. VTS 1999: 341-353 - 1998
- [c52]Silvia Chiusano, Fulvio Corno, Paolo Prinetto:
A Test Pattern Generation Algorithm Exploiting Behavioral Information. Asian Test Symposium 1998: 480-485 - [c51]Elizabeth M. Rudnick, Roberto Vietti, Akilah Ellis, Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
:
Fast Sequential Circuit Test Generation Using High-Level and Gate-Level Techniques. DATE 1998: 570-576 - [c50]Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
, Massimo Violante:
Exploiting Symbolic Techniques for Partial Scan Flip Flop Selection. DATE 1998: 670-677 - [c49]Silvia Chiusano, Fulvio Corno, Matteo Sonza Reorda
, Roberto Vietti:
A System for Evaluating On-Line Testability at the RT-level. DFT 1998: 284-291 - [c48]Fulvio Corno, Matteo Sonza Reorda
, Giovanni Squillero:
VEGA: a verification tool based on genetic algorithms. ICCD 1998: 321-326 - [c47]Fulvio Corno, Janak H. Patel, Elizabeth M. Rudnick, Matteo Sonza Reorda
, Roberto Vietti:
Enhancing topological ATPG with high-level information and symbolic techniques. ICCD 1998: 504-509 - [c46]Fulvio Corno
, Matteo Sonza Reorda
, Giovanni Squillero
:
The selfish gene algorithm: a new evolutionary optimization strategy. SAC 1998: 349-355 - [c45]Fulvio Corno
, Nicola Gaudenzi, Paolo Prinetto, Matteo Sonza Reorda
:
On the Identification of Optimal Cellular Automata for Built-In Self-Test of Sequential Circuits. VTS 1998: 424-429 - [c44]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
:
A Test Pattern Generation Methodology for Low-Power Consumption. VTS 1998: 453-459 - 1997
- [c43]Silvia Chiusano
, Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo
, Matteo Sonza Reorda
:
Guaranteeing Testability in Re-encoding for Low Power. Asian Test Symposium 1997: 30-35 - [c42]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
, Giovanni Squillero
:
A Genetic Algorithm for the Computation of Initialization Sequences for Synchronous Sequential Circuits. Asian Test Symposium 1997: 56-61 - [c41]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
, Massimo Violante:
Exploiting Logic Simulation to Improve Simulation-based Sequential ATPG. Asian Test Symposium 1997: 68-73 - [c40]Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Paolo Prinetto, Matteo Sonza Reorda, Giovanni Squillero:
Simulation-based verification of network protocols performance. CHARME 1997: 236-251 - [c39]Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
:
New static compaction techniques of test sequences for sequential circuits. ED&TC 1997: 37-43 - [c38]Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
:
Hybrid symbolic-explicit techniques for the graph coloring problem. ED&TC 1997: 422-426 - [c37]F. Bianchi, Fulvio Corno
, Maurizio Rebaudengo, Matteo Sonza Reorda
, Roberto Ansaloni:
Boolean Function Manipulation on a Parallel System Using BDDs. HPCN Europe 1997: 916-928 - [c36]Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
, Giovanni Squillero:
A new Approach for Initialization Sequences Computation for Synchronous Sequential Circuits. ICCD 1997: 381-386 - [c35]Mario Baldi, Fulvio Corno
, Maurizio Rebaudengo, Giovanni Squillero
:
GA-Based Performance Analysis of Network Protocols. ICTAI 1997: 118-124 - [c34]S. Chuisano, Fulvio Corno, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
:
Exploiting Symbolic Techniques within Genetic Algorithms for Power Optimization. ICTAI 1997: 133- - [c33]Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
:
Testability Analysis and ATPG on Behavioral RT-Level VHDL. ITC 1997: 753-759 - [c32]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo
, Matteo Sonza Reorda
:
SAARA: a simulated annealing algorithm for test pattern generation for digital circuits. SAC 1997: 228-232 - [c31]Silvia Chiusano, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
:
Cellular automata for deterministic sequential test pattern generation. VTS 1997: 60-67 - 1996
- [c30]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
, R. Mosca:
Advanced Techniques for GA-based sequential ATPGs. ED&TC 1996: 375-379 - [c29]Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
:
Self-Checking and Fault Tolerant Approaches Can Help BIST Fault Coverage: A Case Study. ED&TC 1996: 610 - [c28]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
, Maurizio Damiani, Leonardo Impagliazzo, G. Sartore:
On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications. EDCC 1996: 190-202 - [c27]Paolo Prinetto, Fulvio Corno, Matteo Sonza Reorda
:
Fault tolerant and BIST design of a FIFO cell. EURO-DAC 1996: 233-238 - [c26]Paolo Prinetto, Alfredo Benso, Fulvio Corno
, Maurizio Rebaudengo, Matteo Sonza Reorda
, Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo:
Fault behavior observation of a microprocessor system through a VHDL simulation-based fault injection experiment. EURO-DAC 1996: 536-541 - [c25]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
:
A Parallel Genetic Algorithm for Automatic Generation of Test Sequences for Digital Circuits. HPCN Europe 1996: 454-459 - [c24]Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
:
A Genetic Algorithm for Automatic Generation of Test Logic for Digital Circuits. ICTAI 1996: 10-16 - [c23]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
:
Comparing Topological, Symbolic and GA-based ATPGs: An Experimental Approach. ITC 1996: 39-47 - [c22]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
:
Partial Scan Flip Flop Selection for Simulation-Based Sequential ATPGs. ITC 1996: 558-564 - [c21]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
:
Exploiting Competing Subpopulations for Automatic Generation of Test Sequences for Digital Cicuits. PPSN 1996: 792-800 - [c20]Stefano Barbagallo, Monica Lobetti Bodoni, Davide Medina, Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
:
Scan insertion criteria for low design impact. VTS 1996: 26-31 - 1995
- [c19]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
:
GARDA: a diagnostic ATPG for large synchronous sequential circuits. ED&TC 1995: 267-273 - [c18]Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
:
Using symbolic techniques to find the maximum clique in very large sparse graphs. ED&TC 1995: 320-324 - [c17]Fulvio Corno, Marco Cusinato, Mario Ferrero, Paolo Prinetto:
Proving testing preorders for process algebra descriptions. ED&TC 1995: 333-339 - [c16]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
, Enzo Veiluva:
A PVM tool for automatic test generation on parallel and distributed systems. HPCN Europe 1995: 39-44 - [c15]Stefano Barbagallo, Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
:
Testing a Switching Memory in a Telcommunication System. ITC 1995: 947-956 - [c14]Fulvio Corno
, Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda
, Enzo Veiluva:
A portable ATPG tool for parallel and distributed systems. VTS 1995: 29-34 - [c13]Fulvio Corno
, Paolo Prinetto, Matteo Sonza Reorda
, Uwe Gläser, Heinrich Theodor Vierhaus:
Improving topological ATPG with symbolic techniques. VTS 1995: 338-343 - 1994
- [c12]Paolo Prinetto, Fulvio Corno, Matteo Sonza Reorda:
An experimental analysis of the effectiveness of the circular self-test path technique. EURO-DAC 1994: 246-251 - [c11]Catherine Bayol, Bernard Soulas, Dominique Borrione, Fulvio Corno, Paolo Prinetto:
A process algebra interpretation of a verification oriented overlanguage of VHDL. EURO-DAC 1994: 506-511 - [c10]Paolo Camurati, Fulvio Corno, Paolo Prinetto, Catherine Bayol, Bernard Soulas:
System-Level Modeling and Verification: a Comprehensive Design Methodology. EDAC-ETC-EUROASIC 1994: 636-640 - [c9]Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
:
Making the Circular Self-Test Path Technique Effective for Real Circuits. ITC 1994: 949-957 - [c8]Paolo Camurati, Fulvio Corno
, Michela Meo, Paolo Prinetto:
A new functional fault model for system-level descriptions. VTS 1994: 214-219 - 1993
- [c7]Paolo Camurati, Fulvio Corno
, Paolo Prinetto:
A Methodology for System-Level Design for Verifiability. CHARME 1993: 80-91 - [c6]Paolo Camurati, Fulvio Corno, Paolo Prinetto:
Exploiting Symbolic Traversal Techniques for Efficient Process Algebra Manipulation. CHDL 1993: 31-44 - [c5]Paolo Camurati, Fulvio Corno
, Paolo Prinetto:
An efficient tool for system-level verification of behaviors and temporal properties. EURO-DAC 1993: 124-129 - 1992
- [c4]Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Silvano Gai, Paolo Prinetto, Matteo Sonza Reorda:
A New Model for Improving symbolic Product Machine Traversal. DAC 1992: 614-619 - [c3]Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda:
Cross-fertilizing FSM verification techniques and sequential diagnosis. EURO-DAC 1992: 306-311 - [c2]Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
:
Sequential Circuit Diagnosis Based on Formal Verification Techniques. ITC 1992: 187-196 - [c1]Paolo Camurati, Fulvio Corno
, Fulvio Prinetto, Matteo Sonza Reorda
:
A simulation-based approach to test pattern generation for synchronous sequential circuits. VTS 1992: 263-267
Parts in Books or Collections
- 2010
- [p1]Fulvio Corno
, Alastair G. Gale, Päivi Majaranta, Kari-Jouko Räihä:
Eye-based Direct Interaction for Environmental Control in Heterogeneous Smart Environments. Handbook of Ambient Intelligence and Smart Environments 2010: 1117-1138
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-26 18:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint