Login



Leonardo Montecchi

Position: Alumni (Former Members) Montecchi, Leonardo
Email: This e-mail address is being protected from spambots. You need JavaScript enabled to view it
Description:

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.

Google Scholar LinkedIn ReserchGate DBLP Scopus

Recent Publications

  • 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] 
 

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web