IRIS Institutional Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021115 0 0 0 0 0 0 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/2026965 92 146 161 220 132 106 108 0 0 0 0 0
Totale 3.564