Luca Cristoforetti

According to our database, Luca Cristoforetti authored at least 13 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

EVA: a Tool for the Compositional Verification of AUTOSAR Models.

Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

A comprehensive framework for the analysis of automotive systems.

Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2017

A System for Asessing Children Readings as School.

Stefano Artuso, Luca Cristoforetti, Daniele Falavigna, Roberto Gretter, Nadia Mana, Gianluca Schiavo

Proceedings of the 7th ISCA International Workshop on Speech and Language Technology in Education, 2017

2015

The DIRHA-ENGLISH corpus and related tasks for distant-speech recognition in domestic environments.

Mirco Ravanelli, Luca Cristoforetti, Roberto Gretter, Marco Pellin, Alessandro Sosi, Maurizio Omologo

Proceedings of the 2015 IEEE Workshop on Automatic Speech Recognition and Understanding, 2015

2014

The DIRHA simulated corpus.

Luca Cristoforetti, Mirco Ravanelli, Maurizio Omologo, Alessandro Sosi, Alberto Abad, Martin Hagmueller, Petros Maragos

Proceedings of the Ninth International Conference on Language Resources and Evaluation, 2014

2013

Embedding speech recognition to control lights.

Alessandro Sosi, Fabio Brugnara, Luca Cristoforetti, Marco Matassoni, Mirco Ravanelli, Maurizio Omologo

Proceedings of the INTERSPEECH 2013, 2013

2011

The SCENIC Project: Environment-aware Sound Sensing and Rendering.

Paolo Annibale, Fabio Antonacci, Paolo Bestagini, Alessio Brutti, Antonio Canclini, Luca Cristoforetti, Emanuël Anco Peter Habets, Walter Kellermann, Konrad Kowalczyk, Anthony Lombard, Edwin Mabande, Dejan Markovic, Patrick A. Naylor, Maurizio Omologo, Rudolf Rabenstein, Augusto Sarti, Piergiorgio Svaizer, Mark R. P. Thomas

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

2010

WOZ acoustic data collection for interactive TV.

Alessio Brutti, Luca Cristoforetti, Walter Kellermann, Lutz Marquardt, Maurizio Omologo

Lang. Resour. Evaluation, 2010

DICIT: Evaluation of a Distant-talking Speech Interface for Television.

Timo Sowa, Fiorenza Arisio, Luca Cristoforetti

Proceedings of the International Conference on Language Resources and Evaluation, 2010

2007

The CHIL audiovisual corpus for lecture and meeting analysis inside smart rooms.

Djamel Mostefa, Nicolas Moreau, Khalid Choukri, Gerasimos Potamianos, Stephen M. Chu, Ambrish Tyagi, Josep R. Casas, Jordi Turmo, Luca Cristoforetti, Francesco Tobia, Aristodemos Pnevmatikakis, Vasileios Mylonakis, Fotios Talantzis, Susanne Burger, Rainer Stiefelhagen, Keni Bernardin, Cedrick Rochet

Lang. Resour. Evaluation, 2007

2005

Speaker Localization in CHIL Lectures: Evaluation Criteria and Results.

Maurizio Omologo, Piergiorgio Svaizer, Alessio Brutti, Luca Cristoforetti

Proceedings of the Machine Learning for Multimodal Interaction, 2005

2003

Use of parallel recognizers for robust in-car speech interaction.

Luca Cristoforetti, Marco Matassoni, Maurizio Omologo, Piergiorgio Svaizer

Proceedings of the 2003 IEEE International Conference on Acoustics, 2003

2000

Annotation of a Multichannel Noisy Speech Corpus.

Luca Cristoforetti, Marco Matassoni, Maurizio Omologo, Piergiorgio Svaizer, Enrico Zovato

Proceedings of the Second International Conference on Language Resources and Evaluation, 2000