CV Lattes
ResearcherID
ORCID
Google Scholar Citations
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação (IC) (Instituição Sede da última proposta de pesquisa) País de origem: Itália
Leonardo Montecchi é Professor Associado na Norwegian University of Science and Technology (NTNU), na Noruega. Anteriormente (2017-2021) tem atuado como Professor Doutor no Instituto de Computação (IC) da Universidade Estadual de Campinas (UNICAMP). Possui doutorado em Ciência da Computação, Sistemas e Telecomunicações (2014) pela Università degli Studi di Firenze (Itália), mestrado em Ciência da Computação (2010) e graduação em Ciência da Computação (2007) pela Università degli Studi di Firenze (Itália). Tem interesse de pesquisas em vários aspectos da modelagem de sistemas complexos, incluindo modelos formais, análise de desempenho e engenharia dirigida por modelos. Atualmente, investiga técnicas de engenharia dirigida por modelo para apoiar o desenvolvimento e V&V de sistemas, com foco especial em sistemas e infraestruturas críticas. Outras áreas de pesquisa em que é involvido incluem técnicas para mitigar a grandeza dos modelos e técnicas inovadoras para modelagem de aspectos de segurança. Já participou em vários projetos de pesquisa internacionais, como o ARTEMIS-2008-1-100022 "CHESS", ARTEMIS-2012-1-333053 "CONCERTO", FP7-PEOPLE-2013-IRSES-612569 "DEVASSES" e FP7-ICT-2013-10-610535 "AMADEOS". Atualmente, está envolvido do projeto de mobilidade H2020-MSCA-RISE-2018-823788 "ADVANCE". (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
A avaliação baseada em modelos desempenha um papel fundamental na avaliação de dependability e performability dos sistemas. A modelagem permite que o sistema seja analisado em diferentes níveis de abstração e sob diferentes condições, mas sem exercitar o sistema real. As Redes de Petri Estocásticas e suas extensões são um formalismo matemático amplamente utilizado para avaliar propriedade…
As convenções de codificação fazem parte de qualquer processo estruturado de desenvolvimento de software. Elas podem ser estabelecidas por vários motivos, desde a melhoria da legibilidade do código até a prevenção da introdução de falhas de segurança. Como muitos outros artefatos no processo de desenvolvimento, as convenções de codificação vêm na forma de documentos textuais escritos em l…
As convenções de codificação impõem restrições ao código-fonte e podem ser estabelecidas por várias razões, desde melhorar a legibilidade do código até evitar a introdução de defeitos. Como muitos outros artefatos em um processo de desenvolvimento de software, as convenções de codificação geralmente vêm na forma de documentos textuais escritos em linguagem natural, possivelmente com exemp…