IRIS Institutional Research Information System

Bozzano, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.690
EU - Europa 3.033
AS - Asia 1.064
SA - Sud America 165
Continente sconosciuto - Info sul continente non disponibili 19
OC - Oceania 10
AF - Africa 7
Totale 7.988
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.642
RU - Federazione Russa 930
DE - Germania 506
SG - Singapore 331
IT - Italia 299
UA - Ucraina 289
SE - Svezia 250
HK - Hong Kong 237
FI - Finlandia 201
CN - Cina 183
BR - Brasile 150
IE - Irlanda 123
GB - Regno Unito 119
IN - India 107
NL - Olanda 105
VN - Vietnam 93
FR - Francia 69
BE - Belgio 60
CA - Canada 44
EU - Europa 19
IL - Israele 15
JP - Giappone 13
IR - Iran 12
ES - Italia 11
BD - Bangladesh 10
HU - Ungheria 10
KR - Corea 10
PK - Pakistan 10
AT - Austria 9
AU - Australia 9
CZ - Repubblica Ceca 9
AR - Argentina 7
LT - Lituania 7
CH - Svizzera 6
SI - Slovenia 6
TR - Turchia 6
DK - Danimarca 5
EE - Estonia 5
GE - Georgia 5
GR - Grecia 4
LB - Libano 4
EG - Egitto 3
JO - Giordania 3
TJ - Tagikistan 3
TW - Taiwan 3
AZ - Azerbaigian 2
EC - Ecuador 2
LK - Sri Lanka 2
MY - Malesia 2
NP - Nepal 2
PA - Panama 2
PL - Polonia 2
TH - Thailandia 2
UY - Uruguay 2
UZ - Uzbekistan 2
VE - Venezuela 2
AM - Armenia 1
BG - Bulgaria 1
BY - Bielorussia 1
ID - Indonesia 1
IM - Isola di Man 1
IQ - Iraq 1
KE - Kenya 1
KG - Kirghizistan 1
KH - Cambogia 1
LV - Lettonia 1
MA - Marocco 1
MK - Macedonia 1
MX - Messico 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PH - Filippine 1
PS - Palestinian Territory 1
PY - Paraguay 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TN - Tunisia 1
ZA - Sudafrica 1
Totale 7.988
Salva come PNG Salva come JPEG
Città #
Chandler 730
Jacksonville 569
Hong Kong 236
Moscow 221
Ashburn 198
Boardman 188
Singapore 187
Wilmington 161
Ann Arbor 153
Trento 125
Helsinki 120
Dublin 114
Dong Ket 93
Kronberg 89
Los Angeles 86
Dearborn 78
The Dalles 77
New York 75
Brooklyn 66
Woodbridge 61
Brussels 60
Beijing 51
Shanghai 36
Pune 34
Houston 29
Munich 29
Seattle 28
Milan 25
Ottawa 25
Phoenix 25
Falkenstein 21
Falls Church 19
Verona 17
Redwood City 16
Toronto 16
Nuremberg 15
Council Bluffs 14
Guangzhou 14
Norwalk 14
São Paulo 14
Inglewood 13
Kharagpur 12
London 12
Miami 12
Frankfurt am Main 10
Mountain View 10
Fargo 9
San Mateo 9
Santa Clara 9
Duncan 8
Espoo 8
Nanjing 8
Tokyo 8
Budapest 7
Karachi 7
Leawood 7
Fremont 6
Genova 6
Karlsruhe 6
Laion 6
Monmouth Junction 6
Portland 6
Rio de Janeiro 6
Augusta 5
Düren 5
Hanover 5
Natick 5
Olomouc 5
Sunnyvale 5
Vienna 5
Wangen 5
Alpharetta 4
Amsterdam 4
Batumi 4
Brasília 4
Buenos Aires 4
Cantù 4
Changsha 4
Hefei 4
Hyderabad 4
Loreggia 4
North Bergen 4
Rome 4
Saint Petersburg 4
Tappahannock 4
Amman 3
Ankara 3
Ardabil 3
Bari 3
Belmont 3
Braunschweig 3
Brescia 3
Cambridge 3
Colle Isarco 3
Contagem 3
Dresden 3
Dubendorf 3
Gold Coast 3
Gunzenhausen 3
Jundiaí 3
Totale 4.461
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 251
COMPASS 3.0 180
Model-Based Safety and Assessment 147
Safety Critical Systems 143
Model-based Safety Assessment of a Triple Modular Generator with XSAP 136
Design and Safety Assessment of Critical Systems 125
A Comprehensive Approach to On-Board Autonomy Verification and Validation 122
The xSAP Safety Analysis Platform 122
Automated Synthesis of Timed Failure Propagation Graphs 122
ESACS: an integrated methodology for design and safety analysis of complex systems 120
COMPASS Tool 118
Efficient Anytime Techniques for Model-Based Safety Analysis 117
A Model Checker for AADL 116
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 115
Automated Analysis of Reliability Architectures 108
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 108
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 107
A Comprehensive Approach to On-Board Autonomy Verification and Validation 105
Safety Assessment of AltaRica Models via Symbolic Model Checking 105
Formal Methods for Aerospace Systems 105
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 105
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 100
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 98
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 97
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 97
Efficient Analysis of Reliability Architectures via Predicate Abstraction 96
Automated Verification and Tightening of Failure Propagation Models 96
The MathSAT Solver - a comparative evaluation 96
Model Checking and Safety Assessment of Altarica models 95
SMT-based Validation of Timed Failure Propagation Graphs 95
Beyond parameterized verification 94
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 93
Formal Specification and Synthesis of FDI through an Example 92
An Integrated Process for FDIR Design in Aerospace 91
FAME: A Model-Based Environment for FDIR Design in Aerospace 91
Automated Protocol Verification in Linear Logic 89
Formal Design and Validation of an Automatic Train Operation Control System 86
On-Board Autonomy via Symbolic Model Based Reasoning 86
Symbolic Synthesis of Observability Requirements for Diagnosability 85
Formal Verification and Validation of AADL Model 85
Algorithmic Verification of Invalidation-Based Protocols 85
FSAP 84
FAME Process: A Dedicated Development and V&V Process for FDIR 84
The Mathsat3 System 83
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 83
Safety, Dependability and Performance Analysis of Extended AADL Models 81
Efficient theory combination via boolean search 81
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 81
Efficient Theory Combination via Boolean Search 81
Causality and Temporal Dependencies in the Design of Fault Management Systems 81
A Comprehensive Approach to On-board Autonomy Verification and Validation 81
Codesign of Dependable Systems: A Component-Based Language 80
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 80
An effective fixpoint semantics for linear logic programs 80
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 79
Codesign of Dependable Systems: A Component-Based Modeling Language 79
Formal Safety Assessment via Contract-Based Design. 79
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 78
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos 77
Spacecraft Early Design Validation using Formal Methods 77
Verifying Industrial Hybrid Systems with MathSAT 74
Symbolic Synthesis of Observability Requirements for Diagnosability 74
Encoding RTL Constructs for Mathsat: A preliminary report 73
Integrating Fault Tree Analysis with Event Ordering Information 70
Model-Based Safety and Assessment 70
Improving Safety Assessment of Complex Systems: An Industrial case study 68
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 66
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 66
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 65
Verification and performance evaluation of AADL models 62
Verifying Industrial Hybrid Systems with MathSAT 62
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits 62
Improving Safety Assessment of Complex Systems: An Industrial case study 62
COMPASTA = COMPASS + TASTE 62
Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results 60
Model Checking Linear Logic Specifications 59
Symbolic Fault Tree Analysis for Reactive Systems 59
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. 59
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems 58
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits 58
Model-Based Codesign of Critical Embedded Systems 58
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 57
Diagnosability of fair transition systems 56
The MAthSAT Solver. A progress report 56
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 56
Efficient SMT-Based Analysis of Failure Propagation 56
The MathSAT solver -- a progress report 55
Model-Based Safety Analysis of Mode Transitions 51
The FSAP/NuSMV-SA Safety Analysis Platform 49
COMPASTA: Integrating COMPASS Functionality into TASTE 48
Searching for Ribbon-Shaped Paths in Fair Transition Systems 47
On the Relations between Disjunctive and Linear Logic Programming 46
Analysis of Cyclic Fault Propagation via ASP 45
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 42
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory 31
Towards Formal Design of FDIR Components with AI 26
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis 24
Totale 8.145
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.921
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 44.921
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020291 0 0 0 0 0 0 0 0 0 112 110 69
2020/2021993 107 6 106 54 98 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.082 28 50 126 126 52 97 119 204 1.015 265 0 0
Totale 8.145