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 140 (tempo di esecuzione: 0.039 secondi).
Titolo Data di pubblicazione Autore(i) File
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.
Systematic evaluation and usability analysis of formal tools for railway system design 1-gen-2021 Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.
The UMC2LNT and UMC2PROB model transformation tools 1-gen-2021 Mazzanti, F; Belli, D
4SECURail - D.2.1: Specification of formal development demonstrator 1-gen-2020 Mazzanti F.; Basile D.; Fantechi A.; Gnesi S.; Ferrari A.; Piattino A.; Masullo L.; Trentini D.