IRIS
NARDONE, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.343
AS - Asia 1.223
NA - Nord America 1.071
SA - Sud America 212
AF - Africa 45
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.899
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.022
SG - Singapore 689
IT - Italia 543
RU - Federazione Russa 510
CN - Cina 285
BR - Brasile 165
VN - Vietnam 95
DE - Germania 78
HK - Hong Kong 69
FI - Finlandia 39
CA - Canada 30
NL - Olanda 29
IE - Irlanda 26
CI - Costa d'Avorio 25
GB - Regno Unito 24
AR - Argentina 21
SE - Svezia 20
IN - India 16
BG - Bulgaria 15
BD - Bangladesh 14
TR - Turchia 14
ES - Italia 13
MX - Messico 11
PL - Polonia 11
FR - Francia 9
KR - Corea 9
ID - Indonesia 8
IQ - Iraq 8
CO - Colombia 7
ZA - Sudafrica 7
UA - Ucraina 6
EC - Ecuador 5
NG - Nigeria 5
UZ - Uzbekistan 4
VE - Venezuela 4
AT - Austria 3
CL - Cile 3
CZ - Repubblica Ceca 3
LT - Lituania 3
AE - Emirati Arabi Uniti 2
BE - Belgio 2
CR - Costa Rica 2
DK - Danimarca 2
DO - Repubblica Dominicana 2
EG - Egitto 2
GR - Grecia 2
IR - Iran 2
JP - Giappone 2
MA - Marocco 2
NI - Nicaragua 2
PE - Perù 2
PY - Paraguay 2
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
BO - Bolivia 1
CH - Svizzera 1
EU - Europa 1
GY - Guiana 1
IL - Israele 1
JO - Giordania 1
KE - Kenya 1
KW - Kuwait 1
ME - Montenegro 1
NE - Niger 1
PA - Panama 1
PF - Polinesia Francese 1
PG - Papua Nuova Guinea 1
PH - Filippine 1
PK - Pakistan 1
PR - Porto Rico 1
RO - Romania 1
RS - Serbia 1
SO - Somalia 1
TN - Tunisia 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 3.899
Salva come PNG Salva come JPEG
Città #
Singapore 332
Moscow 133
Chandler 110
Santa Clara 105
Ashburn 91
Beijing 90
Napoli 69
Hong Kong 66
Naples 57
Millbury 41
Hefei 38
Rome 33
Munich 30
San Jose 29
Ho Chi Minh City 26
Nanjing 25
Des Moines 24
Hanoi 22
Princeton 22
Boston 21
Los Angeles 20
Redondo Beach 17
The Dalles 17
Sofia 15
São Paulo 15
Helsinki 13
Lawrence 13
Milan 13
New York 13
Ottawa 13
Buffalo 12
Rio de Janeiro 11
Seoul 9
Warsaw 9
Chennai 8
Dallas 8
Falkenstein 8
Nanchang 8
Toronto 8
Wilmington 8
Woodbridge 8
Caserta 7
Frankfurt am Main 7
Houston 7
Montreal 7
Stockholm 7
Bacoli 6
Da Nang 6
Haiphong 6
Nocera Inferiore 6
Orem 6
Paris 6
Redwood City 6
Tianjin 6
Turku 6
Ann Arbor 5
Denver 5
El Segundo 5
Phoenix 5
Sant'antimo 5
Seattle 5
Amsterdam 4
Aversa 4
Baghdad 4
Brooklyn 4
Can Tho 4
Dearborn 4
Dhaka 4
Fuzhou 4
Giugliano in Campania 4
Goiânia 4
Hebei 4
Jiaxing 4
Khabarovsk 4
Madrid 4
Mexico City 4
Nuremberg 4
Pagani 4
Poplar 4
Reggio Calabria 4
Salvador 4
San Francisco 4
Shenyang 4
Torino 4
Ankara 3
Brasília 3
Cava De' Tirreni 3
Chicago 3
Curitiba 3
Duque de Caxias 3
Guangzhou 3
Ha Kwai Chung 3
Hangzhou 3
London 3
Marcianise 3
Marigliano 3
Medellín 3
Ninh Bình 3
Pozzuoli 3
Salerno 3
Totale 1.869
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 233
From Dynamic State Machines to Promela 172
Towards model-driven assessment of clinical processes 151
Modeling railway control systems in promela 144
A Survey on Audio-Video based Defect Detection through Deep Learning in Railway Maintenance 137
Dynamic State Machines for Formalizing Railway Control System Specifications 129
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 126
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 126
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 126
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 117
Towards a hybrid mesoscopic-microscopic railway simulation model 115
Vulnerability modeling and analysis for critical infrastructure protection applications 112
A model-driven process for physical protection system design and vulnerability evaluation 110
A cost-energy trade-off model in smart energy grids 105
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 100
Enhancing random forest classification with NLP in DAMEH: A system for DAta Management in eHealth Domain 98
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 97
Analysis of safe and effective next-generation rail signalling systems 96
A simulation framework for supporting design and real-time decisional phases in railway systems 96
Artificial intelligence in railways: Current applications, challenges, and ongoing research 95
Vulnerability analysis and modeling for critical infrastructure protection 94
A Petri Net pattern-oriented approach for the design of physical protection systems 93
An integrated lifetime and network quality model of large WSNs. 92
Towards model-based security assessment of cloud applications 91
An interoperable testing environment for ERTMS/ETCS control systems 90
An integrated approach for availability and QoS evaluation In railway systems 89
Model-driven V&V processes for computer based control systems: A unifying perspective 86
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 86
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 84
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling 83
Toward Usable Formal Models for Safety and Performance Evaluation of ERTMS/ETCS Level 3; The PERFORMINGRAIL Project 81
Automatic generation of formal models for diagnosability of DES 80
A compositional modelling approach for large Sensor Networks design 76
CAN-Bus Attack Detection with Deep Learning 76
A model-Based evaluation methodology for smart energy systems 67
Cost-energy modelling and profiling of smart domestic grids 58
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 54
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 48
µGRIMOIRE: A tool for smart micro grids modelling and energy profiling 45
A proposal of an example and experiments repository to foster industrial adoption of formal methods 43
Totale 4.001
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.259
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 12.259
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202161 0 0 0 0 0 0 19 5 18 11 3 5
2021/2022283 10 0 12 1 12 15 6 5 23 37 59 103
2022/2023287 39 24 4 15 40 27 10 29 49 4 34 12
2023/2024241 14 33 20 7 16 15 9 52 12 7 44 12
2024/20251.200 65 77 4 12 71 78 102 93 80 92 429 97
2025/20261.343 205 144 267 180 420 87 40 0 0 0 0 0
Totale 4.001