IRIS
NARDONE, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.263
AS - Asia 1.233
EU - Europa 620
SA - Sud America 536
Continente sconosciuto - Info sul continente non disponibili 130
AF - Africa 47
OC - Oceania 6
Totale 4.835
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.148
SG - Singapore 491
BR - Brasile 420
CN - Cina 232
VN - Vietnam 209
IT - Italia 194
HK - Hong Kong 114
DE - Germania 91
CA - Canada 82
FI - Finlandia 59
FR - Francia 59
GB - Regno Unito 47
AR - Argentina 44
SE - Svezia 37
LT - Lituania 35
BD - Bangladesh 29
ID - Indonesia 28
EC - Ecuador 26
IN - India 26
NL - Olanda 19
ZA - Sudafrica 17
MX - Messico 16
TR - Turchia 16
UA - Ucraina 14
SA - Arabia Saudita 12
CL - Cile 11
RU - Federazione Russa 11
CO - Colombia 10
PL - Polonia 10
BE - Belgio 9
JP - Giappone 9
PY - Paraguay 9
VE - Venezuela 9
MA - Marocco 8
IQ - Iraq 7
PK - Pakistan 7
AE - Emirati Arabi Uniti 6
ES - Italia 6
IL - Israele 6
UZ - Uzbekistan 6
MY - Malesia 5
SK - Slovacchia (Repubblica Slovacca) 5
EE - Estonia 4
EG - Egitto 4
PE - Perù 4
RO - Romania 4
TW - Taiwan 4
AU - Australia 3
CR - Costa Rica 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
ET - Etiopia 3
NP - Nepal 3
PH - Filippine 3
ZW - Zimbabwe 3
AT - Austria 2
AZ - Azerbaigian 2
BY - Bielorussia 2
HN - Honduras 2
LU - Lussemburgo 2
MN - Mongolia 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
PA - Panama 2
PT - Portogallo 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
TN - Tunisia 2
UY - Uruguay 2
AD - Andorra 1
AL - Albania 1
AM - Armenia 1
BB - Barbados 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BS - Bahamas 1
CG - Congo 1
CI - Costa d'Avorio 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EU - Europa 1
GA - Gabon 1
GE - Georgia 1
HR - Croazia 1
IE - Irlanda 1
IR - Iran 1
JM - Giamaica 1
KE - Kenya 1
KG - Kirghizistan 1
KR - Corea 1
KW - Kuwait 1
KZ - Kazakistan 1
LB - Libano 1
MM - Myanmar 1
NG - Nigeria 1
NI - Nicaragua 1
NR - Nauru 1
PS - Palestinian Territory 1
RS - Serbia 1
Totale 4.702
Salva come PNG Salva come JPEG
Città #
Council Bluffs 364
San Jose 212
Singapore 196
Dallas 140
Ashburn 127
Chandler 121
Hong Kong 112
Santa Clara 101
Ho Chi Minh City 92
Boardman 80
Columbus 66
New York 65
Princeton 60
Helsinki 59
San Mateo 59
Beijing 58
Lawrence 58
Brasília 56
Shanghai 55
Lauterbourg 50
Wilmington 50
Los Angeles 44
Hanoi 41
Ottawa 31
São Paulo 28
Cosenza 21
Martina Franca 21
Toronto 20
The Dalles 18
Frankfurt am Main 17
Reggio Calabria 15
San Francisco 15
Haiphong 14
Quito 14
Montreal 13
Norwalk 13
Rio de Janeiro 13
Delft 12
Chennai 11
Denver 11
London 11
Brooklyn 10
Atlanta 9
Brussels 9
Munich 9
Warsaw 9
Belo Horizonte 8
Des Moines 8
Guayaquil 8
Phoenix 8
Poplar 8
Biên Hòa 7
Cape Town 7
Curitiba 7
Gelsenkirchen 7
Houston 7
Johannesburg 7
Tokyo 7
Manchester 6
Mexico City 6
Mumbai 6
Orem 6
Riyadh 6
Seattle 6
Stockholm 6
Ankara 5
Bonndorf 5
Castelleone di Suasa 5
Chicago 5
Kocaeli 5
Pescara 5
Pittsburgh 5
Pogno 5
Santo André 5
Campinas 4
Canoas 4
Caxias do Sul 4
Da Nang 4
Dhaka 4
Fortaleza 4
Lomas de Zamora 4
Macaé 4
Milan 4
Porto Alegre 4
Redwood City 4
Salvador 4
Santiago 4
Taboão da Serra 4
Tashkent 4
Abbeville 3
Addis Ababa 3
Amsterdam 3
Aparecida de Goiânia 3
Asunción 3
Baghdad 3
Bauru 3
Belford Roxo 3
Boston 3
Brampton 3
Bratislava 3
Totale 2.879
Salva come PNG Salva come JPEG
Nome #
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 147
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 125
Dynamic state machines for modelling railway control systems 119
A novel query language for data extraction from social networks 107
A model-driven process for physical protection system design and vulnerability evaluation 100
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 100
Model-Driven Engineering for Swarm-Based Space Exploration Missions 99
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 98
A compositional modelling approach for large Sensor Networks design 95
How can the holder trust the verifier? A CP-ABPRE-based solution to control the access to claims in a Self-Sovereign-Identity scenario 95
A model-driven approach for vulnerability evaluation of modern physical protection systems 94
Advancements in knowledge elicitation for computer-based critical systems 93
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 92
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study 92
Cost-energy modelling and profiling of smart domestic grids 91
Modeling railway control systems in promela 91
Towards model-driven assessment of clinical processes 88
Enabling propagation in web of trust by Ethereum 88
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling 87
Towards Model-Driven V&V assessment of railway control systems 86
A Model-Driven Methodology to Evaluate Performability of Metro Systems 86
An integrated lifetime and network quality model of large WSNs 86
Improving Verification Process in Driverless Metro Systems: The MBAT Project 83
A simulation framework for supporting design and real-time decisional phases in railway systems 82
A Model-Based Evaluation Methodology for Smart Energy Systems 82
Towards a hybrid mesoscopic-microscopic railway simulation model 81
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 81
Securing MQTT by Blockchain-Based OTP Authentication 81
Automatic generation of formal models for diagnosability of des 81
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications 80
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 79
A routing algorithm increasing the transmission availability in smart grids 79
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 78
An integrated approach for availability and QoS evaluation In railway systems 77
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 76
A Petri Net pattern-oriented approach for the design of physical protection systems 74
An interoperable testing environment for ERTMS/ETCS control systems 74
Petri net based evaluation of energy consumption in wireless sensor nodes 74
A proposal of an example and experiments repository to foster industrial adoption of formal methods 73
Towards model-based security assessment of cloud applications 73
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 73
Enabling secure health information sharing among healthcare organizations by public blockchain 72
Test Specification Patterns for Automatic Generation of Test Sequences 71
From Dynamic State Machines to Promela 71
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 71
A cost-energy trade-off model in smart energy grids 70
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 69
Formal security assessment of Modbus protocol 68
Towards Railway Virtual Coupling 68
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 67
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 66
Model-driven V&V processes for computer based control systems: A unifying perspective 63
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 62
Dynamic State Machines for Formalizing Railway Control System Specifications 61
Vulnerability modeling and analysis for critical infrastructure protection applications 56
Automatic Resource Allocation for High Availability Cloud Services 56
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling 56
CAN-Bus Attack Detection With Deep Learning 53
Computer-aided security assessment of water networks monitoring platforms 51
Vulnerability analysis and modeling for critical infrastructure protection 44
Totale 4.835
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.092
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 35.092
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022169 0 0 0 30 2 2 11 37 7 2 22 56
2022/2023347 115 0 3 11 48 44 2 33 65 7 15 4
2023/2024314 12 16 46 2 37 58 10 8 8 29 58 30
2024/2025823 22 6 73 7 203 65 117 53 95 75 45 62
2025/20262.130 65 200 234 581 185 127 158 84 131 95 91 179
2026/2027638 35 221 180 202 0 0 0 0 0 0 0 0
Totale 4.835