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