Luca Cristoforetti

According to our database, Luca Cristoforetti authored at least 18 papers between 1993 and 2024.

Collaborative distances:

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

2024

Towards the Formal Verification of SysML v2 Models.

Vince Molnár, Bence Graics, András Vörös, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Köthe, John Hester, Jamie Smith, Christoph Grimm

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

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 14th Annual Conference of the International Speech Communication Association, 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

1998

Using Metrics to Identify Design Patterns in Object-Oriented Software.

Giuliano Antoniol, Roberto Fiutem, Luca Cristoforetti

Proceedings of the 5th IEEE International Software Metrics Symposium (METRICS 1998), 1998

Design Pattern Recovery in Object-Oriented Software.

Giuliano Antoniol, Roberto Fiutem, Luca Cristoforetti

Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

Adapting Function Points to Object-Oriented Information Systems.

Giuliano Antoniol, F. Calzolari, Luca Cristoforetti, Roberto Fiutem, Gianluigi Caldiera

Proceedings of the Advanced Information Systems Engineering, 1998

1993

Quantitative colorimetric analysis of liquid crystal films (LCF) for phantom dosimetry in microwave hyperthermia.

Luca Cristoforetti, Rolando Pontalti, Lorenza Cescatti, Renzo Antolini

IEEE Trans. Biomed. Eng., 1993