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

Marco Bozzano

Fondazione Bruno Kessler

25H-index
99Paper Count
2.3KCitation Count
Published Papers 4
Publication Date
logo
Towards a Unifying View of Fault Propagation Analyses and Notations
errMODEL-BASED SAFETY AND ASSESSMENT, IMBSA 2025
IF0
err2026-01-01
err0
PREAI
errBozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Haifani, Fajar
errShare
errSave
Diagnosability of fair transition systems
errartificial intelligence review
IF4.6
err2022-08-01
err3
PREAI
errBittner, Benjamin; Bozzano, Marco; Cimatti, Alessandro; Gario, Marco; Tonetta, Stefano; Vozarova, Viktoria
errShare
errSave
A Comprehensive Approach to On-board Autonomy Verification and Validation
errACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY
IF6.6
err2021-08-20
err1
errOAAI
errBozzano, Marco; Cimatti, Alessandro; Roveri, Marco
errShare
errSave
Spacecraft early design validation using formal methods
errRELIABILITY ENGINEERING & SYSTEM SAFETY
IF11
err2014-12-01
err52
errOAAI
errBozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Viet Yen Nguyen; Noll, Thomas; Postma, Bart; Roveri, Marco
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
Joost-Pieter Katoen
H-index: 58 · Papers: 636
A
Alessandro Cimatti
H-index: 55 · Papers: 376
M
Marco Roveri
H-index: 36 · Papers: 186
A
Alberto Griggio
H-index: 31 · Papers: 131
S
Stefano Tonetta
H-index: 26 · Papers: 170
View more