Leonardo Montecchi
Associate Professor at NTNU / IDI
Software Engineering (SE)
https://www.ntnu.edu/employees/leonarmo
Associate Professor at NTNU / IDI
Software Engineering (SE)
https://www.ntnu.edu/employees/leonarmo
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
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
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
© 2017-2024 Leonardo Montecchi