IRIS
NARDONE, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.284
AS - Asia 947
EU - Europa 522
SA - Sud America 514
AF - Africa 42
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.316
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.191
BR - Brasile 411
SG - Singapore 357
VN - Vietnam 202
IT - Italia 169
CN - Cina 161
HK - Hong Kong 106
DE - Germania 88
CA - Canada 73
FI - Finlandia 59
AR - Argentina 42
GB - Regno Unito 41
SE - Svezia 37
LT - Lituania 35
ID - Indonesia 26
EC - Ecuador 24
IN - India 21
NL - Olanda 16
TR - Turchia 16
ZA - Sudafrica 15
BD - Bangladesh 13
MX - Messico 13
UA - Ucraina 13
BE - Belgio 9
CO - Colombia 9
PL - Polonia 9
PY - Paraguay 9
MA - Marocco 8
RU - Federazione Russa 8
CL - Cile 7
FR - Francia 7
JP - Giappone 7
VE - Venezuela 7
SA - Arabia Saudita 6
ES - Italia 5
SK - Slovacchia (Repubblica Slovacca) 5
UZ - Uzbekistan 5
AE - Emirati Arabi Uniti 4
EG - Egitto 4
PK - Pakistan 4
RO - Romania 4
AU - Australia 3
DO - Repubblica Dominicana 3
DZ - Algeria 3
EE - Estonia 3
IQ - Iraq 3
PE - Perù 3
TW - Taiwan 3
ZW - Zimbabwe 3
AT - Austria 2
AZ - Azerbaigian 2
BY - Bielorussia 2
CR - Costa Rica 2
ET - Etiopia 2
LU - Lussemburgo 2
MY - Malesia 2
NO - Norvegia 2
NP - Nepal 2
NZ - Nuova Zelanda 2
PT - Portogallo 2
SY - Repubblica araba siriana 2
TN - Tunisia 2
UY - Uruguay 2
BH - Bahrain 1
CG - Congo 1
CI - Costa d'Avorio 1
CY - Cipro 1
CZ - Repubblica Ceca 1
EU - Europa 1
GA - Gabon 1
HR - Croazia 1
IE - Irlanda 1
IR - Iran 1
KE - Kenya 1
KG - Kirghizistan 1
KZ - Kazakistan 1
NR - Nauru 1
PA - Panama 1
RS - Serbia 1
SN - Senegal 1
SV - El Salvador 1
Totale 3.316
Salva come PNG Salva come JPEG
Città #
Singapore 157
Dallas 134
Chandler 121
Hong Kong 104
Ho Chi Minh City 91
Boardman 80
Santa Clara 79
Helsinki 59
San Mateo 59
Lawrence 58
Princeton 58
Ashburn 55
Brasília 55
Shanghai 55
Wilmington 50
Beijing 49
New York 46
Hanoi 38
Ottawa 31
São Paulo 28
Los Angeles 27
Cosenza 21
Martina Franca 21
Toronto 18
Frankfurt am Main 15
Reggio Calabria 15
Haiphong 14
San Francisco 14
Montreal 13
Norwalk 13
Rio de Janeiro 13
Delft 12
Quito 12
Chennai 10
Denver 10
London 10
Brooklyn 9
Brussels 9
Munich 9
Belo Horizonte 8
Des Moines 8
Guayaquil 8
Poplar 8
Warsaw 8
Biên Hòa 7
Curitiba 7
Gelsenkirchen 7
Johannesburg 7
The Dalles 7
Tokyo 7
Mumbai 6
Stockholm 6
Ankara 5
Atlanta 5
Bonndorf 5
Cape Town 5
Kocaeli 5
Manchester 5
Mexico City 5
Pescara 5
Santo André 5
Seattle 5
Canoas 4
Caxias do Sul 4
Chicago 4
Columbus 4
Da Nang 4
Fortaleza 4
Houston 4
Lomas de Zamora 4
Macaé 4
Phoenix 4
Pittsburgh 4
Porto Alegre 4
Redwood City 4
Salvador 4
Taboão da Serra 4
Tashkent 4
Aparecida de Goiânia 3
Asunción 3
Bauru 3
Belford Roxo 3
Boston 3
Bratislava 3
Buenos Aires 3
Campinas 3
Caracas 3
Caraguatatuba 3
Duque de Caxias 3
Düsseldorf 3
Huánuco 3
Hải Dương 3
Jakarta 3
La Plata 3
Manaus 3
Melegnano 3
Monte Carmelo 3
Ninh Bình 3
Orem 3
Recife 3
Totale 1.946
Salva come PNG Salva come JPEG
Nome #
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 114
Dynamic state machines for modelling railway control systems 84
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 81
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 79
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 78
A novel query language for data extraction from social networks 77
A compositional modelling approach for large Sensor Networks design 76
Model-Driven Engineering for Swarm-Based Space Exploration Missions 74
Advancements in knowledge elicitation for computer-based critical systems 71
Enabling propagation in web of trust by Ethereum 70
A model-driven approach for vulnerability evaluation of modern physical protection systems 69
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling 69
Cost-energy modelling and profiling of smart domestic grids 68
An integrated lifetime and network quality model of large WSNs 67
Automatic generation of formal models for diagnosability of des 66
A simulation framework for supporting design and real-time decisional phases in railway systems 64
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 64
A model-driven process for physical protection system design and vulnerability evaluation 64
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 63
Improving Verification Process in Driverless Metro Systems: The MBAT Project 63
A Model-Based Evaluation Methodology for Smart Energy Systems 62
A Model-Driven Methodology to Evaluate Performability of Metro Systems 62
A routing algorithm increasing the transmission availability in smart grids 61
An interoperable testing environment for ERTMS/ETCS control systems 60
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study 59
Towards a hybrid mesoscopic-microscopic railway simulation model 58
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications 57
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 57
Test Specification Patterns for Automatic Generation of Test Sequences 55
From Dynamic State Machines to Promela 55
An integrated approach for availability and QoS evaluation In railway systems 54
A Petri Net pattern-oriented approach for the design of physical protection systems 54
Modeling railway control systems in promela 54
Towards model-based security assessment of cloud applications 54
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 54
A cost-energy trade-off model in smart energy grids 53
A proposal of an example and experiments repository to foster industrial adoption of formal methods 53
Formal security assessment of Modbus protocol 52
Towards Railway Virtual Coupling 52
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 52
How can the holder trust the verifier? A CP-ABPRE-based solution to control the access to claims in a Self-Sovereign-Identity scenario 52
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 51
Towards Model-Driven V&V assessment of railway control systems 50
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 50
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 49
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 49
Securing MQTT by Blockchain-Based OTP Authentication 48
Petri net based evaluation of energy consumption in wireless sensor nodes 47
Model-driven V&V processes for computer based control systems: A unifying perspective 46
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 46
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 45
Towards model-driven assessment of clinical processes 44
Enabling secure health information sharing among healthcare organizations by public blockchain 41
CAN-Bus Attack Detection With Deep Learning 40
Automatic Resource Allocation for High Availability Cloud Services 38
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling 38
Dynamic State Machines for Formalizing Railway Control System Specifications 37
Computer-aided security assessment of water networks monitoring platforms 34
Vulnerability modeling and analysis for critical infrastructure protection applications 32
Vulnerability analysis and modeling for critical infrastructure protection 28
Totale 3.444
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.201
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 29.201
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021187 0 0 0 0 0 13 10 22 72 52 12 6
2021/2022228 0 0 59 30 2 2 11 37 7 2 22 56
2022/2023347 115 0 3 11 48 44 2 33 65 7 15 4
2023/2024314 12 16 46 2 37 58 10 8 8 29 58 30
2024/2025823 22 6 73 7 203 65 117 53 95 75 45 62
2025/20261.377 65 200 234 581 185 112 0 0 0 0 0 0
Totale 3.444