Bozzano, Marco
 Distribuzione geografica
Continente #
EU - Europa 110
NA - Nord America 29
AS - Asia 12
OC - Oceania 2
Totale 153
Nazione #
IT - Italia 75
US - Stati Uniti d'America 29
NL - Olanda 9
IE - Irlanda 5
RU - Federazione Russa 5
UA - Ucraina 5
CZ - Repubblica Ceca 4
DE - Germania 4
IL - Israele 4
VN - Vietnam 4
CN - Cina 3
AU - Australia 2
FI - Finlandia 1
FR - Francia 1
IR - Iran 1
LT - Lituania 1
Totale 153
Città #
Trento 40
Ashburn 7
Rovereto 7
Bolzano 5
Dublin 5
Dong Ket 4
Haifa 3
Milan 3
Amsterdam 2
Fleming Island 2
Frankfurt am Main 2
Mountain View 2
New York 2
Pittsburgh 2
Tappahannock 2
Tione Di Trento 2
Udine 2
Vigolo Vattaro 2
Ann Arbor 1
Beijing 1
Boardman 1
Bresso 1
Brugnera 1
Chiampo 1
Chicago 1
Ciampino 1
Helsinki 1
Houston 1
Kronberg 1
Laion 1
Loreggia 1
Naaldwijk 1
Nuremberg 1
Palaiseau 1
Redmond 1
Shanghai 1
Tel Aviv 1
Treviso 1
University Park 1
Vilnius 1
Wuhan 1
Totale 117
Nome #
Diagnosability of fair transition systems, file 28afc4e6-7180-4b6c-947d-20b1aa1e909c 23
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic, file ddb241a5-2c8d-ba8a-e053-3a05fe0afd55 23
Causality and Temporal Dependencies in the Design of Fault Management Systems, file ddb241a5-6322-ba8a-e053-3a05fe0afd55 20
Formal reliability analysis of redundant architectures, file ddb241a5-53c9-ba8a-e053-3a05fe0afd55 19
On the Relations between Disjunctive and Linear Logic Programming, file ddb241a5-7941-ba8a-e053-3a05fe0afd55 16
COMPASTA: Integrating COMPASS Functionality into TASTE, file 76a4f9be-f2b5-4815-a683-c3773617c888 8
COMPASTA = COMPASS + TASTE, file dece9782-653c-4df6-ade4-193ea0514c0a 7
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation, file ddb241a5-8904-ba8a-e053-3a05fe0afd55 6
COMPASTA: Extending TASTE with Formal Design and Verification Functionality, file 273b0fc0-46a7-4681-9a31-e05bde1dcfdf 5
Formal Methods for Aerospace Systems, file ddb241a5-5bd4-ba8a-e053-3a05fe0afd55 5
Formal Design and Validation of an Automatic Train Operation Control System, file 13fbafe9-8930-4ca1-9f1f-63a8330fbb4a 3
Analysis of Cyclic Fault Propagation via ASP, file 51bbe364-3f4a-48e8-aa95-f12dba37e819 2
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets, file 5c4cd9ba-9da9-49e6-acd7-af8de0a57621 2
Symbolic Synthesis of Observability Requirements for Diagnosability, file ddb241a5-1ae1-ba8a-e053-3a05fe0afd55 2
FAME: A Model-Based Environment for FDIR Design in Aerospace, file ddb241a5-1b3b-ba8a-e053-3a05fe0afd55 2
Model-based Safety Assessment of a Triple Modular Generator with XSAP, file ddb241a5-7dca-ba8a-e053-3a05fe0afd55 2
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis, file b1e545a1-1620-4768-b3a2-b43074894722 1
Safety Critical Systems, file ddb241a5-1c07-ba8a-e053-3a05fe0afd55 1
Beyond parameterized verification, file ddb241a5-3714-ba8a-e053-3a05fe0afd55 1
Algorithmic Verification of Invalidation-Based Protocols, file ddb241a5-3959-ba8a-e053-3a05fe0afd55 1
An effective fixpoint semantics for linear logic programs, file ddb241a5-395b-ba8a-e053-3a05fe0afd55 1
COMPASS 3.0, file ddb241a5-55fe-ba8a-e053-3a05fe0afd55 1
Model-Based Safety and Assessment, file ddb241a5-6eaf-ba8a-e053-3a05fe0afd55 1
Efficient SMT-Based Analysis of Failure Propagation, file ddb241a5-7a72-ba8a-e053-3a05fe0afd55 1
Totale 153
Categoria #
all - tutte 384
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 384


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191 0 0 0 0 0 0 0 0 0 1 0 0
2019/20205 0 0 0 0 1 0 0 0 0 1 1 2
2020/202116 1 0 3 3 2 3 0 0 0 0 1 3
2021/202229 0 4 4 0 1 0 0 1 0 0 5 14
2022/202340 3 5 3 2 3 1 7 2 9 0 5 0
2023/202446 13 1 3 7 1 6 2 1 11 1 0 0
Totale 153