Luca Cristoforetti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
8
Active years
1998–2026
Best venue rank
B
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MODELSWARD | A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins. | Luca Cristoforetti, Alessandro Flori, Tommaso Fonda, Kostantinos Kapellos, Andrea Micheli, Stefano Tonetta, Alessandro Valentini |
| 2024 | MODELS | Towards the Formal Verification of SysML v2 Models. | Vince Molnr, Bence Graics, Andrs Vrs, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Kthe, John Hester, Jamie Smith, Christoph Grimm |
| 2023 | TACAS | 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 |
| 2022 | MODELS | A comprehensive framework for the analysis of automotive systems. | Alessandro Cimatti, Sara Corfini, Luca Cristoforetti, Marco Di Natale, Alberto Griggio, Stefano Puri, Stefano Tonetta |
| 2015 | ASRU | 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 |
| 2014 | LREC | The DIRHA simulated corpus. | Luca Cristoforetti, Mirco Ravanelli, Maurizio Omologo, Alessandro Sosi, Alberto Abad, Martin Hagmueller, Petros Maragos |
| 2013 | Interspeech | Embedding speech recognition to control lights. | Alessandro Sosi, Fabio Brugnara, Luca Cristoforetti, Marco Matassoni, Mirco Ravanelli, Maurizio Omologo |
| 2010 | LREC | DICIT: Evaluation of a Distant-talking Speech Interface for Television. | Timo Sowa, Fiorenza Arisio, Luca Cristoforetti |
| 2008 | LREC | WOZ Acoustic Data Collection for Interactive TV. | Alessio Brutti, Luca Cristoforetti, Walter Kellermann, Lutz Marquardt, Maurizio Omologo |
| 2003 | ICASSP | Use of parallel recognizers for robust in-car speech interaction. | Luca Cristoforetti, Marco Matassoni, Maurizio Omologo, Piergiorgio Svaizer |
| 2000 | LREC | Annotation of a Multichannel Noisy Speech Corpus. | Luca Cristoforetti, Marco Matassoni, Maurizio Omologo, Piergiorgio Svaizer, Enrico Zovato |
| 1998 | CaiSE | Adapting Function Points to Object-Oriented Information Systems. | Giuliano Antoniol, F. Calzolari, Luca Cristoforetti, Roberto Fiutem, Gianluigi Caldiera |