IRIS
NARDONE, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.896
NA - Nord America 1.662
AS - Asia 910
SA - Sud America 760
AF - Africa 45
Totale 5.273
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.613
RU - Federazione Russa 1.251
BR - Brasile 602
SG - Singapore 415
VN - Vietnam 273
SE - Svezia 208
IT - Italia 164
GB - Regno Unito 74
DE - Germania 72
CN - Cina 67
AR - Argentina 62
EC - Ecuador 35
ID - Indonesia 31
FR - Francia 28
HK - Hong Kong 28
CO - Colombia 25
CA - Canada 20
MX - Messico 20
ZA - Sudafrica 20
BD - Bangladesh 16
BE - Belgio 15
TR - Turchia 15
IN - India 13
UA - Ucraina 13
AT - Austria 12
PY - Paraguay 12
PK - Pakistan 10
PL - Polonia 10
FI - Finlandia 9
UY - Uruguay 9
ES - Italia 7
IQ - Iraq 7
LT - Lituania 7
MA - Marocco 7
EG - Egitto 6
AZ - Azerbaigian 5
VE - Venezuela 5
CL - Cile 4
JP - Giappone 4
PE - Perù 4
TN - Tunisia 4
UZ - Uzbekistan 4
AE - Emirati Arabi Uniti 3
CZ - Repubblica Ceca 3
HU - Ungheria 3
IE - Irlanda 3
NL - Olanda 3
OM - Oman 3
RS - Serbia 3
BA - Bosnia-Erzegovina 2
BO - Bolivia 2
GA - Gabon 2
GR - Grecia 2
HN - Honduras 2
IR - Iran 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LV - Lettonia 2
PS - Palestinian Territory 2
SA - Arabia Saudita 2
TW - Taiwan 2
AL - Albania 1
BB - Barbados 1
BJ - Benin 1
BW - Botswana 1
BY - Bielorussia 1
CG - Congo 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GE - Georgia 1
HR - Croazia 1
HT - Haiti 1
KE - Kenya 1
LB - Libano 1
MT - Malta 1
MY - Malesia 1
NE - Niger 1
NI - Nicaragua 1
NP - Nepal 1
PA - Panama 1
PR - Porto Rico 1
SK - Slovacchia (Repubblica Slovacca) 1
TT - Trinidad e Tobago 1
Totale 5.273
Salva come PNG Salva come JPEG
Città #
Dallas 357
Nyköping 186
Chandler 178
Moscow 171
Singapore 167
Boardman 90
Ho Chi Minh City 85
Wilmington 67
Princeton 63
Lawrence 59
Fairfield 58
Hanoi 57
New York 55
Naples 51
São Paulo 49
Ogden 47
The Dalles 47
Ashburn 44
Ann Arbor 37
Shanghai 36
London 30
Hong Kong 28
Houston 25
Seattle 25
Woodbridge 24
Rio de Janeiro 22
San Diego 22
Cambridge 19
Dong Ket 19
Los Angeles 19
Rome 18
Beijing 17
Chicago 17
Haiphong 17
Da Nang 16
Brussels 14
Düsseldorf 14
Gragnano 14
Quito 14
Belo Horizonte 13
Brasília 13
Guayaquil 13
Porto Alegre 10
Salvador 10
Helsinki 9
Santa Clara 9
Thái Bình 9
Assago 8
Munich 8
Aracaju 7
Biên Hòa 7
Curitiba 7
Frankfurt am Main 7
Medellín 7
Montevideo 7
Redmond 7
Toronto 7
Bogotá 6
Bremen 6
Brooklyn 6
Duque de Caxias 6
Jakarta 6
Mauá 6
Norwalk 6
Nuremberg 6
Salt Lake City 6
Santo André 6
Acerra 5
Atlanta 5
Bình Dương 5
Fortaleza 5
Ha Long 5
Hải Dương 5
Johannesburg 5
Lauterbourg 5
Montreal 5
Sorocaba 5
Vienna 5
Acton 4
Baku 4
Bauru 4
Boston 4
Bydgoszcz 4
Can Tho 4
Cape Town 4
Chennai 4
Contagem 4
Goiânia 4
Guarulhos 4
Islington 4
Juiz de Fora 4
Lahore 4
Osasco 4
Resistencia 4
Ribeirão Preto 4
Santiago de Cali 4
Stockholm 4
São Bernardo do Campo 4
Tashkent 4
Tokyo 4
Totale 2.639
Salva come PNG Salva come JPEG
Nome #
Enhancing Random Forest Classification with NLP in DAMEH: A system for DAta Management in EHealth Domain 161
CAN-Bus Attack Detection With Deep Learning 156
An integrated approach for availability and QoS evaluation In railway systems 111
A simulation framework for supporting design and real-time decisional phases in railway systems 108
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 106
A self-adaptation-based approach to resilience improvement of complex internets of utility systems 105
A routing algorithm increasing the transmission availability in smart grids 105
A model-driven process for physical protection system design and vulnerability evaluation 104
A Model-Driven Methodology to Evaluate Performability of Metro Systems 102
A Tamper-Resistant Storage Framework for Smart Grid security 100
A novel query language for data extraction from social networks 100
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 95
A Petri Net pattern-oriented approach for the design of physical protection systems 95
An integrated lifetime and network quality model of large WSNs 93
A model-driven approach for vulnerability evaluation of modern physical protection systems 92
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 92
A proposal of an example and experiments repository to foster industrial adoption of formal methods 91
A Model-Based Evaluation Methodology for Smart Energy Systems 90
A compositional modelling approach for large Sensor Networks design 88
WASMBOX: A Lightweight Wasm-based Runtime for Trustworthy Multi-Tenant Embedded Systems 85
A cost-energy trade-off model in smart energy grids 85
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 80
Advancements in knowledge elicitation for computer-based critical systems 78
An interoperable testing environment for ERTMS/ETCS control systems 77
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 74
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 73
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 73
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study 73
Dynamic state machines for modelling railway control systems 72
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance 70
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 68
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling 68
Vulnerability modeling and analysis for critical infrastructure protection applications 68
Towards model-driven assessment of clinical processes 68
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 66
Towards a hybrid mesoscopic-microscopic railway simulation model 65
Model-driven V&V processes for computer based control systems: A unifying perspective 65
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 64
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 63
Securing MQTT by Blockchain-Based OTP Authentication 62
Increasing the Cybersecurity of Smart Grids by Prosumer Monitoring 62
Building Cyber-Resilient Smart Grids with Digital Twins and Data Spaces 62
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 61
Dynamic State Machines for Formalizing Railway Control System Specifications 61
Computer-aided security assessment of water networks monitoring platforms 61
Automatic generation of formal models for diagnosability of des 61
Towards Railway Virtual Coupling 60
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks 59
Cost-energy modelling and profiling of smart domestic grids 59
From Dynamic State Machines to Promela 58
Petri net based evaluation of energy consumption in wireless sensor nodes 58
Exploiting Digital Twin technology for Cybersecurity Monitoring in Smart Grids 57
Formal security assessment of Modbus protocol 57
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 56
Test Specification Patterns for Automatic Generation of Test Sequences 56
Vulnerability analysis and modeling for critical infrastructure protection 56
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 55
Improving Verification Process in Driverless Metro Systems: The MBAT Project 55
Securing FIWARE with TEE Technology 54
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 54
Towards model-based security assessment of cloud applications 54
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 53
Enabling propagation in web of trust by Ethereum 52
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 52
Towards Model-Driven V&V assessment of railway control systems 52
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications 51
Model-Driven Engineering for Swarm-Based Space Exploration Missions 50
Automatic Resource Allocation for High Availability Cloud Services 49
Modeling railway control systems in promela 49
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling 48
Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems 45
Analysis of safe and effective next-generation rail signalling systems 44
How can the holder trust the verifier? A CP-ABPRE-based solution to control the access to claims in a Self-Sovereign-Identity scenario 44
Enabling secure health information sharing among healthcare organizations by public blockchain 38
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks 34
Totale 5.368
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.793
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 39.793
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202196 0 0 0 0 1 0 27 26 2 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/20261.771 137 275 537 742 80 0 0 0 0 0 0 0
Totale 5.368