IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020764 0 0 0 8 119 78 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/2025204 28 50 126 0 0 0 0 0 0 0 0 0
Totale 6.267