MAZZANTI, FRANCO
MAZZANTI, FRANCO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Formal methods for railway systems: a survey of research and technology transfer projects
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
A case study in formal analysis of system requirements
2023 Belli, D; Mazzanti, F
A systematic approach to programming and verifying attribute-based communication systems
2019 De Nicola R.; Duong T.; Inverso O.; Mazzanti F.
States and Events in KandISTI: A Retrospective
2019 ter Beek, M H; Fantechi, A; Gnesi, S; Mazzanti, F
Verifying properties of systems relying on attribute-based communication
2017 De Nicola R.; Duong T.; Inverso O.; Mazzanti F.
From EU projects to a family of model checkers. From Kandinsky to KandISTI
2015 Ter Beek M. H.; Gnesi S.; Mazzanti F.
Model checking value-passing modal specifications
2015 Ter Beek, M H; Gnesi, S; Mazzanti, F
An abstract, on the fly framework for the verification of service-oriented systems
2011 Gnesi, S; Mazzanti, F
Tools and Verification
2011 Bartoletti, M; Caires, L; Lanese, I; Mazzanti, F; Sangiorgi, D; Vieira, H T; Zunino, R
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications
2008 Ter Beek, M H; Fantechi, A; Gnesi, S; Mazzanti, F
| 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 | |
| A case study in formal analysis of system requirements | 1-gen-2023 | Belli, D; Mazzanti, F | |
| A systematic approach to programming and verifying attribute-based communication systems | 1-gen-2019 | De Nicola R.; Duong T.; Inverso O.; Mazzanti F. | |
| States and Events in KandISTI: A Retrospective | 1-gen-2019 | ter Beek, M H; Fantechi, A; Gnesi, S; Mazzanti, F | |
| Verifying properties of systems relying on attribute-based communication | 1-gen-2017 | De Nicola R.; Duong T.; Inverso O.; Mazzanti F. | |
| From EU projects to a family of model checkers. From Kandinsky to KandISTI | 1-gen-2015 | Ter Beek M. H.; Gnesi S.; Mazzanti F. | |
| Model checking value-passing modal specifications | 1-gen-2015 | Ter Beek, M H; Gnesi, S; Mazzanti, F | |
| An abstract, on the fly framework for the verification of service-oriented systems | 1-gen-2011 | Gnesi, S; Mazzanti, F | |
| Tools and Verification | 1-gen-2011 | Bartoletti, M; Caires, L; Lanese, I; Mazzanti, F; Sangiorgi, D; Vieira, H T; Zunino, R | |
| An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications | 1-gen-2008 | Ter Beek, M H; Fantechi, A; Gnesi, S; Mazzanti, F |