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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202198 0 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.177 20 87 16 50 75 243 545 769 121 70 118 63
2025/2026153 137 16 0 0 0 0 0 0 0 0 0 0
Totale 3.750