IRIS Institutional Research Information System

Bozzano, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.633
EU - Europa 6.360
AS - Asia 2.863
SA - Sud America 715
Continente sconosciuto - Info sul continente non disponibili 181
AF - Africa 95
OC - Oceania 11
Totale 16.858
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.445
RU - Federazione Russa 3.538
SG - Singapore 1.049
DE - Germania 657
BR - Brasile 601
CN - Cina 541
VN - Vietnam 460
IT - Italia 372
SE - Svezia 334
UA - Ucraina 300
HK - Hong Kong 292
FR - Francia 230
FI - Finlandia 219
GB - Regno Unito 215
IN - India 167
IE - Irlanda 132
NL - Olanda 121
CA - Canada 114
BE - Belgio 60
PL - Polonia 54
BD - Bangladesh 52
MX - Messico 51
AR - Argentina 50
JP - Giappone 49
IQ - Iraq 35
ZA - Sudafrica 34
ES - Italia 32
PK - Pakistan 24
TR - Turchia 24
EU - Europa 19
IL - Israele 19
MY - Malesia 15
EC - Ecuador 14
ID - Indonesia 14
VE - Venezuela 14
AT - Austria 13
SA - Arabia Saudita 13
IR - Iran 12
KE - Kenya 12
CO - Colombia 11
LT - Lituania 11
AU - Australia 10
CZ - Repubblica Ceca 10
DZ - Algeria 10
HU - Ungheria 10
KR - Corea 10
CH - Svizzera 9
EG - Egitto 9
TN - Tunisia 9
TH - Thailandia 8
AE - Emirati Arabi Uniti 7
NP - Nepal 7
PH - Filippine 7
SI - Slovenia 7
UZ - Uzbekistan 7
JO - Giordania 6
LB - Libano 6
MA - Marocco 6
PE - Perù 6
PY - Paraguay 6
UY - Uruguay 6
AZ - Azerbaigian 5
DK - Danimarca 5
EE - Estonia 5
ET - Etiopia 5
GE - Georgia 5
PS - Palestinian Territory 5
TW - Taiwan 5
CL - Cile 4
CR - Costa Rica 4
GR - Grecia 4
JM - Giamaica 4
OM - Oman 4
MK - Macedonia 3
RO - Romania 3
SK - Slovacchia (Repubblica Slovacca) 3
SN - Senegal 3
TJ - Tagikistan 3
TT - Trinidad e Tobago 3
BO - Bolivia 2
BY - Bielorussia 2
CG - Congo 2
DO - Repubblica Dominicana 2
GT - Guatemala 2
HN - Honduras 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LK - Sri Lanka 2
MD - Moldavia 2
MM - Myanmar 2
NO - Norvegia 2
PA - Panama 2
PT - Portogallo 2
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BB - Barbados 1
BG - Bulgaria 1
BQ - ???statistics.table.value.countryCode.BQ??? 1
CI - Costa d'Avorio 1
Totale 16.683
Salva come PNG Salva come JPEG
Città #
Chandler 730
San Jose 680
Council Bluffs 657
Singapore 598
Jacksonville 569
Ashburn 480
Hong Kong 287
Moscow 223
Dallas 205
The Dalles 196
Boardman 195
Beijing 180
Los Angeles 172
Wilmington 161
Ann Arbor 153
New York 143
Trento 132
Dublin 123
Helsinki 122
Ho Chi Minh City 107
Hefei 101
Brooklyn 93
Dong Ket 93
Kronberg 89
Hanoi 85
Lauterbourg 85
Dearborn 78
Munich 78
São Paulo 68
Woodbridge 61
Brussels 60
Tokyo 43
Frankfurt am Main 41
Phoenix 41
Houston 40
Santa Clara 40
Shanghai 38
Warsaw 38
Milan 37
Pune 35
London 34
Seattle 32
Toronto 28
Chicago 26
Ottawa 26
Rio de Janeiro 26
Atlanta 24
Da Nang 23
Haiphong 23
Montreal 23
Orem 23
Poplar 23
Denver 21
Falkenstein 21
Manchester 21
Chennai 19
Falls Church 19
Nuremberg 19
Verona 19
Guangzhou 18
Miami 17
Amsterdam 16
Boston 16
Brasília 16
Redwood City 16
Turku 16
Norwalk 15
Johannesburg 14
Mexico City 14
Querétaro 14
Stockholm 14
Inglewood 13
Belo Horizonte 12
Kharagpur 12
Ankara 11
Nairobi 11
Mountain View 10
Pittsburgh 10
Campinas 9
Dhaka 9
Fargo 9
Karachi 9
Paris 9
San Mateo 9
Baghdad 8
Can Tho 8
Curitiba 8
Duncan 8
Espoo 8
Hillsboro 8
Mumbai 8
Nanjing 8
San Francisco 8
Secaucus 8
Bangkok 7
Budapest 7
Buffalo 7
Campo Grande 7
Guarulhos 7
Hyderabad 7
Totale 8.248
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 343
COMPASS 3.0 266
Design and Safety Assessment of Critical Systems 258
Model-based Safety Assessment of a Triple Modular Generator with XSAP 241
Safety Critical Systems 240
A Comprehensive Approach to On-Board Autonomy Verification and Validation 238
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 232
ESACS: an integrated methodology for design and safety analysis of complex systems 230
A Comprehensive Approach to On-Board Autonomy Verification and Validation 229
The xSAP Safety Analysis Platform 229
Safety Assessment of AltaRica Models via Symbolic Model Checking 227
Efficient Anytime Techniques for Model-Based Safety Analysis 227
COMPASS Tool 223
Automated Analysis of Reliability Architectures 220
A Model Checker for AADL 219
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 219
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 218
Model-Based Safety and Assessment 217
Automated Synthesis of Timed Failure Propagation Graphs 213
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 212
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 210
SMT-based Validation of Timed Failure Propagation Graphs 210
An Integrated Process for FDIR Design in Aerospace 206
Model Checking and Safety Assessment of Altarica models 205
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 202
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 201
Beyond parameterized verification 195
Efficient Analysis of Reliability Architectures via Predicate Abstraction 194
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 194
Formal Specification and Synthesis of FDI through an Example 192
Efficient Theory Combination via Boolean Search 191
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 191
Formal Design and Validation of an Automatic Train Operation Control System 189
A Comprehensive Approach to On-board Autonomy Verification and Validation 187
Algorithmic Verification of Invalidation-Based Protocols 186
Automated Verification and Tightening of Failure Propagation Models 185
The MathSAT Solver - a comparative evaluation 184
FAME: A Model-Based Environment for FDIR Design in Aerospace 183
COMPASTA = COMPASS + TASTE 181
Automated Protocol Verification in Linear Logic 180
Efficient theory combination via boolean search 179
The Mathsat3 System 177
Codesign of Dependable Systems: A Component-Based Language 177
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 177
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 177
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos 176
FAME Process: A Dedicated Development and V&V Process for FDIR 176
Formal Safety Assessment via Contract-Based Design. 176
Formal Methods for Aerospace Systems 176
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 174
An effective fixpoint semantics for linear logic programs 173
FSAP 172
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 170
Encoding RTL Constructs for Mathsat: A preliminary report 170
Causality and Temporal Dependencies in the Design of Fault Management Systems 170
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 169
On-Board Autonomy via Symbolic Model Based Reasoning 168
Symbolic Synthesis of Observability Requirements for Diagnosability 166
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 164
Formal Verification and Validation of AADL Model 164
Verifying Industrial Hybrid Systems with MathSAT 162
Efficient SMT-Based Analysis of Failure Propagation 159
Spacecraft Early Design Validation using Formal Methods 156
Safety, Dependability and Performance Analysis of Extended AADL Models 153
COMPASTA: Integrating COMPASS Functionality into TASTE 152
Diagnosability of fair transition systems 151
Analysis of Cyclic Fault Propagation via ASP 150
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 150
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 144
Symbolic Synthesis of Observability Requirements for Diagnosability 144
Codesign of Dependable Systems: A Component-Based Modeling Language 140
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 138
Improving Safety Assessment of Complex Systems: An Industrial case study 136
Integrating Fault Tree Analysis with Event Ordering Information 134
Verifying Industrial Hybrid Systems with MathSAT 134
Improving Safety Assessment of Complex Systems: An Industrial case study 130
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits 130
The FSAP/NuSMV-SA Safety Analysis Platform 129
Model-Based Safety and Assessment 128
Model-Based Codesign of Critical Embedded Systems 127
Model-Based Safety Analysis of Mode Transitions 126
The MAthSAT Solver. A progress report 124
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits 122
Model Checking Linear Logic Specifications 121
Towards Formal Design of FDIR Components with AI 119
Symbolic Fault Tree Analysis for Reactive Systems 119
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems 118
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory 117
The MathSAT solver -- a progress report 117
On the Relations between Disjunctive and Linear Logic Programming 117
Verification and performance evaluation of AADL models 115
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 114
Searching for Ribbon-Shaped Paths in Fair Transition Systems 112
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. 111
Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results 110
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 108
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis 96
Towards a Unifying View of Fault Propagation Analyses and Notations 27
Totale 16.858
Salva come PNG Salva come JPEG
Categoria #
all - tutte 68.943
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 68.943
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022620 0 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.220 95 37 113 99 74 228 80 104 59 186 9 136
2024/20252.751 28 50 126 126 52 97 119 204 1.015 292 444 198
2025/20267.544 266 383 477 614 458 293 1.031 2.735 457 420 343 67
2026/2027500 307 193 0 0 0 0 0 0 0 0 0 0
Totale 16.858