IRIS
NARDONE, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.111
EU - Europa 2.013
AS - Asia 1.492
SA - Sud America 826
AF - Africa 71
Totale 6.513
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.032
RU - Federazione Russa 1.260
BR - Brasile 635
SG - Singapore 547
VN - Vietnam 357
CN - Cina 299
SE - Svezia 208
IT - Italia 206
GB - Regno Unito 88
DE - Germania 82
AR - Argentina 69
HK - Hong Kong 53
EC - Ecuador 41
FR - Francia 41
IN - India 35
ID - Indonesia 34
TR - Turchia 32
CO - Colombia 31
CA - Canada 29
BD - Bangladesh 28
MX - Messico 27
ZA - Sudafrica 26
BE - Belgio 18
FI - Finlandia 14
IQ - Iraq 14
PK - Pakistan 14
UA - Ucraina 14
PL - Polonia 13
PY - Paraguay 13
AT - Austria 12
ES - Italia 11
UY - Uruguay 11
EG - Egitto 10
MA - Marocco 10
UZ - Uzbekistan 10
SA - Arabia Saudita 9
VE - Venezuela 9
AZ - Azerbaigian 7
LT - Lituania 7
PE - Perù 7
CL - Cile 6
KE - Kenya 6
MY - Malesia 6
NL - Olanda 6
TN - Tunisia 6
CR - Costa Rica 5
JP - Giappone 5
TW - Taiwan 5
OM - Oman 4
PH - Filippine 4
AE - Emirati Arabi Uniti 3
BO - Bolivia 3
CZ - Repubblica Ceca 3
HU - Ungheria 3
IE - Irlanda 3
JO - Giordania 3
KG - Kirghizistan 3
KZ - Kazakistan 3
LV - Lettonia 3
RS - Serbia 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
NO - Norvegia 2
NP - Nepal 2
PA - Panama 2
PR - Porto Rico 2
PS - Palestinian Territory 2
RO - Romania 2
SV - El Salvador 2
TT - Trinidad e Tobago 2
AL - Albania 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
KH - Cambogia 1
KW - Kuwait 1
LB - Libano 1
LY - Libia 1
MT - Malta 1
NE - Niger 1
Totale 6.506
Salva come PNG Salva come JPEG
Città #
Dallas 357
Singapore 253
San Jose 197
Nyköping 186
Chandler 179
Moscow 171
Ho Chi Minh City 114
Ashburn 101
Boardman 90
Hanoi 76
Naples 70
Wilmington 67
Princeton 63
Lawrence 59
The Dalles 59
Fairfield 58
New York 57
São Paulo 53
Hong Kong 50
Ogden 47
Beijing 45
Ann Arbor 37
Shanghai 36
London 34
Houston 26
Seattle 25
Haiphong 24
Woodbridge 24
Rio de Janeiro 23
San Diego 23
Santa Clara 21
Da Nang 20
Rome 20
Cambridge 19
Dong Ket 19
Los Angeles 19
Chicago 18
Brussels 15
Guayaquil 15
Quito 15
Düsseldorf 14
Gragnano 14
Helsinki 14
Belo Horizonte 13
Brasília 13
Council Bluffs 12
Porto Alegre 11
Salvador 11
Frankfurt am Main 10
Tashkent 10
Bogotá 9
Medellín 9
Montevideo 9
Montreal 9
Orem 9
Thái Bình 9
Aracaju 8
Assago 8
Hải Dương 8
Munich 8
Biên Hòa 7
Brooklyn 7
Chennai 7
Curitiba 7
Hillsboro 7
Johannesburg 7
Nuremberg 7
Redmond 7
Santo André 7
Toronto 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
Salt Lake City 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
Milan 5
Taipei 5
Vienna 5
Yalova 5
Acton 4
Asunción 4
Baghdad 4
Totale 3.224
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 169
WASMBOX: A Lightweight Wasm-based Runtime for Trustworthy Multi-Tenant Embedded Systems 130
A self-adaptation-based approach to resilience improvement of complex internets of utility systems 128
An integrated approach for availability and QoS evaluation In railway systems 124
A simulation framework for supporting design and real-time decisional phases in railway systems 119
A routing algorithm increasing the transmission availability in smart grids 119
A model-driven process for physical protection system design and vulnerability evaluation 119
A Tamper-Resistant Storage Framework for Smart Grid security 118
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 118
A Model-Driven Methodology to Evaluate Performability of Metro Systems 117
A novel query language for data extraction from social networks 115
A model-driven approach for vulnerability evaluation of modern physical protection systems 112
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 111
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 110
A Petri Net pattern-oriented approach for the design of physical protection systems 110
An integrated lifetime and network quality model of large WSNs 109
A Model-Based Evaluation Methodology for Smart Energy Systems 106
A proposal of an example and experiments repository to foster industrial adoption of formal methods 105
A compositional modelling approach for large Sensor Networks design 104
A cost-energy trade-off model in smart energy grids 99
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 95
Increasing the Cybersecurity of Smart Grids by Prosumer Monitoring 94
Dynamic state machines for modelling railway control systems 92
Advancements in knowledge elicitation for computer-based critical systems 91
An interoperable testing environment for ERTMS/ETCS control systems 90
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 90
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study 86
Vulnerability modeling and analysis for critical infrastructure protection applications 86
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 85
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 83
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance 82
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 79
Towards a hybrid mesoscopic-microscopic railway simulation model 79
Dynamic State Machines for Formalizing Railway Control System Specifications 79
Analysis of safe and effective next-generation rail signalling systems 78
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling 78
Towards model-driven assessment of clinical processes 78
Model-driven V&V processes for computer based control systems: A unifying perspective 77
Building Cyber-Resilient Smart Grids with Digital Twins and Data Spaces 77
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 73
Securing FIWARE with TEE Technology 72
Formal security assessment of Modbus protocol 72
Computer-aided security assessment of water networks monitoring platforms 72
Securing MQTT by Blockchain-Based OTP Authentication 71
Automatic generation of formal models for diagnosability of des 71
Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems 70
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 70
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 70
Petri net based evaluation of energy consumption in wireless sensor nodes 70
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 69
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 69
From Dynamic State Machines to Promela 69
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 68
Vulnerability analysis and modeling for critical infrastructure protection 68
Exploiting Digital Twin technology for Cybersecurity Monitoring in Smart Grids 67
Towards Railway Virtual Coupling 67
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks 67
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 66
How can the holder trust the verifier? A CP-ABPRE-based solution to control the access to claims in a Self-Sovereign-Identity scenario 65
Test Specification Patterns for Automatic Generation of Test Sequences 64
Cost-energy modelling and profiling of smart domestic grids 64
Enabling secure health information sharing among healthcare organizations by public blockchain 63
Automatic Resource Allocation for High Availability Cloud Services 63
Improving Verification Process in Driverless Metro Systems: The MBAT Project 63
Enabling propagation in web of trust by Ethereum 62
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 62
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 61
Modeling railway control systems in promela 61
Towards model-based security assessment of cloud applications 60
Towards Model-Driven V&V assessment of railway control systems 60
Model-Driven Engineering for Swarm-Based Space Exploration Missions 58
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling 58
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 32
Cybersecurity Management Throughout the IoT Systems Lifecycle – The CERTIFY Approach 31
Railway Switch Control Modeling in European Train Control System Level 3 31
Active Security for Connected Device Lifecycle: The CERTIFY Architecture 30
Regulating Prosumer Device Security: a Key Priority in Power Grid Protection 28
Enhanced Cybersecurity Monitoring in Multi-Plant Flexible Manufacturing Environments 25
Recommendations and Roadmaps Towards Intelligent Railways 15
μTEE: Certification-ready RISC-V platform for secure IIoT lifecycle management 13
From Systematic Threat Search to pentesting: Industrial Control Systems threat models 9
Next-Gen metamorphism: Analyzing the potential of LLM-driven knowledge-based malware evasion 5
Totale 6.620
Salva come PNG Salva come JPEG
Categoria #
all - tutte 43.981
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 43.981
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202123 0 0 0 0 0 0 0 0 0 0 0 23
2021/2022391 9 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.023 137 275 537 742 100 58 224 238 325 216 149 22
Totale 6.620