Cavada, Roberto
 Distribuzione geografica
Continente #
EU - Europa 1.005
NA - Nord America 995
AS - Asia 493
SA - Sud America 91
Continente sconosciuto - Info sul continente non disponibili 5
AF - Africa 4
Totale 2.593
Nazione #
US - Stati Uniti d'America 984
RU - Federazione Russa 283
HK - Hong Kong 207
IT - Italia 205
DE - Germania 165
SG - Singapore 112
BR - Brasile 85
CN - Cina 80
FI - Finlandia 71
UA - Ucraina 55
SE - Svezia 49
IN - India 45
GB - Regno Unito 38
IE - Irlanda 37
NL - Olanda 28
BE - Belgio 25
VN - Vietnam 20
FR - Francia 19
CA - Canada 7
CZ - Repubblica Ceca 7
AT - Austria 5
EU - Europa 5
BD - Bangladesh 4
JP - Giappone 4
LT - Lituania 4
AR - Argentina 3
DK - Danimarca 3
EE - Estonia 3
KR - Corea 3
AE - Emirati Arabi Uniti 2
ES - Italia 2
IL - Israele 2
IR - Iran 2
KE - Kenya 2
LB - Libano 2
MA - Marocco 2
MX - Messico 2
PL - Polonia 2
PS - Palestinian Territory 2
AZ - Azerbaigian 1
BG - Bulgaria 1
CH - Svizzera 1
CL - Cile 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
GR - Grecia 1
HN - Honduras 1
IQ - Iraq 1
JO - Giordania 1
LV - Lettonia 1
PH - Filippine 1
PK - Pakistan 1
SA - Arabia Saudita 1
TR - Turchia 1
UY - Uruguay 1
UZ - Uzbekistan 1
Totale 2.593
Città #
Hong Kong 206
Chandler 198
Jacksonville 114
Singapore 72
Trento 70
Ann Arbor 63
Moscow 63
Boardman 60
New York 52
Munich 51
Helsinki 46
The Dalles 44
Dublin 37
Wilmington 35
Ashburn 33
Hefei 26
Brussels 25
Woodbridge 21
Beijing 18
Kronberg 18
Dearborn 17
Dong Ket 17
Milan 17
Verona 14
Houston 13
Los Angeles 13
Brooklyn 12
Shanghai 12
Turku 10
Falkenstein 9
Nuremberg 8
Phoenix 8
Santa Clara 8
Seattle 8
Frankfurt am Main 6
Miami 6
Pune 5
Belo Horizonte 4
Brno 4
Guangzhou 4
Guanzate 4
Isola della Scala 4
Rome 4
Tokyo 4
Turin 4
Chicago 3
Cologne 3
Ferrara 3
Mezzolombardo 3
Naples 3
Norwalk 3
Ottawa 3
Plaistow 3
Portland 3
Rio de Janeiro 3
Salerno 3
Salvador 3
Seoul 3
São Paulo 3
Toronto 3
Amsterdam 2
Atlanta 2
Buenos Aires 2
Cambridge 2
Columbus 2
Contagem 2
Desenzano del Garda 2
Dongguan 2
Fairfield 2
Hanover 2
Inglewood 2
Ipatinga 2
London 2
Lyon 2
Monmouth Junction 2
Mountain View 2
Nairobi 2
Prague 2
Redwood City 2
Reggio Emilia 2
Teófilo Otoni 2
Vadodara 2
Vienna 2
Aachen 1
Abu Dhabi 1
Ajman 1
Almenara 1
Alvorada 1
Americana 1
Amman 1
Aragarças 1
Araraquara 1
Armação dos Búzios 1
Atco 1
Athens 1
Baku 1
Baturité 1
Beaumont 1
Bitonto 1
Bolzano 1
Totale 1.575
Nome #
Formal Verification of Diagnosability via Symbolic Model Checking 239
NuSMV 159
Model-Based Design of an Energy-System Embedded Controller Using Taste 133
COMPASS Tool 131
The xSAP Safety Analysis Platform 130
NuGAT 129
OthelloPlay: a plug-in based tool for requirement formalization and validation 125
Supporting Requirements Validation: The EuRailCheck Tool 119
RAT 117
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 117
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 113
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 106
Formal Verification of Diagnosability via Symbolic Model Checking 105
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 104
Formal Verification and Validation of AADL Model 94
Rat: A tool for the formal analysis of requirements 94
The nuXmv Symbolic Model Checker 86
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 85
Formal analysis of hardware requirements 84
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 76
COMPASTA = COMPASS + TASTE 72
A Formal IDE for Railways: Research Challenges 61
COMPASTA: Integrating COMPASS Functionality into TASTE 54
A Switching Event-Triggered Model Predictive Control for HVAC Systems 49
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 36
Towards the Formal Analysis of Algorithmic Requirements 29
Totale 2.647
Categoria #
all - tutte 13.189
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 13.189


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20251.061 15 17 71 48 153 40 56 76 314 103 112 56
2025/202648 48 0 0 0 0 0 0 0 0 0 0 0
Totale 2.647