Cavada, Roberto
 Distribuzione geografica
Continente #
NA - Nord America 772
EU - Europa 519
AS - Asia 147
Continente sconosciuto - Info sul continente non disponibili 5
SA - Sud America 1
Totale 1.444
Nazione #
US - Stati Uniti d'America 770
IT - Italia 136
DE - Germania 94
FI - Finlandia 55
UA - Ucraina 55
SE - Svezia 48
HK - Hong Kong 44
IN - India 42
IE - Irlanda 36
CN - Cina 34
GB - Regno Unito 31
RU - Federazione Russa 22
BE - Belgio 20
FR - Francia 18
VN - Vietnam 17
EU - Europa 5
KR - Corea 3
SG - Singapore 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.444
Città #
Chandler 198
Jacksonville 114
Ann Arbor 63
Trento 51
New York 47
Hong Kong 44
Helsinki 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
Boardman 9
Milan 8
Phoenix 8
Los Angeles 7
Seattle 7
Nuremberg 6
Pune 5
Guangzhou 4
Guanzate 4
Isola della Scala 4
Turin 4
Cologne 3
Ferrara 3
Naples 3
Norwalk 3
Plaistow 3
Portland 3
Seoul 3
Cambridge 2
Desenzano del Garda 2
Fairfield 2
Hanover 2
Inglewood 2
Lyon 2
Monmouth Junction 2
Mountain View 2
Munich 2
Ottawa 2
Redwood City 2
Reggio Emilia 2
Singapore 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
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 953
Nome #
NuSMV 110
Model-Based Design of an Energy-System Embedded Controller Using Taste 93
Supporting Requirements Validation: The EuRailCheck Tool 90
NuGAT 89
COMPASS Tool 89
OthelloPlay: a plug-in based tool for requirement formalization and validation 88
The xSAP Safety Analysis Platform 82
RAT 81
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 73
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 72
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 69
Formal Verification of Diagnosability via Symbolic Model Checking 62
Formal Verification and Validation of AADL Model 60
Rat: A tool for the formal analysis of requirements 60
Formal Verification of Diagnosability via Symbolic Model Checking 59
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 59
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 57
The nuXmv Symbolic Model Checker 57
Formal analysis of hardware requirements 51
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 30
A Formal IDE for Railways: Research Challenges 23
COMPASTA: Integrating COMPASS Functionality into TASTE 20
COMPASTA = COMPASS + TASTE 15
Totale 1.489
Categoria #
all - tutte 6.917
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 6.917


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201911 0 0 0 0 0 0 0 0 0 8 3 0
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/2024327 28 19 33 20 23 89 13 26 57 19 0 0
Totale 1.489