IRIS Institutional Research Information System

Bozzano, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.630
EU - Europa 6.424
AS - Asia 2.886
SA - Sud America 724
Continente sconosciuto - Info sul continente non disponibili 181
AF - Africa 100
OC - Oceania 11
Totale 17.956
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.408
RU - Federazione Russa 3.538
SG - Singapore 1.056
DE - Germania 661
BR - Brasile 604
CN - Cina 543
VN - Vietnam 460
IT - Italia 393
SE - Svezia 350
UA - Ucraina 300
HK - Hong Kong 297
FR - Francia 234
GB - Regno Unito 222
FI - Finlandia 219
IN - India 168
CA - Canada 139
IE - Irlanda 135
NL - Olanda 125
BE - Belgio 60
PL - Polonia 55
BD - Bangladesh 52
MX - Messico 51
AR - Argentina 50
JP - Giappone 49
IQ - Iraq 35
ZA - Sudafrica 34
ES - Italia 32
TR - Turchia 25
PK - Pakistan 24
IL - Israele 20
EU - Europa 19
ID - Indonesia 17
VE - Venezuela 16
EC - Ecuador 15
MY - Malesia 15
SA - Arabia Saudita 14
AT - Austria 13
CO - Colombia 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
EE - Estonia 9
EG - Egitto 9
NP - Nepal 9
TN - Tunisia 9
TH - Thailandia 8
AE - Emirati Arabi Uniti 7
PH - Filippine 7
SI - Slovenia 7
UY - Uruguay 7
UZ - Uzbekistan 7
CR - Costa Rica 6
JO - Giordania 6
LB - Libano 6
MA - Marocco 6
PE - Perù 6
PY - Paraguay 6
AZ - Azerbaigian 5
DK - Danimarca 5
ET - Etiopia 5
GE - Georgia 5
JM - Giamaica 5
PS - Palestinian Territory 5
TT - Trinidad e Tobago 5
TW - Taiwan 5
CL - Cile 4
GR - Grecia 4
OM - Oman 4
SC - Seychelles 4
MK - Macedonia 3
PR - Porto Rico 3
RO - Romania 3
SK - Slovacchia (Repubblica Slovacca) 3
SN - Senegal 3
TJ - Tagikistan 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
SV - El Salvador 2
AL - Albania 1
AM - Armenia 1
AO - Angola 1
BB - Barbados 1
Totale 17.778
Salva come PNG Salva come JPEG
Città #
San Jose 779
Chandler 730
Council Bluffs 657
Singapore 605
Jacksonville 569
Ashburn 495
Hong Kong 290
Moscow 223
Dallas 216
The Dalles 196
Boardman 195
Los Angeles 193
Beijing 182
New York 168
Wilmington 166
Ann Arbor 154
Trento 132
Dublin 123
Helsinki 122
Ho Chi Minh City 107
Brooklyn 102
Hefei 101
Dong Ket 93
Kronberg 89
Hanoi 85
Lauterbourg 85
Dearborn 79
Munich 78
Buffalo 70
São Paulo 68
Woodbridge 61
Brussels 60
Phoenix 55
Santa Clara 47
Houston 45
Tokyo 43
Frankfurt am Main 41
Milan 40
Warsaw 39
Shanghai 38
Seattle 36
Pune 35
London 34
Chicago 33
Denver 32
Toronto 32
Montreal 29
Ottawa 26
Rio de Janeiro 26
Atlanta 25
Garland 24
Da Nang 23
Haiphong 23
Orem 23
Poplar 23
Manchester 22
Falkenstein 21
Amsterdam 20
Falls Church 20
Miami 20
Chennai 19
Nuremberg 19
Verona 19
Boston 18
Guangzhou 18
Brasília 17
Norwalk 16
Redwood City 16
Tampa 16
Turku 16
Johannesburg 14
Mexico City 14
Querétaro 14
Stockholm 14
Inglewood 13
Belo Horizonte 12
Columbus 12
Kharagpur 12
Lawrenceville 12
North Easton 12
Pittsburgh 12
Queens 12
San Francisco 12
Ankara 11
Nairobi 11
Philadelphia 11
Fargo 10
Mountain View 10
Naples 10
Campinas 9
Dhaka 9
Hillsboro 9
Karachi 9
Paris 9
Portland 9
Rome 9
San Mateo 9
Baghdad 8
Can Tho 8
Curitiba 8
Totale 8.646
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 355
COMPASS 3.0 277
Design and Safety Assessment of Critical Systems 274
Model-based Safety Assessment of a Triple Modular Generator with XSAP 254
Safety Critical Systems 253
A Comprehensive Approach to On-Board Autonomy Verification and Validation 247
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 246
ESACS: an integrated methodology for design and safety analysis of complex systems 243
The xSAP Safety Analysis Platform 243
A Comprehensive Approach to On-Board Autonomy Verification and Validation 241
Efficient Anytime Techniques for Model-Based Safety Analysis 239
Safety Assessment of AltaRica Models via Symbolic Model Checking 238
COMPASS Tool 234
A Model Checker for AADL 233
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 232
Automated Analysis of Reliability Architectures 231
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 228
Model-Based Safety and Assessment 226
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 223
Automated Synthesis of Timed Failure Propagation Graphs 223
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 222
An Integrated Process for FDIR Design in Aerospace 222
SMT-based Validation of Timed Failure Propagation Graphs 222
Model Checking and Safety Assessment of Altarica models 217
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 215
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 212
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 207
Formal Specification and Synthesis of FDI through an Example 206
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 205
Efficient Analysis of Reliability Architectures via Predicate Abstraction 204
Efficient Theory Combination via Boolean Search 204
Beyond parameterized verification 202
Formal Design and Validation of an Automatic Train Operation Control System 201
Automated Verification and Tightening of Failure Propagation Models 197
The MathSAT Solver - a comparative evaluation 197
A Comprehensive Approach to On-board Autonomy Verification and Validation 197
Algorithmic Verification of Invalidation-Based Protocols 196
COMPASTA = COMPASS + TASTE 194
Automated Protocol Verification in Linear Logic 192
Efficient theory combination via boolean search 191
FAME: A Model-Based Environment for FDIR Design in Aerospace 191
The Mathsat3 System 188
Codesign of Dependable Systems: A Component-Based Language 188
FAME Process: A Dedicated Development and V&V Process for FDIR 188
Formal Safety Assessment via Contract-Based Design. 186
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 186
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos 185
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 185
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 185
An effective fixpoint semantics for linear logic programs 184
FSAP 183
Formal Methods for Aerospace Systems 183
Causality and Temporal Dependencies in the Design of Fault Management Systems 182
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 179
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 179
Encoding RTL Constructs for Mathsat: A preliminary report 178
Symbolic Synthesis of Observability Requirements for Diagnosability 177
Formal Verification and Validation of AADL Model 177
On-Board Autonomy via Symbolic Model Based Reasoning 177
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 174
COMPASTA: Integrating COMPASS Functionality into TASTE 172
Verifying Industrial Hybrid Systems with MathSAT 171
Spacecraft Early Design Validation using Formal Methods 171
Efficient SMT-Based Analysis of Failure Propagation 170
Analysis of Cyclic Fault Propagation via ASP 166
Diagnosability of fair transition systems 165
Safety, Dependability and Performance Analysis of Extended AADL Models 163
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 160
Symbolic Synthesis of Observability Requirements for Diagnosability 160
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 153
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 152
Codesign of Dependable Systems: A Component-Based Modeling Language 148
Improving Safety Assessment of Complex Systems: An Industrial case study 147
The FSAP/NuSMV-SA Safety Analysis Platform 143
Verifying Industrial Hybrid Systems with MathSAT 143
Towards Formal Design of FDIR Components with AI 141
Integrating Fault Tree Analysis with Event Ordering Information 140
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits 139
Improving Safety Assessment of Complex Systems: An Industrial case study 137
Model-Based Codesign of Critical Embedded Systems 137
Model-Based Safety and Assessment 137
Model-Based Safety Analysis of Mode Transitions 137
The MAthSAT Solver. A progress report 134
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits 132
Symbolic Fault Tree Analysis for Reactive Systems 131
Model Checking Linear Logic Specifications 130
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems 130
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory 128
The MathSAT solver -- a progress report 126
On the Relations between Disjunctive and Linear Logic Programming 126
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 124
Verification and performance evaluation of AADL models 124
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 121
Searching for Ribbon-Shaped Paths in Fair Transition Systems 120
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. 118
Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results 117
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis 108
Towards a Unifying View of Fault Propagation Analyses and Notations 37
Totale 17.956
Salva come PNG Salva come JPEG
Categoria #
all - tutte 72.994
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 72.994
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022584 0 0 0 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/20271.598 307 280 571 440 0 0 0 0 0 0 0 0
Totale 17.956