CNR Institutional Research Information System

MAZZANTI, FRANCO

MAZZANTI, FRANCO  

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

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
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