IRIS
NARDONE, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.227
EU - Europa 2.043
AS - Asia 1.531
SA - Sud America 828
Continente sconosciuto - Info sul continente non disponibili 107
AF - Africa 72
OC - Oceania 1
Totale 6.809
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.136
RU - Federazione Russa 1.260
BR - Brasile 637
SG - Singapore 554
VN - Vietnam 359
CN - Cina 318
IT - Italia 227
SE - Svezia 208
GB - Regno Unito 89
DE - Germania 82
AR - Argentina 69
HK - Hong Kong 54
FR - Francia 43
EC - Ecuador 41
ID - Indonesia 37
IN - India 35
CA - Canada 34
TR - Turchia 32
CO - Colombia 31
BD - Bangladesh 30
MX - Messico 28
ZA - Sudafrica 26
BE - Belgio 18
FI - Finlandia 14
IQ - Iraq 14
PK - Pakistan 14
PL - Polonia 14
UA - Ucraina 14
ES - Italia 13
PY - Paraguay 13
AT - Austria 12
UY - Uruguay 11
EG - Egitto 10
MA - Marocco 10
UZ - Uzbekistan 10
MY - Malesia 9
SA - Arabia Saudita 9
VE - Venezuela 9
AZ - Azerbaigian 7
LT - Lituania 7
PE - Perù 7
CL - Cile 6
CR - Costa Rica 6
KE - Kenya 6
NL - Olanda 6
TN - Tunisia 6
JP - Giappone 5
TW - Taiwan 5
CZ - Repubblica Ceca 4
OM - Oman 4
PH - Filippine 4
RS - Serbia 4
AE - Emirati Arabi Uniti 3
BO - Bolivia 3
HU - Ungheria 3
IE - Irlanda 3
JO - Giordania 3
KG - Kirghizistan 3
KZ - Kazakistan 3
LV - Lettonia 3
NP - Nepal 3
PR - Porto Rico 3
RO - Romania 3
SV - El Salvador 3
BA - Bosnia-Erzegovina 2
BB - Barbados 2
BG - Bulgaria 2
BY - Bielorussia 2
DO - Repubblica Dominicana 2
GA - Gabon 2
GR - Grecia 2
GT - Guatemala 2
HN - Honduras 2
IL - Israele 2
IR - Iran 2
KR - Corea 2
NI - Nicaragua 2
NO - Norvegia 2
PA - Panama 2
PS - Palestinian Territory 2
TT - Trinidad e Tobago 2
AL - Albania 1
AU - Australia 1
BF - Burkina Faso 1
BH - Bahrain 1
BJ - Benin 1
BW - Botswana 1
CG - Congo 1
CH - Svizzera 1
CI - Costa d'Avorio 1
CM - Camerun 1
ET - Etiopia 1
GE - Georgia 1
GQ - Guinea Equatoriale 1
HR - Croazia 1
HT - Haiti 1
JM - Giamaica 1
KH - Cambogia 1
KW - Kuwait 1
LB - Libano 1
Totale 6.690
Salva come PNG Salva come JPEG
Città #
Dallas 358
Singapore 255
San Jose 203
Nyköping 186
Chandler 179
Moscow 171
Ho Chi Minh City 114
Ashburn 111
Boardman 90
Hanoi 76
Naples 71
Wilmington 67
Princeton 63
Lawrence 59
The Dalles 59
Fairfield 58
New York 57
São Paulo 53
Hong Kong 51
Beijing 48
Ogden 47
Ann Arbor 37
Shanghai 37
London 34
Santa Clara 31
Houston 27
Seattle 25
Haiphong 24
Woodbridge 24
Rio de Janeiro 23
San Diego 23
Rome 21
Chicago 20
Da Nang 20
Los Angeles 20
Cambridge 19
Dong Ket 19
Council Bluffs 18
Brussels 15
Guayaquil 15
Quito 15
Düsseldorf 14
Gragnano 14
Helsinki 14
Belo Horizonte 13
Brasília 13
Assago 12
Montreal 11
Phoenix 11
Porto Alegre 11
Salvador 11
Frankfurt am Main 10
Tashkent 10
Bogotá 9
Medellín 9
Milan 9
Montevideo 9
Orem 9
Thái Bình 9
Aracaju 8
Brooklyn 8
Hillsboro 8
Hải Dương 8
Munich 8
Philadelphia 8
Toronto 8
Biên Hòa 7
Chennai 7
Curitiba 7
Johannesburg 7
Nuremberg 7
Redmond 7
Salt Lake City 7
Santo André 7
Atlanta 6
Baku 6
Bremen 6
Cape Town 6
Duque de Caxias 6
Fisciano 6
Ha Long 6
Jakarta 6
Manchester 6
Mauá 6
Norwalk 6
Sorocaba 6
Warsaw 6
Acerra 5
Buenos Aires 5
Bình Dương 5
Bắc Giang 5
Contagem 5
Fortaleza 5
Istanbul 5
Lauterbourg 5
Mexico City 5
San José 5
Taipei 5
Vienna 5
Yalova 5
Totale 3.296
Salva come PNG Salva come JPEG
Nome #
Enhancing Random Forest Classification with NLP in DAMEH: A system for DAta Management in EHealth Domain 173
CAN-Bus Attack Detection With Deep Learning 170
WASMBOX: A Lightweight Wasm-based Runtime for Trustworthy Multi-Tenant Embedded Systems 133
A self-adaptation-based approach to resilience improvement of complex internets of utility systems 129
An integrated approach for availability and QoS evaluation In railway systems 127
A Tamper-Resistant Storage Framework for Smart Grid security 123
A simulation framework for supporting design and real-time decisional phases in railway systems 122
A routing algorithm increasing the transmission availability in smart grids 122
A model-driven process for physical protection system design and vulnerability evaluation 122
A Model-Driven Methodology to Evaluate Performability of Metro Systems 120
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 120
A novel query language for data extraction from social networks 116
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 116
A model-driven approach for vulnerability evaluation of modern physical protection systems 113
An integrated lifetime and network quality model of large WSNs 112
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 112
A Petri Net pattern-oriented approach for the design of physical protection systems 111
A Model-Based Evaluation Methodology for Smart Energy Systems 108
A proposal of an example and experiments repository to foster industrial adoption of formal methods 107
A compositional modelling approach for large Sensor Networks design 106
A cost-energy trade-off model in smart energy grids 100
Increasing the Cybersecurity of Smart Grids by Prosumer Monitoring 98
Dynamic state machines for modelling railway control systems 97
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance 96
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 96
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 92
An interoperable testing environment for ERTMS/ETCS control systems 91
Advancements in knowledge elicitation for computer-based critical systems 91
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study 90
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 88
Vulnerability modeling and analysis for critical infrastructure protection applications 88
Dynamic State Machines for Formalizing Railway Control System Specifications 84
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 84
Analysis of safe and effective next-generation rail signalling systems 82
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 81
Towards a hybrid mesoscopic-microscopic railway simulation model 81
Towards model-driven assessment of clinical processes 81
Building Cyber-Resilient Smart Grids with Digital Twins and Data Spaces 81
Model-driven V&V processes for computer based control systems: A unifying perspective 79
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling 78
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 76
Securing FIWARE with TEE Technology 73
How can the holder trust the verifier? A CP-ABPRE-based solution to control the access to claims in a Self-Sovereign-Identity scenario 73
Formal security assessment of Modbus protocol 73
Computer-aided security assessment of water networks monitoring platforms 73
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 73
Automatic generation of formal models for diagnosability of des 73
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 72
Securing MQTT by Blockchain-Based OTP Authentication 72
Petri net based evaluation of energy consumption in wireless sensor nodes 72
Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems 71
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 71
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 69
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 69
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks 69
From Dynamic State Machines to Promela 69
Exploiting Digital Twin technology for Cybersecurity Monitoring in Smart Grids 68
Vulnerability analysis and modeling for critical infrastructure protection 68
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 67
Towards Railway Virtual Coupling 67
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 66
Enabling secure health information sharing among healthcare organizations by public blockchain 65
Test Specification Patterns for Automatic Generation of Test Sequences 65
Cost-energy modelling and profiling of smart domestic grids 65
Improving Verification Process in Driverless Metro Systems: The MBAT Project 64
Automatic Resource Allocation for High Availability Cloud Services 63
Enabling propagation in web of trust by Ethereum 63
Towards Model-Driven V&V assessment of railway control systems 63
Modeling railway control systems in promela 62
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 61
Towards model-based security assessment of cloud applications 61
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling 60
Model-Driven Engineering for Swarm-Based Space Exploration Missions 59
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications 58
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks 44
Asset Discovery in Critical Infrastructures: An LLM-Based Approach 36
Railway Switch Control Modeling in European Train Control System Level 3 34
Active Security for Connected Device Lifecycle: The CERTIFY Architecture 33
Cybersecurity Management Throughout the IoT Systems Lifecycle – The CERTIFY Approach 32
Regulating Prosumer Device Security: a Key Priority in Power Grid Protection 31
Enhanced Cybersecurity Monitoring in Multi-Plant Flexible Manufacturing Environments 30
μTEE: Certification-ready RISC-V platform for secure IIoT lifecycle management 20
Recommendations and Roadmaps Towards Intelligent Railways 16
Next-Gen metamorphism: Analyzing the potential of LLM-driven knowledge-based malware evasion 11
From Systematic Threat Search to pentesting: Industrial Control Systems threat models 9
Totale 6.809
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.232
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 46.232
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022382 0 5 0 5 159 5 43 45 82 5 11 22
2022/2023586 125 97 36 29 29 92 32 63 45 8 17 13
2023/2024342 20 6 19 19 21 52 14 11 80 9 6 85
2024/20252.177 20 87 16 50 75 243 545 769 121 70 118 63
2025/20263.074 137 275 537 742 100 58 224 238 325 216 149 73
2026/2027138 88 50 0 0 0 0 0 0 0 0 0 0
Totale 6.809