logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
F

Franco Mazzanti

consiglio nazionale delle ricerche (cnr)

20H-index
111Paper Count
1.2KCitation Count
Published Papers 4
Publication Date
logo
Comparing Model Checking and Model-Based Simulation
errRELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF0
err2026-01-01
err0
PREAI
errBasile, Davide; Mazzanti, Franco
errShare
errSave
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2022-11-01
err25
PREAI
errFerrari, Alessio; Mazzanti, Franco; Basile, Davide; ter Beek, Maurice H.
errShare
errSave
Efficient static analysis and verification of featured transition systems
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2021-10-23
err15
errOAAI
errter Beek, Maurice H.; Damiani, Ferruccio; Lienhardt, Michael; Mazzanti, Franco; Paolini, Luca
errShare
errSave
A Logical Verification Methodology for Service-Oriented Computing
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2012-07-03
err17
errOAAI
errFantechi, Alessandro; Gnesi, Stefania; Lapadula, Alessandro; Mazzanti, Franco; Pugliese, Rosario; Tiezzi, Francesco
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
S
Stefania Gnesi
H-index: 41 · Papers: 314
A
Alessandro Fantechi
H-index: 33 · Papers: 238
A
Alessio Ferrari
H-index: 32 · Papers: 202
R
Rosario Pugliese
H-index: 30 · Papers: 145
M
Maurice H. ter Beek
H-index: 29 · Papers: 265
View more