IRIS Institutional Research Information System

Bozzano, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.903
EU - Europa 3.389
AS - Asia 2.044
SA - Sud America 593
AF - Africa 56
Continente sconosciuto - Info sul continente non disponibili 19
OC - Oceania 11
Totale 11.015
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.756
RU - Federazione Russa 940
SG - Singapore 788
DE - Germania 574
BR - Brasile 521
CN - Cina 456
IT - Italia 331
UA - Ucraina 297
SE - Svezia 264
HK - Hong Kong 262
FI - Finlandia 219
GB - Regno Unito 195
VN - Vietnam 168
IN - India 146
IE - Irlanda 123
NL - Olanda 118
FR - Francia 108
CA - Canada 99
BE - Belgio 60
PL - Polonia 47
JP - Giappone 37
MX - Messico 37
AR - Argentina 35
BD - Bangladesh 34
ES - Italia 29
ZA - Sudafrica 26
EU - Europa 19
IL - Israele 18
PK - Pakistan 17
TR - Turchia 17
IQ - Iraq 13
AT - Austria 12
IR - Iran 12
AU - Australia 10
CZ - Repubblica Ceca 10
HU - Ungheria 10
KR - Corea 10
LT - Lituania 10
KE - Kenya 9
CH - Svizzera 7
EC - Ecuador 7
ID - Indonesia 6
PY - Paraguay 6
SI - Slovenia 6
UZ - Uzbekistan 6
CO - Colombia 5
DK - Danimarca 5
EE - Estonia 5
EG - Egitto 5
GE - Georgia 5
JO - Giordania 5
MY - Malesia 5
PE - Perù 5
TN - Tunisia 5
VE - Venezuela 5
AE - Emirati Arabi Uniti 4
GR - Grecia 4
LB - Libano 4
MA - Marocco 4
SA - Arabia Saudita 4
UY - Uruguay 4
AZ - Azerbaigian 3
DZ - Algeria 3
MK - Macedonia 3
NP - Nepal 3
PS - Palestinian Territory 3
TH - Thailandia 3
TJ - Tagikistan 3
TT - Trinidad e Tobago 3
TW - Taiwan 3
BO - Bolivia 2
CL - Cile 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
LK - Sri Lanka 2
MD - Moldavia 2
PA - Panama 2
RO - Romania 2
SN - Senegal 2
AL - Albania 1
AM - Armenia 1
BB - Barbados 1
BG - Bulgaria 1
BY - Bielorussia 1
GY - Guiana 1
HN - Honduras 1
IM - Isola di Man 1
JM - Giamaica 1
KG - Kirghizistan 1
KH - Cambogia 1
KZ - Kazakistan 1
LV - Lettonia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PH - Filippine 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
Totale 11.015
Salva come PNG Salva come JPEG
Città #
Chandler 730
Jacksonville 569
Singapore 522
Ashburn 401
Hong Kong 261
Moscow 223
Dallas 198
Boardman 193
Wilmington 161
Beijing 159
Los Angeles 154
Ann Arbor 153
The Dalles 149
New York 137
Trento 130
Helsinki 122
Dublin 114
Hefei 101
Dong Ket 93
Brooklyn 91
Kronberg 89
Dearborn 78
Munich 78
Woodbridge 61
Brussels 60
São Paulo 57
Houston 38
Warsaw 38
Shanghai 37
Pune 35
Milan 34
Phoenix 33
Seattle 32
Tokyo 32
London 29
Santa Clara 29
Toronto 27
Ottawa 25
Frankfurt am Main 23
Poplar 23
Rio de Janeiro 23
Montreal 22
Denver 21
Falkenstein 21
Ho Chi Minh City 20
Atlanta 19
Falls Church 19
Manchester 19
Verona 19
Chennai 18
Chicago 18
Nuremberg 17
Redwood City 16
Turku 16
Boston 15
Guangzhou 15
Hanoi 15
Norwalk 15
Amsterdam 14
Council Bluffs 14
Miami 14
Querétaro 14
Brasília 13
Inglewood 13
Johannesburg 13
Orem 13
Stockholm 13
Kharagpur 12
Mexico City 12
Belo Horizonte 11
Ankara 10
Mountain View 10
Campinas 9
Fargo 9
San Mateo 9
Duncan 8
Espoo 8
Hillsboro 8
Karachi 8
Nairobi 8
Nanjing 8
Secaucus 8
Budapest 7
Campo Grande 7
Curitiba 7
Guarulhos 7
Karlsruhe 7
Leawood 7
Paris 7
Pittsburgh 7
San Francisco 7
São José dos Campos 7
Columbus 6
Contagem 6
Fremont 6
Genova 6
Hyderabad 6
Laion 6
Monmouth Junction 6
Portland 6
Totale 6.224
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 287
COMPASS 3.0 201
Safety Critical Systems 179
A Comprehensive Approach to On-Board Autonomy Verification and Validation 169
Model-Based Safety and Assessment 169
A Comprehensive Approach to On-Board Autonomy Verification and Validation 168
Model-based Safety Assessment of a Triple Modular Generator with XSAP 165
ESACS: an integrated methodology for design and safety analysis of complex systems 162
Design and Safety Assessment of Critical Systems 162
A Model Checker for AADL 161
COMPASS Tool 161
The xSAP Safety Analysis Platform 159
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 157
Automated Analysis of Reliability Architectures 153
Safety Assessment of AltaRica Models via Symbolic Model Checking 153
Automated Synthesis of Timed Failure Propagation Graphs 152
Efficient Anytime Techniques for Model-Based Safety Analysis 152
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 150
SMT-based Validation of Timed Failure Propagation Graphs 143
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 142
Model Checking and Safety Assessment of Altarica models 140
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 137
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 137
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 136
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 135
An Integrated Process for FDIR Design in Aerospace 134
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 132
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 131
Efficient Analysis of Reliability Architectures via Predicate Abstraction 130
Formal Specification and Synthesis of FDI through an Example 129
Formal Methods for Aerospace Systems 129
The MathSAT Solver - a comparative evaluation 129
The Mathsat3 System 126
Beyond parameterized verification 126
Formal Design and Validation of an Automatic Train Operation Control System 125
Automated Verification and Tightening of Failure Propagation Models 125
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 124
Automated Protocol Verification in Linear Logic 121
FSAP 121
FAME: A Model-Based Environment for FDIR Design in Aerospace 121
A Comprehensive Approach to On-board Autonomy Verification and Validation 121
FAME Process: A Dedicated Development and V&V Process for FDIR 120
Algorithmic Verification of Invalidation-Based Protocols 120
Efficient Theory Combination via Boolean Search 119
Efficient theory combination via boolean search 118
An effective fixpoint semantics for linear logic programs 117
Codesign of Dependable Systems: A Component-Based Language 116
Formal Safety Assessment via Contract-Based Design. 116
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 116
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 114
Encoding RTL Constructs for Mathsat: A preliminary report 113
Symbolic Synthesis of Observability Requirements for Diagnosability 112
Formal Verification and Validation of AADL Model 112
Causality and Temporal Dependencies in the Design of Fault Management Systems 112
Verifying Industrial Hybrid Systems with MathSAT 110
On-Board Autonomy via Symbolic Model Based Reasoning 110
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 108
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 108
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos 107
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 101
Codesign of Dependable Systems: A Component-Based Modeling Language 99
Safety, Dependability and Performance Analysis of Extended AADL Models 98
COMPASTA = COMPASS + TASTE 98
Spacecraft Early Design Validation using Formal Methods 97
Symbolic Synthesis of Observability Requirements for Diagnosability 97
Model-Based Safety and Assessment 93
Improving Safety Assessment of Complex Systems: An Industrial case study 92
Efficient SMT-Based Analysis of Failure Propagation 92
Integrating Fault Tree Analysis with Event Ordering Information 91
Diagnosability of fair transition systems 90
Improving Safety Assessment of Complex Systems: An Industrial case study 90
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 87
Verifying Industrial Hybrid Systems with MathSAT 87
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 85
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits 84
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems 81
COMPASTA: Integrating COMPASS Functionality into TASTE 80
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits 80
Analysis of Cyclic Fault Propagation via ASP 79
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 79
Model Checking Linear Logic Specifications 79
Verification and performance evaluation of AADL models 78
Symbolic Fault Tree Analysis for Reactive Systems 77
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 77
Model-Based Codesign of Critical Embedded Systems 77
The FSAP/NuSMV-SA Safety Analysis Platform 76
The MathSAT solver -- a progress report 75
Model-Based Safety Analysis of Mode Transitions 75
The MAthSAT Solver. A progress report 74
Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results 74
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 71
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. 70
On the Relations between Disjunctive and Linear Logic Programming 68
Searching for Ribbon-Shaped Paths in Fair Transition Systems 66
Towards Formal Design of FDIR Components with AI 59
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory 49
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis 45
Totale 11.172
Salva come PNG Salva come JPEG
Categoria #
all - tutte 56.386
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 56.386
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021622 0 0 0 0 0 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.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/20262.358 266 383 477 614 458 160 0 0 0 0 0 0
Totale 11.172