Cavada, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 865
EU - Europa 567
AS - Asia 215
Continente sconosciuto - Info sul continente non disponibili 5
SA - Sud America 2
Totale 1.654
Nazione #
US - Stati Uniti d'America 860
IT - Italia 146
DE - Germania 117
FI - Finlandia 58
UA - Ucraina 55
HK - Hong Kong 51
SE - Svezia 48
SG - Singapore 48
IN - India 42
CN - Cina 41
IE - Irlanda 36
GB - Regno Unito 33
RU - Federazione Russa 22
BE - Belgio 21
FR - Francia 19
VN - Vietnam 19
CA - Canada 5
CZ - Repubblica Ceca 5
EU - Europa 5
BD - Bangladesh 3
DK - Danimarca 3
JP - Giappone 3
KR - Corea 3
BR - Brasile 2
LB - Libano 2
AZ - Azerbaigian 1
EE - Estonia 1
IL - Israele 1
IR - Iran 1
LT - Lituania 1
NL - Olanda 1
PL - Polonia 1
Totale 1.654
Città #
Chandler 198
Jacksonville 114
Ann Arbor 63
Boardman 56
Trento 52
Hong Kong 51
New York 49
Helsinki 43
Singapore 39
Dublin 36
Wilmington 35
Ashburn 26
Munich 22
Brussels 21
Woodbridge 21
Kronberg 18
Dearborn 17
Dong Ket 17
Beijing 14
Houston 13
Shanghai 12
Verona 12
Brooklyn 11
Los Angeles 10
Milan 10
Phoenix 8
Seattle 7
Nuremberg 6
Miami 5
Pune 5
Santa Clara 5
Brno 4
Guangzhou 4
Guanzate 4
Isola della Scala 4
Turin 4
Cologne 3
Ferrara 3
Frankfurt am Main 3
Naples 3
Norwalk 3
Ottawa 3
Plaistow 3
Portland 3
Seoul 3
Tokyo 3
Cambridge 2
Desenzano del Garda 2
Fairfield 2
Hanover 2
Inglewood 2
Lyon 2
Monmouth Junction 2
Mountain View 2
Redwood City 2
Reggio Emilia 2
Toronto 2
Vadodara 2
Baku 1
Casamassima 1
Castello Molina di Fiemme 1
Clearwater 1
Cloppenburg 1
Corsico 1
Council Bluffs 1
Eshhar 1
Falls Church 1
Genoa 1
Gunzenhausen 1
Ho Chi Minh City 1
Kista 1
Lamporecchio 1
Lariano 1
Livorno 1
London 1
Nagold 1
Nanchang 1
Nanjing 1
Novokuznetsk 1
Olomouc 1
Ponte Sasso 1
Quzhou 1
Redmond 1
Rovereto 1
Saint Petersburg 1
Salerno 1
Secaucus 1
Spinea 1
Strasbourg 1
São Paulo 1
Tallinn 1
Tortona 1
Totale 1.104
Nome #
NuSMV 124
NuGAT 100
Model-Based Design of an Energy-System Embedded Controller Using Taste 100
OthelloPlay: a plug-in based tool for requirement formalization and validation 99
COMPASS Tool 98
Supporting Requirements Validation: The EuRailCheck Tool 95
RAT 91
The xSAP Safety Analysis Platform 91
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 81
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 79
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 77
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 73
Rat: A tool for the formal analysis of requirements 71
Formal Verification of Diagnosability via Symbolic Model Checking 70
Formal Verification of Diagnosability via Symbolic Model Checking 69
Formal Verification and Validation of AADL Model 67
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 62
The nuXmv Symbolic Model Checker 62
Formal analysis of hardware requirements 59
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 38
A Formal IDE for Railways: Research Challenges 33
COMPASTA = COMPASS + TASTE 32
COMPASTA: Integrating COMPASS Functionality into TASTE 28
Totale 1.699
Categoria #
all - tutte 9.181
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 9.181


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020171 0 0 0 0 27 18 23 1 18 54 22 8
2020/2021196 24 0 20 13 21 3 31 3 18 32 7 24
2021/2022158 19 3 2 16 8 2 10 13 29 6 24 26
2022/2023415 13 35 9 92 9 57 12 40 92 23 16 17
2023/2024376 28 19 33 20 23 89 13 26 57 19 2 47
2024/2025161 15 17 71 48 10 0 0 0 0 0 0 0
Totale 1.699