Recent Projects involving FMT

  • ADVENTURE: ADVancEd iNtegraTed evalUation of Railway systEms.
    MUR-PRIN-PNRR P2022A492B, 2023-2025

  • STENDHAL: Spatio-Temporal Enhancement of Neural nets for Deeply Hierarchical Automatised Logic.
    MUR-PRIN 20228KXFN2, 2023-2025

  • THE: Tuscany Health Ecosystem, Spoke 3: Advanced technologies, methods and materials for human health and well-being.
    PNRR-NextGenerationEU, 2023-2026

  • MOST: Centro Nazionale per la Mobilità Sostenibile, Spoke 4: Rail Transportation.
    PNRR-NextGenerationEU, 2022-2025

  • T-LADIES: Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems.
    MIUR-PRIN 2020TL3X8X, 2022-2025

  • CODECS: Maximising the CO-benefits of agricultural Digitalisation through conducive digital ECoSystems.
    Horizon Europe 101060179, 2022-2026


Past Projects involving FMT

  • IT MaTTerS: Methods and Tools for Trustworthy Smart Systems.
    MIUR-PRIN 2017FTXR7S, 2019-2023

  • SmaRIERS: Smart Railway Infrastructures: Efficiency, Reliability and Safety.
    POR-FESR-2014–2020, 2021-2022

  • 4SECURail: Formal methods and CSIRT for the railway sector.
    EU H2020-Shift2Rail-RIA-881775, 2019-2021
    https://cordis.europa.eu/project/id/881775

  • STINGRAY: SmarT station INtelliGent RAilwaY.
    POR-FESR-2014-2020, 2018-2020

  • ASTRail: SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation.
    EU H2020-Shift2Rail-RIA-777561, 2017-2019
    https://cordis.europa.eu/project/id/777561


  • QUANTICOL: A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours.
    EU FP7-ICT-FET-FoCAS-600708, 2013-2017