CNR Institutional Research Information System

Sfoglia per Autore  MAZZANTI FRANCO

Opzioni
Mostrati risultati da 1 a 20 di 147
Titolo Data di pubblicazione Autore(i) File
Formal methods for railway systems: a survey of research and technology transfer projects 1-gen-2026 Basile, Davide; Ter Beek, Maurice Henri; Broccia, Giovanna; Gnesi, Stefania; Mazzanti, Franco; Spagnolo, Giorgio Oronzo; Bacherini, Stefano; Becheri, Carlo; Grasso, Daniele; Magnani, Gianluca; Tempestini, Matteo; Zingoni, Niccolò; Ferrari, Alessio
Comparing model checking and model-based simulation: presentation 1-gen-2025 Basile, D.; Mazzanti, F.
Comparing model checking and model-based simulation 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
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
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
A case study in formal analysis of system requirements 1-gen-2023 Belli, D; Mazzanti, F
Efficient static analysis and verification of featured transition systems 1-gen-2022 TER BEEK, MAURICE HENRI; Damiani, F; Lienhardt, M; Mazzanti, F; Paolini, L
The 4SECURail formal methods demonstrator 1-gen-2022 Mazzanti F.; Belli D.
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
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
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.
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.
4SECURail - Technical Informative Note 15 - Progress Report: Formal development Demonstrator Prototype 1-gen-2021 Mazzanti F.; Belli D.
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
4SECURail - Revised requirements of the 4SECURail case study 1-gen-2021 Mazzanti F.; Belli D.
4SECURail - Formal development demonstrator prototype, final release 1-gen-2021 Mazzanti, F; Belli, D
Mostrati risultati da 1 a 20 di 147
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile