IRIS Institutional Research Information System

Bozzano, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.545
EU - Europa 1.970
AS - Asia 856
Continente sconosciuto - Info sul continente non disponibili 19
OC - Oceania 10
SA - Sud America 6
Totale 6.406
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.506
DE - Germania 476
UA - Ucraina 287
IT - Italia 270
SE - Svezia 250
HK - Hong Kong 205
FI - Finlandia 183
CN - Cina 181
SG - Singapore 178
IE - Irlanda 123
GB - Regno Unito 116
IN - India 106
VN - Vietnam 93
RU - Federazione Russa 72
FR - Francia 67
BE - Belgio 55
CA - Canada 37
EU - Europa 19
IL - Israele 14
IR - Iran 12
JP - Giappone 12
KR - Corea 10
PK - Pakistan 10
AU - Australia 9
ES - Italia 9
CZ - Repubblica Ceca 8
HU - Ungheria 8
AT - Austria 6
BD - Bangladesh 6
CH - Svizzera 6
NL - Olanda 6
SI - Slovenia 6
DK - Danimarca 5
LT - Lituania 5
GE - Georgia 4
GR - Grecia 4
LB - Libano 4
AR - Argentina 3
TJ - Tagikistan 3
TR - Turchia 3
TW - Taiwan 3
AZ - Azerbaigian 2
BR - Brasile 2
LK - Sri Lanka 2
MY - Malesia 2
PA - Panama 2
PL - Polonia 2
TH - Thailandia 2
AM - Armenia 1
BG - Bulgaria 1
ID - Indonesia 1
IM - Isola di Man 1
JO - Giordania 1
LV - Lettonia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PH - Filippine 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 6.406
Salva come PNG Salva come JPEG
Città #
Chandler 730
Jacksonville 569
Hong Kong 205
Ashburn 196
Boardman 188
Wilmington 161
Ann Arbor 153
Singapore 148
Trento 121
Dublin 114
Helsinki 102
Dong Ket 93
Kronberg 89
Los Angeles 86
Dearborn 78
New York 75
Brooklyn 66
Woodbridge 61
Brussels 55
Beijing 51
Pune 34
Shanghai 34
Houston 29
Seattle 28
Munich 26
Phoenix 25
Ottawa 24
Milan 20
Falls Church 19
Redwood City 16
Verona 15
Guangzhou 14
Norwalk 14
Inglewood 13
Kharagpur 12
Miami 12
Nuremberg 12
Mountain View 10
Toronto 10
Fargo 9
London 9
San Mateo 9
Council Bluffs 8
Duncan 8
Espoo 8
Nanjing 8
Tokyo 8
Karachi 7
Leawood 7
Frankfurt am Main 6
Fremont 6
Genova 6
Karlsruhe 6
Laion 6
Monmouth Junction 6
Portland 6
Augusta 5
Budapest 5
Düren 5
Falkenstein 5
Hanover 5
Natick 5
Olomouc 5
Sunnyvale 5
Wangen 5
Alpharetta 4
Batumi 4
Cantù 4
Changsha 4
Hefei 4
Hyderabad 4
Loreggia 4
North Bergen 4
Saint Petersburg 4
Santa Clara 4
Tappahannock 4
Vienna 4
Ankara 3
Ardabil 3
Bari 3
Belmont 3
Braunschweig 3
Buenos Aires 3
Cambridge 3
Colle Isarco 3
Dresden 3
Dubendorf 3
Gold Coast 3
Gunzenhausen 3
Kildare 3
Kish 3
Ljubljana 3
Longueuil 3
Mumbai 3
Pittsburgh 3
Redmond 3
Stanford 3
Yaroslavl 3
Zurich 3
Aachen 2
Totale 3.992
Salva come PNG Salva come JPEG
Nome #
Formal reliability analysis of redundant architectures 230
COMPASS 3.0 159
Model-Based Safety and Assessment 132
Safety Critical Systems 124
Model-based Safety Assessment of a Triple Modular Generator with XSAP 112
ESACS: an integrated methodology for design and safety analysis of complex systems 106
Design and Safety Assessment of Critical Systems 105
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic 102
Automated Synthesis of Timed Failure Propagation Graphs 102
A Comprehensive Approach to On-Board Autonomy Verification and Validation 100
COMPASS Tool 99
A Model Checker for AADL 97
Efficient Anytime Techniques for Model-Based Safety Analysis 95
Automated Analysis of Reliability Architectures 93
Automated generation of FDIR for the compass integrated toolset (AUTOGEF) 91
The xSAP Safety Analysis Platform 91
Formal Methods for Aerospace Systems 91
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation 90
Safety Assessment of AltaRica Models via Symbolic Model Checking 85
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic 84
Efficient Analysis of Reliability Architectures via Predicate Abstraction 82
A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis 81
A Comprehensive Approach to On-Board Autonomy Verification and Validation 80
Model Checking and Safety Assessment of Altarica models 79
SMT-based Validation of Timed Failure Propagation Graphs 78
Beyond parameterized verification 77
The MathSAT Solver - a comparative evaluation 77
Formal Specification and Synthesis of FDI through an Example 76
Formal Design and Safety Analysis of AIR6110 Wheel Brake System 76
The Mathsat3 System 74
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers 74
Automated Protocol Verification in Linear Logic 73
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 73
Symbolic Synthesis of Observability Requirements for Diagnosability 73
Automated Verification and Tightening of Failure Propagation Models 73
FAME Process: A Dedicated Development and V&V Process for FDIR 72
An Integrated Process for FDIR Design in Aerospace 72
FAME: A Model-Based Environment for FDIR Design in Aerospace 72
Algorithmic Verification of Invalidation-Based Protocols 72
Safety, Dependability and Performance Analysis of Extended AADL Models 70
Efficient theory combination via boolean search 70
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 70
FSAP 69
Formal Verification and Validation of AADL Model 68
On-Board Autonomy via Symbolic Model Based Reasoning 68
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 67
An effective fixpoint semantics for linear logic programs 67
Codesign of Dependable Systems: A Component-Based Modeling Language 66
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 66
Towards Pareto-Optimal Parameter Synthesis for Monotonic Cost Functions 66
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 66
Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study 66
Causality and Temporal Dependencies in the Design of Fault Management Systems 66
Automatic Verification of Secrecy Properties for Linear Logic Specifications of Cryptographic Protocolos 65
Efficient Theory Combination via Boolean Search 65
Formal Design and Validation of an Automatic Train Operation Control System 64
Codesign of Dependable Systems: A Component-Based Language 63
Verifying Industrial Hybrid Systems with MathSAT 62
Integrating Fault Tree Analysis with Event Ordering Information 61
Encoding RTL Constructs for Mathsat: A preliminary report 61
Formal Safety Assessment via Contract-Based Design. 61
Symbolic Synthesis of Observability Requirements for Diagnosability 59
Improving Safety Assessment of Complex Systems: An Industrial case study 58
A Comprehensive Approach to On-board Autonomy Verification and Validation 58
Improving System Reliability via Mdel Checking: the FSAP/NuSMV-SA Safety Analysis Platform 55
Model-Based Safety and Assessment 55
Improving System Reliability via Model Checking: the FSAP/NuSMV-SA Safety Analysis Platform 51
Improving Safety Assessment of Complex Systems: An Industrial case study 51
Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems 50
Verification and performance evaluation of AADL models 50
Verifying Industrial Hybrid Systems with MathSAT 50
Spacecraft Early Design Validation using Formal Methods 50
Model Checking Linear Logic Specifications 48
Symbolic Fault Tree Analysis for Reactive Systems 48
ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. 47
The MathSAT solver -- a progress report 47
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment II: Clocked and Feedback Circuits 47
Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results 46
Model-Based Codesign of Critical Embedded Systems 45
The MAthSAT Solver. A progress report 44
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits 44
Diagnosability of fair transition systems 42
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 42
Efficient SMT-Based Analysis of Failure Propagation 42
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 40
The FSAP/NuSMV-SA Safety Analysis Platform 40
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems 40
Model-Based Safety Analysis of Mode Transitions 38
Searching for Ribbon-Shaped Paths in Fair Transition Systems 35
COMPASTA = COMPASS + TASTE 35
Analysis of Cyclic Fault Propagation via ASP 32
COMPASTA: Integrating COMPASS Functionality into TASTE 32
On the Relations between Disjunctive and Linear Logic Programming 32
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets 24
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis 11
Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory 1
Towards Formal Design of FDIR Components with AI 1
Totale 6.559
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.333
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 38.333
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020559 0 0 0 0 0 0 125 24 119 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/2025496 28 50 126 126 52 97 17 0 0 0 0 0
Totale 6.559