Leonardo Montecchi

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

leonardo@ic.unicamp.br

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

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) Naples, Italy, September 17-20, 2019. To Appear
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.

Other

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