IRIS
NARDONE, Roberto
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 974
EU - Europa 406
AS - Asia 139
AF - Africa 1
Totale 1.520
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 974
SE - Svezia 204
SG - Singapore 105
IT - Italia 88
GB - Regno Unito 50
DE - Germania 24
VN - Vietnam 19
FI - Finlandia 8
UA - Ucraina 8
BE - Belgio 6
PL - Polonia 5
TR - Turchia 5
CN - Cina 4
FR - Francia 4
HU - Ungheria 3
CZ - Repubblica Ceca 2
IE - Irlanda 2
IR - Iran 2
PK - Pakistan 2
IN - India 1
LT - Lituania 1
MA - Marocco 1
MY - Malesia 1
NL - Olanda 1
Totale 1.520
Salva come PNG Salva come JPEG
Città #
Nyköping 186
Chandler 178
Boardman 90
Singapore 71
Wilmington 67
Princeton 63
Lawrence 59
Fairfield 58
New York 48
Ogden 47
Ann Arbor 37
Houston 25
Seattle 24
Woodbridge 24
Ashburn 22
San Diego 22
London 20
Cambridge 19
Dong Ket 19
Gragnano 14
Rome 12
Naples 11
Helsinki 8
Redmond 7
Bremen 6
Brussels 6
Los Angeles 6
Munich 6
Norwalk 6
Dallas 5
Santa Clara 5
Acerra 4
Acton 4
Bydgoszcz 4
Islington 4
Wandsworth 4
Eskişehir 3
Hounslow 3
Milan 3
New Bedfont 3
Paris 3
Salerno 3
Brno 2
Casoria 2
Cava de' Tirreni 2
Cosenza 2
Dublin 2
Durham 2
Frankfurt am Main 2
Hanover 2
Kilburn 2
Kocaeli 2
Mariglianella 2
Trieste 2
Amsterdam 1
Avellino 1
Casablanca 1
Changzhou 1
Chengdu 1
Chiswick 1
Cicciano 1
Florence 1
Grafing 1
Hyderabad 1
Islamabad 1
Lahore 1
Laureana di Borrello 1
Leawood 1
Ningbo 1
Nuremberg 1
Phoenix 1
Procida 1
Sacramento 1
Santa Venerina 1
Southwark 1
Succivo 1
Vimodrone 1
Zanjan 1
Totale 1.257
Salva come PNG Salva come JPEG
Nome #
CAN-Bus Attack Detection With Deep Learning 120
Enhancing Random Forest Classification with NLP in DAMEH: A system for DAta Management in EHealth Domain 103
Artificial Intelligence in Railway Transport: Taxonomy, Regulations and Applications 42
A Model-Driven Methodology to Evaluate Performability of Metro Systems 40
A compositional modelling approach for large Sensor Networks design 37
A novel query language for data extraction from social networks 37
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 35
A simulation framework for supporting design and real-time decisional phases in railway systems 33
Advancements in knowledge elicitation for computer-based critical systems 33
A routing algorithm increasing the transmission availability in smart grids 31
A model-driven approach for vulnerability evaluation of modern physical protection systems 31
An integrated approach for availability and QoS evaluation In railway systems 30
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 30
A Model-Based Evaluation Methodology for Smart Energy Systems 30
An integrated lifetime and network quality model of large WSNs 29
A cost-energy trade-off model in smart energy grids 28
A model-driven process for physical protection system design and vulnerability evaluation 27
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 27
A proposal of an example and experiments repository to foster industrial adoption of formal methods 27
A Petri Net pattern-oriented approach for the design of physical protection systems 26
An interoperable testing environment for ERTMS/ETCS control systems 26
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 25
A Tamper-Resistant Storage Framework for Smart Grid security 22
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 22
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling 21
Towards a hybrid mesoscopic-microscopic railway simulation model 20
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study 20
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 19
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 19
WASMBOX: A Lightweight Wasm-based Runtime for Trustworthy Multi-Tenant Embedded Systems 18
Exploiting Digital Twin technology for Cybersecurity Monitoring in Smart Grids 18
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 18
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 18
Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks 17
Towards model-based security assessment of cloud applications 17
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling 17
Dynamic state machines for modelling railway control systems 17
Towards model-driven assessment of clinical processes 17
A Survey on Audio-Video Based Defect Detection Through Deep Learning in Railway Maintenance 16
A self-adaptation-based approach to resilience improvement of complex internets of utility systems 16
Computer-aided security assessment of water networks monitoring platforms 16
From Dynamic State Machines to Promela 16
Petri net based evaluation of energy consumption in wireless sensor nodes 16
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications 16
Test Specification Patterns for Automatic Generation of Test Sequences 15
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 15
Towards Model-Driven V&V assessment of railway control systems 15
Improving Verification Process in Driverless Metro Systems: The MBAT Project 15
Modeling railway control systems in promela 15
Vulnerability modeling and analysis for critical infrastructure protection applications 15
Model-driven V&V processes for computer based control systems: A unifying perspective 15
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 15
Intelligent detection of warning bells at level crossings through deep transfer learning for smarter railway maintenance 14
Automatic Resource Allocation for High Availability Cloud Services 14
Dynamic State Machines for Formalizing Railway Control System Specifications 14
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 14
Model-Driven Engineering for Swarm-Based Space Exploration Missions 14
Cost-energy modelling and profiling of smart domestic grids 14
Securing MQTT by Blockchain-Based OTP Authentication 14
Formal security assessment of Modbus protocol 13
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 13
Towards Railway Virtual Coupling 13
Enabling propagation in web of trust by Ethereum 12
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 12
Automatic generation of formal models for diagnosability of des 12
Securing FIWARE with TEE Technology 11
Towards a Fault Tree Analysis of Moving Block and Virtual Coupling Railway Signalling Systems 11
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 11
Building Cyber-Resilient Smart Grids with Digital Twins and Data Spaces 11
Vulnerability analysis and modeling for critical infrastructure protection 10
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks 8
Enabling secure health information sharing among healthcare organizations by public blockchain 6
Totale 1.604
Salva come PNG Salva come JPEG
Categoria #
all - tutte 24.472
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 24.472
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/2025184 20 87 16 50 11 0 0 0 0 0 0 0
Totale 1.604