MAZZANTI, FRANCO
MAZZANTI, FRANCO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Efficient static analysis and verification of featured transition systems
2022 TER BEEK, MAURICE HENRI; Damiani, F; Lienhardt, M; Mazzanti, F; Paolini, L
FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC
2022 ter Beek M.H.; Damiani F.; Lienhardt M.; Mazzanti F.; Paolini L.; Scarso G.
Compositional verification of concurrent systems by combining bisimulations
2021 Frédéric Lang, F; Mateescu, R; Mazzanti, F
Systematic evaluation and usability analysis of formal methods tools for railway signaling system design
2021 Ferrari A.; Mazzanti F.; Basile D.; ter Beek M.H.
A Formal Methods Demonstrator for Railways
2020 Mazzanti, F; Basile, D
On the expressiveness of modal transition systems with variability constraints
2019 ter Beek, M; Damiani, F; Gnesi, S; Mazzanti, F; Paolini, L
Towards formal methods diversity in railways: an experience report with seven frameworks
2018 Mazzanti, F; Ferrari, A; Spagnolo, Go
Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles
2017 Mazzanti F.; Ferrari A.; Spagnolo G. O.
The KandIStI/UMC Online Open-Access Verification Framework
2017 Mazzanti, F; Ferrari, A; Spagnolo, G O
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
2016 Ter Beek M. H.; Fantechi A.; Gnesi S.; Mazzanti F.
KandISTI: a family of model checkers for the analysis of software designs
2014 Ter Beek M. H.; Gnesi S.; Mazzanti F.
VMC: a tool for the analysis of variability in software product lines
2013 Ter Beek M. H.; Gnesi S.; Mazzanti F.
A logical verification methodology for service-oriented computing
2012 Fantechi A.; Gnesi S.; Lapadula A.; Mazzanti F.; Pugliese R.; Tiezzi F.
A state/event-based model-checking approach for the analysis of abstract system properties
2011 ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Mazzanti, F.
A model-checking approach for service component architectures
2009 Abreu J.; Mazzanti F.; Fiadeiro L. J.; Gnesi S.
Formal modelling and verification in service-oriented computing
2007 Ter Beek M. H.; Gnesi S.; Martinelli F.; Mazzanti F.; Petrocchi M.
Deductive proof of software properties
1999 Asirelli, P; Mazzanti, F
Experimenting dynamic linking with Ada
1993 Inverardi, P; Mazzanti, F
A survey of the implementation-dependent aspects of Ada
1989 Fantechi, A; Mazzanti, F
Reducing unpredictability in Ada executions
1989 Mazzanti, F