IRIS
NARDONE, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.813
NA - Nord America 1.127
AS - Asia 366
SA - Sud America 150
AF - Africa 7
Totale 3.463
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 1.238
US - Stati Uniti d'America 1.111
SG - Singapore 257
SE - Svezia 205
IT - Italia 144
BR - Brasile 139
DE - Germania 68
GB - Regno Unito 66
CN - Cina 48
FR - Francia 28
VN - Vietnam 21
BE - Belgio 14
TR - Turchia 12
CA - Canada 10
FI - Finlandia 9
AT - Austria 8
UA - Ucraina 8
IN - India 7
LT - Lituania 7
PL - Polonia 6
AR - Argentina 3
AZ - Azerbaigian 3
CO - Colombia 3
HK - Hong Kong 3
HU - Ungheria 3
MA - Marocco 3
MX - Messico 3
NL - Olanda 3
PK - Pakistan 3
ZA - Sudafrica 3
BD - Bangladesh 2
CZ - Repubblica Ceca 2
EC - Ecuador 2
GR - Grecia 2
IE - Irlanda 2
IR - Iran 2
KG - Kirghizistan 2
UY - Uruguay 2
UZ - Uzbekistan 2
BB - Barbados 1
BO - Bolivia 1
GA - Gabon 1
GE - Georgia 1
IQ - Iraq 1
MY - Malesia 1
NI - Nicaragua 1
NP - Nepal 1
PA - Panama 1
Totale 3.463
Salva come PNG Salva come JPEG
Città #
Nyköping 186
Chandler 178
Moscow 169
Singapore 140
Boardman 90
Wilmington 67
Princeton 63
Lawrence 59
Fairfield 58
New York 48
Ogden 47
The Dalles 47
Naples 46
Ann Arbor 37
Shanghai 36
London 28
Houston 25
Seattle 24
Woodbridge 24
Ashburn 22
San Diego 22
Cambridge 19
Dong Ket 19
Rome 15
Brussels 14
Düsseldorf 14
Gragnano 14
Helsinki 9
Assago 8
Los Angeles 8
Belo Horizonte 7
Frankfurt am Main 7
Munich 7
Redmond 7
Santa Clara 7
São Paulo 7
Bremen 6
Norwalk 6
Toronto 6
Acerra 5
Dallas 5
Lauterbourg 5
Acton 4
Bydgoszcz 4
Islington 4
Nuremberg 4
Vienna 4
Wandsworth 4
Baku 3
Brasília 3
Campinas 3
Casagiove 3
Duque de Caxias 3
Eskişehir 3
Fortaleza 3
Hong Kong 3
Hounslow 3
Milan 3
New Bedfont 3
Paris 3
Rio de Janeiro 3
Roubaix 3
Salerno 3
Yubileyny 3
Athens 2
Bexley 2
Bishkek 2
Bogotá 2
Brno 2
Casablanca 2
Casoria 2
Cava de' Tirreni 2
Chengdu 2
Chennai 2
Cosenza 2
Curitiba 2
Dublin 2
Durham 2
Guarapuava 2
Hanover 2
Itaquaquecetuba 2
Kilburn 2
Kocaeli 2
Lorena 2
Macaé 2
Mariglianella 2
Matozinhos 2
Ottawa 2
Phoenix 2
Portsmouth 2
Salvador 2
Santo André 2
Secaucus 2
Tashkent 2
Thāne 2
Trieste 2
Abreu e Lima 1
Albuquerque 1
Aleksandrov 1
Alumínio 1
Totale 1.751
Salva come PNG Salva come JPEG
Nome #
Enhancing Random Forest Classification with NLP in DAMEH: A system for DAta Management in EHealth Domain 150
CAN-Bus Attack Detection With Deep Learning 146
A Model-Driven Methodology to Evaluate Performability of Metro Systems 76
A Tamper-Resistant Storage Framework for Smart Grid security 72
A self-adaptation-based approach to resilience improvement of complex internets of utility systems 71
A compositional modelling approach for large Sensor Networks design 71
A routing algorithm increasing the transmission availability in smart grids 71
A novel query language for data extraction from social networks 71
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 71
A simulation framework for supporting design and real-time decisional phases in railway systems 68
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 67
An integrated approach for availability and QoS evaluation In railway systems 65
A proposal of an example and experiments repository to foster industrial adoption of formal methods 64
An integrated lifetime and network quality model of large WSNs 63
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 63
A Model-Based Evaluation Methodology for Smart Energy Systems 63
A model-driven approach for vulnerability evaluation of modern physical protection systems 63
A model-driven process for physical protection system design and vulnerability evaluation 62
Advancements in knowledge elicitation for computer-based critical systems 62
A cost-energy trade-off model in smart energy grids 58
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 57
A Petri Net pattern-oriented approach for the design of physical protection systems 57
WASMBOX: A Lightweight Wasm-based Runtime for Trustworthy Multi-Tenant Embedded Systems 55
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance 52
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 52
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 50
An interoperable testing environment for ERTMS/ETCS control systems 50
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study 47
Exploiting Digital Twin technology for Cybersecurity Monitoring in Smart Grids 46
Towards model-driven assessment of clinical processes 46
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 45
Dynamic state machines for modelling railway control systems 44
Towards a hybrid mesoscopic-microscopic railway simulation model 42
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 41
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling 41
Securing FIWARE with TEE Technology 40
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 40
Vulnerability modeling and analysis for critical infrastructure protection applications 40
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling 39
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 39
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 39
Improving Verification Process in Driverless Metro Systems: The MBAT Project 38
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks 37
From Dynamic State Machines to Promela 37
Petri net based evaluation of energy consumption in wireless sensor nodes 37
Building Cyber-Resilient Smart Grids with Digital Twins and Data Spaces 37
Test Specification Patterns for Automatic Generation of Test Sequences 36
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 36
Model-driven V&V processes for computer based control systems: A unifying perspective 36
Automatic generation of formal models for diagnosability of des 36
Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems 35
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 35
Towards Railway Virtual Coupling 35
Towards model-based security assessment of cloud applications 35
Computer-aided security assessment of water networks monitoring platforms 35
Vulnerability analysis and modeling for critical infrastructure protection 35
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 34
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 34
Securing MQTT by Blockchain-Based OTP Authentication 34
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications 34
Automatic Resource Allocation for High Availability Cloud Services 33
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 33
Enabling propagation in web of trust by Ethereum 31
Dynamic State Machines for Formalizing Railway Control System Specifications 31
Cost-energy modelling and profiling of smart domestic grids 31
Towards Model-Driven V&V assessment of railway control systems 31
Formal security assessment of Modbus protocol 30
Model-Driven Engineering for Swarm-Based Space Exploration Missions 30
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks 28
Enabling secure health information sharing among healthcare organizations by public blockchain 28
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 28
Modeling railway control systems in promela 28
Increasing the Cybersecurity of Smart Grids by Prosumer Monitoring 23
How can the holder trust the verifier? A CP-ABPRE-based solution to control the access to claims in a Self-Sovereign-Identity scenario 20
Analysis of safe and effective next-generation rail signalling systems 17
Totale 3.557
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.241
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 32.241
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021101 3 0 1 1 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.137 20 87 16 50 75 243 545 769 121 70 118 23
Totale 3.557