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