IRIS
NARDONE, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.994
NA - Nord America 1.992
AS - Asia 1.424
SA - Sud America 826
AF - Africa 68
Totale 6.304
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.925
RU - Federazione Russa 1.260
BR - Brasile 635
SG - Singapore 518
VN - Vietnam 357
CN - Cina 272
SE - Svezia 208
IT - Italia 191
GB - Regno Unito 88
DE - Germania 81
AR - Argentina 69
HK - Hong Kong 47
EC - Ecuador 41
FR - Francia 41
ID - Indonesia 34
IN - India 34
TR - Turchia 32
CO - Colombia 31
BD - Bangladesh 28
MX - Messico 27
ZA - Sudafrica 26
CA - Canada 22
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
NL - Olanda 6
MY - Malesia 5
TN - Tunisia 5
TW - Taiwan 5
CR - Costa Rica 4
JP - Giappone 4
KE - Kenya 4
OM - Oman 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
PH - Filippine 3
RS - Serbia 3
BA - Bosnia-Erzegovina 2
BG - Bulgaria 2
BY - Bielorussia 2
DO - Repubblica Dominicana 2
GA - Gabon 2
GR - Grecia 2
HN - Honduras 2
IL - Israele 2
IR - Iran 2
NO - Norvegia 2
PA - Panama 2
PR - Porto Rico 2
PS - Palestinian Territory 2
AL - Albania 1
BB - Barbados 1
BF - Burkina Faso 1
BH - Bahrain 1
BJ - Benin 1
BW - Botswana 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
ET - Etiopia 1
GE - Georgia 1
GQ - Guinea Equatoriale 1
GT - Guatemala 1
HR - Croazia 1
HT - Haiti 1
KH - Cambogia 1
KR - Corea 1
KW - Kuwait 1
LB - Libano 1
LY - Libia 1
MT - Malta 1
NE - Niger 1
NI - Nicaragua 1
NP - Nepal 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
Totale 6.299
Salva come PNG Salva come JPEG
Città #
Dallas 357
Singapore 248
Nyköping 186
San Jose 184
Chandler 178
Moscow 171
Ho Chi Minh City 114
Ashburn 91
Boardman 90
Hanoi 76
Wilmington 67
Naples 66
Princeton 63
Lawrence 59
The Dalles 59
Fairfield 58
New York 55
São Paulo 53
Ogden 47
Hong Kong 46
Beijing 42
Ann Arbor 37
Shanghai 36
London 32
Houston 25
Seattle 25
Haiphong 24
Woodbridge 24
Rio de Janeiro 23
San Diego 22
Da Nang 20
Rome 20
Cambridge 19
Dong Ket 19
Los Angeles 19
Chicago 17
Santa Clara 17
Brussels 15
Guayaquil 15
Quito 15
Düsseldorf 14
Gragnano 14
Helsinki 14
Belo Horizonte 13
Brasília 13
Porto Alegre 11
Salvador 11
Council Bluffs 10
Frankfurt am Main 10
Tashkent 10
Bogotá 9
Medellín 9
Montevideo 9
Orem 9
Thái Bình 9
Aracaju 8
Assago 8
Hải Dương 8
Munich 8
Biên Hòa 7
Chennai 7
Curitiba 7
Hillsboro 7
Johannesburg 7
Nuremberg 7
Redmond 7
Santo André 7
Toronto 7
Baku 6
Bremen 6
Brooklyn 6
Cape Town 6
Duque de Caxias 6
Fisciano 6
Ha Long 6
Jakarta 6
Manchester 6
Mauá 6
Montreal 6
Norwalk 6
Salt Lake City 6
Sorocaba 6
Warsaw 6
Acerra 5
Atlanta 5
Buenos Aires 5
Bình Dương 5
Bắc Giang 5
Contagem 5
Fortaleza 5
Istanbul 5
Lauterbourg 5
Mexico City 5
Taipei 5
Vienna 5
Yalova 5
Acton 4
Asunción 4
Baghdad 4
Bauru 4
Totale 3.165
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
A self-adaptation-based approach to resilience improvement of complex internets of utility systems 127
An integrated approach for availability and QoS evaluation In railway systems 123
WASMBOX: A Lightweight Wasm-based Runtime for Trustworthy Multi-Tenant Embedded Systems 121
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 117
A Model-Driven Methodology to Evaluate Performability of Metro Systems 116
A novel query language for data extraction from social networks 114
A model-driven approach for vulnerability evaluation of modern physical protection systems 111
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 110
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 108
A Petri Net pattern-oriented approach for the design of physical protection systems 108
An integrated lifetime and network quality model of large WSNs 107
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 103
A compositional modelling approach for large Sensor Networks design 101
A cost-energy trade-off model in smart energy grids 99
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 94
Increasing the Cybersecurity of Smart Grids by Prosumer Monitoring 92
An interoperable testing environment for ERTMS/ETCS control systems 89
Advancements in knowledge elicitation for computer-based critical systems 89
Dynamic state machines for modelling railway control systems 88
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 88
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study 86
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 83
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 82
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance 79
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 78
Towards a hybrid mesoscopic-microscopic railway simulation model 78
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling 77
Model-driven V&V processes for computer based control systems: A unifying perspective 77
Towards model-driven assessment of clinical processes 77
Vulnerability modeling and analysis for critical infrastructure protection applications 76
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 73
Building Cyber-Resilient Smart Grids with Digital Twins and Data Spaces 73
Automatic generation of formal models for diagnosability of des 71
Formal security assessment of Modbus protocol 70
Dynamic State Machines for Formalizing Railway Control System Specifications 70
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 69
Computer-aided security assessment of water networks monitoring platforms 69
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 69
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 69
Securing MQTT by Blockchain-Based OTP Authentication 69
Securing FIWARE with TEE Technology 68
From Dynamic State Machines to Promela 68
Petri net based evaluation of energy consumption in wireless sensor nodes 68
Vulnerability analysis and modeling for critical infrastructure protection 67
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 66
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 66
Towards Railway Virtual Coupling 66
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks 66
Exploiting Digital Twin technology for Cybersecurity Monitoring in Smart Grids 65
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 65
Cost-energy modelling and profiling of smart domestic grids 64
Test Specification Patterns for Automatic Generation of Test Sequences 63
Analysis of safe and effective next-generation rail signalling systems 61
How can the holder trust the verifier? A CP-ABPRE-based solution to control the access to claims in a Self-Sovereign-Identity scenario 61
Enabling propagation in web of trust by Ethereum 61
Improving Verification Process in Driverless Metro Systems: The MBAT Project 61
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 60
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 60
Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems 59
Automatic Resource Allocation for High Availability Cloud Services 59
Towards Model-Driven V&V assessment of railway control systems 59
Modeling railway control systems in promela 59
Towards model-based security assessment of cloud applications 58
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications 58
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling 57
Model-Driven Engineering for Swarm-Based Space Exploration Missions 56
Enabling secure health information sharing among healthcare organizations by public blockchain 49
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks 44
Railway Switch Control Modeling in European Train Control System Level 3 29
Active Security for Connected Device Lifecycle: The CERTIFY Architecture 28
Cybersecurity Management Throughout the IoT Systems Lifecycle – The CERTIFY Approach 27
Asset Discovery in Critical Infrastructures: An LLM-Based Approach 24
Regulating Prosumer Device Security: a Key Priority in Power Grid Protection 23
Enhanced Cybersecurity Monitoring in Multi-Plant Flexible Manufacturing Environments 20
Recommendations and Roadmaps Towards Intelligent Railways 14
μTEE: Certification-ready RISC-V platform for secure IIoT lifecycle management 6
Totale 6.408
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.055
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 42.055
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202140 0 0 0 0 0 0 0 0 0 10 7 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/20262.811 137 275 537 742 100 58 224 238 325 175 0 0
Totale 6.408