Leonardo Montecchi
Associate Professor at NTNU / IDI
Software Engineering (SE)
https://www.ntnu.edu/employees/leonarmo
2025
[C31]
V. Grechi, A. de Oliveira, B. Gallina, L. Montecchi, R. Braga.
Integrating Attack-Fault Trees in the ODE Metamodel to Support Safety and Security Co-Analysis in the Automotive Domain.
In: 49th IEEE International Conference on Computers, Software, and Applications (COMPSAC 2025).
Toronto, Canada, July 8-11, 2025. To Appear
[J16]
L. Carnevali, S. Cerboni, L. Montecchi, E. Vicario.
FaultFlow: an MDE Library for Dependability Evaluation of Component-Based Systems.
In: Transactions on Dependable and Secure Computing, Vol. 22, Issue 4, pp. 3431-3448
(July 2025).
[W16]
L. Carnevali, R. German, L. Montecchi, L. Scommegna, E. Vicario.
The Pyramis Library: Efficient Numerical Evaluation of Hierarchical UML Statecharts applied to Stochastic Workflows.
In: 21st European Performance Engineering Workshop (EPEW 2025).
Catania, Italy, June 26, 2025. To Appear
2024
[C30]
A. Rehman, R. Hjelsvold, L. Montecchi.
A Case Study on Student Perspective of Peer Code Review (PCR).
In: 36th Norwegian ICT Conference for Research and Education (NIKT 2024).
Bergen, Norway, November 25-27, 2024.
[C29]
L. Montecchi.
Shaping a Modern Programming Paradigms Course for Advanced University Students.
In: 36th Norwegian ICT Conference for Research and Education (NIKT 2024).
Bergen, Norway, November 25-27, 2024.
[C28]
T. Zoppi, F. Khokhar, L. Montecchi, A. Ceccarelli, A. Bondavalli.
Fail-Controlled Classifiers: Do they Know when they don’t Know?.
In: 29th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2024), pp. 43-54.
Osaka, Japan, November 13-15, 2024.
[W15]
A. Ceccarelli, L. Montecchi.
Better and safer autonomous driving with predicted object relevance.
In: The 2nd IEEE International Workshop on Reliable and Secure AI for Software Engineering (ReSAISE 2024), pp. 239-336.
Tsukuba, Japan, October 28, 2024.
[C27]
A. Rønnestad, A. Ceccarelli, L. Montecchi.
Validation of Safety Metrics for Object Detectors in Autonomous Driving.
In: 39th Annual ACM Symposium on Applied Computing (SAC 2024), pp. 1559-1568.
Avila, Spain, April 8-12, 2024.
2023
[J15]
F. Mariotti, A. Bondavalli, P. Lollini, L. Montecchi, S. Nardi.
An extension of the ADVISE Meta Modeling Framework and its application for an early-stage security analysis of a Public Transport Supervision System.
In: Journal of Reliable Intelligent Environments, Vol. 9, pp. 263-281
(June 2023).
[J14]
A. Ceccarelli, L. Montecchi.
Evaluating Object (Mis)Detection From a Safety and Reliability Perspective: Discussion and Measures.
In: IEEE Access, Vol. 11, pp. 44952-44963
(May 2023).
[J13]
E. Rodrigues Jr., J. Pereira, L. Montecchi.
A Model-Driven Approach for the Management and Enforcement of Coding Conventions.
In: IEEE Access, Vol. 11, pp. 25735-25754
(March 2023).
2022
[W14]
S. Gozalez, J. Osorio, G. González, D. Cuellar, C. Gomez, F. Mariotti, L. Montecchi, P. Lollini.
Modeling attacker behavior in Cyber-Physical-Systems.
In: 3rd Workshop on vAlidation and verification in FuturE cybeR-physical Systems (WAFERS 2022), pp. 117-124.
Fortaleza, CE, Brazil, November 23-24, 2022.
[J12]
M. de Araujo, L. da Silva, Á. Sobrinho, P. Cunha, L. Montecchi.
Reliability Analysis of Multi-parameter Monitoring Systems for Intensive Care Units.
In: Reliability Engineering & System Safety, Vol. 226, pp. 1-12
(October 2022).
[C26]
F. Mariotti, M. Tavanti, L. Montecchi, P. Lollini.
Extending a security ontology framework to model CAPEC attack paths and TAL adversary profiles.
In: 18th European Dependable Computing Conference (EDCC 2022), pp. 25-32.
Zaragoza, Spain, September 12-15, 2022.
[C25]
L. Bressan, A. de Oliveira, F. Campos, L. Montecchi, R. Capilla, D. Parker, K. Aslansefat, Y. Papadopoulos.
Modeling the Variability of System Safety Analysis using State-Machine Diagrams.
In: 8th International Symposium on Model-Based Safety and Assessment (IMBSA 2022), pp. 43-59.
Munich, Germany, September 5-7, 2022.
[J11]
B. Gallina, L. Montecchi, A. de Oliveira, L. Bressan.
Multiconcern Dependability-Centered Assurance via Qualitative and Quantitative Coanalysis.
In: IEEE Software, Vol. 39, Issue 4, pp. 39-47
(July 2022).
Magazine
[J10]
L. Montecchi, P. Lollini, A. Bondavalli.
Stochastic Activity Networks Templates: Supporting Variability in Performability Models.
In: IEEE Transactions on Reliability, Vol. 71, Issue 2, pp. 640-656
(June 2022).
[R2]
A. Ceccarelli, L. Montecchi.
Evaluating the Consequences of Object (mis)Detection from a Safety and Reliability Perspective: Discussion and Measures.
Technical Report. arXiv:2203.02205.
March 4, 2022.
2021
[C24]
G. Lopes, L. Montecchi.
Characterizing and Injecting Faults in Executable Models Specified with fUML.
In: 10th Latin-American Symposium on Dependable Computing (LADC 2021), pp. 1-10.
Florianopolis, SC, Brazil, November 22-26, 2021.
[C23]
J. Casquina, L. Montecchi.
A Proposal for Organizing Source Code Variability in the Git Version Control System.
In: 25th ACM International Systems and Software Product Line Conference (SPLC 2021), pp. 82-88.
Leicester, UK, September 6-11, 2021.
Short Paper
2020
[C22]
L. Leal, L. Montecchi, A. Ceccarelli, E. Martins.
Using Metamodels to Improve Model-Based Testing of Service Orchestrations.
In: 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020), pp. 130-139.
Perth, Australia, December 1-4, 2020.
[C21]
E. Rodrigues Jr., L. Montecchi, A. Ceccarelli.
Model-Driven Fault Injection in Java Source Code.
In: 31st International Symposium on Software Reliability Engineering (ISSRE 2020), pp. 414-425.
Coimbra, Portugal, October 12-15, 2020.
[W13]
L. Montecchi, P. Lollini, F. Moncini, K. Keefe.
An Eclipse-Based Editor for SAN Templates.
In: 12th International Workshop on Software Engineering for Resilient Systems (SERENE 2020), pp. 159-167.
Munich, Germany, September 7, 2020.
Tool Paper
[C20]
S. Venero, B. Schmerl, L. Montecchi, J. dos Reis, C. Rubira.
Automated Planning for Supporting Knowledge-Intensive Processes.
In: 21st International Conference on Business Process Modeling, Development and Support (BPMDS 2020), pp. 101-116.
Grenoble, France, June 8-9, 2020.
[R1]
L. Montecchi, P. Lollini, A. Bondavalli.
Stochastic Activity Networks Templates: Supporting Variability in Performability Models.
Technical Report. arXiv:2006.09291.
June 7, 2020.
[J9]
L. Montecchi, P. Lollini, A. Bondavalli.
A Template-Based Methodology for the Specification and Automated Composition of Performability Models.
In: IEEE Transactions on Reliability, Vol. 69, Issue 1, pp. 293-309
(March 2020).
2019
[J8]
L. Ramos, G. Divino, G. Lopes, B. de França, L. Montecchi, E. Colombini.
The RoCS Framework to Support the Development of Autonomous Robots.
In: Journal of Software Engineering Research and Development, Vol. 7, pp. 10:1-10:14
(December 2019).
[C19]
E. Rodrigues Jr., L. Montecchi.
Towards a Structured Specification of Coding Conventions.
In: 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019), pp. 168-177.
Kyoto, Japan, December 1-3, 2019.
[W12]
N. Laranjero, C. Gomez, E. Schiavone, L. Montecchi, M. Carvalho, P. Lollini, Z. Micskei.
Addressing Verification and Validation Challenges in Future Cyber-Physical Systems.
In: 1st Workshop on vAlidation and verification in FuturE cybeR-physical Systems (WAFERS 2019), pp. 1-2.
Natal, RN, Brazil, November 21, 2019.
Invited Short Paper
[O2]
L. Montecchi, L. Arantes.
Message from the Program Chairs.
In: 9th Latin-American Symposium on Dependable Computing (LADC 2019), pp. 1-1.
Natal, RN, Brazil, November 19-21, 2019.
[J7]
D. Sierra, L. Montecchi, I. Mura.
Stochastic Modeling and Analysis of Vapor Cloud Explosions Domino Effects in Chemical Plants.
In: Journal of the Brazilian Computer Society, Vol. 25, pp. 11:1-11:19
(October 2019).
[C18]
L. Leal, L. Montecchi, A. Ceccarelli, E. Martins.
Exploiting MDE for Platform-Independent Testing of Service Orchestrations.
In: 15th European Dependable Computing Conference (EDCC 2019), pp. 149-152.
Naples, Italy, September 17-20, 2019.
Short Paper
[W11]
T. Basso, H. Silva, L. Montecchi, B. de França, R. Moraes.
Towards trustworthy cloud service selection: monitoring and assessing data privacy.
In: XX Workshop de Testes e Tolerância a Falhas (WTF 2019), pp. 7-20.
Gramado, RS, Brazil, May 6, 2019.
[C17]
L. Ramos, G. Divino, B. de França, L. Montecchi, E. Colombini.
The RoCS Framework to Support the Development of Autonomous Robots.
In: XXII Ibero-American Conference on Software Engineering (CIBSE 2019), pp. 251-264.
Havana, Cuba, April 22-23, 2019.
[C16]
S. Venero, L. Montecchi, J. dos Reis, C. Rubira.
Towards a Metamodel for Supporting Decisions in Knowledge-Intensive Processes.
In: 34th ACM/SIGAPP Symposium On Applied Computing (SAC 2019), pp. 75-84.
Limassol, Cyprus, April 8-12, 2019.
2018
[C15]
D. Sierra, J. Briceño, H. Buitrago, B. Rozo, L. Montecchi, I. Mura.
Probabilistic Modeling of Failure Domino Effects in Chemical Plants.
In: 8th Latin-American Symposium on Dependable Computing (LADC 2018), pp. 57-66.
Foz do Iguaçu, PR, Brazil, October 8-10, 2018.
[C14]
E. Rodrigues Jr., R. Durelli, R. de Bettio, L. Montecchi, R. Terra.
Refactorings for Replacing Dynamic Instructions with Static ones: The Case of Ruby.
In: XXII Simpósio Brasileiro de Linguagens de Programação (SBLP 2018), pp. 59-66.
São Carlos, SP, Brazil, September 20-21, 2018.
[C13]
L. Bressan, A. de Oliveira, L. Montecchi, B. Gallina.
A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence.
In: 14th European Dependable Computing Conference (EDCC 2018), pp. 49-56.
Iași, Romania, September 10-14, 2018.
[J6]
T. Basso, L. Montecchi, R. Moraes, M. Jino, A. Bondavalli.
PrivAPP: An Integrated Approach for the Design of Privacy-Aware Applications.
In: Software: Practice and Experience, Vol. 48, Issue 3, pp. 449-527
(March 2018).
[J5]
A. Bondavalli, A. Ceccarelli, P. Lollini, L. Montecchi, M. Mori.
System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions.
In: IEEE Systems Journal, Vol. 12, Issue 1, pp. 250-261
(March 2018).
2017
[C12]
L. Montecchi, B. Gallina.
SafeConcert: a Metamodel for a Concerted Safety Modeling of Socio-Technical Systems.
In: 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), pp. 129-144.
Trento, Italy, September 11-13, 2017.
[B3]
V. Bonfiglio, F. Brancati, F. Rossi, A. Bondavalli, L. Montecchi, A. Pataricza, I. Kocsis, V. Molnár.
Composable Framework Support for Software-FMEA Through Model Execution.
In: Certifications of Critical Systems - The CECRIS Experience (Ed. by A. Bondavalli, F. Brancati).
Chapter 9, pp. 183-200.
River Publishers. September 1, 2017.
[W10]
L. Montecchi, P. Lollini, A. Ceccarelli.
Assessing the Impact of Cascading Failures in Urban Electricity Networks.
In: International Workshop on Challenges and Solutions for Critical In astructure Protection (CSCIP 2017), pp. 324-329.
Exeter, UK, June 21, 2017.
2016
[O1]
L. Montecchi, I. Mura, B. Neto, C. Rubira.
Message of the WDES 2016 Workshop Chairs.
In: Workshop on Dependability in Evolving Systems (WDES 2016), pp. xiii-ix.
Cali, Colombia, October 20-20, 2016.
[C11]
R. Bernini, A. Bondavalli, P. Lollini, L. Montecchi.
Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes.
In: 12th European Dependable Computing Conference (EDCC 2016), pp. 197-207.
Gothenburg, Sweden, September 5-9, 2016.
[J4]
N. Veeraraghavan, L. Montecchi, N. Nostro, R. Vitenberg, H. Meling, A. Bondavalli.
Modeling QoE in Dependable Tele-immersive Applications: A Case Study of World Opera.
In: IEEE Transactions on Parallel and Distributed Systems, Vol. 27, Issue 9, pp. 2667-2681
(September 2016).
[W9]
T. Ussami, E. Martins, L. Montecchi.
D-MBTDD: An Approach for Reusing Test Artefacts in Evolving Systems.
In: 3rd International Workshop on Recent Advances in the DependabIlity Assessment of Complex Systems (RADIANCE 2016), pp. 39-46.
Toulouse, France, June 28, 2016.
[C10]
L. Montecchi, A. Refsdal, P. Lollini, A. Bondavalli.
A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain.
In: 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016), pp. 2158-3927.
Toulouse, France, June 28-July 1, 2016.
2015
[C9]
T. Basso, L. Montecchi, R. Moraes, M. Jino, A. Bondavalli.
Towards a UML Profile for Privacy-Aware Applications.
In: 15th IEEE International Conference on Computer and Information Technology (CIT 2015), pp. 371-378.
Liverpool, UK, October 26-28, 2015.
[W8]
R. Azzolini, C. Rubira, L. Tizzei, F. Gaia, L. Montecchi.
Evolving a Software Products Line for E-commerce Systems: a Case Study.
In: Workshop on Variability for Qualities in Software Architecture (VAQUITA 2015), pp. 26:1-26:7.
Dubrovnik, Croatia, September 7, 2015.
[W7]
V. Bonfiglio, L. Montecchi, I. Irrera, F. Rossi, P. Lollini, A. Bondavalli.
Software Faults Emulation at Model-Level: Towards Automated Software FMEA.
In: 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015), pp. 133-140.
Rio de Janeiro, RJ, Brazil, June 22, 2015.
[W6]
L. Montecchi, P. Lollini, A. Bondavalli.
Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System.
In: 2nd International Workshop on Recent Advances in the DependabIlity Assessment of Complex Systems (RADIANCE 2015), pp. 33-38.
Rio de Janeiro, RJ, Brazil, June 22, 2015.
[J3]
A. Ceccarelli, L. Montecchi, F. Brancati, P. Lollini, A. Marguglio, A. Bondavalli.
Continuous and Transparent User Identity Verification for Secure Internet Services.
In: IEEE Transactions on Dependable and Secure Computing, Vol. 12, Issue 3, pp. 270-283
(May 2015).
[C8]
V. Bonfiglio, L. Montecchi, F. Rossi, P. Lollini, A. Pataricza, A. Bondavalli.
Executable Models to Support Automated Software FMEA.
In: 16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), pp. 189-196.
Daytona Beach Shores, FL, USA, January 8-10, 2015.
[J2]
L. Montecchi, N. Nostro, A. Ceccarelli, G. Vella, A. Caruso, A. Bondavalli.
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform.
In: Electronic Notes in Theoretical Computer Science, Vol. 310, pp. 113-133
(January 2015).
2014
[C7]
L. Montecchi, P. Lollini, A. Bondavalli.
A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models.
In: 10th European Dependable Computing Conference (EDCC 2014), pp. 82-93.
Newcastle upon Tyne, UK, May 13-16, 2014.
2013
[C6]
L. Montecchi, P. Lollini, A. Bondavalli.
A Reusable Modular Toolchain for Automated Dependability Evaluation.
In: 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013), pp. 298-303.
Torino, Italy, December 10-12, 2013.
Tool Paper
[W5]
V. Bonfiglio, L. Montecchi, F. Rossi, A. Bondavalli.
On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262.
In: 2nd Workshop on Critical Automotive applications: Robustness & Safety (CARS 2013).
Toulouse, France, September 24-27, 2013.
[W4]
L. Montecchi, A. Ceccarelli, P. Lollini, A. Bondavalli.
Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system.
In: 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2013), pp. 1-10.
Paderborn, Germany, June 19-21, 2013.
[C5]
N. Veeraraghavan, L. Montecchi, N. Nostro, A. Bondavalli, R. Vitenberg, H. Meling.
Understanding the Quality of Experience in Modern Distributed Interactive Multimedia Applications in Presence of Failures: Metrics and Analysis.
In: 28th Annual ACM Symposium on Applied Computing (SAC 2013), pp. 439-446.
Coimbra, Portugal, March 18-22, 2013.
2012
[C4]
L. Montecchi, P. Lollini, B. Malinowsky, J. Grønbæk, A. Bondavalli.
Model-based Analysis of a Protocol for Reliable Communication in Railway Worksites.
In: 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2012), pp. 23-32.
Paphos, Cyprus, October 21-25, 2012.
[W3]
L. Montecchi, P. Lollini, A. Bondavalli, E. La Mattina.
Quantitative Security Evaluation of a Multi-biometric Authentication System.
In: Workshop on Dependable and Secure Computing for Large-scale Complex Critical Infrastructures (DESEC4LCCI 2012), pp. 209-221.
Magdeburg, Germany, September 24-28, 2012.
[B2]
A. Bondavalli, P. Lollini, I. Majzik, L. Montecchi.
Modelling and model-based assessment.
In: Resilience Assessment and Evaluation of Computing Systems (Ed. by K. Wolter, A. Avritzer, M. Vieira, A. van Morsel).
Chapter 7, pp. 153-165.
Springer. July 1, 2012.
[B1]
A. Bondavalli, P. Lollini, L. Montecchi.
Graphical formalisms for modeling critical infrastructures.
In: Critical In astructure Security: Assessment, Prevention, Detection, Response (Ed. by F. Flammini).
Chapter 4, pp. 57-73.
WIT Press. January 1, 2012.
2011
[C3]
L. Montecchi, P. Lollini, A. Bondavalli.
Towards a MDE Transformation Workflow for Dependability Analysis.
In: 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011), pp. 157-166.
Las Vegas, NV, USA, April 29-27, 2011.
[W2]
L. Montecchi, P. Lollini, A. Bondavalli.
Dependability Concerns in Model-Driven Engineering.
In: 2nd IEEE International Workshop on Object/Component/Service-Oriented Real-Time Networked Ultra-Dependable Systems (WORNUS 2011), pp. 254-263.
Newport Beach, CA, USA, March 28-31, 2011.
[T1]
L. Montecchi, A. Bondavalli.
Metodi Combinatori.
In: L’Analisi Quantitativa dei Sistemi Critici (Ed. by A. Bondavalli).
, pp. 59-91.
Esculapio Bologna. January 1, 2011.
2010
[W1]
A. Ceccarelli, J. Grønbæk, L. Montecchi, H.-P. Schwefel, A. Bondavalli.
Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments.
In: 1st IEEE International Workshop on Object/Component/Service-Oriented Real-Time Networked Ultra-Dependable Systems (WORNUS 2010), pp. 184-193.
Carmona, Spain, May 4-7, 2010.
2009
[J1]
A. Bondavalli, P. Lollini, L. Montecchi.
QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis.
In: Journal of Software, Vol. 4, Issue 7, pp. 675-685
(September 2009).
2008
[C2]
P. Lollini, L. Montecchi, M. Magyar, I. Majzik, A. Bondavalli.
Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems.
In: Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008).
Budpest, Hungary, October 9-10, 2008.
[C1]
A. Bondavalli, P. Lollini, L. Montecchi.
Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults.
In: IFIP International Workshop on Software Technolgies for Embedded and Ubiquitous Systems (SEUS 2008), pp. 186-197.
Anacapri, Italy, October 1-3, 2008.
© 2017-2024 Leonardo Montecchi