Leonardo Montecchi
About
I joined the Department of Computer Science at NTNU in January 2022. Before, I spent almost 5 years at the the Institute of Computing of the University of Campinas, in Brazil, working with the LASER research group.
My education and Ph.D are from the University of Firenze, in Italy, which is also my home city. I started my journey in research in 2008 with the researchers of the Resilient Computing Lab, who introduced me to the dependability area.
In my research I work with different kind of modeling and programming languages, to improve the safety and security of complex systems.
Research
My expertise revolves around different aspect of the modeling of complex systems, including formal models, probabilistic models, and model-driven engineering. I am mostly interested in safety-critical and mission-critical application domains (e.g., automotive, space, oil&gas) and System-of-Systems (SoS) architectures.
Currently, my research interests focus on applying model-driven engineering techniques to support the development and V&V of resilient systems, with a particular focus on automating quantitative performability analysis, and on formalizing system development artifacts using domain-specific languages.
Publications
An overview of my publications can be found in my Scopus or Google Scholar profiles.
An open PDF version of all my publications (with a couple of exceptions) is also available on my personal webpage. Feel free to contact me if you have questions or comments.
Below you also find a link to my profile on Cristin; however the list there may not be particularly up to date or complete.
2023
-
Mariotti, Francesco;
Bondavalli, Andrea;
Lollini, Paolo;
Montecchi, Leonardo;
Nardi, Simone.
(2023)
An extension of the ADVISE Meta modeling framework and its application for an early-stage security analysis of a public transport supervision system.
Journal of Reliable Intelligent Environments
Academic article
-
Ceccarelli, Andrea;
Montecchi, Leonardo.
(2023)
Evaluating Object (Mis)Detection From a Safety and Reliability Perspective: Discussion and Measures.
IEEE Access
Academic article
-
de Oliveira Rodrigues Jr., Elder;
D'Abruzzo Pereira, José;
Montecchi, Leonardo.
(2023)
A Model-Driven Approach for the Management and Enforcement of Coding Conventions.
IEEE Access
Academic article
Journal publications
-
Mariotti, Francesco;
Bondavalli, Andrea;
Lollini, Paolo;
Montecchi, Leonardo;
Nardi, Simone.
(2023)
An extension of the ADVISE Meta modeling framework and its application for an early-stage security analysis of a public transport supervision system.
Journal of Reliable Intelligent Environments
Academic article
-
Ceccarelli, Andrea;
Montecchi, Leonardo.
(2023)
Evaluating Object (Mis)Detection From a Safety and Reliability Perspective: Discussion and Measures.
IEEE Access
Academic article
-
de Oliveira Rodrigues Jr., Elder;
D'Abruzzo Pereira, José;
Montecchi, Leonardo.
(2023)
A Model-Driven Approach for the Management and Enforcement of Coding Conventions.
IEEE Access
Academic article
Teaching
Courses
Here at NTNU I am currently teaching "Programming Languages" (TDT4165) and "Advanced Software Design" (TDT4250).
In the past I have taught courses on different topics, including "Object-Oriented Programming", "Software Engineering", "Software Verification Validation and Testing", and "Model-Driven Software Engineering". I have also held a course on "Scientific Writing" for Master's and PhD students.