Leonardo Montecchi

Assistant Professor at Institute of Computing of UNICAMP
Laboratory for Software Engineering and Reliability (LASER)


Journal Articles

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).
L. Montecchi, P. Lollini, A. Bondavalli. A Template-Based Methodology for the Specification and Automated Composition of Performability Models. In: IEEE Transactions on Reliability (2019).
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).
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).
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).
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).
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).
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).

Conference Papers

E. Rodrigues Jr., L. Montecchi. Towards a Structured Specification of Coding Conventions. In: 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019) Kyoto, Japan, December 1-3, 2019. To Appear
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.
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.
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.
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, Brazil, October 8-10, 2018.
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, Brazil, September 20-21, 2018.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.

Workshop Papers

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.
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.
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.
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.
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, Brazil, June 22, 2015.
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, Brazil, June 22, 2015.
V. Bonfiglio, L. Montecchi, F. Rossi, A. Bondavalli. On the Need of a Methodological Approach for the Assessment of So ware Architectures within ISO26262. In: 2nd Workshop on Critical Automotive applications: Robustness & Safety (CARS 2013). Toulouse, France, September 24-27, 2013.
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.
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.
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.
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.

Book Chapters

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.
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.
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.

Teaching Material

L. Montecchi, A. Bondavalli. Metodi Combinatori. In: L’Analisi Quantitativa dei Sistemi Critici (Ed. by A. Bondavalli). , pp. 59-91. Esculapio Bologna. 2011.


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.

© 2017-2019 Leonardo Montecchi