Leonardo Montecchi received his Bachelor and Master degree in Computer Science from the University of Firenze, Italy, in 2007 and 2010, respectively. In April 2014 he received the Ph.D. in Computer Science, Systems and Telecommunications at the same university, under the supervision of Prof. Andrea Bondavalli.

His research activity revolves around different aspect of modeling of complex systems, including formal models, performability analysis, and model-driven engineering. His research interest focus on the modeling and evaluation of critical systems and infrastructures. In particular, he is interested in techniques to mitigate system complexity and model largeness, both in model construction and solution.

Since June 2017 he is an Assistant Professor at the University of Campinas (UNICAMP) in Campinas, Brazil.

• Journal L. Montecchi, P. Lollini and A. Bondavalli. "A Template-Based Methodology for the Specification and Automated Composition of Performability Models", IEEE Transactions on Reliability, Vol. 69, March, 2020, pp. 293-309. [More] 
• Conference L. Leal, L. Montecchi, A. Ceccarelli and E. Martins. "Using metamodels to improve model-based testing of service orchestrations". Pacific Rim International Symposium on Dependable Computing (PRDC 2020). 2020. [More] 
• Conference E. Rodrigues, L. Montecchi and A. Ceccarelli. "Model-Driven Fault Injection in Java Source Code". 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE). 2020. pp. 414-425. [More] 
• Conference L. Montecchi, P. Lollini, F. Moncini and K. Keefe. "An Eclipse-Based Editor for SAN Templates". Dependable Computing - EDCC 2020 Workshops. Bernardi et al eds. 2020. pp. 159-167. [More] 
• Conference N. Laranjeiro et al.. "Addressing Verification and Validation Challenges in Future Cyber-Physical Systems". 2019 9th Latin-American Symposium on Dependable Computing (LADC). 2019. pp. 1-2. [More] 
• Conference L. Leal, L. Montecchi, A. Ceccarelli and E. Martins. "Exploiting MDE for platform-independent testing of service orchestrations". 2019. pp. 149-152. [More] 
• Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "Stochastic Activity Networks Templates". Resilient Computing Lab. Technical Report RCL180401. 2018. [More] 
• Conference L. Montecchi and B. Gallina. "SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems". Model-Based Safety and Assessment. IMBSA 2017. 2017. pp. 129-144. [More] 
• Conference L. Montecchi, P. Lollini and A. Ceccarelli. "Assessing the Impact of Cascading Failures in Urban Electricity Networks". 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). 2017. pp. 324-329. [More] 
• Journal T. Basso, L. Montecchi, R. Moraes, M. Jino and A. Bondavalli. "PrivAPP: An Integrated Approach for the Design of Privacy-Aware Applications". 2017. [More] 
• Conference R. Bernini, A. Bondavalli, P. Lollini and L. Montecchi. "Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes". Proceedings of the 12th European Dependable Computing Conference (EDCC2016). 2016. pp. 197-207. [More] 
• Journal N. R. Veeraragavan, L. Montecchi, N. Nostro, R. Vitenberg, H. Meling and A. Bondavalli. "Modeling QoE in Dependable Tele-immersive Applications: A Case Study of World Opera", IEEE Transactions on Parallel and Distributed Systems (IEEE TPDS), Vol. 27, September, 2016, pp. 2667-2681. [More] 
• Conference T. H. Ussami, E. Martins and L. Montecchi. "D-MBTDD: An Approach for Reusing Test Artefacts in Evolving Systems". Proceedings of the RADIANCE Workshop 2016. 2016. pp. 39-46. [More] 
• Conference L. Montecchi, A. Refsdal, P. Lollini and A. Bondavalli. "A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain". Proceedings of the 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'16). 2016. pp. 275-286. [More] 
• Journal A. Bondavalli, A. Ceccarelli, P. Lollini, L. Montecchi and M. Mori. "System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions", IEEE Systems Journal, Vol. To appear. 2016. [More] 
• Technical Report L. Montecchi, N. Nostro, N. R. Veeraragavan, R. Vitenberg, H. Meling and A. Bondavalli. "Stochastic Activity Networks model for the evaluation of the World Opera system". University of Florence, RCL Group. Technical Report RCL131001. 2015. [More] 
• Conference R. P. Azzolini, C. M. Rubira, L. P. Tizzei, F. N. Gaia and L. Montecchi. "Evolving a Software Products Line for E-commerce Systems: a Case Study". Proceedings of the Workshop on Variability for Qualities in Software Architecture (VAQUITA 2015). 2015. pp. 26:1-26:7. [More] 
• Conference V. Bonfiglio, L. Montecchi, I. Irrera, F. Rossi, P. Lollini and A. Bondavalli. "Software Faults Emulation at Model-Level: Towards Automated Software FMEA". 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015). 2015. pp. 133-140. [More] 
• Conference L. Montecchi, P. Lollini and A. Bondavalli. "Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System". International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE'15). 2015. pp. 33-38. [More] 
• Journal A. Ceccarelli, L. Montecchi, F. Brancati, P. Lollini, A. Marguglio and A. Bondavalli. "Continuous and Transparent User Identity Verification for Secure Internet Services", IEEE Transactions on Dependable and Secure Computing, Vol. 12, May-June, 2015, pp. 270-283. [More] 
• Journal L. Montecchi, N. Nostro, A. Ceccarelli, G. Vella, A. Caruso and A. Bondavalli. "Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform", Electronic Notes in Theoretical Computer Science, Vol. 310, January, 2015, pp. 113-133. [More] 
• Conference T. Basso, L. Montecchi, R. Moraes, M. Jino and A. Bondavalli. "Towards a UML Profile for Privacy-Aware Applications". The 15th IEEE International Conference on Computer and Information Technology (CIT-2015). 2015. pp. 371-378. [More] 
• Conference V. Bonfiglio, L. Montecchi, F. Rossi, P. Lollini, A. Pataricza and A. Bondavalli. "Executable Models to Support Automated Software FMEA". Proceedings of the IEEE 16th International Symposium on High Assurance Systems Engineering (HASE'15). 2015. pp. 189-196. [More] 
• Conference L. Montecchi, P. Lollini and A. Bondavalli. "A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models". Proceedings of the 10th European Dependable Computing Conference (EDCC'14). 2014. pp. 82-93. [More] 
• PhD Thesis L. Montecchi. "A Methodology and Framework for Model-Driven Dependability Analysis of Critical Embedded Systems and Directions Towards Systems of Systems". Ph.D. thesis. Università degli Studi di Firenze. Dottorato in Informatica, Sistemi e Telecomunicazioni (XXVI ciclo). March 25th, 2014. Supervisor(s): A. Bondavalli. [More] 
• Conference L. Montecchi, P. Lollini and A. Bondavalli. "A Reusable Modular Toolchain for Automated Dependability Evaluation". Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2013). 2013. pp. 298-303. [More] 
• Conference V. Bonfiglio, L. Montecchi, F. Rossi and A. Bondavalli. "On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262". Proceedings of Workshop CARS (2nd Workshop on Critical Automotive applications: Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security. 2013. [More] 
• Conference L. Montecchi, A. Ceccarelli, P. Lollini and A. Bondavalli. "Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system". 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT'13). 2013. [More] 
• Technical Report V. Bonfiglio, L. Montecchi, F. Rossi and A. Bondavalli. "A Methodological Approach for Rigorous Assessment of Software Architectures within ISO26262". University of Florence, RCL Group. Technical Report RCL130401. 2013. [More] 
• Conference N. R. Veeraragavan, L. Montecchi, N. Nostro, A. Bondavalli, R. Vitenberg and H. Meling. "Understanding the Quality of Experience in Modern Distributed Interactive Multimedia Applications in Presence of Failures: Metrics and Analysis". 28th ACM Symposium On Applied Computing (SAC 2013) - Track on Dependable and Adaptive Distributed Systems (DADS). 2013. pp. 439-446. [More] 
• Conference L. Montecchi, P. Lollini, A. Bondavalli and E. L. Mattina. "Quantitative Security Evaluation of a Multi-Biometric Authentication System". SAFECOMP 2012 Workshop Proceedings. 2012. [More] 
• Book Chapter A. Bondavalli, P. Lollini, I. Majzik and L. Montecchi. "Modelling and model-based assessment". In K. Wolter, A. Avritzer, M. Vieira and A. van Moorsel. (eds), Resilience Assessment and Evaluation of Computing Systems. Springer. 2012. [More] 
• Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "ADVISE model for the security evaluation of the CASHMA multi-biometric authentication system". Technical Report RCL120301. 2012. [More] 
• Book Chapter A. Bondavalli, P. Lollini and L. Montecchi. "Graphical formalisms for modeling critical infrastructures". In F. Flammini (ed), Critical Infrastructure Security: Assessment, Prevention, Detection, Response. Ashurst Lodge, Ashurst, Southampton, UK : WIT Press. 2012. pp. 57-73. [More] 
• Conference L. Montecchi, P. Lollini, B. Malinowsky, J. Grønbæk and A. Bondavalli. "Model-based Analysis of a Protocol for Reliable Communication in Railway Worksites". Proceedings of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM'12). 2012. [More] 
• Technical Report L. Montecchi, P. Lollini and A. Bondavalli. "An Intermediate Dependability Model for state-based dependability analysis". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl101115. 2011. [More] 
• Book Chapter A. Bondavalli and L. Montecchi. "Metodi Combinatori". In A. Bondavalli (ed), L'Analisi Quantitativa dei Sistemi Critici. Esculapio. 2011. [More] 
• Conference L. Montecchi, P. Lollini and A. Bondavalli. "Towards a MDE Transformation Workflow for Dependability Analysis". 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2011). 2011. [More] 
• Conference L. Montecchi, P. Lollini and A. Bondavalli. "Dependability Concerns in Model-Driven Engineering". 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2011). 2011. [More] 
• Master's Thesis L. Montecchi. "Un Modello Intermedio di Dependability Integrabile in un Processo di Model-Driven Engineering". Master's thesis. Università degli Studi di Firenze. Corso di Laurea in Scienze e Tecnologie dell'Informazione. October 27th, 2010. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
• Conference A. Ceccarelli, J. Grønbæk, L. Montecchi, H.-P. Schwefel and A. Bondavalli. "Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments". 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW 2010). 2010. pp. 184 -193. [More] 
• Journal A. Bondavalli, P. Lollini and L. Montecchi. "QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis", Journal of Software, Vol. 4, September, 2009, pp. 675-685. [More] 
• Conference P. Lollini, L. Montecchi, M. Magyar, I. Majzik and A. Bondavalli. "Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems". Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008). 2008. [More] 
• Technical Report P. Lollini, L. Montecchi, M. Magyar, I. Majzik and A. Bondavalli. "Assessing the impact of cyclic/acyclic EVC-DMI interactions in Automatic Train Control systems". University of Florence, Dip. Sistemi Informatica, RCL group. Technical Report rcl080401. 2008. [More] 
• Book Chapter A. Bondavalli, P. Lollini and L. Montecchi. "Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults". In 6th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008). Springer Verlag. 2008. [More] 
• Other L. Montecchi. "Analisi e valutazione di reti UMTS". Bachelor's thesis. Università degli Studi di Firenze. Corso di Laurea in Informatica. April 27th, 2007. Supervisor(s): A. Bondavalli, Co-Supervisor(s): P. Lollini. [More] 
• Technical Report P. Lollini, L. Montecchi and A. Bondavalli. "On the evaluation of hidenets use-cases having phased behavior". Universita' degli Studi di Firenze, Dipartimento di Sistemi e Informatica. Technical Report RCL-071201. 2007. [More]