MARIANI LEONARDO
- U14, Piano: 2, Stanza: 2039
Su appuntamento.
Biografia
Leonardo Mariani è professore ordinario presso l’Università degli Studi di Milano dal 2018 Bicocca, presso la quale ha ottenuto il titolo di dottore di ricerca nell’anno 2005. Durante il dottorato ha trascorso un periodo in visita presso l’Università di Paderborn.
Leonardo Mariani si occupa di ingegneria del software e in modo particolare di test del software, analisi statica e dinamica del software, debugging automatico, progetto di sistemi self-healing e generazione automatica di fix. Leonardo Mariani è stato autore di più di cento lavori apparsi nelle più importanti riviste e conferenze del settore, come ad esempio ICSE, ESEC/FSE, ISSTA, TOSEM e TSE.
Leonardo Mariani è stato chair di diverse track e conferenze, incluse MOBILESoft 2020 e RV 2019.
Leonardo Mariani ha vinto l'ERC Consolidator Grant 2014 e l’ERC PoC Grant 2018. Inoltre è stato nominato IEEE Senior Member nel 2016.
Leonardo Mariani è dal 2020 associate editor della rivista IEEE Transactions on Software Engineering.
Leonardo Mariani è stato coordinatore del progetto PRIN 2015 “GAUSS” - Governing Adaptive and Unplanned Systems of Systems, è stato responsabile scientifico e coordinatore dei team attivi sui progetti ERC Consolidator Grant 2014 “LEARN” - Learning From Failing and Passing Executions At the Speed of Internet e ERC PoC “AST” – Automatic System Testing. Inoltre, Leonardo Mariani è stato il responsabile scientifico dei progetti europei H2020 Innovation Action “NGPaaS” – Next Generation Platform as a Service e EU STREP FP7 “PINCETTE” - Validating Changes and Upgrades in Networked Software.
Leonardo Mariani è stato rappresentante dell’Università degli Studi di Milano - Bicocca nel CDA del Cluster Regionale Lombardo Smart Cities & Communities. Leonardo Mariani è il responsabile dell’unità locale del laboratorio CINI Smart Cities & Communities.
Leonardo Mariani è dal 2019 coordinatore del dottorato di ricerca in Informatica.
Pubblicazioni
Clerissi, D., Denaro, G., Mobilio, M., Mariani, L. (2024). Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1-18 [10.1109/TSE.2024.3366586]. Dettaglio
Tundo, A., Mobilio, M., Riganelli, O., Mariani, L. (2024). Monitoring Probe Deployment Patterns for Cloud-Native Applications: Definition and Empirical Assessment. IEEE TRANSACTIONS ON SERVICES COMPUTING, 1-19 [10.1109/TSC.2024.3349648]. Dettaglio
Riganelli, O., Micucci, D., Mariani, L. (2024). Automatic testing of runtime enforcers with Test4Enforcers. THE JOURNAL OF SYSTEMS AND SOFTWARE, 210(April 2024) [10.1016/j.jss.2023.111949]. Dettaglio
Cornejo, O., Briola, D., Micucci, D., Ginelli, D., Mariani, L., Santos Parrilla, A., et al. (2024). A family of experiments about how developers perceive delayed system response time. SOFTWARE QUALITY JOURNAL [10.1007/s11219-024-09660-w]. Dettaglio
Clerissi, D., Rocco, J., Di Ruscio, D., Di Sipio, C., Ihirwe, F., Mariani, L., et al. (2023). Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques. In Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023 (pp.520-529). Institute of Electrical and Electronics Engineers Inc. [10.1109/MODELS-C59198.2023.00089]. Dettaglio
Progetti di ricerca
Premi e responsabilità scientifiche
Premi
- ICSE Distinguished Reviewer Award, Program Committee of the ICSE Conference, 2023
- Most Influential Paper, ICST Conference, 2023
- Distinguished Artifact Award, International Symposium on Software Testing and Analysis (ISSTA), 2020, 2020
- ERC Proof-of-Concept Grant, European Commission, 2018
- IEEE Senior Member, IEEE (The Institute of Electrical and Electronics Engineers), 2016
- ICSE Distinguished Reviewer Award, Program Committee of the ICSE Conference, 2015
- ERC Consolidator Grant, European Community, 2015
- Best paper award, CSMR organizing committee, 2013
Comitati editoriali
- Membro del Comitato Editoriale - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2020
- Guest Editor di rivista o collana editoriale - SOFTWARE QUALITY JOURNAL, 2017
- Membro del Comitato Editoriale - JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT, 2016 - 2019
- Membro del Comitato Editoriale - RECENT PATENTS ON COMPUTER SCIENCE, 2016 - 2018
Incarichi di insegnamento o ricerca
- Visiting Researcher - Visiting professor presso TU Wien. - Technische Universität Wien, 2022
- Visiting Researcher - Visiting researcher, posizione finanziata dalla European Network of Excellence Segravis - Universität Paderborn, 2004
Congressi/Convegni
- Program chair - International Symposium on Software Reliability Engineering (ISSRE)(Cina), 2021
- Program chair - 7th IEEE/ACM International Conference on Mobile Software Engineering and Systems(Corea del Sud), 2020
- Program chair - International Conferece on Runtime Verification(Portogallo), 2019
- Program committee - Haiva Verification Conference, Award Committee(Israele), 2017
- Program committee - International Conference on Automated Software Engineering (ASE), Tool Demo Track(Stati Uniti), 2017
- Partecipazione al comitato organizzativo - International Conference on Software Reliability Engineering (ISSRE)(Francia), 2017
- Program committee - 28th International Symposium on Software Reliability Engineering (ISSRE)(Francia), 2017
- Program committee - 17th International Conference on Runtime Verification (RV)(Stati Uniti), 2017
- Program committee - 38th International Conference on Software Engineering (ICSE)(Argentina), 2017
- Program committee - International Workshop on Automation of Software Test (AST)(Argentina), 2017