CV Lattes
ResearcherID
ORCID
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Institutional affiliation from the last research proposal) Birthplace: Itália
Leonardo Montecchi is Associate Professor at the Norwegian University of Science and Technology (NTNU), Norway. Previously (2017-2021) he was Assistant Professor at the Institute of Computing (IC) of the University of Campinas (UNICAMP). He owns a PhD in Computer Science, Systems and Telecommunications, received from University of Firenze, Italy, in 2014. He received his Master's and Bachelor's in Computer Science from the same university in 2010 and 2007, respectively. His research interests revolve around different aspect of the modeling of complex systems, including formal models, performability analysis, and model-driven engineering. Currently, he focuses on applying model-driven engineering techniques to support the development and V&V of systems, with a particular focus on critical systems and infrastructures. Other research areas in which he is involved are techniques to mitigate model largeness, and innovative techniques for the modeling of security and software dependability aspects. He participated in differente international research projects, including ARTEMIS-2008-1-100022 "CHESS", ARTEMIS-2012-1-333053 "CONCERTO", FP7-PEOPLE-2013-IRSES-612569 "DEVASSES" and FP7-ICT-2013-10-610535 "AMADEOS". He is currently involved in the H2020 interchange project H2020-MSCA-RISE-2018-823788 "ADVANCE". (Source: Lattes Curriculum)
| News published in Agência FAPESP Newsletter about the researcher |
| More itemsLess items |
| TITULO |
| Articles published in other media outlets ( ): |
| More itemsLess items |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Model-based evaluation plays a key role in dependability and performability evaluation of systems. Modeling allows the system to be analyzed at different levels of abstractions and in different conditions, without actually exercising the real system. Stochastic Petri Nets (SPN) and their extensions are a widely used methamatical formalism to evaluate non-functional properties across diffe…
Coding conventions are part of any structured software development process, and can be established for many reasons, ranging from improving readability of code to avoiding the introduction of security and safety flaws. Like many other artifacts in the development process, coding conventions come in the form of textual documents written in natural language, possibly with code examples. It …
Coding conventions impose restrictions on source code, and can be established for many reasons, ranging from improving the readability of code to avoiding the introduction of security and safety flaws. Like many other artifacts in a software development process, coding conventions mostly come in the form of textual documents written in natural language, possibly with code examples. It has…
| 2 / 2 | Completed research grants |
| 1 / 1 | Completed scholarships in Brazil |
| 1 / 1 | Completed scholarships abroad |
| 4 / 4 | All research grants and scholarships |
| Associated processes | |