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