Franco Mazzanti
Orcid: 0000-0003-4562-8777
According to our database1,
Franco Mazzanti
authored at least 66 papers
between 1985 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect.
Proceedings of the Formal Methods for Industrial Critical Systems, 2023
2022
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design.
IEEE Trans. Software Eng., 2022
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.
Sci. Comput. Program., 2022
Empir. Softw. Eng., 2022
Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022
2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, November, 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, April, 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, April, 2021
Formal Methods Syst. Des., 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design.
CoRR, 2021
Static analysis and family-based model checking of featured transition systems with VMC.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
2020
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
2019
Sci. Comput. Program., 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Towards formal methods diversity in railways: an experience report with seven frameworks.
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the Models, Mindsets, 2018
2017
ERCIM News, 2017
Proceedings of the ModelEd, TestEd, TrustEd, 2017
2016
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints.
J. Log. Algebraic Methods Program., 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016
2015
Proceedings of the 19th International Conference on Software Product Line, 2015
Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System.
Proceedings of the Software Engineering for Resilient Systems - 7th International Workshop, 2015
From Featured Transition Systems to Modal Transition Systems with Variability Constraints.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
Proceedings of the Software, 2015
2014
ERCIM News, 2014
Proceedings of the 18th International Software Product Lines Conference, 2014
Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
Proceedings of the Formal Methods for Industrial Critical Systems, 2014
Proceedings of the Perspectives of System Informatics, 2014
2013
ERCIM News, 2013
2012
ACM Trans. Softw. Eng. Methodol., 2012
Proceedings of the 16th International Software Product Line Conference, 2012
Proceedings of the FM 2012: Formal Methods, 2012
2011
A state/event-based model-checking approach for the analysis of abstract system properties.
Sci. Comput. Program., 2011
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Proceedings of the FM+AM 2010, 2010
2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the Formal Techniques for Distributed Systems, 2009
2008
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Proceedings of the Fundamental Approaches to Software Engineering, 2008
2007
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
2006
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006
2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
1999
On the Fly Verification of Network of Automata.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
1998
1993
1985
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985