CNR Institutional Research Information System

MAZZANTI, FRANCO

MAZZANTI, FRANCO  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 146 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) File
Comparing model checking and model-based simulation 1-gen-2025 Basile, D.; Mazzanti, F.
Comparing model checking and model-based simulation: presentation 1-gen-2025 Basile, D.; Mazzanti, F.
CN MOST SP4 D1.3.1: Report on formal models 1-gen-2024 Basile, D.; Ter Beek, M.; Di Giandomenico, F.; Ferrari, A.; Mazzanti, F.; Chiaradonna, S.; Team Of Intesa San, Paolo
A case study in formal analysis of system requirements 1-gen-2023 Belli, D; Mazzanti, F
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect 1-gen-2023 Basile, D; Mazzanti, F; Ferrari, A
Experimenting with formal verification and model-based development in railways: the case of UMC and Sparx Enterprise Architect - Complementary data 1-gen-2023 Basile, D; Mazzanti, F; Ferrari, A
The 4SECURail case study on rigorous standard interface specifications 1-gen-2023 Belli, D; Fantechi, A; Gnesi, S; Masullo, L; Mazzanti, F; Quadrini, L; Trentini, D; Vaghi, C
Efficient static analysis and verification of featured transition systems 1-gen-2022 TER BEEK, MAURICE HENRI; Damiani, F; Lienhardt, M; Mazzanti, F; Paolini, L
Formal modeling and initial analysis of the 4SECURail case study 1-gen-2022 Mazzanti F.; Belli D.
FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC 1-gen-2022 TER BEEK, MAURICE HENRI; Damiani, F; Lienhardt, M; Mazzanti, F; Paolini, L; Scarso, G
The 4SECURail approach to formalizing standard interfaces between signalling systems components 1-gen-2022 Belli, D; Fantechi, A; Gnesi, S; Masullo, L; Mazzanti, F; Pistilli, G; Quadrini, L; Trentini, D; Vaghi, C
The 4SECURail formal methods demonstrator 1-gen-2022 Mazzanti F.; Belli D.
4SECURail - Formal development demonstrator prototype, final release 1-gen-2021 Mazzanti, F; Belli, D
4SECURail - Revised requirements of the 4SECURail case study 1-gen-2021 Mazzanti F.; Belli D.
4SECURail - Technical Informative Note 15 - Progress Report: Formal development Demonstrator Prototype 1-gen-2021 Mazzanti F.; Belli D.
Compositional verification of concurrent systems by combining bisimulations 1-gen-2021 Frédéric Lang, F; Mateescu, R; Mazzanti, F
Formal models of the SAI/CSL system of the 4SECURail case study 1-gen-2021 Mazzanti, F; Belli, D
Static analysis and family-based model checking of featured transition systems with VMC 1-gen-2021 ter Beek M.H.; Mazzanti F.; Damiani F.; Paolini L.; Scarso G.; Valfrè M.; Lienhardt M.
Static analysis and family-based model checking with VMC 1-gen-2021 TER BEEK, MAURICE HENRI; Mazzanti, F; Damiani, F; Paolini, L; Scarso, G; Lienhardt, M
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design 1-gen-2021 Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.