Leonardo Montecchi

Ongoing Projects

Past Projects

Principal Investigator

• FAPESP-2019/02144-6: A Methodology to Support Reuse in the Specification of Performability Models
  https://bv.fapesp.br/en/auxilios/104488/
  FAPESP-2019/02144-6
  Start: 6/2019 - End: 11/2021

Local Coordinator

• ADVANCE: Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
  http://advance-rise.eu/
  https://laser.ic.unicamp.br/tag/advance/
  https://cordis.europa.eu/project/rcn/219168/factsheet/en
  EU-H2020-MSCA-RISE-2018-823788
  Start: 1/2019 - End: 12/2022

Team Member

• DEVASSES: DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS
  https://devasses.dei.uc.pt/
  https://cordis.europa.eu/project/rcn/109521/en
  EU-FP7-PEOPLE-2013-IRSES-612569
  Start: 1/2014 - End: 12/2017

• AMADEOS: Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of-Systems
  http://amadeos-project.eu/
  EU-FP7-ICT-2013-10-610535
  Start: 10/2013 - End: 9/2016

• CONCERTO: Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems
  http://www.concerto-project.org/
  EU-FP7-ARTEMIS-2012-1-333053
  Start: 5/2013 - End: 4/2016

• CHESS: Composition with Guarantees for High-integrity Embedded Software Components aSsembly
  http://chess-project.org/
  EU-FP7-ARTEMIS-2008-1-100022
  Start: 3/2010 - End: 3/2012

• ALARP: A railway automatic track warning system based on distributed personal mobile terminals
  https://cordis.europa.eu/project/id/234088
  EU-FP7-SST-2008-RTD-1-234088
  Start: 1/2010 - End: 4/2013