IRIS Institutional Research Information System

Bozzano, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.317
EU - Europa 1.843
AS - Asia 580
Continente sconosciuto - Info sul continente non disponibili 19
OC - Oceania 5
SA - Sud America 3
Totale 5.767
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.288
DE - Germania 452
UA - Ucraina 287
SE - Svezia 250
IT - Italia 244
HK - Hong Kong 184
FI - Finlandia 151
CN - Cina 125
IE - Irlanda 122
IN - India 106
GB - Regno Unito 104
VN - Vietnam 93
RU - Federazione Russa 72
FR - Francia 65
BE - Belgio 50
CA - Canada 29
EU - Europa 19
IL - Israele 14
IR - Iran 12
PK - Pakistan 10
ES - Italia 9
KR - Corea 9
HU - Ungheria 8
SG - Singapore 7
SI - Slovenia 6
AT - Austria 5
AU - Australia 5
JP - Giappone 5
DK - Danimarca 4
GE - Georgia 4
LB - Libano 4
NL - Olanda 4
CH - Svizzera 3
GR - Grecia 3
TW - Taiwan 3
AR - Argentina 2
PL - Polonia 2
TJ - Tagikistan 2
BD - Bangladesh 1
BR - Brasile 1
NO - Norvegia 1
PH - Filippine 1
RO - Romania 1
Totale 5.767
Salva come PNG Salva come JPEG
Città #
Chandler 730
Jacksonville 569
Ashburn 189
Hong Kong 184
Wilmington 161
Ann Arbor 153
Trento 116
Dublin 113
Dong Ket 93
Kronberg 89
Boardman 80
Los Angeles 79
Dearborn 78
Helsinki 78
New York 74
Brooklyn 66
Woodbridge 61
Brussels 50
Beijing 48
Pune 34
Shanghai 30
Houston 29
Seattle 28
Phoenix 25
Ottawa 20
Falls Church 19
Milan 16
Redwood City 16
Verona 15
Norwalk 14
Inglewood 13
Guangzhou 12
Kharagpur 12
Munich 11
Nuremberg 11
Mountain View 10
Fargo 9
San Mateo 9
Council Bluffs 8
Duncan 8
Karachi 7
Leawood 7
Nanjing 7
Singapore 7
Fremont 6
Genova 6
Karlsruhe 6
Laion 6
Monmouth Junction 6
Portland 6
Toronto 6
Augusta 5
Budapest 5
Düren 5
Falkenstein 5
Hanover 5
Natick 5
Sunnyvale 5
Wangen 5
Alpharetta 4
Batumi 4
Hyderabad 4
Loreggia 4
Saint Petersburg 4
Tappahannock 4
Vienna 4
Ardabil 3
Bari 3
Belmont 3
Braunschweig 3
Cambridge 3
Colle Isarco 3
Dresden 3
Dubendorf 3
Gunzenhausen 3
Hefei 3
Kildare 3
Kish 3
Ljubljana 3
Longueuil 3
Mumbai 3
Pittsburgh 3
Redmond 3
Stanford 3
Yaroslavl 3
Aachen 2
Adelaide 2
Ansbach 2
Auburn Hills 2
Barcelona 2
Bresso 2
Buenos Aires 2
Cagliari 2
Castello Molina di Fiemme 2
Cavalese 2
Centrale 2
Chengdu 2
Cologne 2
Donostia / San Sebastian 2
El Segundo 2
Totale 3.585
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 225
COMPASS 3.0 155
Model-Based Safety and Assessment 128
Safety Critical Systems 109
ESACS: an integrated methodology for design and safety analysis of complex systems 102
Model-based Safety Assessment of a Triple Modular Generator with XSAP 101
Design and Safety Assessment of Critical Systems 97
Automated Synthesis of Timed Failure Propagation Graphs 95
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 94
Efficient Anytime Techniques for Model-Based Safety Analysis 90
A Comprehensive Approach to On-Board Autonomy Verification and Validation 89
COMPASS Tool 89
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 85
A Model Checker for AADL 84
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 83
The xSAP Safety Analysis Platform 82
Automated Analysis of Reliability Architectures 79
Efficient Analysis of Reliability Architectures via Predicate Abstraction 78
Safety Assessment of AltaRica Models via Symbolic Model Checking 77
Formal Methods for Aerospace Systems 77
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 76
Model Checking and Safety Assessment of Altarica models 72
SMT-based Validation of Timed Failure Propagation Graphs 72
Symbolic Synthesis of Observability Requirements for Diagnosability 71
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 70
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 70
Beyond parameterized verification 69
The MathSAT Solver - a comparative evaluation 69
The Mathsat3 System 68
Safety, Dependability and Performance Analysis of Extended AADL Models 68
Formal Specification and Synthesis of FDI through an Example 68
FAME: A Model-Based Environment for FDIR Design in Aerospace 68
A Comprehensive Approach to On-Board Autonomy Verification and Validation 66
Automated Protocol Verification in Linear Logic 65
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 65
Codesign of Dependable Systems: A Component-Based Modeling Language 64
Automated Verification and Tightening of Failure Propagation Models 64
Algorithmic Verification of Invalidation-Based Protocols 64
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 63
FAME Process: A Dedicated Development and V&V Process for FDIR 63
An Integrated Process for FDIR Design in Aerospace 63
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 63
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 63
Efficient theory combination via boolean search 62
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 61
FSAP 60
Formal Verification and Validation of AADL Model 60
On-Board Autonomy via Symbolic Model Based Reasoning 60
Integrating Fault Tree Analysis with Event Ordering Information 59
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 59
An effective fixpoint semantics for linear logic programs 59
Causality and Temporal Dependencies in the Design of Fault Management Systems 59
Formal Safety Assessment via Contract-Based Design. 58
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos 57
Encoding RTL Constructs for Mathsat: A preliminary report 57
Verifying Industrial Hybrid Systems with MathSAT 57
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 56
Improving Safety Assessment of Complex Systems: An Industrial case study 55
Efficient Theory Combination via Boolean Search 55
Model-Based Safety and Assessment 55
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 54
Symbolic Synthesis of Observability Requirements for Diagnosability 54
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 53
Codesign of Dependable Systems: A Component-Based Language 51
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 49
Verifying Industrial Hybrid Systems with MathSAT 49
Formal Design and Validation of an Automatic Train Operation Control System 48
Verification and performance evaluation of AADL models 48
Symbolic Fault Tree Analysis for Reactive Systems 47
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. 47
Improving Safety Assessment of Complex Systems: An Industrial case study 47
Spacecraft Early Design Validation using Formal Methods 46
Model Checking Linear Logic Specifications 45
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems 45
The MathSAT solver -- a progress report 45
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits 45
Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results 45
A Comprehensive Approach to On-board Autonomy Verification and Validation 44
Model-Based Codesign of Critical Embedded Systems 43
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits 41
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 41
The MAthSAT Solver. A progress report 40
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 39
The FSAP/NuSMV-SA Safety Analysis Platform 37
Efficient SMT-Based Analysis of Failure Propagation 35
Diagnosability of fair transition systems 32
Model-Based Safety Analysis of Mode Transitions 32
Searching for Ribbon-Shaped Paths in Fair Transition Systems 31
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 30
On the Relations between Disjunctive and Linear Logic Programming 26
Analysis of Cyclic Fault Propagation via ASP 25
COMPASTA: Integrating COMPASS Functionality into TASTE 20
COMPASTA = COMPASS + TASTE 15
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 9
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis 8
Totale 5.918
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.275
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 28.275
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201946 0 0 0 0 0 0 0 0 0 9 24 13
2019/2020956 89 87 16 8 119 78 125 24 119 112 110 69
2020/2021993 107 6 106 54 98 40 130 32 39 182 55 144
2021/2022644 24 22 14 67 28 26 16 116 58 34 99 140
2022/20231.469 63 133 43 269 81 213 31 95 341 95 69 36
2023/20241.075 95 37 113 99 74 228 80 104 59 186 0 0
Totale 5.918