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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20216 0 0 0 0 0 0 0 0 0 0 0 6
2021/2022228 0 0 59 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.062 65 200 234 581 185 127 158 84 131 95 91 111
Totale 4.129