Franco Mazzanti

MaRDI QIDQ246446zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Few trapped quantum dipoles: quantum versus classical structures New Journal of Physics	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 ModelEd, TestEd, TrustEd	2022-11-09	Paper
Compositional verification of concurrent systems by combining bisimulations Formal Methods in System Design	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 Tools and Algorithms for the Construction and Analysis of Systems	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 Journal of Logical and Algebraic Methods in Programming	2016-03-04	Paper
Model Checking Value-Passing Modal Specifications Lecture Notes in Computer Science	2015-12-03	Paper
From EU projects to a family of model checkers. From Kandinsky to KandISTI Software, Services, and Systems	2015-06-22	Paper
A state/event-based model-checking approach for the analysis of abstract system properties Science of Computer Programming	2011-01-14	Paper

Research outcomes over time

This page was built for person: Franco Mazzanti