Franco Mazzanti

Available identifiers

Publication	Date of Publication	Type
Few trapped quantum dipoles: quantum versus classical structures	2024-04-23	Paper
Compositional verification of concurrent systems by combining bisimulations	2024-03-14	Paper
Verifying Properties of Systems Relying on Attribute-Based Communication	2022-11-09	Paper
Compositional verification of concurrent systems by combining bisimulations	2022-06-20	Paper
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes	2021-11-12	Dataset
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities	2021-11-10	Paper
Supplementary data for FMICS 2021 publication "A Case Study in Formal Analysis of System Requirements"	2021-05-13	Dataset
Additional material for "Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities"	2020-01-28	Dataset
Moving-block System: Requirements and Formal Models	2019-08-23	Dataset
Supplementary material for "Compositional Verification of Concurrent Systems by Combining Bisimulations"	2019-04-09	Dataset
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints	2016-03-04	Paper
Model Checking Value-Passing Modal Specifications	2015-12-03	Paper
From EU Projects to a Family of Model Checkers	2015-06-22	Paper
A state/event-based model-checking approach for the analysis of abstract system properties	2011-01-14	Paper

This page was built for person: Franco Mazzanti