Claudio MENGHI

Ricercatore universitario a tempo determinato

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione

Settore Scientifico Disciplinare: SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI (ING-INF/05)

Contatti

Telefono: +39 0352052236

E-mail:

claudio.menghi@unibg.it

Sede di lavoro:

DALMINE-VIALE MARCONI

Stanza B303 - edificio B

Insegnamenti

Anno accademico: 2022/2023

PROGRAMMAZIONE AD OGGETTI
Anno di corso: 1 - CFU 6 crediti - Corso di laurea: INGEGNERIA INFORMATICA

Pubblicazioni

Boufaied Chaima, Menghi Claudio, Bianculli Domenico, Briand Lionel; (2023) Trace Diagnostics for Signal-based Temporal Properties, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, pp. 1 - 25, https://doi.org/10.1109/TSE.2023.3242588, Dettaglio
Menghi Claudio, Tsigkanos Christos, Askarpour Mehrnoosh, Pelliccione Patrizio, Vazquez Gricel, Calinescu Radu, Garcia Sergio; (2023) Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, pp. 2741 - 2760, https://doi.org/10.1109/TSE.2022.3230059, Dettaglio
Viger T., Murphy L., Di Sandro A., Menghi Claudio, Shahin R., Chechik M.; (2022) The ForeMoSt approach to building valid model-based safety arguments, SOFTWARE AND SYSTEMS MODELING, pp. 1 - 22, https://doi.org/10.1007/s10270-022-01063-4, Dettaglio
Gaaloul K., Menghi Claudio, Nejati S., Briand L. C., Parache Y. I.; (2022) Combining Genetic Programming and Model Checking to Generate Environment Assumptions, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, pp. 3664 - 3685, https://doi.org/10.1109/TSE.2021.3101818, Dettaglio
Askarpour M., Tsigkanos C., Menghi Claudio, Calinescu R., Pelliccione P., Garcia S., Caldas R., Von Oertzen T. J., Wimmer M., Berardinelli L., Rossi M., Bersani M. M., Rodrigues G. S.; (2021) RoboMAX: Robotic Mission Adaptation eXemplars, Proceedings - 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2021, pp. 245 - 251, https://doi.org/10.1109/SEAMS51251.2021.00040, Dettaglio
Cardoso Rafael C., Ferrando Angelo, Briola Daniela, Menghi Claudio, Ahlbrecht Tobias; (2021) Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020, JOURNAL OF SENSOR AND ACTUATOR NETWORKS, pp. 1 - 24, https://doi.org/10.3390/jsan10020033, Dettaglio
Ernst Gidon, Arcaini Paolo, Bennani Ismail, Chandratre Aniruddh, Donze Alexandre, Fainekos Georgios, Frehse Goran, Gaaloul Khouloud, Inoue Jun, Khandait Tanmay, Mathesen Logan, Menghi Claudio, Pedrielli Giulia, Pouzet Marc, Waga Masaki, Yaghoubi Shakiba, Yamagata Yoriyuki, Zhang Zhenya; (2021) ARCH-COMP 2021 Category Report: Falsification with Validation of Results, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), pp. 133 - 152, https://doi.org/10.29007/xwl1, Dettaglio
Menghi Claudio, Viganò Enrico, Bianculli Domenico, Briand Lionel; (2021) Trace-checking CPS properties: Bridging the cyber-physical gap, Proceedings: 2021 IEEE/ACM 43rd International Conference on Software Engineering, pp. 847 - 859, https://doi.org/10.1109/ICSE43902.2021.00082, Dettaglio
Menghi Claudio, Viganò Enrico, Bianculli Domenico, Briand Lionel; (2021) ThEodorE: A Trace Checker for CPS Properties, 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings, pp. 183 - 184, https://doi.org/10.1109/ICSE-Companion52605.2021.00079, Dettaglio
Dragule Swaib, Berger Thorsten, Menghi Claudio, Pelliccione Patrizio; (2021) A survey on the design space of end-user-oriented languages for specifying robotic missions, SOFTWARE AND SYSTEMS MODELING, pp. 1123 - 1158, https://doi.org/10.1007/s10270-020-00854-x, Dettaglio
Menghi Claudio, Tsigkanos Christos, Pelliccione Patrizio, Ghezzi Carlo, Berger Thorsten; (2021) Specification Patterns for Robotic Missions, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, pp. 2208 - 2224, https://doi.org/10.1109/TSE.2019.2945329, Dettaglio
Menghi Claudio, Rizzi Alessandro Maria, Bernasconi Anna, Spoletini Paola; (2021) TOrPEDO: witnessing model correctness with topological proofs, FORMAL ASPECTS OF COMPUTING, pp. 1039 - 1066, https://doi.org/10.1007/s00165-021-00564-1, Dettaglio
Menghi Claudio, Rizzi Alessandro Maria, Bernasconi Anna; (2020) Integrating topological proofs with model checking to instrument iterative design, Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, pp. 53 - 74, https://doi.org/10.1007/978-3-030-45234-6_3, Dettaglio
Gaaloul Khouloud, Menghi Claudio, Nejati Shiva, Briand Lionel C., Wolfe David; (2020) Mining Assumptions for Software Components using Machine Learning, ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 159 - 171, https://doi.org/10.1145/3368089.3409737, Dettaglio
Boufaied Chaima, Menghi Claudio, Bianculli Domenico, Briand Lionel, Parache Yago Isasi; (2020) Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach, ASE '20: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, pp. 1004 - 1015, https://doi.org/10.1145/3324884.3416631, Dettaglio

Form di ricerca

Form di ricerca

Anno accademico: 2022/2023