IRIS Institutional Research Information System

Bozzano, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.299
NA - Nord America 6.182
AS - Asia 2.850
SA - Sud America 704
AF - Africa 95
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 11
Totale 16.161
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.004
RU - Federazione Russa 3.538
SG - Singapore 1.049
DE - Germania 652
BR - Brasile 595
CN - Cina 535
VN - Vietnam 459
IT - Italia 363
UA - Ucraina 300
SE - Svezia 294
HK - Hong Kong 290
FR - Francia 227
FI - Finlandia 219
GB - Regno Unito 213
IN - India 167
IE - Irlanda 132
NL - Olanda 121
CA - Canada 110
BE - Belgio 60
PL - Polonia 54
BD - Bangladesh 52
MX - Messico 51
JP - Giappone 49
AR - Argentina 47
IQ - Iraq 35
ZA - Sudafrica 34
ES - Italia 32
PK - Pakistan 24
TR - Turchia 24
EU - Europa 19
IL - Israele 19
EC - Ecuador 14
MY - Malesia 14
VE - Venezuela 14
AT - Austria 13
ID - Indonesia 13
SA - Arabia Saudita 13
IR - Iran 12
KE - Kenya 12
LT - Lituania 11
AU - Australia 10
CZ - Repubblica Ceca 10
DZ - Algeria 10
HU - Ungheria 10
KR - Corea 10
CH - Svizzera 9
CO - Colombia 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
CL - Cile 4
GR - Grecia 4
OM - Oman 4
JM - Giamaica 3
MK - Macedonia 3
RO - Romania 3
SK - Slovacchia (Repubblica Slovacca) 3
SN - Senegal 3
TJ - Tagikistan 3
TT - Trinidad e Tobago 3
TW - Taiwan 3
BO - Bolivia 2
CG - Congo 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LK - Sri Lanka 2
MD - Moldavia 2
MM - Myanmar 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
BY - Bielorussia 1
CI - Costa d'Avorio 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
Totale 16.148
Salva come PNG Salva come JPEG
Città #
Chandler 730
San Jose 676
Singapore 598
Jacksonville 569
Ashburn 477
Council Bluffs 288
Hong Kong 286
Moscow 223
Dallas 203
The Dalles 195
Boardman 194
Beijing 176
Los Angeles 169
Wilmington 161
Ann Arbor 153
New York 143
Trento 132
Dublin 123
Helsinki 122
Ho Chi Minh City 106
Hefei 101
Dong Ket 93
Brooklyn 91
Kronberg 89
Hanoi 85
Lauterbourg 85
Dearborn 78
Munich 78
São Paulo 68
Woodbridge 61
Brussels 60
Tokyo 43
Frankfurt am Main 41
Houston 39
Santa Clara 38
Shanghai 38
Warsaw 38
Milan 35
Phoenix 35
Pune 35
London 33
Seattle 32
Toronto 28
Ottawa 26
Rio de Janeiro 26
Chicago 25
Atlanta 24
Da Nang 23
Haiphong 23
Orem 23
Poplar 23
Montreal 22
Denver 21
Falkenstein 21
Manchester 21
Chennai 19
Falls Church 19
Nuremberg 19
Verona 19
Guangzhou 18
Amsterdam 16
Boston 16
Miami 16
Redwood City 16
Turku 16
Brasília 15
Norwalk 15
Johannesburg 14
Mexico City 14
Querétaro 14
Stockholm 14
Inglewood 13
Kharagpur 12
Ankara 11
Belo Horizonte 11
Nairobi 11
Mountain View 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
Pittsburgh 8
San Francisco 8
Secaucus 8
Bangkok 7
Budapest 7
Campo Grande 7
Guarulhos 7
Hyderabad 7
Karlsruhe 7
Totale 7.838
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 337
COMPASS 3.0 250
Design and Safety Assessment of Critical Systems 248
Safety Critical Systems 235
Model-based Safety Assessment of a Triple Modular Generator with XSAP 235
A Comprehensive Approach to On-Board Autonomy Verification and Validation 233
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 227
A Comprehensive Approach to On-Board Autonomy Verification and Validation 223
The xSAP Safety Analysis Platform 223
Efficient Anytime Techniques for Model-Based Safety Analysis 223
ESACS: an integrated methodology for design and safety analysis of complex systems 222
Safety Assessment of AltaRica Models via Symbolic Model Checking 221
COMPASS Tool 217
Automated Analysis of Reliability Architectures 215
A Model Checker for AADL 214
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 214
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 214
Model-Based Safety and Assessment 213
Automated Synthesis of Timed Failure Propagation Graphs 210
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 207
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 204
SMT-based Validation of Timed Failure Propagation Graphs 204
An Integrated Process for FDIR Design in Aerospace 202
Model Checking and Safety Assessment of Altarica models 200
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 194
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 194
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 190
Beyond parameterized verification 189
Efficient Analysis of Reliability Architectures via Predicate Abstraction 187
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 187
Formal Specification and Synthesis of FDI through an Example 186
Efficient Theory Combination via Boolean Search 185
Formal Design and Validation of an Automatic Train Operation Control System 184
Algorithmic Verification of Invalidation-Based Protocols 182
Automated Verification and Tightening of Failure Propagation Models 181
A Comprehensive Approach to On-board Autonomy Verification and Validation 181
FAME: A Model-Based Environment for FDIR Design in Aerospace 178
The MathSAT Solver - a comparative evaluation 178
COMPASTA = COMPASS + TASTE 175
Efficient theory combination via boolean search 174
Automated Protocol Verification in Linear Logic 173
Codesign of Dependable Systems: A Component-Based Language 173
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 172
Formal Methods for Aerospace Systems 172
The Mathsat3 System 171
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos 171
FAME Process: A Dedicated Development and V&V Process for FDIR 171
Formal Safety Assessment via Contract-Based Design. 170
An effective fixpoint semantics for linear logic programs 169
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 168
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 168
Causality and Temporal Dependencies in the Design of Fault Management Systems 166
Encoding RTL Constructs for Mathsat: A preliminary report 165
FSAP 165
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 163
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 163
On-Board Autonomy via Symbolic Model Based Reasoning 163
Symbolic Synthesis of Observability Requirements for Diagnosability 159
Formal Verification and Validation of AADL Model 158
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 157
Verifying Industrial Hybrid Systems with MathSAT 157
Efficient SMT-Based Analysis of Failure Propagation 154
Spacecraft Early Design Validation using Formal Methods 152
Safety, Dependability and Performance Analysis of Extended AADL Models 149
COMPASTA: Integrating COMPASS Functionality into TASTE 148
Diagnosability of fair transition systems 146
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 146
Analysis of Cyclic Fault Propagation via ASP 145
Symbolic Synthesis of Observability Requirements for Diagnosability 139
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 137
Codesign of Dependable Systems: A Component-Based Modeling Language 135
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 133
Improving Safety Assessment of Complex Systems: An Industrial case study 131
Integrating Fault Tree Analysis with Event Ordering Information 129
Verifying Industrial Hybrid Systems with MathSAT 129
Improving Safety Assessment of Complex Systems: An Industrial case study 126
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits 126
The FSAP/NuSMV-SA Safety Analysis Platform 124
Model-Based Safety and Assessment 124
Model-Based Codesign of Critical Embedded Systems 121
Model-Based Safety Analysis of Mode Transitions 121
The MAthSAT Solver. A progress report 119
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits 117
Model Checking Linear Logic Specifications 116
Towards Formal Design of FDIR Components with AI 115
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems 114
Symbolic Fault Tree Analysis for Reactive Systems 113
The MathSAT solver -- a progress report 112
On the Relations between Disjunctive and Linear Logic Programming 112
Verification and performance evaluation of AADL models 111
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 109
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. 107
Searching for Ribbon-Shaped Paths in Fair Transition Systems 106
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory 105
Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results 104
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 104
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis 90
Towards a Unifying View of Fault Propagation Analyses and Notations 22
Totale 16.321
Salva come PNG Salva come JPEG
Categoria #
all - tutte 66.311
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 66.311
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021144 0 0 0 0 0 0 0 0 0 0 0 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.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.507 266 383 477 614 458 293 1.031 2.735 457 420 343 30
Totale 16.321