Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Fulvio Corno
@article{DBLP:journals/ijhci/BarreraLeonCR23,
author = {Luisa Fernanda Barrera{-}Le{\'{o}}n and
Fulvio Corno and
Luigi De Russis},
title = {How the Preattentive Process is Exploited in Practical Information
Visualization Design: {A} Review},
journal = {Int. J. Hum. Comput. Interact.},
volume = {39},
number = {4},
pages = {707--720},
year = {2023},
url = {https://doi.org/10.1080/10447318.2022.2049137},
doi = {10.1080/10447318.2022.2049137},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhci/BarreraLeonCR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/CornoM23,
author = {Fulvio Corno and
Luca Mannella},
title = {Security Evaluation of Arduino Projects Developed by Hobbyist IoT
Programmers},
journal = {Sensors},
volume = {23},
number = {5},
pages = {2740},
year = {2023},
url = {https://doi.org/10.3390/s23052740},
doi = {10.3390/S23052740},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/CornoM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/behaviourIT/CornoRR22,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
title = {How do end-users program the Internet of Things?},
journal = {Behav. Inf. Technol.},
volume = {41},
number = {9},
pages = {1865--1887},
year = {2022},
url = {https://doi.org/10.1080/0144929x.2022.2071169},
doi = {10.1080/0144929X.2022.2071169},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/behaviourIT/CornoRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/CornoRS22,
author = {Fulvio Corno and
Luigi De Russis and
Juan Pablo S{\'{a}}enz},
title = {Computational notebooks to support developers in prototyping IoT systems},
journal = {Int. J. Hum. Comput. Stud.},
volume = {165},
pages = {102850},
year = {2022},
url = {https://doi.org/10.1016/j.ijhcs.2022.102850},
doi = {10.1016/J.IJHCS.2022.102850},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/CornoRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrie/CornoRM22,
author = {Fulvio Corno and
Luigi De Russis and
Luca Mannella},
title = {Helping novice developers harness security issues in cloud-IoT systems},
journal = {J. Reliab. Intell. Environ.},
volume = {8},
number = {3},
pages = {261--283},
year = {2022},
url = {https://doi.org/10.1007/s40860-022-00175-4},
doi = {10.1007/S40860-022-00175-4},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrie/CornoRM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tois/CornoRR21,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
title = {From Users' Intentions to {IF-THEN} Rules in the Internet of Things},
journal = {{ACM} Trans. Inf. Syst.},
volume = {39},
number = {4},
pages = {53:1--53:33},
year = {2021},
url = {https://doi.org/10.1145/3447264},
doi = {10.1145/3447264},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tois/CornoRR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/CornoRS21,
author = {Fulvio Corno and
Luigi De Russis and
Juan Pablo S{\'{a}}enz},
editor = {Panos Markopoulos and
Jun Hu and
Philippe A. Palanque},
title = {On Computational Notebooks to Empower Physical Computing Novices},
booktitle = {{EICS} '21: {ACM} {SIGCHI} Symposium on Engineering Interactive Computing
Systems, Virtual Event, The Netherlands, 8-11 June 2021},
pages = {22--25},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3459926.3464752},
doi = {10.1145/3459926.3464752},
timestamp = {Sat, 09 Apr 2022 12:33:56 +0200},
biburl = {https://dblp.org/rec/conf/eics/CornoRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/CornoRM21,
author = {Fulvio Corno and
Luigi De Russis and
Luca Mannella},
editor = {Engie Bashir and
Mitja Lustrek},
title = {Perception of Security Issues in the Development of Cloud-IoT Systems
by a Novice Programmer},
booktitle = {Intelligent Environments 2021 - Workshop Proceedings of the 17th International
Conference on Intelligent Environments, Virtual Event / Dubai, United
Arab Emirates, 21-24 June 2021},
series = {Ambient Intelligence and Smart Environments},
volume = {29},
pages = {5--15},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/AISE210074},
doi = {10.3233/AISE210074},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intenv/CornoRM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iseud/CornoRR21,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
editor = {Daniela Fogli and
Daniel Tetteroo and
Barbara Rita Barricelli and
Simone Borsci and
Panos Markopoulos and
George A. Papadopoulos},
title = {Devices, Information, and People: Abstracting the Internet of Things
for End-User Personalization},
booktitle = {End-User Development - 8th International Symposium, {IS-EUD} 2021,
Virtual Event, July 6-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12724},
pages = {71--86},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79840-6\_5},
doi = {10.1007/978-3-030-79840-6\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iseud/CornoRR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/CornoRS21,
author = {Fulvio Corno and
Luigi De Russis and
Juan Pablo S{\'{a}}enz},
editor = {Kyle J. Harms and
J{\'{a}}come Cunha and
Steve Oney and
Caitlin Kelleher},
title = {TextCode: {A} Tool to Support Problem Solving Among Novice Programmers},
booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2021, St Louis, MO, USA, October 10-13, 2021},
pages = {1--5},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/VL/HCC51201.2021.9576164},
doi = {10.1109/VL/HCC51201.2021.9576164},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/CornoRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/CornoRS20,
author = {Fulvio Corno and
Luigi De Russis and
Juan Pablo S{\'{a}}enz},
title = {How is Open Source Software Development Different in Popular IoT Projects?},
journal = {{IEEE} Access},
volume = {8},
pages = {28337--28348},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.2972364},
doi = {10.1109/ACCESS.2020.2972364},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/CornoRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/CornoRR20,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
editor = {Genny Tortora and
Giuliana Vitiello and
Marco Winckler},
title = {HeyTAP: Bridging the Gaps Between Users' Needs and Technology in {IF-THEN}
Rules via Conversation},
booktitle = {{AVI} '20: International Conference on Advanced Visual Interfaces,
Island of Ischia, Italy, September 28 - October 2, 2020},
pages = {23:1--23:9},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3399715.3399905},
doi = {10.1145/3399715.3399905},
timestamp = {Mon, 05 Feb 2024 20:32:29 +0100},
biburl = {https://dblp.org/rec/conf/avi/CornoRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/CornoRR20,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
editor = {Fabio Patern{\`{o}} and
Nuria Oliver and
Cristina Conati and
Lucio Davide Spano and
Nava Tintarev},
title = {TAPrec: supporting the composition of trigger-action rules through
dynamic recommendations},
booktitle = {{IUI} '20: 25th International Conference on Intelligent User Interfaces,
Cagliari, Italy, March 17-20, 2020},
pages = {579--588},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377325.3377499},
doi = {10.1145/3377325.3377499},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iui/CornoRR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iv/Barrera-LeonCR20,
author = {Luisa Fernanda Barrera{-}Le{\'{o}}n and
Fulvio Corno and
Luigi De Russis},
editor = {Ebad Banissi and
Farzad Khosrow{-}shahi and
Anna Ursyn and
Mark W. McK. Bannatyne and
Jo{\~{a}}o Moura Pires and
Nuno Datia and
Kawa Nazemi and
Boris Kovalerchuk and
John Counsell and
Andrew Agapiou and
Zora Vrcelj and
Hing{-}Wah Chau and
Mengbi Li and
Gehan Nagy and
Richard Laing and
Rita Francese and
Muhammad Sarfraz and
Fatma Bouali and
Gilles Venturini and
Marjan Trutschl and
Urska Cvek and
Heimo M{\"{u}}ller and
Minoru Nakayama and
Marco Temperini and
Tania Di Mascio and
Filippo Sciarrone and
Veronica Rossano and
Ralf D{\"{o}}rner and
Loredana Caruccio and
Autilia Vitiello and
Weidong Huang and
Michele Risi and
Ugo Erra and
Razvan Andonie and
Muhammad Aurangzeb Ahmad and
Ana Figueiras and
Alfredo Cuzzocrea and
Mabule Samuel Mabakane},
title = {Systematic Variation of Preattentive Attributes to Highlight Relevant
Data in Information Visualization},
booktitle = {24th International Conference on Information Visualisation, {IV} 2020,
Melbourne, Australia, September 7-11, 2020},
pages = {74--79},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IV51561.2020.00022},
doi = {10.1109/IV51561.2020.00022},
timestamp = {Wed, 20 Dec 2023 17:00:52 +0100},
biburl = {https://dblp.org/rec/conf/iv/Barrera-LeonCR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/CornoRR19,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
title = {EUDoptimizer: Assisting End Users in Composing {IF-THEN} Rules Through
Optimization},
journal = {{IEEE} Access},
volume = {7},
pages = {37950--37960},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2905619},
doi = {10.1109/ACCESS.2019.2905619},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/CornoRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/CornoRM19,
author = {Fulvio Corno and
Luigi De Russis and
Teodoro Montanaro},
title = {{XDN:} cross-device framework for custom notifications management},
journal = {Computing},
volume = {101},
number = {11},
pages = {1735--1761},
year = {2019},
url = {https://doi.org/10.1007/s00607-018-0686-6},
doi = {10.1007/S00607-018-0686-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/CornoRM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/CornoRR19,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
title = {A high-level semantic approach to End-User Development in the Internet
of Things},
journal = {Int. J. Hum. Comput. Stud.},
volume = {125},
pages = {41--54},
year = {2019},
url = {https://doi.org/10.1016/j.ijhcs.2018.12.008},
doi = {10.1016/J.IJHCS.2018.12.008},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/CornoRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrie/MicucciC19,
author = {Daniela Micucci and
Fulvio Corno},
title = {Reliability on pervasive well-being: will it soon become a reality?
- State of the art and open issues},
journal = {J. Reliab. Intell. Environ.},
volume = {5},
number = {3},
pages = {129--130},
year = {2019},
url = {https://doi.org/10.1007/s40860-019-00087-w},
doi = {10.1007/S40860-019-00087-W},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrie/MicucciC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrie/RussisC19,
author = {Luigi De Russis and
Fulvio Corno},
title = {On the impact of dysarthric speech on contemporary {ASR} cloud platforms},
journal = {J. Reliab. Intell. Environ.},
volume = {5},
number = {3},
pages = {163--172},
year = {2019},
url = {https://doi.org/10.1007/s40860-019-00085-y},
doi = {10.1007/S40860-019-00085-Y},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrie/RussisC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/CornoRS19,
author = {Fulvio Corno and
Luigi De Russis and
Juan Pablo S{\'{a}}enz},
title = {On the challenges novice programmers experience in developing IoT
systems: {A} Survey},
journal = {J. Syst. Softw.},
volume = {157},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2019.07.101},
doi = {10.1016/J.JSS.2019.07.101},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/CornoRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tist/CornoRR19,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
title = {RecRules: Recommending {IF-THEN} Rules for End-User Development},
journal = {{ACM} Trans. Intell. Syst. Technol.},
volume = {10},
number = {5},
pages = {58:1--58:27},
year = {2019},
url = {https://doi.org/10.1145/3344211},
doi = {10.1145/3344211},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tist/CornoRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/CornoRR19,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
editor = {Stephen A. Brewster and
Geraldine Fitzpatrick and
Anna L. Cox and
Vassilis Kostakos},
title = {Empowering End Users in Debugging Trigger-Action Rules},
booktitle = {Proceedings of the 2019 {CHI} Conference on Human Factors in Computing
Systems, {CHI} 2019, Glasgow, Scotland, UK, May 04-09, 2019},
pages = {388},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3290605.3300618},
doi = {10.1145/3290605.3300618},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/CornoRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/CornoRS19,
author = {Fulvio Corno and
Luigi De Russis and
Juan Pablo S{\'{a}}enz},
editor = {Regan L. Mandryk and
Stephen A. Brewster and
Mark Hancock and
Geraldine Fitzpatrick and
Anna L. Cox and
Vassilis Kostakos and
Mark Perry},
title = {Towards Computational Notebooks for IoT Development},
booktitle = {Extended Abstracts of the 2019 {CHI} Conference on Human Factors in
Computing Systems, {CHI} 2019, Glasgow, Scotland, UK, May 04-09, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3290607.3312963},
doi = {10.1145/3290607.3312963},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/CornoRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CornoRB19,
author = {Fulvio Corno and
Luigi De Russis and
Luisa Fernanda Barrera{-}Le{\'{o}}n},
editor = {Vladimir Getov and
Jean{-}Luc Gaudiot and
Nariyoshi Yamai and
Stelvio Cimato and
J. Morris Chang and
Yuuichi Teranishi and
Ji{-}Jiang Yang and
Hong Va Leong and
Hossain Shahriar and
Michiharu Takemoto and
Dave Towey and
Hiroki Takakura and
Atilla El{\c{c}}i and
Susumu Takeuchi and
Satish Puri},
title = {Touch-Based Ontology Browsing on Tablets and Surfaces},
booktitle = {43rd {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 1},
pages = {616--621},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/COMPSAC.2019.00094},
doi = {10.1109/COMPSAC.2019.00094},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/CornoRB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iseud/CornoRR19,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
editor = {Alessio Malizia and
Stefano Valtolina and
Anders I. M{\o}rch and
Alan Serrano and
Andrew Stratton},
title = {My IoT Puzzle: Debugging {IF-THEN} Rules Through the Jigsaw Metaphor},
booktitle = {End-User Development - 7th International Symposium, {IS-EUD} 2019,
Hatfield, UK, July 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11553},
pages = {18--33},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24781-2\_2},
doi = {10.1007/978-3-030-24781-2\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iseud/CornoRR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/CornoRMM18,
author = {Fulvio Corno and
Luigi De Russis and
Andrea Marcelli and
Teodoro Montanaro},
title = {An Unsupervised and Noninvasive Model for Predicting Network Resource
Demands},
journal = {{IEEE} Internet Things J.},
volume = {5},
number = {6},
pages = {4342--4350},
year = {2018},
url = {https://doi.org/10.1109/JIOT.2018.2860681},
doi = {10.1109/JIOT.2018.2860681},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/CornoRMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/CornoRR18,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
title = {AwareNotifications: Multi-device semantic notification handling with
user-defined preferences},
journal = {J. Ambient Intell. Smart Environ.},
volume = {10},
number = {4},
pages = {327--343},
year = {2018},
url = {https://doi.org/10.3233/AIS-180492},
doi = {10.3233/AIS-180492},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaise/CornoRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrie/Corno18,
author = {Fulvio Corno},
title = {User expectations in intelligent environments - Issues and opportunities
in the interaction of intelligent users and intelligent environments},
journal = {J. Reliab. Intell. Environ.},
volume = {4},
number = {4},
pages = {189--198},
year = {2018},
url = {https://doi.org/10.1007/s40860-018-0068-z},
doi = {10.1007/S40860-018-0068-Z},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrie/Corno18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/5gwf/CornoRS18,
author = {Fulvio Corno and
Luigi De Russis and
Juan Pablo S{\'{a}}enz},
title = {On The Advanced Services That 5G May Provide To IoT Applications},
booktitle = {{IEEE} 5G World Forum, 5GWF 2018, Silicon Valley, CA, USA, July 9-11,
2018},
pages = {528--531},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/5GWF.2018.8517038},
doi = {10.1109/5GWF.2018.8517038},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/5gwf/CornoRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/assets/BallatiCR18,
author = {Fabio Ballati and
Fulvio Corno and
Luigi De Russis},
editor = {Faustina Hwang and
Joanna McGrenere and
David R. Flatla},
title = {Assessing Virtual Assistant Capabilities with Italian Dysarthric Speech},
booktitle = {Proceedings of the 20th International {ACM} {SIGACCESS} Conference
on Computers and Accessibility, {ASSETS} 2018, Galway, Ireland, October
22-24, 2018},
pages = {93--101},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3234695.3236354},
doi = {10.1145/3234695.3236354},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/assets/BallatiCR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MurugesanC18,
author = {San Murugesan and
Fulvio Corno},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Message from the ITiP Symposium Chairs},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1},
pages = {727},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.00108},
doi = {10.1109/COMPSAC.2018.00108},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/MurugesanC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gamesem/BulgarelliCR18,
author = {Daniela Bulgarelli and
Fulvio Corno and
Luigi De Russis},
title = {Collaborative Accessible Gameplay with One-Switch Interfaces},
booktitle = {{IEEE} Games, Entertainment, Media Conference, {GEM} 2018, Galway,
Ireland, August 15-17, 2018},
pages = {95--100},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/GEM.2018.8516494},
doi = {10.1109/GEM.2018.8516494},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gamesem/BulgarelliCR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CornoRS18,
author = {Fulvio Corno and
Luigi De Russis and
Juan Pablo S{\'{a}}enz},
editor = {Patricia Lago and
Michal Young},
title = {Easing IoT development for novice programmers through code recipes},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Software Engineering Education and Training, {ICSE} {(SEET)} 2018,
Gothenburg, Sweden, May 27 - June 03, 2018},
pages = {13--16},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183377.3183385},
doi = {10.1145/3183377.3183385},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/CornoRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/Corno18,
author = {Fulvio Corno},
editor = {Ioannis Chatzigiannakis and
Yoshito Tobe and
Paulo Novais and
Oliver Amft},
title = {User Expectations in Intelligent Environments - Issues and Opportunities
in the Interaction of Intelligent Users and Intelligent Environments},
booktitle = {Intelligent Environments 2018 - Workshop Proceedings of the 14th International
Conference on Intelligent Environments, Rome, Italy, 25-28 June 2018},
series = {Ambient Intelligence and Smart Environments},
volume = {23},
pages = {542--543},
publisher = {{IOS} Press},
year = {2018},
url = {https://doi.org/10.3233/978-1-61499-874-7-542},
doi = {10.3233/978-1-61499-874-7-542},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intenv/Corno18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/BallatiCR18,
author = {Fabio Ballati and
Fulvio Corno and
Luigi De Russis},
editor = {Ioannis Chatzigiannakis and
Yoshito Tobe and
Paulo Novais and
Oliver Amft},
title = {"Hey Siri, Do You Understand Me?": Virtual Assistants and
Dysarthria},
booktitle = {Intelligent Environments 2018 - Workshop Proceedings of the 14th International
Conference on Intelligent Environments, Rome, Italy, 25-28 June 2018},
series = {Ambient Intelligence and Smart Environments},
volume = {23},
pages = {557--566},
publisher = {{IOS} Press},
year = {2018},
url = {https://doi.org/10.3233/978-1-61499-874-7-557},
doi = {10.3233/978-1-61499-874-7-557},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intenv/BallatiCR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CornoRR17,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
title = {A Semantic Web Approach to Simplifying Trigger-Action Programming
in the IoT},
journal = {Computer},
volume = {50},
number = {11},
pages = {18--24},
year = {2017},
url = {https://doi.org/10.1109/MC.2017.4041355},
doi = {10.1109/MC.2017.4041355},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CornoRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taccess/LopezCR17,
author = {Sebasti{\'{a}}n Aced L{\'{o}}pez and
Fulvio Corno and
Luigi De Russis},
title = {Design and Development of One-Switch Video Games for Children with
Severe Motor Disabilities},
journal = {{ACM} Trans. Access. Comput.},
volume = {10},
number = {4},
pages = {12:1--12:42},
year = {2017},
url = {https://doi.org/10.1145/3085957},
doi = {10.1145/3085957},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taccess/LopezCR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/te/CornoR17,
author = {Fulvio Corno and
Luigi De Russis},
title = {Training Engineers for the Ambient Intelligence Challenge},
journal = {{IEEE} Trans. Educ.},
volume = {60},
number = {1},
pages = {40--49},
year = {2017},
url = {https://doi.org/10.1109/TE.2016.2608785},
doi = {10.1109/TE.2016.2608785},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/te/CornoR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/CornoRR17,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
editor = {Gloria Mark and
Susan R. Fussell and
Cliff Lampe and
m. c. schraefel and
Juan Pablo Hourcade and
Caroline Appert and
Daniel Wigdor},
title = {A High-Level Approach Towards End User Development in the IoT},
booktitle = {Proceedings of the 2017 {CHI} Conference on Human Factors in Computing
Systems, Denver, CO, USA, May 06-11, 2017, Extended Abstracts},
pages = {1546--1552},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3027063.3053157},
doi = {10.1145/3027063.3053157},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/CornoRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CornoRS17,
author = {Fulvio Corno and
Luigi De Russis and
Juan Pablo S{\'{a}}enz},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Pain Points for Novice Programmers of Ambient Intelligence Systems:
An Exploratory Study},
booktitle = {41st {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1},
pages = {250--255},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/COMPSAC.2017.186},
doi = {10.1109/COMPSAC.2017.186},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/CornoRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/CornoRM17,
author = {Fulvio Corno and
Luigi De Russis and
Teodoro Montanaro},
editor = {Jos{\'{e}} Creissac Campos and
Nuno Nunes and
Pedro Campos and
Ga{\"{e}}lle Calvary and
Jeffrey Nichols and
C{\'{e}}lia Martinie and
Jos{\'{e}} Lu{\'{\i}}s Silva},
title = {{XDN:} cross-device framework for custom notifications management},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017},
pages = {57--62},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3102113.3102127},
doi = {10.1145/3102113.3102127},
timestamp = {Sun, 26 Nov 2023 00:57:51 +0100},
biburl = {https://dblp.org/rec/conf/eics/CornoRM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgteurope/CornoRS17,
author = {Fulvio Corno and
Luigi De Russis and
Juan Pablo S{\'{a}}enz},
title = {On the design of an energy and user aware study room},
booktitle = {2017 {IEEE} {PES} Innovative Smart Grid Technologies Conference Europe,
ISGT-Europe 2017, Torino, Italy, September 26-29, 2017},
pages = {1--6},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISGTEurope.2017.8260192},
doi = {10.1109/ISGTEUROPE.2017.8260192},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isgteurope/CornoRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/CornoRB16,
author = {Fulvio Corno and
Luigi De Russis and
Dario Bonino},
title = {Educating Internet of Things Professionals: The Ambient Intelligence
Course},
journal = {{IT} Prof.},
volume = {18},
number = {6},
pages = {50--57},
year = {2016},
url = {https://doi.org/10.1109/MITP.2016.100},
doi = {10.1109/MITP.2016.100},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itpro/CornoRB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/LopezCR16,
author = {Sebasti{\'{a}}n Aced L{\'{o}}pez and
Fulvio Corno and
Luigi De Russis},
editor = {Jofish Kaye and
Allison Druin and
Cliff Lampe and
Dan Morris and
Juan Pablo Hourcade},
title = {Clocks, Bars and Balls: Design and Evaluation of Alternative GNomon
Widgets for Children with Disabilities},
booktitle = {Proceedings of the 2016 {CHI} Conference on Human Factors in Computing
Systems, San Jose, CA, USA, May 7-12, 2016, Extended Abstracts},
pages = {1654--1660},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851581.2892373},
doi = {10.1145/2851581.2892373},
timestamp = {Wed, 01 Jun 2022 08:38:38 +0200},
biburl = {https://dblp.org/rec/conf/chi/LopezCR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/CornoRR16,
author = {Fulvio Corno and
Luigi De Russis and
Alberto Monge Roffarello},
title = {A Healthcare Support System for Assisted Living Facilities: An IoT
Solution},
booktitle = {40th {IEEE} Annual Computer Software and Applications Conference,
{COMPSAC} 2016, Atlanta, GA, USA, June 10-14, 2016},
pages = {344--352},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/COMPSAC.2016.29},
doi = {10.1109/COMPSAC.2016.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/CornoRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/CornoRM16,
author = {Fulvio Corno and
Luigi De Russis and
Teodoro Montanaro},
title = {Estimate user meaningful places through low-energy mobile sensing},
booktitle = {2016 {IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2016, Budapest, Hungary, October 9-12, 2016},
pages = {3039--3044},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SMC.2016.7844703},
doi = {10.1109/SMC.2016.7844703},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/CornoRM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/HarmonCC15,
author = {Robert R. Harmon and
Fulvio Corno and
Enrique Castro{-}Leon},
title = {Smart Systems},
journal = {{IT} Prof.},
volume = {17},
number = {6},
pages = {14--17},
year = {2015},
url = {https://doi.org/10.1109/MITP.2015.115},
doi = {10.1109/MITP.2015.115},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/HarmonCC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/CornoR15,
author = {Fulvio Corno and
Faisal Razzak},
title = {Real-time monitoring of high-level states in smart environments},
journal = {J. Ambient Intell. Smart Environ.},
volume = {7},
number = {2},
pages = {133--153},
year = {2015},
url = {https://doi.org/10.3233/AIS-150310},
doi = {10.3233/AIS-150310},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaise/CornoR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/SanaullahCR15,
author = {Muhammad Sanaullah and
Fulvio Corno and
Faisal Razzak},
title = {Autonomic goal-oriented device management for Smart Environments},
journal = {J. Ambient Intell. Smart Environ.},
volume = {7},
number = {4},
pages = {425--448},
year = {2015},
url = {https://doi.org/10.3233/AIS-150329},
doi = {10.3233/AIS-150329},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaise/SanaullahCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrie/CornoGRG15,
author = {Fulvio Corno and
Elena Guercio and
Luigi De Russis and
Eleonora Gargiulo},
title = {Designing for user confidence in intelligent environments},
journal = {J. Reliab. Intell. Environ.},
volume = {1},
number = {1},
pages = {11--21},
year = {2015},
url = {https://doi.org/10.1007/s40860-015-0001-7},
doi = {10.1007/S40860-015-0001-7},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jrie/CornoGRG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sg/LopezCR15,
author = {Sebasti{\'{a}}n Aced L{\'{o}}pez and
Fulvio Corno and
Luigi De Russis},
title = {Playable One-Switch Video Games for Children with Severe Motor Disabilities
Based on GNomon},
journal = {{EAI} Endorsed Trans. Serious Games},
volume = {2},
number = {7},
pages = {e2},
year = {2015},
url = {https://doi.org/10.4108/icst.intetain.2015.259620},
doi = {10.4108/ICST.INTETAIN.2015.259620},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sg/LopezCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/uais/LopezCR15,
author = {Sebasti{\'{a}}n Aced L{\'{o}}pez and
Fulvio Corno and
Luigi De Russis},
title = {Supporting caregivers in assisted living facilities for persons with
disabilities: a user study},
journal = {Univers. Access Inf. Soc.},
volume = {14},
number = {1},
pages = {133--144},
year = {2015},
url = {https://doi.org/10.1007/s10209-014-0400-1},
doi = {10.1007/S10209-014-0400-1},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/uais/LopezCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/assets/LopezCR15,
author = {Sebasti{\'{a}}n Aced L{\'{o}}pez and
Fulvio Corno and
Luigi De Russis},
editor = {Yeliz Yesilada and
Jeffrey P. Bigham},
title = {Can We Make Dynamic, Accessible and Fun One-Switch Video Games?},
booktitle = {Proceedings of the 17th International {ACM} {SIGACCESS} Conference
on Computers {\&} Accessibility, {ASSETS} 2015, Lisbon, Portugal,
October 26-28, 2015},
pages = {421--422},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2700648.2811333},
doi = {10.1145/2700648.2811333},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/assets/LopezCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/LopezCR15,
author = {Sebasti{\'{a}}n Aced L{\'{o}}pez and
Fulvio Corno and
Luigi De Russis},
editor = {Bo Begole and
Jinwoo Kim and
Kori Inkpen and
Woontack Woo},
title = {GNomon: Enabling Dynamic One-Switch Games for Children with Severe
Motor Disabilities},
booktitle = {Proceedings of the 33rd Annual {ACM} Conference Extended Abstracts
on Human Factors in Computing Systems, Seoul, {CHI} 2015 Extended
Abstracts, Republic of Korea, April 18 - 23, 2015},
pages = {995--1000},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2702613.2732802},
doi = {10.1145/2702613.2732802},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/LopezCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/RussisC15,
author = {Luigi De Russis and
Fulvio Corno},
editor = {Bo Begole and
Jinwoo Kim and
Kori Inkpen and
Woontack Woo},
title = {HomeRules: {A} Tangible End-User Programming Interface for Smart Homes},
booktitle = {Proceedings of the 33rd Annual {ACM} Conference Extended Abstracts
on Human Factors in Computing Systems, Seoul, {CHI} 2015 Extended
Abstracts, Republic of Korea, April 18 - 23, 2015},
pages = {2109--2114},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2702613.2732795},
doi = {10.1145/2702613.2732795},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/RussisC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ficloud/CornoRMC15,
author = {Fulvio Corno and
Luigi De Russis and
Teodoro Montanaro and
Pino Castrogiovanni},
editor = {Irfan Awan and
Muhammad Younas and
Massimo Mecella},
title = {IoT Meets Exhibition Areas: {A} Modular Architecture to Improve Proximity
Interactions},
booktitle = {3rd International Conference on Future Internet of Things and Cloud,
FiCloud 2015, Rome, Italy, August 24-26, 2015},
pages = {293--300},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/FiCloud.2015.25},
doi = {10.1109/FICLOUD.2015.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ficloud/CornoRMC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intetain/LopezCR15,
author = {Sebasti{\'{a}}n Aced L{\'{o}}pez and
Fulvio Corno and
Luigi De Russis},
title = {Playable one-switch video games for children with severe motor disabilities
based on GNomon},
booktitle = {7th International Conference on Intelligent Technologies for Interactive
Entertainment, {INTETAIN} 2015, Torino, Italy, June 10-12, 2015},
pages = {176--185},
publisher = {{IEEE}},
year = {2015},
url = {https://ieeexplore.ieee.org/document/7325502/},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/intetain/LopezCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/CornoRM15,
author = {Fulvio Corno and
Luigi De Russis and
Teodoro Montanaro},
title = {A context and user aware smart notification system},
booktitle = {2nd {IEEE} World Forum on Internet of Things, WF-IoT 2015, Milan,
Italy, December 14-16, 2015},
pages = {645--651},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/WF-IoT.2015.7389130},
doi = {10.1109/WF-IOT.2015.7389130},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wf-iot/CornoRM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/BoninoRCF14,
author = {Dario Bonino and
Luigi De Russis and
Fulvio Corno and
Gianni Ferrero},
title = {{JEERP:} Energy-Aware Enterprise Resource Planning},
journal = {{IT} Prof.},
volume = {16},
number = {4},
pages = {50--56},
year = {2014},
url = {https://doi.org/10.1109/MITP.2013.22},
doi = {10.1109/MITP.2013.22},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/BoninoRCF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/BojanovaDC14,
author = {Irena Bojanova and
Vladimir Dimitrov and
Fulvio Corno},
title = {Advancing Cloud Computing},
journal = {{IT} Prof.},
volume = {16},
number = {6},
pages = {16--17},
year = {2014},
url = {https://doi.org/10.1109/MITP.2014.82},
doi = {10.1109/MITP.2014.82},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/BojanovaDC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaihc/CornoR14,
author = {Fulvio Corno and
Faisal Razzak},
title = {{SAT} based enforcement of domotic effects in smart environments},
journal = {J. Ambient Intell. Humaniz. Comput.},
volume = {5},
number = {4},
pages = {565--579},
year = {2014},
url = {https://doi.org/10.1007/s12652-013-0183-x},
doi = {10.1007/S12652-013-0183-X},
timestamp = {Mon, 10 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaihc/CornoR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaihc/CornoS14,
author = {Fulvio Corno and
Muhammad Sanaullah},
title = {Design-time formal verification for smart environments: an exploratory
perspective},
journal = {J. Ambient Intell. Humaniz. Comput.},
volume = {5},
number = {4},
pages = {581--599},
year = {2014},
url = {https://doi.org/10.1007/s12652-013-0209-4},
doi = {10.1007/S12652-013-0209-4},
timestamp = {Mon, 10 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaihc/CornoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/CornoS14,
author = {Fulvio Corno and
Muhammad Sanaullah},
title = {Modeling and formal verification of smart environments},
journal = {Secur. Commun. Networks},
volume = {7},
number = {10},
pages = {1582--1598},
year = {2014},
url = {https://doi.org/10.1002/sec.794},
doi = {10.1002/SEC.794},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scn/CornoS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot360/BoninoCR14,
author = {Dario Bonino and
Fulvio Corno and
Luigi De Russis},
editor = {Raffaele Giaffreda and
Radu{-}Laurentiu Vieriu and
Edna P{\'{a}}sher and
Gabriel Bendersky and
Antonio J. Jara and
Joel J. P. C. Rodrigues and
Eliezer Dekel and
Benny Mandler},
title = {PowerOnt: An Ontology-Based Approach for Power Consumption Estimation
in Smart Homes},
booktitle = {Internet of Things. User-Centric IoT - First International Summit,
IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers,
Part {I}},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {150},
pages = {3--8},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-19656-5\_1},
doi = {10.1007/978-3-319-19656-5\_1},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iot360/BoninoCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iot360/LopezCR14,
author = {Sebasti{\'{a}}n Aced L{\'{o}}pez and
Fulvio Corno and
Luigi De Russis},
editor = {Raffaele Giaffreda and
Radu{-}Laurentiu Vieriu and
Edna P{\'{a}}sher and
Gabriel Bendersky and
Antonio J. Jara and
Joel J. P. C. Rodrigues and
Eliezer Dekel and
Benny Mandler},
title = {IoT Meets Caregivers: {A} Healthcare Support System in Assisted Living
Facilities},
booktitle = {Internet of Things. User-Centric IoT - First International Summit,
IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers,
Part {I}},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {150},
pages = {172--177},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-19656-5\_25},
doi = {10.1007/978-3-319-19656-5\_25},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iot360/LopezCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/LaplanteJWC13,
author = {Phillip A. Laplante and
Thomas C. Jepsen and
Joseph Williams and
Fulvio Corno},
title = {Innovative and Disruptive Technologies [From the Editors]},
journal = {{IT} Prof.},
volume = {15},
number = {3},
pages = {4--5},
year = {2013},
url = {https://doi.org/10.1109/MITP.2013.43},
doi = {10.1109/MITP.2013.43},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/itpro/LaplanteJWC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/RussisBC13,
author = {Luigi De Russis and
Dario Bonino and
Fulvio Corno},
editor = {Friedemann Mattern and
Silvia Santini and
John F. Canny and
Marc Langheinrich and
Jun Rekimoto},
title = {The smart home controller on your wrist},
booktitle = {The 2013 {ACM} International Joint Conference on Pervasive and Ubiquitous
Computing, UbiComp '13, Zurich, Switzerland, September 8-12, 2013
- Adjunct Publication},
pages = {785--792},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2494091.2497319},
doi = {10.1145/2494091.2497319},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/huc/RussisBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/LopezBC13,
author = {Sebasti{\'{a}}n Aced L{\'{o}}pez and
Dario Bonino and
Fulvio Corno},
editor = {Alessio Lomuscio and
Surya Nepal and
Fabio Patrizi and
Boualem Benatallah and
Ivona Brandic},
title = {Template-Based Ontology Population for Smart Environments Configuration},
booktitle = {Service-Oriented Computing - {ICSOC} 2013 Workshops - CCSA, CSB, PASCEB,
SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8377},
pages = {271--278},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-06859-6\_24},
doi = {10.1007/978-3-319-06859-6\_24},
timestamp = {Wed, 25 Sep 2019 18:15:03 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/LopezBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/BoninoC12,
author = {Dario Bonino and
Fulvio Corno},
title = {DoMAIns: Domain-based modeling for Ambient Intelligence},
journal = {Pervasive Mob. Comput.},
volume = {8},
number = {4},
pages = {614--628},
year = {2012},
url = {https://doi.org/10.1016/j.pmcj.2011.10.009},
doi = {10.1016/J.PMCJ.2011.10.009},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/percom/BoninoC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsg/CornoR12,
author = {Fulvio Corno and
Faisal Razzak},
title = {Intelligent Energy Optimization for User Intelligible Goals in Smart
Home Environments},
journal = {{IEEE} Trans. Smart Grid},
volume = {3},
number = {4},
pages = {2128--2135},
year = {2012},
url = {https://doi.org/10.1109/TSG.2012.2214407},
doi = {10.1109/TSG.2012.2214407},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsg/CornoR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/BoninoCR12,
author = {Dario Bonino and
Fulvio Corno and
Luigi De Russis},
editor = {Elhadi M. Shakshuki and
Muhammad Younas},
title = {dWatch: {A} Personal Wrist Watch for Smart Environments},
booktitle = {Proceedings of the 3rd International Conference on Ambient Systems,
Networks and Technologies {(ANT} 2012), the 9th International Conference
on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario,
Canada, August 27-29, 2012},
series = {Procedia Computer Science},
volume = {10},
pages = {300--307},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.procs.2012.06.040},
doi = {10.1016/J.PROCS.2012.06.040},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/journals/procedia/BoninoCR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/BoninoC12,
author = {Dario Bonino and
Fulvio Corno},
editor = {Elhadi M. Shakshuki and
Muhammad Younas},
title = {spChains: {A} Declarative Framework for Data Stream Processing in
Pervasive Applications},
booktitle = {Proceedings of the 3rd International Conference on Ambient Systems,
Networks and Technologies {(ANT} 2012), the 9th International Conference
on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario,
Canada, August 27-29, 2012},
series = {Procedia Computer Science},
volume = {10},
pages = {316--323},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.procs.2012.06.042},
doi = {10.1016/J.PROCS.2012.06.042},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/procedia/BoninoC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/CornoR12,
author = {Fulvio Corno and
Faisal Razzak},
editor = {Elhadi M. Shakshuki and
Muhammad Younas},
title = {Publishing {LO(D)D:} Linked Open (Dynamic) Data for Smart Sensing
and Measuring Environments},
booktitle = {Proceedings of the 3rd International Conference on Ambient Systems,
Networks and Technologies {(ANT} 2012), the 9th International Conference
on Mobile Web Information Systems (MobiWIS-2012), Niagara Falls, Ontario,
Canada, August 27-29, 2012},
series = {Procedia Computer Science},
volume = {10},
pages = {381--388},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.procs.2012.06.050},
doi = {10.1016/J.PROCS.2012.06.050},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/procedia/CornoR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/BoninoCCR11,
author = {Dario Bonino and
Emiliano Castellina and
Fulvio Corno and
Luigi De Russis},
title = {DOGeye: Controlling your home with eye interaction},
journal = {Interact. Comput.},
volume = {23},
number = {5},
pages = {484--498},
year = {2011},
url = {https://doi.org/10.1016/j.intcom.2011.06.002},
doi = {10.1016/J.INTCOM.2011.06.002},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iwc/BoninoCCR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/BoninoC11,
author = {Dario Bonino and
Fulvio Corno},
title = {What would you ask to your home if it were intelligent? Exploring
user expectations about next-generation homes},
journal = {J. Ambient Intell. Smart Environ.},
volume = {3},
number = {2},
pages = {111--126},
year = {2011},
url = {https://doi.org/10.3233/AIS-2011-0099},
doi = {10.3233/AIS-2011-0099},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jaise/BoninoC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/CornoS11,
author = {Fulvio Corno and
Muhammad Sanaullah},
title = {Formal Verification of Device State Chart Models},
booktitle = {7th International Conference on Intelligent Environments, {IE} 2011,
Nottingham, United Kingdom, July 25-28, 2011},
pages = {66--73},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/IE.2011.36},
doi = {10.1109/IE.2011.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/intenv/CornoS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isami/CornoS11,
author = {Fulvio Corno and
Muhammad Sanaullah},
editor = {Paulo Novais and
Davy Preuveneers and
Juan M. Corchado},
title = {Design Time Methodology for the Formal Verification of Intelligent
Domotic Environments},
booktitle = {Ambient Intelligence - Software and Applications - 2nd International
Symposium on Ambient Intelligence, ISAmI 2011, Salamanca, Spain, April
6-8, 2011},
series = {Advances in Intelligent and Soft Computing},
volume = {92},
pages = {9--16},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19937-0\_2},
doi = {10.1007/978-3-642-19937-0\_2},
timestamp = {Sun, 02 Jun 2019 21:24:05 +0200},
biburl = {https://dblp.org/rec/conf/isami/CornoS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isami/BoninoCR11,
author = {Dario Bonino and
Fulvio Corno and
Luigi De Russis},
editor = {Paulo Novais and
Davy Preuveneers and
Juan M. Corchado},
title = {A User-Friendly Interface for Rules Composition in Intelligent Environments},
booktitle = {Ambient Intelligence - Software and Applications - 2nd International
Symposium on Ambient Intelligence, ISAmI 2011, Salamanca, Spain, April
6-8, 2011},
series = {Advances in Intelligent and Soft Computing},
volume = {92},
pages = {213--217},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19937-0\_27},
doi = {10.1007/978-3-642-19937-0\_27},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isami/BoninoCR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/BoninoC10,
author = {Dario Bonino and
Fulvio Corno},
title = {DogSim: {A} state chart simulator for Domotic Environments},
booktitle = {Eigth Annual {IEEE} International Conference on Pervasive Computing
and Communications, PerCom 2010, March 29 - April 2, 2010, Mannheim,
Germany, Workshop Proceedings},
pages = {208--213},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/PERCOMW.2010.5470666},
doi = {10.1109/PERCOMW.2010.5470666},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/percom/BoninoC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/RazzakBC10,
author = {Faisal Razzak and
Dario Bonino and
Fulvio Corno},
title = {Mobile interaction with smart environments through linked data},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Istanbul, Turkey, 10-13 October 2010},
pages = {2922--2929},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICSMC.2010.5641951},
doi = {10.1109/ICSMC.2010.5641951},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/RazzakBC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/CornoGMR10,
author = {Fulvio Corno and
Alastair G. Gale and
P{\"{a}}ivi Majaranta and
Kari{-}Jouko R{\"{a}}ih{\"{a}}},
editor = {Hideyuki Nakashima and
Hamid K. Aghajan and
Juan Carlos Augusto},
title = {Eye-based Direct Interaction for Environmental Control in Heterogeneous
Smart Environments},
booktitle = {Handbook of Ambient Intelligence and Smart Environments},
pages = {1117--1138},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-0-387-93808-0\_41},
doi = {10.1007/978-0-387-93808-0\_41},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/CornoGMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tce/BoninoCC09,
author = {Dario Bonino and
Emiliano Castellina and
Fulvio Corno},
title = {Automatic domotic device interoperation},
journal = {{IEEE} Trans. Consumer Electron.},
volume = {55},
number = {2},
pages = {499--506},
year = {2009},
url = {https://doi.org/10.1109/TCE.2009.5174413},
doi = {10.1109/TCE.2009.5174413},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tce/BoninoCC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/uais/DoneganMCSCPVBH09,
author = {Mick Donegan and
Jeffrey D. Morris and
Fulvio Corno and
Isabella Signorile and
Adriano Chi{\`{o}} and
Valentina Pasian and
Alessandro Vignola and
Margret Buchholz and
Eva Holmqvist},
title = {Understanding users and their needs},
journal = {Univers. Access Inf. Soc.},
volume = {8},
number = {4},
pages = {259--275},
year = {2009},
url = {https://doi.org/10.1007/s10209-009-0148-1},
doi = {10.1007/S10209-009-0148-1},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/uais/DoneganMCSCPVBH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/uais/BoninoCCGGPS09,
author = {Dario Bonino and
Emiliano Castellina and
Fulvio Corno and
Alastair G. Gale and
A. Garbo and
Kevin J. Purdy and
Fangmin Shi},
title = {A blueprint for integrated eye-controlled environments},
journal = {Univers. Access Inf. Soc.},
volume = {8},
number = {4},
pages = {311--321},
year = {2009},
url = {https://doi.org/10.1007/s10209-009-0145-4},
doi = {10.1007/S10209-009-0145-4},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/uais/BoninoCCGGPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ami/BoninoC09,
author = {Dario Bonino and
Fulvio Corno},
editor = {Manfred Tscheligi and
Boris E. R. de Ruyter and
Panos Markopoulos and
Reiner Wichert and
Thomas Mirlacher and
Alexander Meschtscherjakov and
Wolfgang Reitberger},
title = {Interoperation Modeling for Intelligent Domotic Environments},
booktitle = {Ambient Intelligence, European Conference, AmI 2009, Salzburg, Austria,
November 18-21, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5859},
pages = {143--152},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05408-2\_18},
doi = {10.1007/978-3-642-05408-2\_18},
timestamp = {Wed, 01 Jul 2020 21:28:44 +0200},
biburl = {https://dblp.org/rec/conf/ami/BoninoC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/BoninoCF09,
author = {Dario Bonino and
Fulvio Corno and
Laura Farinetti},
title = {FaSet: {A} Set Theory Model for Faceted Search},
booktitle = {2009 {IEEE/WIC/ACM} International Conference on Web Intelligence,
{WI} 2009, Milan, Italy, 15-18 September 2009, Main Conference Proceedings},
pages = {474--481},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WI-IAT.2009.81},
doi = {10.1109/WI-IAT.2009.81},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/BoninoCF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tce/BoninoCC08,
author = {Dario Bonino and
Emiliano Castellina and
Fulvio Corno},
title = {The {DOG} gateway: enabling ontology-based intelligent domotic environments},
journal = {{IEEE} Trans. Consumer Electron.},
volume = {54},
number = {4},
pages = {1656--1664},
year = {2008},
url = {https://doi.org/10.1109/TCE.2008.4711217},
doi = {10.1109/TCE.2008.4711217},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tce/BoninoCC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/BoninoC08,
author = {Dario Bonino and
Fulvio Corno},
title = {Self-Similarity Metric for Index Pruning in Conceptual Vector Space
Models},
booktitle = {19th International Workshop on Database and Expert Systems Applications
{(DEXA} 2008), 1-5 September 2008, Turin, Italy},
pages = {225--229},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DEXA.2008.27},
doi = {10.1109/DEXA.2008.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/BoninoC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etra/CastellinaCP08,
author = {Emiliano Castellina and
Fulvio Corno and
Paolo Pellegrino},
editor = {Kari{-}Jouko R{\"{a}}ih{\"{a}} and
Andrew T. Duchowski},
title = {Integrated speech and gaze control for realistic desktop environments},
booktitle = {Proceedings of the Eye Tracking Research {\&} Application Symposium,
{ETRA} 2008, Savannah, Georgia, USA, March 26-28, 2008},
pages = {79--82},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1344471.1344492},
doi = {10.1145/1344471.1344492},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etra/CastellinaCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icchp/CalvoCCCFGPV08,
author = {Andrea Calvo and
Adriano Chi{\`{o}} and
Emiliano Castellina and
Fulvio Corno and
Laura Farinetti and
Paolo Ghiglione and
Valentina Pasian and
Alessandro Vignola},
editor = {Klaus Miesenberger and
Joachim Klaus and
Wolfgang L. Zagler and
Arthur I. Karshmer},
title = {Eye Tracking Impact on Quality-of-Life of {ALS} Patients},
booktitle = {Computers Helping People with Special Needs, 11th International Conference,
{ICCHP} 2008, Linz, Austria, July 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5105},
pages = {70--77},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70540-6\_9},
doi = {10.1007/978-3-540-70540-6\_9},
timestamp = {Tue, 29 Dec 2020 18:41:22 +0100},
biburl = {https://dblp.org/rec/conf/icchp/CalvoCCCFGPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BoninoCC08,
author = {Dario Bonino and
Emiliano Castellina and
Fulvio Corno},
title = {{DOG:} An Ontology-Powered OSGi Domotic Gateway},
booktitle = {20th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1},
pages = {157--160},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICTAI.2008.115},
doi = {10.1109/ICTAI.2008.115},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BoninoCC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BoninoC08,
author = {Dario Bonino and
Fulvio Corno},
editor = {Amit P. Sheth and
Steffen Staab and
Mike Dean and
Massimo Paolucci and
Diana Maynard and
Timothy W. Finin and
Krishnaprasad Thirunarayan},
title = {DogOnt - Ontology Modeling for Intelligent Domotic Environments},
booktitle = {The Semantic Web - {ISWC} 2008, 7th International Semantic Web Conference,
{ISWC} 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5318},
pages = {790--803},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88564-1\_51},
doi = {10.1007/978-3-540-88564-1\_51},
timestamp = {Tue, 07 Sep 2021 13:47:52 +0200},
biburl = {https://dblp.org/rec/conf/semweb/BoninoC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swap/BoninoCC08,
author = {Dario Bonino and
Emiliano Castellina and
Fulvio Corno},
editor = {Aldo Gangemi and
Johannes Keizer and
Valentina Presutti and
Heiko Stoermer},
title = {Uniform Access to Domotic Environments through Semantics},
booktitle = {Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives
(SWAP2008), Rome, Italy, December 15-17, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {426},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-426/swap2008\_submission\_33.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:20 +0100},
biburl = {https://dblp.org/rec/conf/swap/BoninoCC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BoninoCP07,
author = {Dario Bonino and
Fulvio Corno and
Paolo Pellegrino},
title = {Versatile {RDF} Representation for Multimedia Semantic Search},
booktitle = {19th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 2},
pages = {32--38},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICTAI.2007.129},
doi = {10.1109/ICTAI.2007.129},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BoninoCP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vrml/BoscaBCGC07,
author = {Alessio Bosca and
Dario Bonino and
Marco Comerio and
Simone Grega and
Fulvio Corno},
editor = {Osvaldo Gervasi and
Donald P. Brutzman},
title = {A reusable 3D visualization component for the semantic web},
booktitle = {Proceeding of the Twelfth International Conference on 3D Web Technology,
Web3D 2007, Perugia, Italy, April 15-18, 2007},
pages = {89--96},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1229390.1229405},
doi = {10.1145/1229390.1229405},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vrml/BoscaBCGC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsw/BoscaCVM06,
author = {Alessio Bosca and
Fulvio Corno and
Giuseppe Valetto and
Roberta Maglione},
title = {On-the-fly Construction of Web Services Compositions from Natural
Language Requests},
journal = {J. Softw.},
volume = {1},
number = {1},
pages = {40--50},
year = {2006},
url = {https://doi.org/10.4304/jsw.1.1.40-50},
doi = {10.4304/JSW.1.1.40-50},
timestamp = {Tue, 15 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsw/BoscaCVM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PellegrinoBC06,
author = {Paolo Pellegrino and
Dario Bonino and
Fulvio Corno},
editor = {Hisham Haddad},
title = {Domotic house gateway},
booktitle = {Proceedings of the 2006 {ACM} Symposium on Applied Computing (SAC),
Dijon, France, April 23-27, 2006},
pages = {1915--1920},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1141277.1141730},
doi = {10.1145/1141277.1141730},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/PellegrinoBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swap/PellegrinoC06,
author = {Paolo Pellegrino and
Fulvio Corno},
editor = {Giovanni Tummarello and
Paolo Bouquet and
Oreste Signore},
title = {An Extensible Platform for Semantic Classification And Retrieval of
Multimedia Resources},
booktitle = {{SWAP} 2006 - Semantic Web Applications and Perspectives, Proceedings
of the 3rd Italian Semantic Web Workshop, Scuola Normale Superiore,
Pisa, Italy, 18-20 December, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {201},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-201/32.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:20 +0100},
biburl = {https://dblp.org/rec/conf/swap/PellegrinoC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tec/CornoSS05,
author = {Fulvio Corno and
Ernesto S{\'{a}}nchez and
Giovanni Squillero},
title = {Evolving assembly programs: how games help microprocessor validation},
journal = {{IEEE} Trans. Evol. Comput.},
volume = {9},
number = {6},
pages = {695--706},
year = {2005},
url = {https://doi.org/10.1109/TEVC.2005.856207},
doi = {10.1109/TEVC.2005.856207},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tec/CornoSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BoscaVMC05,
author = {Alessio Bosca and
Giuseppe Valetto and
Roberta Maglione and
Fulvio Corno},
editor = {Boualem Benatallah and
Fabio Casati and
Paolo Traverso},
title = {Specifying Web Service Compositions on the Basis of Natural Language
Requests},
booktitle = {Service-Oriented Computing - {ICSOC} 2005, Third International Conference,
Amsterdam, The Netherlands, December 12-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3826},
pages = {588--593},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11596141\_54},
doi = {10.1007/11596141\_54},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/BoscaVMC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BoscaFCCV05,
author = {Alessio Bosca and
Andrea Ferrato and
Fulvio Corno and
Ilenia Congiu and
Giuseppe Valetto},
title = {Composing Web Services on the Basis of Natural Language Requests},
booktitle = {2005 {IEEE} International Conference on Web Services {(ICWS} 2005),
11-15 July 2005, Orlando, FL, {USA}},
pages = {817--818},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICWS.2005.35},
doi = {10.1109/ICWS.2005.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/BoscaFCCV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BoninoCP05,
author = {Dario Bonino and
Fulvio Corno and
Federico Pescarmona},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Automatic learning of text-to-concept mappings exploiting WordNet-like
lexical networks},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1639--1644},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1067050},
doi = {10.1145/1066677.1067050},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/BoninoCP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/CornoSRS04,
author = {Fulvio Corno and
Ernesto S{\'{a}}nchez and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Automatic Test Program Generation: {A} Case Study},
journal = {{IEEE} Des. Test Comput.},
volume = {21},
number = {2},
pages = {102--109},
year = {2004},
url = {https://doi.org/10.1109/MDT.2004.1277902},
doi = {10.1109/MDT.2004.1277902},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/CornoSRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/AppelloFTBCRR04,
author = {Davide Appello and
Alessandra Fudoli and
Vincenzo Tancorre and
Paolo Bernardi and
Fulvio Corno and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {A BIST-based Solution for the Diagnosis of Embedded Memories Adopting
Image Processing Techniques},
journal = {J. Electron. Test.},
volume = {20},
number = {1},
pages = {79--87},
year = {2004},
url = {https://doi.org/10.1023/B:JETT.0000009315.57771.94},
doi = {10.1023/B:JETT.0000009315.57771.94},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/AppelloFTBCRR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/CornoSRS04,
author = {Fulvio Corno and
Ernesto S{\'{a}}nchez and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Code Generation for Functional Validation of Pipelined Microprocessors},
journal = {J. Electron. Test.},
volume = {20},
number = {3},
pages = {269--278},
year = {2004},
url = {https://doi.org/10.1023/B:JETT.0000029460.80721.4d},
doi = {10.1023/B:JETT.0000029460.80721.4D},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/CornoSRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/CornoRS04,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Evolutionary Simulation-Based Validation},
journal = {Int. J. Artif. Intell. Tools},
volume = {13},
number = {4},
pages = {897--916},
year = {2004},
url = {https://doi.org/10.1142/S0218213004001880},
doi = {10.1142/S0218213004001880},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/CornoRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/CornoSS04,
author = {Fulvio Corno and
Ernesto S{\'{a}}nchez and
Giovanni Squillero},
title = {On the evolution of corewar warriors},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2004, 19-23 June 2004, Portland, OR, {USA}},
pages = {133--138},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/CEC.2004.1330848},
doi = {10.1109/CEC.2004.1330848},
timestamp = {Thu, 16 Dec 2021 13:58:46 +0100},
biburl = {https://dblp.org/rec/conf/cec/CornoSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/BoninoCS04,
author = {Dario Bonino and
Fulvio Corno and
Giovanni Squillero},
title = {Dynamic optimization of semantic annotation relevance},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2004, 19-23 June 2004, Portland, OR, {USA}},
pages = {1301--1308},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/CEC.2004.1331047},
doi = {10.1109/CEC.2004.1331047},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/BoninoCS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/CornoARRV04,
author = {Fulvio Corno and
Julio P{\'{e}}rez Acle and
Mattia Ramasso and
Matteo Sonza Reorda and
Massimo Violante},
title = {Validation of the dependability of CAN-based networked systems},
booktitle = {Ninth {IEEE} International High-Level Design Validation and Test Workshop
2004, Sonoma Valley, CA, USA, November 10-12, 2004},
pages = {161--164},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HLDVT.2004.1431262},
doi = {10.1109/HLDVT.2004.1431262},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/CornoARRV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/BoninoBC04,
author = {Dario Bonino and
Alessio Bosca and
Fulvio Corno},
title = {An Agent Based Autonomic Semantic Platform},
booktitle = {1st International Conference on Autonomic Computing {(ICAC} 2004),
17-19 May 2004, New York, NY, {USA}},
pages = {189--196},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ICAC.2004.7},
doi = {10.1109/ICAC.2004.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icac/BoninoBC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BoninoCF04,
author = {Dario Bonino and
Fulvio Corno and
Laura Farinetti},
title = {Domain Specific Searches Using Conceptual Spectra},
booktitle = {16th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}},
pages = {680--687},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICTAI.2004.53},
doi = {10.1109/ICTAI.2004.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BoninoCF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-5/CornoEGNS04,
author = {Fulvio Corno and
Tina Ebey and
Anna Grabowska and
Iliana Nikolova and
Evgenia Sendova},
editor = {Carlos Delgado Kloos and
Abelardo Pardo},
title = {Impact of Technology on Learning Paradigms and Teaching Practices},
booktitle = {EDUTECH, Computer-Aided Design Meets Computer-Aided Learning, {IFIP}
18th World Computer Congress, {TC10} / {WG10.5} EduTech Workshop,
22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {151},
pages = {199--200},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8162-6\_21},
doi = {10.1007/1-4020-8162-6\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-5/CornoEGNS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-5/Corno04,
author = {Fulvio Corno},
editor = {Carlos Delgado Kloos and
Abelardo Pardo},
title = {E-learning Issues for Advanced Technical Topics},
booktitle = {EDUTECH, Computer-Aided Design Meets Computer-Aided Learning, {IFIP}
18th World Computer Congress, {TC10} / {WG10.5} EduTech Workshop,
22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {151},
pages = {201--206},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8162-6\_22},
doi = {10.1007/1-4020-8162-6\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-5/Corno04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/CornoRTE04,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Simonluca Tosato and
F. Esposito},
title = {Evaluating the Effects of Transient Faults on Vehicle Dynamic Performance
in Automotive Systems},
booktitle = {Proceedings 2004 International Test Conference {(ITC} 2004), October
26-28, 2004, Charlotte, NC, {USA}},
pages = {1332--1339},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/TEST.2004.1387408},
doi = {10.1109/TEST.2004.1387408},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/CornoRTE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BoninoCFF04,
author = {Dario Bonino and
Fulvio Corno and
Laura Farinetti and
Andrea Ferrato},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Multilingual semantic elaboration in the {DOSE} platform},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {1642--1646},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968228},
doi = {10.1145/967900.968228},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/BoninoCFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/CornoARV04,
author = {Fulvio Corno and
Julio P{\'{e}}rez Acle and
Matteo Sonza Reorda and
Massimo Violante},
editor = {Edna Natividade da Silva Barros and
Fl{\'{a}}vio Rech Wagner and
Luigi Carro and
Franz{-}Josef Rammig},
title = {A multi-level approach to the dependability analysis of networked
systems based on the {CAN} protocol},
booktitle = {Proceedings of the 17th Annual Symposium on Integrated Circuits and
Systems Design, {SBCCI} 2004, Pernambuco, Brazil, September 7-11,
2004},
pages = {71--75},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1016568.1016593},
doi = {10.1145/1016568.1016593},
timestamp = {Fri, 03 Jun 2022 10:53:26 +0200},
biburl = {https://dblp.org/rec/conf/sbcci/CornoARV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/BoninoCS03,
author = {Dario Bonino and
Fulvio Corno and
Giovanni Squillero},
title = {Dynamic prediction of Web requests},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2003, Canberra, Australia, December 8-12, 2003},
pages = {2034--2041},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/CEC.2003.1299923},
doi = {10.1109/CEC.2003.1299923},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/BoninoCS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/Corno0S03,
author = {Fulvio Corno and
Ernesto S{\'{a}}nchez and
Giovanni Squillero},
title = {Exploiting co-evolution and a modified island model to climb the Core
War hill},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2003, Canberra, Australia, December 8-12, 2003},
pages = {2217--2221},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/CEC.2003.1299947},
doi = {10.1109/CEC.2003.1299947},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/Corno0S03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornoCRS03,
author = {Fulvio Corno and
Gianluca Cumani and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Fully Automatic Test Program Generation for Microprocessor Cores},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {11006--11011},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10021},
doi = {10.1109/DATE.2003.10021},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CornoCRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/CornoTG03,
author = {Fulvio Corno and
Simonluca Tosato and
Paolo Gabrielli},
title = {System-Level Analysis of Fault Effects in an Automotive Environment},
booktitle = {18th {IEEE} International Symposium on Defect and Fault-Tolerance
in {VLSI} Systems {(DFT} 2003), 3-5 November 2003, Boston, MA, USA,
Proceedings},
pages = {529--536},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DFTVS.2003.1250152},
doi = {10.1109/DFTVS.2003.1250152},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dft/CornoTG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/CornoSR03,
author = {Fulvio Corno and
Giovanni Squillero and
Matteo Sonza Reorda},
title = {Code generation for functional validation of pipelined microprocessors},
booktitle = {8th European Test Workshop, {ETW} 2003, Maastricht, The Netherlands,
May 25-28, 2003},
pages = {113--118},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ETW.2003.1231677},
doi = {10.1109/ETW.2003.1231677},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ets/CornoSR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurogp/CornoS03,
author = {Fulvio Corno and
Giovanni Squillero},
editor = {Conor Ryan and
Terence Soule and
Maarten Keijzer and
Edward P. K. Tsang and
Riccardo Poli and
Ernesto Costa},
title = {An Enhanced Framework for Microprocessor Test-Program Generation},
booktitle = {Genetic Programming, 6th European Conference, EuroGP 2003, Essex,
UK, April 14-16, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2610},
pages = {307--316},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36599-0\_28},
doi = {10.1007/3-540-36599-0\_28},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurogp/CornoS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/CornoGT03,
author = {Fulvio Corno and
Paolo Gabrielli and
Simonluca Tosato},
title = {Relating vehicle-level and network-level reliability through high-level
fault injection},
booktitle = {Eighth {IEEE} International High-Level Design Validation and Test
Workshop 2003, San Francisco, CA, USA, November 12-14, 2003},
pages = {71--76},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HLDVT.2003.1252477},
doi = {10.1109/HLDVT.2003.1252477},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/CornoGT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ices/CornoCS03,
author = {Fulvio Corno and
F. Cumani and
Giovanni Squillero},
editor = {Andrew M. Tyrrell and
Pauline C. Haddow and
Jim T{\o}rresen},
title = {Exploiting Auto-adaptive 7GP for Highly Effective Test Programs Generation},
booktitle = {Evolvable Systems: From Biology to Hardware, 5th International Conference,
{ICES} 2003, Trondheim, Norway, March 17-20, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2606},
pages = {262--273},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36553-2\_24},
doi = {10.1007/3-540-36553-2\_24},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ices/CornoCS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BoninoCF03,
author = {Dario Bonino and
Fulvio Corno and
Laura Farinetti},
title = {{DOSE:} {A} Distributed Open Semantic Elaboration Platform},
booktitle = {15th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2003), 3-5 November 2003, Sacramento, California, {USA}},
pages = {580--588},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/TAI.2003.1250244},
doi = {10.1109/TAI.2003.1250244},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BoninoCF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CornoCRS03,
author = {Fulvio Corno and
Gianluca Cumani and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {Automatic Test Program Generation for Pipeline Processors},
booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
March 9-12, 2003, Melbourne, FL, {USA}},
pages = {736--740},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/952532.952676},
doi = {10.1145/952532.952676},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CornoCRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/BoninoCS03,
author = {Dario Bonino and
Fulvio Corno and
Giovanni Squillero},
title = {A Real-Time Evolutionary Algorithm for Web Prediction},
booktitle = {2003 {IEEE} / {WIC} International Conference on Web Intelligence,
{(WI} 2003), 13-17 October 2003, Halifax, Canada},
pages = {139--145},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/WI.2003.1241185},
doi = {10.1109/WI.2003.1241185},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/BoninoCS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BoninoCS03,
author = {Dario Bonino and
Fulvio Corno and
Giovanni Squillero},
editor = {Irwin King and
Tam{\'{a}}s M{\'{a}}ray},
title = {An Evolutionary Approach to Web Request Prediction},
booktitle = {Proceedings of the Twelfth International World Wide Web Conference
- Posters, {WWW} 2003, Budapest, Hungary, May 20-24, 2003},
year = {2003},
url = {http://www2003.org/cdrom/papers/poster/p188/p188-bonino.html},
timestamp = {Wed, 17 Jul 2013 16:59:51 +0200},
biburl = {https://dblp.org/rec/conf/www/BoninoCS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/CornoPRRS02,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Initializability analysis of synchronous sequential circuits},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {7},
number = {2},
pages = {249--264},
year = {2002},
url = {https://doi.org/10.1145/544536.544538},
doi = {10.1145/544536.544538},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/CornoPRRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/CornoCRS02,
author = {Fulvio Corno and
Gianluca Cumani and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Evolutionary Test Program Induction for Microprocessor Design Verification},
booktitle = {11th Asian Test Symposium {(ATS} 2002), 18-20 November 2002, Guam,
{USA}},
pages = {368--373},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ATS.2002.1181739},
doi = {10.1109/ATS.2002.1181739},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/CornoCRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/CornoCRS02,
author = {Fulvio Corno and
Gianluca Cumani and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Efficient machine-code test-program induction},
booktitle = {Proceedings of the 2002 Congress on Evolutionary Computation, {CEC}
2002, Honolulu, HI, USA, May 12-17, 2002},
pages = {1486--1491},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/CEC.2002.1004462},
doi = {10.1109/CEC.2002.1004462},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/CornoCRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BerrojoGCRSEL02,
author = {Luis Berrojo and
Isabel Gonz{\'{a}}lez and
Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero and
Luis Entrena and
Celia L{\'{o}}pez},
title = {New Techniques for Speeding-Up Fault-Injection Campaigns},
booktitle = {2002 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2002), 4-8 March 2002, Paris, France},
pages = {847--852},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DATE.2002.998398},
doi = {10.1109/DATE.2002.998398},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BerrojoGCRSEL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/CornoRS02,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {Stefano Cagnoni and
Jens Gottlieb and
Emma Hart and
Martin Middendorf and
G{\"{u}}nther R. Raidl},
title = {Evolutionary Techniques for Minimizing Test Signals Application Time},
booktitle = {Applications of Evolutionary Computing, EvoWorkshops 2002: EvoCOP,
EvoIASP, EvoSTIM/EvoPLAN, Kinsale, Ireland, April 3-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2279},
pages = {183--189},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46004-7\_19},
doi = {10.1007/3-540-46004-7\_19},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/evoW/CornoRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iadis/BotaCF02,
author = {Florin Bota and
Fulvio Corno and
Laura Farinetti},
title = {Hypervideo: {A} Parameterized Hotspot Approach},
booktitle = {Proceedings of the {IADIS} International Conference WWW/Internet 2002,
{ICWI} 2002, Lisbon, Portugal, November 13-15, 2002},
pages = {620--623},
publisher = {{IADIS}},
year = {2002},
timestamp = {Tue, 30 Dec 2003 11:36:37 +0100},
biburl = {https://dblp.org/rec/conf/iadis/BotaCF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/CornoFS02,
author = {Fulvio Corno and
Laura Farinetti and
Isabella Signorile},
title = {A cost-effective solution for eye-gaze assistive technology},
booktitle = {Proceedings of the 2002 {IEEE} International Conference on Multimedia
and Expo, {ICME} 2002, Lausanne, Switzerland. August 26-29, 2002.
Volume {II}},
pages = {433--436},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICME.2002.1035632},
doi = {10.1109/ICME.2002.1035632},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmcs/CornoFS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iolts/BerrojoGELCRS02,
author = {Luis Berrojo and
Isabel Gonz{\'{a}}lez and
Luis Entrena and
Celia L{\'{o}}pez and
Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Analysis of the Equivalences and Dominances of Transient Faults at
the {RT} Level},
booktitle = {8th {IEEE} International On-Line Testing Workshop {(IOLTW} 2002),
8-10 July 2002, Isle of Bendor, France},
pages = {193},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/OLT.2002.1030216},
doi = {10.1109/OLT.2002.1030216},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iolts/BerrojoGELCRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iolts/AppelloFTCRR02,
author = {Davide Appello and
Alessandra Fudoli and
Vincenzo Tancorre and
Fulvio Corno and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting
Image Processing Techniques},
booktitle = {8th {IEEE} International On-Line Testing Workshop {(IOLTW} 2002),
8-10 July 2002, Isle of Bendor, France},
pages = {206--210},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/OLT.2002.1030220},
doi = {10.1109/OLT.2002.1030220},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iolts/AppelloFTCRR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/CornoCRS02,
author = {Fulvio Corno and
Gianluca Cumani and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Automatic Test Program Generation from RT-Level Microprocessor Descriptions},
booktitle = {3rd International Symposium on Quality of Electronic Design, {ISQED}
2002, San Jose, CA, USA, March 18-21, 2002},
pages = {120--125},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ISQED.2002.996710},
doi = {10.1109/ISQED.2002.996710},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isqed/CornoCRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtdt/AppelloFTCRR02,
author = {Davide Appello and
Alessandra Fudoli and
Vincenzo Tancorre and
Fulvio Corno and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting
Image Processing Techniques},
booktitle = {10th {IEEE} International Workshop on Memory Technology, Design, and
Testing {(MTDT} 2002), 10-12 July 2002, Isle of Bendor, France},
pages = {12--16},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/MTDT.2002.1029757},
doi = {10.1109/MTDT.2002.1029757},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtdt/AppelloFTCRR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CornoRS02,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {An evolutionary algorithm for reducing integrated-circuit test application
time},
booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
March 10-14, 2002, Madrid, Spain},
pages = {608--612},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/508791.508908},
doi = {10.1145/508791.508908},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CornoRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/CornoRS02,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Reducing Test Application Time through Interleaved Scan},
booktitle = {Proceedings of the 15th Annual Symposium on Integrated Circuits and
Systems Design, {SBCCI} 2002, Porto Alegre, Brazil, September 9-14,
2002},
pages = {89--94},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://dl.acm.org/doi/10.5555/827246.827387},
doi = {10.5555/827246.827387},
timestamp = {Fri, 10 Jun 2022 11:12:41 +0200},
biburl = {https://dblp.org/rec/conf/sbcci/CornoRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/BerrojoGCSSEL02,
author = {Luis Berrojo and
Isabel Gonz{\'{a}}lez and
Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero and
Luis Entrena and
Celia L{\'{o}}pez},
title = {An Industrial Environment for High-Level Fault-Tolerant Structures
Insertion and Validation},
booktitle = {20th {IEEE} {VLSI} Test Symposium {(VTS} 2002), Without Testing It's
a Gamble, 28 April - 2 May 2002, Monterey, CA, {USA}},
pages = {229--236},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/VTS.2002.1011143},
doi = {10.1109/VTS.2002.1011143},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/BerrojoGCSSEL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/AppelloCGRR01,
author = {Davide Appello and
Fulvio Corno and
M. Giovinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {A {P1500} Compliant BIST-Based Approach to Embedded {RAM} Diagnosis},
booktitle = {10th Asian Test Symposium {(ATS} 2001), 19-21 November 2001, Kyoto,
Japan},
pages = {97--102},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ATS.2001.990266},
doi = {10.1109/ATS.2001.990266},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/AppelloCGRR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/CornoCRS01,
author = {Fulvio Corno and
Gianluca Cumani and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Effective Techniques for High-Level {ATPG}},
booktitle = {10th Asian Test Symposium {(ATS} 2001), 19-21 November 2001, Kyoto,
Japan},
pages = {225},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ATS.2001.990286},
doi = {10.1109/ATS.2001.990286},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/CornoCRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornoRSV01,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero and
Massimo Violante},
editor = {Wolfgang Nebel and
Ahmed Jerraya},
title = {On the test of microprocessor {IP} cores},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2001, Munich, Germany, March 12-16, 2001},
pages = {209--213},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DATE.2001.915026},
doi = {10.1109/DATE.2001.915026},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CornoRSV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/CornoCRS01,
author = {Fulvio Corno and
Gianluca Cumani and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {Egbert J. W. Boers and
Jens Gottlieb and
Pier Luca Lanzi and
Robert E. Smith and
Stefano Cagnoni and
Emma Hart and
G{\"{u}}nther R. Raidl and
H. Tijink},
title = {{ARPIA:} {A} High-Level Evolutionary Test Signal Generator},
booktitle = {Applications of Evolutionary Computing, EvoWorkshops 2001: EvoCOP,
EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2037},
pages = {298--306},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45365-2\_31},
doi = {10.1007/3-540-45365-2\_31},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/evoW/CornoCRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CornoRS01,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {Gary B. Lamont},
title = {Evolving effective {CA/CSTP:} {BIST} architectures for sequential
circuits},
booktitle = {Proceedings of the 2001 {ACM} Symposium on Applied Computing (SAC),
March 11-14, 2001, Las Vegas, NV, {USA}},
pages = {345--350},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/372202.372361},
doi = {10.1145/372202.372361},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CornoRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webnet/BotaFC01,
author = {Florin Bota and
Laura Farinetti and
Fulvio Corno},
editor = {Wendy A. Lawrence{-}Fowler and
Joachim Hasebrook},
title = {Interactive Visit of a Website},
booktitle = {Proceedings of WebNet 2001 - World Conference on the {WWW} and Internet,
Orlando, Florida, USA, October 23-27, 2001},
pages = {93--97},
publisher = {{AACE}},
year = {2001},
timestamp = {Thu, 21 Jun 2018 07:47:32 +0200},
biburl = {https://dblp.org/rec/conf/webnet/BotaFC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/CornoRS00,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {RT-Level ITC'99 Benchmarks and First {ATPG} Results},
journal = {{IEEE} Des. Test Comput.},
volume = {17},
number = {3},
pages = {44--53},
year = {2000},
url = {https://doi.org/10.1109/54.867894},
doi = {10.1109/54.867894},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/CornoRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/CornoRS00,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {Ali M. S. Zalzala},
title = {Exploiting the Selfish Gene algorithm for evolving hardware cellular
automata},
booktitle = {Proceedings of the 2000 Congress on Evolutionary Computation, {CEC}
2000, La Jolla, CA, USA, July 16-19, 2000},
pages = {1401--1406},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/CEC.2000.870816},
doi = {10.1109/CEC.2000.870816},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/CornoRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornoRSMP00,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero and
Alberto Manzone and
Alessandro Pincetti},
editor = {Ivo Bolsens},
title = {Automatic Test Bench Generation for Validation of RT-Level Descriptions:
An Industrial Experience},
booktitle = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March
2000, Paris, France},
pages = {385--389},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2000},
url = {https://doi.org/10.1109/DATE.2000.840300},
doi = {10.1109/DATE.2000.840300},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CornoRSMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/CornoRSV00,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero and
Massimo Violante},
title = {{CA-CSTP:} a new {BIST} architecture for sequential circuits},
booktitle = {5th European Test Workshop, {ETW} 2000, Cascais, Portugal, May 23-26,
2000},
pages = {167--172},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ETW.2000.873795},
doi = {10.1109/ETW.2000.873795},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ets/CornoRSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/CornoRS00,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {Stefano Cagnoni and
Riccardo Poli and
Yun Li and
George D. Smith and
David Corne and
Martin J. Oates and
Emma Hart and
Pier Luca Lanzi and
Egbert J. W. Boers and
Ben Paechter and
Terence C. Fogarty},
title = {Automatic Validation of Protocol Interfaces Described in {VHDL}},
booktitle = {Real-World Applications of Evolutionary Computing, EvoWorkshops 2000:
EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoROB, and EvoFlight, Edinburgh,
Scotland, UK, April 17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1803},
pages = {205--213},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45561-2\_20},
doi = {10.1007/3-540-45561-2\_20},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/evoW/CornoRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/CornoRRV00,
author = {Fulvio Corno and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Massimo Violante},
editor = {Stefano Cagnoni and
Riccardo Poli and
Yun Li and
George D. Smith and
David Corne and
Martin J. Oates and
Emma Hart and
Pier Luca Lanzi and
Egbert J. W. Boers and
Ben Paechter and
Terence C. Fogarty},
title = {Prediction of Power Requirements for High-Speed Circuits},
booktitle = {Real-World Applications of Evolutionary Computing, EvoWorkshops 2000:
EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoROB, and EvoFlight, Edinburgh,
Scotland, UK, April 17, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1803},
pages = {247--254},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45561-2\_24},
doi = {10.1007/3-540-45561-2\_24},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/evoW/CornoRRV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/CornoCRS00,
author = {Fulvio Corno and
Gianluca Cumani and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {An RT-level fault model with high gate level correlation},
booktitle = {Proceedings of the {IEEE} International High-Level Design Validation
and Test Workshop 2000, Berkeley, California, USA, November 8-10,
2000},
pages = {3--8},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/HLDVT.2000.889551},
doi = {10.1109/HLDVT.2000.889551},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/CornoCRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ices/CornoRS00,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {Julian F. Miller and
Adrian Thompson and
Peter Thomson and
Terence C. Fogarty},
title = {Evolving Cellular Automata for Self-Testing Hardware},
booktitle = {Evolvable Systems: From Biology to Hardware, Third International Conference,
{ICES} 2000, Edinburgh, Scotland, UK, April 17-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1801},
pages = {31--40},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46406-9\_4},
doi = {10.1007/3-540-46406-9\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ices/CornoRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CornoRSV00,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero and
Massimo Violante},
title = {A genetic algorithm-based system for generating test programs for
microprocessor {IP} cores},
booktitle = {12th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2000), 13-15 November 2000, Vancouver, BC, Canada},
pages = {195--198},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/TAI.2000.889869},
doi = {10.1109/TAI.2000.889869},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/CornoRSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnn/CornoRS00,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Exploiting the Selfish Gene Algorithm for Evolving Cellular Automata},
booktitle = {Proceedings of the {IEEE-INNS-ENNS} International Joint Conference
on Neural Networks, {IJCNN} 2000, Neural Computing: New Challenges
and Perspectives for the New Millennium, Como, Italy, July 24-27,
2000, Volume 6},
pages = {577--584},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/IJCNN.2000.859457},
doi = {10.1109/IJCNN.2000.859457},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcnn/CornoRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/CornoRS00,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {An improved cellular automata-based {BIST} architecture for sequential
circuits},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2000,
Emerging Technologies for the 21st Century, Geneva, Switzerland, 28-31
May 2000, Proceedings},
pages = {76--79},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ISCAS.2000.857030},
doi = {10.1109/ISCAS.2000.857030},
timestamp = {Fri, 13 Aug 2021 09:26:01 +0200},
biburl = {https://dblp.org/rec/conf/iscas/CornoRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/CornoRRSV00,
author = {Fulvio Corno and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Giovanni Squillero and
Massimo Violante},
title = {Low Power {BIST} via Non-Linear Hybrid Cellular Automata},
booktitle = {18th {IEEE} {VLSI} Test Symposium {(VTS} 2000), 30 April - 4 May 2000,
Montreal, Canada},
pages = {29--34},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/VTEST.2000.843823},
doi = {10.1109/VTEST.2000.843823},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/CornoRRSV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/CornoRS00,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {High-Level Observability for Effective High-Level {ATPG}},
booktitle = {18th {IEEE} {VLSI} Test Symposium {(VTS} 2000), 30 April - 4 May 2000,
Montreal, Canada},
pages = {411--416},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/VTEST.2000.843872},
doi = {10.1109/VTEST.2000.843872},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/CornoRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webnet/BotaCF00,
author = {Florin Bota and
Fulvio Corno and
Laura Farinetti},
editor = {Gordon Davies and
Charles B. Owen},
title = {Enhancing Interactivity for Self-Evaluation in XML-based Courseware},
booktitle = {Proceedings of WebNet 2000 - World Conference on the {WWW} and Internet,
San Antonio, Texas, USA, October 30 - November 4, 2000},
pages = {50--55},
publisher = {{AACE}},
year = {2000},
timestamp = {Mon, 15 Sep 2003 12:53:00 +0200},
biburl = {https://dblp.org/rec/conf/webnet/BotaCF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webnet/CornoFS00,
author = {Fulvio Corno and
Laura Farinetti and
Giovanni Squillero},
editor = {Gordon Davies and
Charles B. Owen},
title = {An Intelligent User Interface oriented to non-expert users},
booktitle = {Proceedings of WebNet 2000 - World Conference on the {WWW} and Internet,
San Antonio, Texas, USA, October 30 - November 4, 2000},
pages = {675--676},
publisher = {{AACE}},
year = {2000},
timestamp = {Mon, 15 Sep 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/webnet/CornoFS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/ChiusanoCP99,
author = {Silvia Chiusano and
Fulvio Corno and
Paolo Prinetto},
title = {Exploiting Behavioral Information in Gate-Level {ATPG}},
journal = {J. Electron. Test.},
volume = {14},
number = {1-2},
pages = {141--148},
year = {1999},
url = {https://doi.org/10.1023/A:1008322011010},
doi = {10.1023/A:1008322011010},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/ChiusanoCP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CornoGPRVV99,
author = {Fulvio Corno and
Uwe Gl{\"{a}}ser and
Paolo Prinetto and
Matteo Sonza Reorda and
Heinrich Theodor Vierhaus and
Massimo Violante},
title = {SymFony: a hybrid topological-symbolic {ATPG} exploiting RT-level
information},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {18},
number = {2},
pages = {191--202},
year = {1999},
url = {https://doi.org/10.1109/43.743731},
doi = {10.1109/43.743731},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CornoGPRVV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/CornoRS99,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Verifying the equivalence of sequential circuits with genetic algorithms},
booktitle = {Proceedings of the 1999 Congress on Evolutionary Computation, {CEC}
1999, Washington, DC, {USA} July 6-9, 1999},
pages = {1293--1298},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/CEC.1999.782593},
doi = {10.1109/CEC.1999.782593},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/CornoRS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/CornoRS99a,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Optimizing deceptive functions with the SG-Clans algorithm},
booktitle = {Proceedings of the 1999 Congress on Evolutionary Computation, {CEC}
1999, Washington, DC, {USA} July 6-9, 1999},
pages = {2190--2198},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/CEC.1999.785547},
doi = {10.1109/CEC.1999.785547},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cec/CornoRS99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MillanEECC99,
author = {Enrique San Mill{\'{a}}n and
Luis Entrena and
Jos{\'{e}} Alberto Espejo and
Silvia Chiusano and
Fulvio Corno},
title = {Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization},
booktitle = {1999 Design, Automation and Test in Europe {(DATE} '99), 9-12 March
1999, Munich, Germany},
pages = {516--520},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1999},
url = {https://doi.org/10.1109/DATE.1999.761175},
doi = {10.1109/DATE.1999.761175},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/MillanEECC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornoRS99,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Approximate Equivalence Verification of Sequential Circuits via Genetic
Algorithms},
booktitle = {1999 Design, Automation and Test in Europe {(DATE} '99), 9-12 March
1999, Munich, Germany},
pages = {754--755},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1999},
url = {https://doi.org/10.1109/DATE.1999.761215},
doi = {10.1109/DATE.1999.761215},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CornoRS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/CornoRRV99,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Maurizio Rebaudengo and
Massimo Violante},
title = {Optimal Vector Selection for Low Power {BIST}},
booktitle = {14th International Symposium on Defect and Fault-Tolerance in {VLSI}
Systems {(DFT} '99), November 1-3, 1999, Albuquerque, NM, USA, Proceedings},
pages = {219--226},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/DFTVS.1999.802888},
doi = {10.1109/DFTVS.1999.802888},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dft/CornoRRV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/CornoRRV99,
author = {Fulvio Corno and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Massimo Violante},
title = {A new {BIST} architecture for low power circuits},
booktitle = {4th European Test Workshop, {ETW} 1999, Constance, Germany, May 25-28,
1999},
pages = {160--164},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ETW.1999.804523},
doi = {10.1109/ETW.1999.804523},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ets/CornoRRV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/CornoRRV99,
author = {Fulvio Corno and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Massimo Violante},
editor = {Riccardo Poli and
Hans{-}Michael Voigt and
Stefano Cagnoni and
David Corne and
George D. Smith and
Terence C. Fogarty},
title = {Test Pattern Generation Under Low Power Constraints},
booktitle = {Evolutionary Image Analysis, Signal Processing and Telecommunications,
First European Workshops, EvoIASP'99 and EuroEcTel'99, G{\"{o}}teborg,
Sweden, May 26-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1596},
pages = {162--170},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10704703\_13},
doi = {10.1007/10704703\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/evoW/CornoRRV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/evoW/CornoRS99,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {Riccardo Poli and
Hans{-}Michael Voigt and
Stefano Cagnoni and
David Corne and
George D. Smith and
Terence C. Fogarty},
title = {Approximate Equivalence Verification for Protocol Interface Implementation
via Genetic Algorithms},
booktitle = {Evolutionary Image Analysis, Signal Processing and Telecommunications,
First European Workshops, EvoIASP'99 and EuroEcTel'99, G{\"{o}}teborg,
Sweden, May 26-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1596},
pages = {182--192},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10704703\_15},
doi = {10.1007/10704703\_15},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/evoW/CornoRS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/CornoRRV99,
author = {Fulvio Corno and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Massimo Violante},
title = {{ALPS:} {A} Peak Power Estimation Tool for Sequential Circuits},
booktitle = {9th Great Lakes Symposium on {VLSI} {(GLS-VLSI} '99), 4-6 March 1999,
Ann Arbor, MI, {USA}},
pages = {350--353},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/GLSV.1999.757454},
doi = {10.1109/GLSV.1999.757454},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/glvlsi/CornoRRV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/CornoRS99,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {Simulation-based sequential equivalence checking of {RTL} {VHDL}},
booktitle = {6th {IEEE} International Conference on Electronics, Circuits and Systems,
{ICECS} 1999, Pafos, Cyprus, September 5-8, 1999},
pages = {351--354},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/ICECS.1999.812295},
doi = {10.1109/ICECS.1999.812295},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/CornoRS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/ChiusanoCP99,
author = {Silvia Chiusano and
Fulvio Corno and
Paolo Prinetto},
title = {RT-level {TPG} Exploiting High-Level Synthesis Information},
booktitle = {17th {IEEE} {VLSI} Test Symposium {(VTS} '99), 25-30 April 1999, San
Diego, CA, {USA}},
pages = {341--353},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/VTEST.1999.766685},
doi = {10.1109/VTEST.1999.766685},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/ChiusanoCP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/BarbagalloMCPR98,
author = {Stefano Barbagallo and
Davide Medina and
Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {Integrating Online and Offline Testing of a Switching Memory},
journal = {{IEEE} Des. Test Comput.},
volume = {15},
number = {1},
pages = {63--70},
year = {1998},
url = {https://doi.org/10.1109/54.655184},
doi = {10.1109/54.655184},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/BarbagalloMCPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CabodiCCPR98,
author = {Gianpiero Cabodi and
Paolo Camurati and
Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {The General Product Machine: a New Model for Symbolic {FSM} Traversal},
journal = {Formal Methods Syst. Des.},
volume = {12},
number = {3},
pages = {267--289},
year = {1998},
url = {https://doi.org/10.1023/A:1008632417306},
doi = {10.1023/A:1008632417306},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CabodiCCPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/ChiusanoCP98,
author = {Silvia Chiusano and
Fulvio Corno and
Paolo Prinetto},
title = {A Test Pattern Generation Algorithm Exploiting Behavioral Information},
booktitle = {7th Asian Test Symposium {(ATS} '98), 2-4 December 1998, Singapore},
pages = {480--485},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ATS.1998.741660},
doi = {10.1109/ATS.1998.741660},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/ChiusanoCP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RudnickVECPR98,
author = {Elizabeth M. Rudnick and
Roberto Vietti and
Akilah Ellis and
Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
editor = {Patrick M. Dewilde and
Franz J. Rammig and
Gerry Musgrave},
title = {Fast Sequential Circuit Test Generation Using High-Level and Gate-Level
Techniques},
booktitle = {1998 Design, Automation and Test in Europe {(DATE} '98), February
23-26, 1998, Le Palais des Congr{\`{e}}s de Paris, Paris, France},
pages = {570--576},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/DATE.1998.655915},
doi = {10.1109/DATE.1998.655915},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/RudnickVECPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornoPRV98,
author = {Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda and
Massimo Violante},
editor = {Patrick M. Dewilde and
Franz J. Rammig and
Gerry Musgrave},
title = {Exploiting Symbolic Techniques for Partial Scan Flip Flop Selection},
booktitle = {1998 Design, Automation and Test in Europe {(DATE} '98), February
23-26, 1998, Le Palais des Congr{\`{e}}s de Paris, Paris, France},
pages = {670--677},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/DATE.1998.655930},
doi = {10.1109/DATE.1998.655930},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/CornoPRV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dft/ChiusanoCRV98,
author = {Silvia Chiusano and
Fulvio Corno and
Matteo Sonza Reorda and
Roberto Vietti},
title = {A System for Evaluating On-Line Testability at the RT-level},
booktitle = {13th International Symposium on Defect and Fault-Tolerance in {VLSI}
Systems {(DFT} '98), 2-4 November 1998, Austin, TX, USA, Proceedings},
pages = {284--291},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/DFTVS.1998.732177},
doi = {10.1109/DFTVS.1998.732177},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dft/ChiusanoCRV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/CornoRS98,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {{VEGA:} a verification tool based on genetic algorithms},
booktitle = {International Conference on Computer Design: {VLSI} in Computers and
Processors, {ICCD} 1998, Proceedings, 5-7 October, 1998, Austin, TX,
{USA}},
pages = {321--326},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICCD.1998.727069},
doi = {10.1109/ICCD.1998.727069},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/CornoRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/CornoPRRV98,
author = {Fulvio Corno and
Janak H. Patel and
Elizabeth M. Rudnick and
Matteo Sonza Reorda and
Roberto Vietti},
title = {Enhancing topological {ATPG} with high-level information and symbolic
techniques},
booktitle = {International Conference on Computer Design: {VLSI} in Computers and
Processors, {ICCD} 1998, Proceedings, 5-7 October, 1998, Austin, TX,
{USA}},
pages = {504--509},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICCD.1998.727096},
doi = {10.1109/ICCD.1998.727096},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/CornoPRRV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CornoRS98,
author = {Fulvio Corno and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {K. M. George and
Gary B. Lamont},
title = {The selfish gene algorithm: a new evolutionary optimization strategy},
booktitle = {Proceedings of the 1998 {ACM} symposium on Applied Computing, SAC'98,
Atlanta, GA, USA, February 27 - March 1, 1998},
pages = {349--355},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/330560.330838},
doi = {10.1145/330560.330838},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CornoRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/CornoGPR98,
author = {Fulvio Corno and
Nicola Gaudenzi and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {On the Identification of Optimal Cellular Automata for Built-In Self-Test
of Sequential Circuits},
booktitle = {16th {IEEE} {VLSI} Test Symposium {(VTS} '98), 28 April - 1 May 1998,
Princeton, NJ, {USA}},
pages = {424--429},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/VTEST.1998.670902},
doi = {10.1109/VTEST.1998.670902},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/CornoGPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/CornoPRR98,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {A Test Pattern Generation Methodology for Low-Power Consumption},
booktitle = {16th {IEEE} {VLSI} Test Symposium {(VTS} '98), 28 April - 1 May 1998,
Princeton, NJ, {USA}},
pages = {453--459},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/VTEST.1998.670912},
doi = {10.1109/VTEST.1998.670912},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/CornoPRR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/ChiusanoCPRR97,
author = {Silvia Chiusano and
Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {Guaranteeing Testability in Re-encoding for Low Power},
booktitle = {6th Asian Test Symposium {(ATS} '97), 17-18 November 1997, Akita,
Japan},
pages = {30--35},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ATS.1997.643912},
doi = {10.1109/ATS.1997.643912},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/ChiusanoCPRR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/CornoPRRS97,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {A Genetic Algorithm for the Computation of Initialization Sequences
for Synchronous Sequential Circuits},
booktitle = {6th Asian Test Symposium {(ATS} '97), 17-18 November 1997, Akita,
Japan},
pages = {56--61},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ATS.1997.643917},
doi = {10.1109/ATS.1997.643917},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/CornoPRRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/CornoPRRV97,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Massimo Violante},
title = {Exploiting Logic Simulation to Improve Simulation-based Sequential
{ATPG}},
booktitle = {6th Asian Test Symposium {(ATS} '97), 17-18 November 1997, Akita,
Japan},
pages = {68--73},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ATS.1997.643922},
doi = {10.1109/ATS.1997.643922},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/CornoPRRV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BaldiCRPRS97,
author = {Mario Baldi and
Fulvio Corno and
Maurizio Rebaudengo and
Paolo Prinetto and
Matteo Sonza Reorda and
Giovanni Squillero},
editor = {Hon Fung Li and
David K. Probst},
title = {Simulation-based verification of network protocols performance},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {236--251},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 18 Feb 2010 08:37:22 +0100},
biburl = {https://dblp.org/rec/conf/charme/BaldiCRPRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornoPRR97,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {New static compaction techniques of test sequences for sequential
circuits},
booktitle = {European Design and Test Conference, ED{\&}TC '97, Paris, France,
17-20 March 1997},
pages = {37--43},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/EDTC.1997.582327},
doi = {10.1109/EDTC.1997.582327},
timestamp = {Fri, 20 May 2022 15:59:03 +0200},
biburl = {https://dblp.org/rec/conf/date/CornoPRR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ChiusanoCPR97,
author = {Silvia Chiusano and
Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {Hybrid symbolic-explicit techniques for the graph coloring problem},
booktitle = {European Design and Test Conference, ED{\&}TC '97, Paris, France,
17-20 March 1997},
pages = {422--426},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/EDTC.1997.582394},
doi = {10.1109/EDTC.1997.582394},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ChiusanoCPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/BianchiCRRA97,
author = {F. Bianchi and
Fulvio Corno and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Roberto Ansaloni},
editor = {Louis O. Hertzberger and
Peter M. A. Sloot},
title = {Boolean Function Manipulation on a Parallel System Using BDDs},
booktitle = {High-Performance Computing and Networking, International Conference
and Exhibition, {HPCN} Europe 1997, Vienna, Austria, April 28-30,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1225},
pages = {916--928},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0031663},
doi = {10.1007/BFB0031663},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcn/BianchiCRRA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/CornoPRRS97,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Giovanni Squillero},
title = {A new Approach for Initialization Sequences Computation for Synchronous
Sequential Circuits},
booktitle = {Proceedings 1997 International Conference on Computer Design: {VLSI}
in Computers {\&} Processors, {ICCD} '97, Austin, Texas, USA,
October 12-15, 1997},
pages = {381--386},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICCD.1997.628898},
doi = {10.1109/ICCD.1997.628898},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/CornoPRRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BaldiCRS97,
author = {Mario Baldi and
Fulvio Corno and
Maurizio Rebaudengo and
Giovanni Squillero},
title = {GA-Based Performance Analysis of Network Protocols},
booktitle = {9th International Conference on Tools with Artificial Intelligence,
{ICTAI} '97, Newport Beach, CA, USA, November 3-8, 1997},
pages = {118--124},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/TAI.1997.632245},
doi = {10.1109/TAI.1997.632245},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BaldiCRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChuisanoCPRR97,
author = {S. Chuisano and
Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {Exploiting Symbolic Techniques within Genetic Algorithms for Power
Optimization},
booktitle = {9th International Conference on Tools with Artificial Intelligence,
{ICTAI} '97, Newport Beach, CA, USA, November 3-8, 1997},
pages = {133},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/TAI.1997.632247},
doi = {10.1109/TAI.1997.632247},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChuisanoCPRR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/CornoPR97,
author = {Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {Testability Analysis and {ATPG} on Behavioral RT-Level {VHDL}},
booktitle = {Proceedings {IEEE} International Test Conference 1997, Washington,
DC, USA, November 3-5, 1997},
pages = {753--759},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/TEST.1997.639688},
doi = {10.1109/TEST.1997.639688},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/CornoPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CornoPRR97,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
editor = {Barrett R. Bryant and
Janice H. Carroll and
Dave Oppenheim and
Jim Hightower and
K. M. George},
title = {{SAARA:} a simulated annealing algorithm for test pattern generation
for digital circuits},
booktitle = {Proceedings of the 1997 {ACM} symposium on Applied Computing, SAC'97,
San Jose, CA, USA, February 28 - March 1},
pages = {228--232},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/331697.331745},
doi = {10.1145/331697.331745},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CornoPRR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/ChiusanoCPR97,
author = {Silvia Chiusano and
Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {Cellular automata for deterministic sequential test pattern generation},
booktitle = {15th {IEEE} {VLSI} Test Symposium (VTS'97), April 27-May 1, 1997,
Monterey, California, {USA}},
pages = {60--67},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/VTEST.1997.599442},
doi = {10.1109/VTEST.1997.599442},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/ChiusanoCPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/CornoPR96,
author = {Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {Circular Self-Test Path for FSMs},
journal = {{IEEE} Des. Test Comput.},
volume = {13},
number = {4},
pages = {50--60},
year = {1996},
url = {https://doi.org/10.1109/54.544536},
doi = {10.1109/54.544536},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/CornoPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/CornoPRR96,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {{GATTO:} a genetic algorithm for automatic test pattern generation
for large synchronous sequential circuits},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {15},
number = {8},
pages = {991--1000},
year = {1996},
url = {https://doi.org/10.1109/43.511578},
doi = {10.1109/43.511578},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/CornoPRR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornoPRRM96,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
R. Mosca},
title = {Advanced Techniques for GA-based sequential ATPGs},
booktitle = {1996 European Design and Test Conference, ED{\&}TC 1996, Paris,
France, March 11-14, 1996},
pages = {375--379},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/EDTC.1996.494328},
doi = {10.1109/EDTC.1996.494328},
timestamp = {Fri, 20 May 2022 15:52:30 +0200},
biburl = {https://dblp.org/rec/conf/date/CornoPRRM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornoPR96,
author = {Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {Self-Checking and Fault Tolerant Approaches Can Help {BIST} Fault
Coverage: {A} Case Study},
booktitle = {1996 European Design and Test Conference, ED{\&}TC 1996, Paris,
France, March 11-14, 1996},
pages = {610},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/EDTC.1996.494374},
doi = {10.1109/EDTC.1996.494374},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/CornoPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/CornoPRRDISR96,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Maurizio Damiani and
Leonardo Impagliazzo and
G. Sartore},
editor = {Andrzej Hlawiczka and
Jo{\~{a}}o Gabriel Silva and
Luca Simoncini},
title = {On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical
Applications},
booktitle = {Dependable Computing - EDCC-2, Second European Dependable Computing
Conference, Taormina, Italy, October 2-4, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1150},
pages = {190--202},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61772-8\_38},
doi = {10.1007/3-540-61772-8\_38},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edcc/CornoPRRDISR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/PrinettoCR96,
author = {Paolo Prinetto and
Fulvio Corno and
Matteo Sonza Reorda},
editor = {Graham Symonds and
Wolfgang Nebel},
title = {Fault tolerant and {BIST} design of a {FIFO} cell},
booktitle = {Proceedings of the conference on European design automation, {EURO-DAC}
'96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996},
pages = {233--238},
publisher = {{IEEE} Computer Society Press},
year = {1996},
url = {https://doi.org/10.1109/EURDAC.1996.558210},
doi = {10.1109/EURDAC.1996.558210},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/PrinettoCR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/PrinettoBCRRAIM96,
author = {Paolo Prinetto and
Alfredo Benso and
Fulvio Corno and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Arturo M. Amendola and
Leonardo Impagliazzo and
P. Marmo},
editor = {Graham Symonds and
Wolfgang Nebel},
title = {Fault behavior observation of a microprocessor system through a {VHDL}
simulation-based fault injection experiment},
booktitle = {Proceedings of the conference on European design automation, {EURO-DAC}
'96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996},
pages = {536--541},
publisher = {{IEEE} Computer Society Press},
year = {1996},
url = {https://doi.org/10.1109/EURDAC.1996.558255},
doi = {10.1109/EURDAC.1996.558255},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/PrinettoBCRRAIM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/CornoPRR96,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
editor = {Heather M. Liddell and
Adrian Colbrook and
Louis O. Hertzberger and
Peter M. A. Sloot},
title = {A Parallel Genetic Algorithm for Automatic Generation of Test Sequences
for Digital Circuits},
booktitle = {High-Performance Computing and Networking, International Conference
and Exhibition, {HPCN} Europe 1996, Brussels, Belgium, April 15-19,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1067},
pages = {454--459},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61142-8\_583},
doi = {10.1007/3-540-61142-8\_583},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcn/CornoPRR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/CornoPR96,
author = {Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {A Genetic Algorithm for Automatic Generation of Test Logic for Digital
Circuits},
booktitle = {Eigth International Conference on Tools with Artificial Intelligence,
{ICTAI} '96, Toulouse, France, November 16-19, 1996},
pages = {10--16},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/TAI.1996.560394},
doi = {10.1109/TAI.1996.560394},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/CornoPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/CornoPRR96,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {Comparing Topological, Symbolic and GA-based ATPGs: An Experimental
Approach},
booktitle = {Proceedings {IEEE} International Test Conference 1996, Test and Design
Validity, Washington, DC, USA, October 20-25, 1996},
pages = {39--47},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/TEST.1996.556941},
doi = {10.1109/TEST.1996.556941},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/CornoPRR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/CornoPRR96a,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {Partial Scan Flip Flop Selection for Simulation-Based Sequential ATPGs},
booktitle = {Proceedings {IEEE} International Test Conference 1996, Test and Design
Validity, Washington, DC, USA, October 20-25, 1996},
pages = {558--564},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/TEST.1996.557088},
doi = {10.1109/TEST.1996.557088},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/CornoPRR96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppsn/CornoPRR96,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
editor = {Hans{-}Michael Voigt and
Werner Ebeling and
Ingo Rechenberg and
Hans{-}Paul Schwefel},
title = {Exploiting Competing Subpopulations for Automatic Generation of Test
Sequences for Digital Cicuits},
booktitle = {Parallel Problem Solving from Nature - {PPSN} IV, International Conference
on Evolutionary Computation. The 4th International Conference on Parallel
Problem Solving from Nature, Berlin, Germany, September 22-26, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1141},
pages = {792--800},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61723-X\_1042},
doi = {10.1007/3-540-61723-X\_1042},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppsn/CornoPRR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/BarbagalloBMCPR96,
author = {Stefano Barbagallo and
Monica Lobetti Bodoni and
Davide Medina and
Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {Scan insertion criteria for low design impact},
booktitle = {14th {IEEE} {VLSI} Test Symposium (VTS'96), April 28 - May 1, 1996,
Princeton, NJ, {USA}},
pages = {26--31},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/VTEST.1996.510831},
doi = {10.1109/VTEST.1996.510831},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/BarbagalloBMCPR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornoPRR95,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda},
title = {{GARDA:} a diagnostic {ATPG} for large synchronous sequential circuits},
booktitle = {1995 European Design and Test Conference, ED{\&}TC 1995, Paris,
France, March 6-9, 1995},
pages = {267--273},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/EDTC.1995.470385},
doi = {10.1109/EDTC.1995.470385},
timestamp = {Fri, 20 May 2022 15:41:46 +0200},
biburl = {https://dblp.org/rec/conf/date/CornoPRR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornoPR95,
author = {Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {Using symbolic techniques to find the maximum clique in very large
sparse graphs},
booktitle = {1995 European Design and Test Conference, ED{\&}TC 1995, Paris,
France, March 6-9, 1995},
pages = {320--324},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/EDTC.1995.470377},
doi = {10.1109/EDTC.1995.470377},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/CornoPR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CornoCFP95,
author = {Fulvio Corno and
Marco Cusinato and
Mario Ferrero and
Paolo Prinetto},
title = {Proving testing preorders for process algebra descriptions},
booktitle = {1995 European Design and Test Conference, ED{\&}TC 1995, Paris,
France, March 6-9, 1995},
pages = {333--339},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/EDTC.1995.470375},
doi = {10.1109/EDTC.1995.470375},
timestamp = {Fri, 20 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/CornoCFP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcn/CornoPRRV95,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Enzo Veiluva},
editor = {Louis O. Hertzberger and
Giuseppe Serazzi},
title = {A {PVM} tool for automatic test generation on parallel and distributed
systems},
booktitle = {High-Performance Computing and Networking, International Conference
and Exhibition, {HPCN} Europe 1995, Milan, Italy, May 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {919},
pages = {39--44},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0046607},
doi = {10.1007/BFB0046607},
timestamp = {Wed, 16 Mar 2022 23:55:31 +0100},
biburl = {https://dblp.org/rec/conf/hpcn/CornoPRRV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/BarbagalloCPR95,
author = {Stefano Barbagallo and
Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {Testing a Switching Memory in a Telcommunication System},
booktitle = {Proceedings {IEEE} International Test Conference 1995, Driving Down
the Cost of Test, Washington, DC, USA, October 21-25, 1995},
pages = {947--956},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/TEST.1995.529941},
doi = {10.1109/TEST.1995.529941},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/BarbagalloCPR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/CornoPRRV95,
author = {Fulvio Corno and
Paolo Prinetto and
Maurizio Rebaudengo and
Matteo Sonza Reorda and
Enzo Veiluva},
title = {A portable {ATPG} tool for parallel and distributed systems},
booktitle = {13th {IEEE} {VLSI} Test Symposium (VTS'95), April 30 - May 3, 1995,
Princeton, New Jersey, {USA}},
pages = {29--34},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/VTEST.1995.512613},
doi = {10.1109/VTEST.1995.512613},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/CornoPRRV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/CornoPRGV95,
author = {Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda and
Uwe Gl{\"{a}}ser and
Heinrich Theodor Vierhaus},
title = {Improving topological {ATPG} with symbolic techniques},
booktitle = {13th {IEEE} {VLSI} Test Symposium (VTS'95), April 30 - May 3, 1995,
Princeton, New Jersey, {USA}},
pages = {338--343},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/VTEST.1995.512658},
doi = {10.1109/VTEST.1995.512658},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/CornoPRGV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/PrinettoCR94,
author = {Paolo Prinetto and
Fulvio Corno and
Matteo Sonza Reorda},
editor = {Jean Mermet},
title = {An experimental analysis of the effectiveness of the circular self-test
path technique},
booktitle = {Proceedings EURO-DAC'94, European Design Automation Conference, Grenoble,
France, September 19-22, 1994},
pages = {246--251},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=198254},
timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/PrinettoCR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/BayolSBCP94,
author = {Catherine Bayol and
Bernard Soulas and
Dominique Borrione and
Fulvio Corno and
Paolo Prinetto},
editor = {Jean Mermet},
title = {A process algebra interpretation of a verification oriented overlanguage
of {VHDL}},
booktitle = {Proceedings EURO-DAC'94, European Design Automation Conference, Grenoble,
France, September 19-22, 1994},
pages = {506--511},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=198314},
timestamp = {Wed, 11 Nov 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurodac/BayolSBCP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/CamuratiCPBS94,
author = {Paolo Camurati and
Fulvio Corno and
Paolo Prinetto and
Catherine Bayol and
Bernard Soulas},
editor = {Robert Werner},
title = {System-Level Modeling and Verification: a Comprehensive Design Methodology},
booktitle = {{EDAC} - The European Conference on Design Automation, {ETC} - European
Test Conference, {EUROASIC} - The European Event in {ASIC} Design,
Proceedings, February 28 - March 3, 1994, Paris, France},
pages = {636--640},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/EDTC.1994.326811},
doi = {10.1109/EDTC.1994.326811},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/CamuratiCPBS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/CornoPR94,
author = {Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {Making the Circular Self-Test Path Technique Effective for Real Circuits},
booktitle = {Proceedings {IEEE} International Test Conference 1994, {TEST:} The
Next 25 Years, Washington, DC, USA, October 2-6, 1994},
pages = {949--957},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/TEST.1994.528044},
doi = {10.1109/TEST.1994.528044},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/CornoPR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/CamuratiCMP94,
author = {Paolo Camurati and
Fulvio Corno and
Michela Meo and
Paolo Prinetto},
title = {A new functional fault model for system-level descriptions},
booktitle = {12th {IEEE} {VLSI} Test Symposium (VTS'94), April 25-28, 1994, Cherry
Hill, New Jersey, {USA}},
pages = {214--219},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/VTEST.1994.292310},
doi = {10.1109/VTEST.1994.292310},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/CamuratiCMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/CabodiCCPR93,
author = {Gianpiero Cabodi and
Paolo Camurati and
Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {An approach to sequential circuit diagnosis based on formal verification
techniques},
journal = {J. Electron. Test.},
volume = {4},
number = {1},
pages = {11--17},
year = {1993},
url = {https://doi.org/10.1007/BF00971936},
doi = {10.1007/BF00971936},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/CabodiCCPR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/CamuratiCP93,
author = {Paolo Camurati and
Fulvio Corno and
Paolo Prinetto},
editor = {George J. Milne and
Laurence Pierre},
title = {A Methodology for System-Level Design for Verifiability},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {80--91},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021716},
doi = {10.1007/BFB0021716},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/CamuratiCP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chdl/CamuratiCP93,
author = {Paolo Camurati and
Fulvio Corno and
Paolo Prinetto},
editor = {David Agnew and
Luc J. M. Claesen and
Raul Camposano},
title = {Exploiting Symbolic Traversal Techniques for Efficient Process Algebra
Manipulation},
booktitle = {Computer Hardware Description Languages and their Applications, Proceedings
of the 11th {IFIP} {WG10.2} International Conference on Computer Hardware
Description Languages and their Applications - {CHDL} '93, sponsored
by {IFIP} {WG10.2} and in cooperation with {IEEE} COMPSOC, Ottawa,
Ontario, Canada, 26-28 April, 1993},
series = {{IFIP} Transactions},
volume = {{A-32}},
pages = {31--44},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 11:54:34 +0100},
biburl = {https://dblp.org/rec/conf/chdl/CamuratiCP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/CamuratiCP93,
author = {Paolo Camurati and
Fulvio Corno and
Paolo Prinetto},
title = {An efficient tool for system-level verification of behaviors and temporal
properties},
booktitle = {Proceedings of the European Design Automation Conference 1993, {EURO-DAC}
'93 with EURO-VHDL'93, Hamburg, Germany, September 20-24, 1993},
pages = {124--129},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/EURDAC.1993.410626},
doi = {10.1109/EURDAC.1993.410626},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/CamuratiCP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/CabodiCCGPR92,
author = {Gianpiero Cabodi and
Paolo Camurati and
Fulvio Corno and
Silvano Gai and
Paolo Prinetto and
Matteo Sonza Reorda},
editor = {Daniel G. Schweikert},
title = {A New Model for Improving symbolic Product Machine Traversal},
booktitle = {Proceedings of the 29th Design Automation Conference, Anaheim, California,
USA, June 8-12, 1992},
pages = {614--619},
publisher = {{IEEE} Computer Society Press},
year = {1992},
url = {http://portal.acm.org/citation.cfm?id=113938.149643},
timestamp = {Thu, 16 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/CabodiCCGPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/CabodiCCPR92,
author = {Gianpiero Cabodi and
Paolo Camurati and
Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
editor = {Gerald Musgrave},
title = {Cross-fertilizing {FSM} verification techniques and sequential diagnosis},
booktitle = {Proceedings of the conference on European design automation, {EURO-DAC}
'92, Hamburg, Germany, September 7-10, 1992},
pages = {306--311},
publisher = {{IEEE} Computer Society Press},
year = {1992},
url = {https://doi.org/10.1109/EURDAC.1992.246227},
doi = {10.1109/EURDAC.1992.246227},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/CabodiCCPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/CabodiCCPR92,
author = {Gianpiero Cabodi and
Paolo Camurati and
Fulvio Corno and
Paolo Prinetto and
Matteo Sonza Reorda},
title = {Sequential Circuit Diagnosis Based on Formal Verification Techniques},
booktitle = {Proceedings {IEEE} International Test Conference 1992, Discover the
New World of Test and Design, Baltimore, Maryland, USA, September
20-24, 1992},
pages = {187--196},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/TEST.1992.527819},
doi = {10.1109/TEST.1992.527819},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/CabodiCCPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/CamuratiCPR92,
author = {Paolo Camurati and
Fulvio Corno and
Fulvio Prinetto and
Matteo Sonza Reorda},
title = {A simulation-based approach to test pattern generation for synchronous
sequential circuits},
booktitle = {10th {IEEE} {VLSI} Test Symposium (VTS'92), 7-9 Apr 1992, Atlantic
City, NJ, {USA}},
pages = {263--267},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/VTEST.1992.232763},
doi = {10.1109/VTEST.1992.232763},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/CamuratiCPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 17:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
