IRIS Institutional Research Information System

Cavada, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.086
NA - Nord America 1.591
AS - Asia 999
SA - Sud America 196
AF - Africa 24
Continente sconosciuto - Info sul continente non disponibili 5
Totale 4.901
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.541
RU - Federazione Russa 1.136
SG - Singapore 273
IT - Italia 253
HK - Hong Kong 230
DE - Germania 194
VN - Vietnam 186
BR - Brasile 167
CN - Cina 162
SE - Svezia 78
FI - Finlandia 74
IN - India 64
GB - Regno Unito 63
UA - Ucraina 62
FR - Francia 57
NL - Olanda 39
IE - Irlanda 38
BE - Belgio 25
CA - Canada 24
PL - Polonia 19
MX - Messico 18
AR - Argentina 12
ES - Italia 12
JP - Giappone 11
BD - Bangladesh 10
ZA - Sudafrica 10
AT - Austria 9
CZ - Repubblica Ceca 7
IL - Israele 7
IQ - Iraq 7
EU - Europa 5
LT - Lituania 5
PK - Pakistan 5
SA - Arabia Saudita 5
AE - Emirati Arabi Uniti 4
CO - Colombia 4
DK - Danimarca 4
MA - Marocco 4
PH - Filippine 4
TR - Turchia 4
CL - Cile 3
EC - Ecuador 3
EE - Estonia 3
ID - Indonesia 3
JO - Giordania 3
KE - Kenya 3
KR - Corea 3
OM - Oman 3
UZ - Uzbekistan 3
AZ - Azerbaigian 2
BG - Bulgaria 2
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
EG - Egitto 2
IR - Iran 2
LB - Libano 2
PR - Porto Rico 2
PS - Palestinian Territory 2
PY - Paraguay 2
RO - Romania 2
VE - Venezuela 2
BN - Brunei Darussalam 1
CH - Svizzera 1
CR - Costa Rica 1
DZ - Algeria 1
GR - Grecia 1
HN - Honduras 1
KW - Kuwait 1
LC - Santa Lucia 1
LV - Lettonia 1
NP - Nepal 1
PE - Perù 1
PT - Portogallo 1
SN - Senegal 1
SR - Suriname 1
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 4.901
Salva come PNG Salva come JPEG
Città #
Hong Kong 228
Chandler 198
San Jose 162
Singapore 158
Jacksonville 114
Ashburn 100
Dallas 99
New York 73
Trento 70
Moscow 64
Ann Arbor 63
Boardman 60
Ho Chi Minh City 55
Beijing 52
Munich 51
Helsinki 47
The Dalles 45
Hanoi 44
Los Angeles 38
Dublin 37
Wilmington 35
Hefei 26
Lauterbourg 26
Brussels 25
Milan 22
Woodbridge 21
São Paulo 19
Brooklyn 18
Kronberg 18
Dearborn 17
Dong Ket 17
Verona 16
Warsaw 15
Houston 14
Santa Clara 13
Shanghai 13
Frankfurt am Main 12
Phoenix 12
Turku 12
Denver 11
Orem 11
Tokyo 11
Haiphong 10
Da Nang 9
Falkenstein 9
Montreal 9
Nuremberg 9
Seattle 9
Buffalo 8
Chicago 8
Genoa 8
Miami 8
Guangzhou 7
Johannesburg 7
Kaiserslautern 7
London 7
Pergine Valsugana 7
Poplar 7
Belo Horizonte 6
Kyiv 6
Amsterdam 5
Pune 5
Querétaro 5
Salvador 5
Toronto 5
Brno 4
Buenos Aires 4
Bắc Ninh 4
Council Bluffs 4
Guanzate 4
Isola della Scala 4
Manchester 4
Naples 4
Portland 4
Rio de Janeiro 4
Riyadh 4
Rome 4
Stockholm 4
Tianjin 4
Turin 4
Vienna 4
Amman 3
Atlanta 3
Brasília 3
Chennai 3
Cologne 3
Ferrara 3
Lajeado 3
Manaus 3
Mezzolombardo 3
Nairobi 3
Norwalk 3
Ottawa 3
Plaistow 3
Raleigh 3
Salerno 3
Secaucus 3
Seoul 3
St Petersburg 3
Tân Tiến 3
Totale 2.429
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Diagnosability via Symbolic Model Checking 314
NuSMV 259
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 230
NuGAT 222
The xSAP Safety Analysis Platform 218
COMPASS Tool 213
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 206
RAT 201
Model-Based Design of an Energy-System Embedded Controller Using Taste 200
OthelloPlay: a plug-in based tool for requirement formalization and validation 196
Decarbonization of industrial processes: technologies, applications and perspectives of low-temperature solar heat (80-150°C) 195
Supporting Requirements Validation: The EuRailCheck Tool 192
Formal Verification of Diagnosability via Symbolic Model Checking 183
A Formal IDE for Railways: Research Challenges 181
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks 177
COMPASTA = COMPASS + TASTE 172
Automated Parameterized Verification of a Railway Protection System with Dafny 166
Rat: A tool for the formal analysis of requirements 165
The nuXmv Symbolic Model Checker 165
COMPASTA: Extending TASTE with Formal Design and Verification Functionality 161
Formal Verification and Validation of AADL Model 155
Formal analysis of hardware requirements 153
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers 147
COMPASTA: Integrating COMPASS Functionality into TASTE 137
A Switching Event-Triggered Model Predictive Control for HVAC Systems 131
Towards the Formal Analysis of Algorithmic Requirements 99
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report 89
Formal Analysis of a Railway Signaling Block Designed in AIDA 25
A Specification-Driven Approach to Embedded FDIR Code Generation 12
Totale 4.964
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.806
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 17.806
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202163 0 0 0 0 0 0 0 0 0 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/20262.365 92 146 161 220 132 106 290 921 153 144 0 0
Totale 4.964