Cimatti, Alessandro
 Distribuzione geografica
Continente #
EU - Europa 118
NA - Nord America 24
AS - Asia 20
OC - Oceania 2
Totale 164
Nazione #
IT - Italia 87
US - Stati Uniti d'America 23
FR - Francia 6
CN - Cina 5
IL - Israele 5
NL - Olanda 5
IE - Irlanda 4
KR - Corea 4
CZ - Repubblica Ceca 3
RU - Federazione Russa 3
UA - Ucraina 3
AU - Australia 2
DE - Germania 2
FI - Finlandia 2
HK - Hong Kong 2
VN - Vietnam 2
BG - Bulgaria 1
CA - Canada 1
IR - Iran 1
JP - Giappone 1
LT - Lituania 1
SI - Slovenia 1
Totale 164
Città #
Trento 48
Rovereto 7
Ashburn 5
Bolzano 5
Chongqing 4
Dublin 4
Paris 4
Haifa 3
Amsterdam 2
Dong Ket 2
Helsinki 2
Hong Kong 2
Hyattsville 2
Milan 2
New York 2
Tione Di Trento 2
Udine 2
Vigolo Vattaro 2
Angers 1
Beijing 1
Boardman 1
Bresso 1
Bronzolo 1
Brugnera 1
Chiampo 1
Chicago 1
Chiyoda-ku 1
Ciampino 1
Columbus 1
Dongjak-gu 1
Fleming Island 1
Frankfurt am Main 1
Gangbuk-gu 1
Houston 1
Laion 1
Loreggia 1
Menges 1
Naaldwijk 1
North Bergen 1
Nuremberg 1
Palaiseau 1
Phoenix 1
Seongbuk-gu 1
Sofia 1
Tel Aviv 1
Toronto 1
Treviso 1
University Park 1
Vilnius 1
Yongin-si 1
Totale 132
Nome #
Towards Automatic Digitalization of Railway Engineering Schematics, file b0504de0-9537-4b45-b5e7-528c262f925e 24
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
Formal reliability analysis of redundant architectures, file ddb241a5-53c9-ba8a-e053-3a05fe0afd55 19
Semi-ProtoPNet Deep Neural Network for the Classification of Defective Power Grid Distribution Structures, file 6f71a43a-545f-4de1-ba60-a84d201ac03d 12
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
HRELTL: A temporal logic for hybrid systems, file ddb241a5-2a18-ba8a-e053-3a05fe0afd55 3
Towards Adaptive MILS Systems: Model-Based Design, Verification And Run-Time Adaptation, file ddb241a5-636f-ba8a-e053-3a05fe0afd55 3
A Data-driven Approach for RUL Prediction of an Experimental Filtration System, file ddb241a5-7ace-ba8a-e053-3a05fe0afd55 3
Analysis of Cyclic Fault Propagation via ASP, file 51bbe364-3f4a-48e8-aa95-f12dba37e819 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
Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies, file ddb241a5-32a6-ba8a-e053-3a05fe0afd55 2
Model-based Safety Assessment of a Triple Modular Generator with XSAP, file ddb241a5-7dca-ba8a-e053-3a05fe0afd55 2
Optimization Modulo Non-linear Arithmetic via Incremental Linearization, file ddb241a5-8638-ba8a-e053-3a05fe0afd55 2
Two formal methodologies of Model-Based Safety Assessment for Fault Tree Analysis, file b1e545a1-1620-4768-b3a2-b43074894722 1
Comparing Different Functional Allocations in Automated Air Traffic Control Design, file ddb241a5-25cd-ba8a-e053-3a05fe0afd55 1
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration, file ddb241a5-32ac-ba8a-e053-3a05fe0afd55 1
A Lazy Approach to Temporal Epistemic Logic Model Checking, file ddb241a5-32b2-ba8a-e053-3a05fe0afd55 1
Verilog2SMV: A Tool for Word-level Verification, file ddb241a5-32df-ba8a-e053-3a05fe0afd55 1
COMPASS 3.0, file ddb241a5-55fe-ba8a-e053-3a05fe0afd55 1
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System, file ddb241a5-78b6-ba8a-e053-3a05fe0afd55 1
Efficient SMT-Based Analysis of Failure Propagation, file ddb241a5-7a72-ba8a-e053-3a05fe0afd55 1
Totale 164
Categoria #
all - tutte 385
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 385


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20204 0 0 0 0 0 0 0 0 0 1 1 2
2020/202115 1 0 3 2 1 3 0 0 1 0 2 2
2021/202223 1 4 1 0 1 0 0 1 1 0 4 10
2022/202345 3 6 8 2 3 3 6 2 9 0 3 0
2023/202456 7 0 2 5 4 12 8 1 12 3 2 0
Totale 164