Leonardo Montecchi

Associate Professor at NTNU / IDI
Information Systems and Software Engineering (ISSE)
https://www.ntnu.edu/employees/leonarmo

leonardo.montecchi@ntnu.no

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). Avila, Spain, April 8-12, 2024. To Appear

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 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 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. 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. 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-2022 Leonardo Montecchi