Cavada, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 804
EU - Europa 528
AS - Asia 160
Continente sconosciuto - Info sul continente non disponibili 5
SA - Sud America 1
Totale 1.498
Nazione #
US - Stati Uniti d'America 802
IT - Italia 136
DE - Germania 96
FI - Finlandia 56
UA - Ucraina 55
SE - Svezia 48
HK - Hong Kong 44
IN - India 42
IE - Irlanda 36
CN - Cina 35
GB - Regno Unito 31
RU - Federazione Russa 22
BE - Belgio 20
FR - Francia 19
VN - Vietnam 17
SG - Singapore 12
CZ - Repubblica Ceca 5
EU - Europa 5
JP - Giappone 3
KR - Corea 3
CA - Canada 2
DK - Danimarca 2
LB - Libano 2
BR - Brasile 1
EE - Estonia 1
IL - Israele 1
IR - Iran 1
NL - Olanda 1
Totale 1.498
Città #
Chandler 198
Jacksonville 114
Ann Arbor 63
Trento 51
New York 47
Hong Kong 44
Helsinki 41
Boardman 40
Dublin 36
Wilmington 35
Ashburn 26
Woodbridge 21
Brussels 20
Kronberg 18
Dearborn 17
Dong Ket 17
Beijing 14
Houston 13
Shanghai 12
Verona 12
Brooklyn 11
Milan 8
Phoenix 8
Los Angeles 7
Seattle 7
Singapore 7
Nuremberg 6
Pune 5
Brno 4
Guangzhou 4
Guanzate 4
Isola della Scala 4
Munich 4
Turin 4
Cologne 3
Ferrara 3
Naples 3
Norwalk 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
Ottawa 2
Redwood City 2
Reggio Emilia 2
Vadodara 2
Casamassima 1
Castello Molina di Fiemme 1
Clearwater 1
Cloppenburg 1
Corsico 1
Eshhar 1
Falls Church 1
Gunzenhausen 1
Kista 1
Lamporecchio 1
Lariano 1
Livorno 1
Miami 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
Santa Clara 1
Secaucus 1
Spinea 1
Strasbourg 1
Tallinn 1
Tortona 1
Totale 1.000
Nome #
NuSMV 115
Model-Based Design of an Energy-System Embedded Controller Using Taste 95
Supporting Requirements Validation: The EuRailCheck Tool 93
NuGAT 92
COMPASS Tool 90
OthelloPlay: a plug-in based tool for requirement formalization and validation 90
RAT 84
The xSAP Safety Analysis Platform 84
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 75
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 73
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 71
Formal Verification of Diagnosability via Symbolic Model Checking 64
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 63
Formal Verification of Diagnosability via Symbolic Model Checking 62
Rat: A tool for the formal analysis of requirements 62
Formal Verification and Validation of AADL Model 61
The nuXmv Symbolic Model Checker 59
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 57
Formal analysis of hardware requirements 52
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 32
A Formal IDE for Railways: Research Challenges 28
COMPASTA: Integrating COMPASS Functionality into TASTE 23
COMPASTA = COMPASS + TASTE 18
Totale 1.543
Categoria #
all - tutte 7.892
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 7.892


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020218 24 16 5 2 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/20255 5 0 0 0 0 0 0 0 0 0 0 0
Totale 1.543