IRIS Institutional Research Information System

Bozzano, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.285
NA - Nord America 5.795
AS - Asia 2.829
SA - Sud America 704
AF - Africa 94
Continente sconosciuto - Info sul continente non disponibili 19
OC - Oceania 11
Totale 15.737
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.626
RU - Federazione Russa 3.538
SG - Singapore 1.044
DE - Germania 648
BR - Brasile 595
CN - Cina 530
VN - Vietnam 459
IT - Italia 358
UA - Ucraina 300
SE - Svezia 294
HK - Hong Kong 283
FR - Francia 226
FI - Finlandia 219
GB - Regno Unito 209
IN - India 167
IE - Irlanda 132
NL - Olanda 121
CA - Canada 105
BE - Belgio 60
PL - Polonia 54
BD - Bangladesh 51
MX - Messico 50
JP - Giappone 48
AR - Argentina 47
IQ - Iraq 35
ZA - Sudafrica 33
ES - Italia 32
PK - Pakistan 24
TR - Turchia 24
EU - Europa 19
IL - Israele 19
EC - Ecuador 14
VE - Venezuela 14
AT - Austria 13
ID - Indonesia 13
MY - Malesia 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
PH - Filippine 7
SI - Slovenia 7
UZ - Uzbekistan 7
JO - Giordania 6
LB - Libano 6
MA - Marocco 6
NP - Nepal 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
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
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
BY - Bielorussia 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
HR - Croazia 1
IM - Isola di Man 1
Totale 15.725
Salva come PNG Salva come JPEG
Città #
Chandler 730
San Jose 615
Singapore 594
Jacksonville 569
Ashburn 475
Hong Kong 280
Moscow 223
Dallas 200
The Dalles 195
Boardman 193
Beijing 175
Los Angeles 166
Wilmington 161
Ann Arbor 153
New York 143
Trento 131
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 38
Shanghai 38
Warsaw 38
Milan 35
Pune 35
Phoenix 34
Santa Clara 34
London 32
Seattle 32
Council Bluffs 29
Toronto 28
Ottawa 26
Rio de Janeiro 26
Chicago 24
Da Nang 23
Haiphong 23
Orem 23
Poplar 23
Montreal 22
Atlanta 21
Denver 21
Falkenstein 21
Manchester 21
Chennai 19
Falls Church 19
Nuremberg 19
Verona 19
Guangzhou 18
Amsterdam 16
Boston 16
Redwood City 16
Turku 16
Brasília 15
Miami 15
Norwalk 15
Johannesburg 14
Querétaro 14
Stockholm 14
Inglewood 13
Mexico City 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.484
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 336
COMPASS 3.0 245
Design and Safety Assessment of Critical Systems 237
Safety Critical Systems 231
Model-based Safety Assessment of a Triple Modular Generator with XSAP 229
A Comprehensive Approach to On-Board Autonomy Verification and Validation 228
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 221
A Comprehensive Approach to On-Board Autonomy Verification and Validation 220
The xSAP Safety Analysis Platform 218
ESACS: an integrated methodology for design and safety analysis of complex systems 217
Safety Assessment of AltaRica Models via Symbolic Model Checking 217
Efficient Anytime Techniques for Model-Based Safety Analysis 217
COMPASS Tool 213
Automated Analysis of Reliability Architectures 211
A Model Checker for AADL 210
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 209
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 208
Model-Based Safety and Assessment 208
Automated Synthesis of Timed Failure Propagation Graphs 204
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 203
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 199
An Integrated Process for FDIR Design in Aerospace 199
SMT-based Validation of Timed Failure Propagation Graphs 199
Model Checking and Safety Assessment of Altarica models 197
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 191
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 190
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 186
Beyond parameterized verification 186
Efficient Analysis of Reliability Architectures via Predicate Abstraction 185
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 183
Formal Specification and Synthesis of FDI through an Example 182
Formal Design and Validation of an Automatic Train Operation Control System 181
Efficient Theory Combination via Boolean Search 181
Automated Verification and Tightening of Failure Propagation Models 177
Algorithmic Verification of Invalidation-Based Protocols 177
A Comprehensive Approach to On-board Autonomy Verification and Validation 176
The MathSAT Solver - a comparative evaluation 175
COMPASTA = COMPASS + TASTE 171
Efficient theory combination via boolean search 170
FAME: A Model-Based Environment for FDIR Design in Aerospace 170
Automated Protocol Verification in Linear Logic 169
Codesign of Dependable Systems: A Component-Based Language 169
FAME Process: A Dedicated Development and V&V Process for FDIR 169
The Mathsat3 System 167
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos 167
Formal Safety Assessment via Contract-Based Design. 167
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 167
Formal Methods for Aerospace Systems 167
An effective fixpoint semantics for linear logic programs 166
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 164
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 164
Causality and Temporal Dependencies in the Design of Fault Management Systems 164
Encoding RTL Constructs for Mathsat: A preliminary report 162
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 161
On-Board Autonomy via Symbolic Model Based Reasoning 161
FSAP 160
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 158
Symbolic Synthesis of Observability Requirements for Diagnosability 157
Formal Verification and Validation of AADL Model 155
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 153
Verifying Industrial Hybrid Systems with MathSAT 150
Spacecraft Early Design Validation using Formal Methods 145
Efficient SMT-Based Analysis of Failure Propagation 145
Safety, Dependability and Performance Analysis of Extended AADL Models 144
Diagnosability of fair transition systems 143
Analysis of Cyclic Fault Propagation via ASP 141
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 141
COMPASTA: Integrating COMPASS Functionality into TASTE 137
Codesign of Dependable Systems: A Component-Based Modeling Language 134
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 132
Symbolic Synthesis of Observability Requirements for Diagnosability 130
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 129
Integrating Fault Tree Analysis with Event Ordering Information 126
Verifying Industrial Hybrid Systems with MathSAT 126
Improving Safety Assessment of Complex Systems: An Industrial case study 126
Improving Safety Assessment of Complex Systems: An Industrial case study 122
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits 121
Model-Based Safety and Assessment 121
The FSAP/NuSMV-SA Safety Analysis Platform 116
Model-Based Safety Analysis of Mode Transitions 116
Model Checking Linear Logic Specifications 115
Model-Based Codesign of Critical Embedded Systems 115
The MAthSAT Solver. A progress report 114
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits 114
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems 111
Verification and performance evaluation of AADL models 110
Towards Formal Design of FDIR Components with AI 109
The MathSAT solver -- a progress report 109
Symbolic Fault Tree Analysis for Reactive Systems 108
On the Relations between Disjunctive and Linear Logic Programming 108
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 106
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. 104
Searching for Ribbon-Shaped Paths in Fair Transition Systems 104
Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results 103
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 99
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory 96
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis 84
Towards a Unifying View of Fault Propagation Analyses and Notations 19
Totale 15.897
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.467
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 63.467
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021381 0 0 0 0 0 0 0 0 0 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/20267.083 266 383 477 614 458 293 1.031 2.735 457 369 0 0
Totale 15.897