IRIS Institutional Research Information System

Cavada, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.324
EU - Europa 1.103
AS - Asia 705
SA - Sud America 175
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 5
Totale 3.324
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.287
RU - Federazione Russa 287
IT - Italia 222
HK - Hong Kong 217
SG - Singapore 206
DE - Germania 169
BR - Brasile 156
CN - Cina 130
FI - Finlandia 73
UA - Ucraina 60
GB - Regno Unito 57
IN - India 53
SE - Svezia 53
VN - Vietnam 46
IE - Irlanda 37
NL - Olanda 32
FR - Francia 28
BE - Belgio 25
CA - Canada 23
PL - Polonia 18
MX - Messico 11
ES - Italia 10
AT - Austria 9
JP - Giappone 9
AR - Argentina 8
CZ - Repubblica Ceca 7
BD - Bangladesh 6
IL - Israele 6
EU - Europa 5
LT - Lituania 5
ZA - Sudafrica 5
PK - Pakistan 4
AE - Emirati Arabi Uniti 3
CO - Colombia 3
DK - Danimarca 3
EC - Ecuador 3
EE - Estonia 3
KR - Corea 3
MA - Marocco 3
TR - Turchia 3
DO - Repubblica Dominicana 2
IQ - Iraq 2
IR - Iran 2
JO - Giordania 2
KE - Kenya 2
LB - Libano 2
PS - Palestinian Territory 2
SA - Arabia Saudita 2
UZ - Uzbekistan 2
AZ - Azerbaigian 1
BG - Bulgaria 1
BN - Brunei Darussalam 1
CH - Svizzera 1
CL - Cile 1
EG - Egitto 1
GR - Grecia 1
HN - Honduras 1
ID - Indonesia 1
LV - Lettonia 1
OM - Oman 1
PE - Perù 1
PH - Filippine 1
PY - Paraguay 1
RO - Romania 1
SN - Senegal 1
UY - Uruguay 1
VE - Venezuela 1
Totale 3.324
Salva come PNG Salva come JPEG
Città #
Hong Kong 216
Chandler 198
Singapore 137
Jacksonville 114
Dallas 99
Ashburn 83
Trento 70
New York 69
Moscow 64
Ann Arbor 63
Boardman 60
Munich 51
Beijing 46
Helsinki 46
The Dalles 45
Dublin 37
Wilmington 35
Los Angeles 27
Hefei 26
Brussels 25
Woodbridge 21
Brooklyn 18
Kronberg 18
Milan 18
Dearborn 17
Dong Ket 17
Verona 16
Warsaw 15
Houston 14
São Paulo 14
Ho Chi Minh City 13
Santa Clara 12
Shanghai 12
Turku 12
Phoenix 11
Denver 9
Falkenstein 9
Frankfurt am Main 9
Montreal 9
Seattle 9
Tokyo 9
Genoa 8
Nuremberg 8
Chicago 7
Miami 7
Belo Horizonte 6
Poplar 6
Guangzhou 5
Johannesburg 5
London 5
Orem 5
Pune 5
Querétaro 5
Salvador 5
Toronto 5
Brno 4
Buenos Aires 4
Guanzate 4
Hanoi 4
Isola della Scala 4
Kyiv 4
Manchester 4
Rio de Janeiro 4
Rome 4
Stockholm 4
Tianjin 4
Turin 4
Vienna 4
Amsterdam 3
Atlanta 3
Brasília 3
Cologne 3
Ferrara 3
Lajeado 3
Manaus 3
Mezzolombardo 3
Naples 3
Norwalk 3
Ottawa 3
Plaistow 3
Portland 3
Raleigh 3
Salerno 3
Secaucus 3
Seoul 3
St Petersburg 3
Alvorada 2
Americana 2
Amman 2
Ankara 2
Calgary 2
Cambridge 2
Charlotte 2
Chennai 2
Columbus 2
Contagem 2
Curno 2
Desenzano del Garda 2
Dongguan 2
Fairfield 2
Totale 2.009
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Diagnosability via Symbolic Model Checking 257
NuSMV 201
NuGAT 159
COMPASS Tool 159
The xSAP Safety Analysis Platform 159
Model-Based Design of an Energy-System Embedded Controller Using Taste 154
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 152
RAT 150
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 149
OthelloPlay: a plug-in based tool for requirement formalization and validation 139
Supporting Requirements Validation: The EuRailCheck Tool 139
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 130
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 128
Formal Verification of Diagnosability via Symbolic Model Checking 124
Rat: A tool for the formal analysis of requirements 117
The nuXmv Symbolic Model Checker 117
Formal Verification and Validation of AADL Model 112
A Formal IDE for Railways: Research Challenges 102
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 101
Formal analysis of hardware requirements 101
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 99
COMPASTA = COMPASS + TASTE 97
Automated Parameterized Verification of a Railway Protection System with Dafny 95
COMPASTA: Integrating COMPASS Functionality into TASTE 80
A Switching Event-Triggered Model Predictive Control for HVAC Systems 68
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 52
Towards the Formal Analysis of Algorithmic Requirements 40
Totale 3.381
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.388
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 15.388
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021118 0 0 0 0 0 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/2026782 92 146 161 220 132 31 0 0 0 0 0 0
Totale 3.381