IRIS
NARDONE, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.280
AS - Asia 929
EU - Europa 521
SA - Sud America 513
AF - Africa 40
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.290
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.189
BR - Brasile 410
SG - Singapore 353
VN - Vietnam 191
IT - Italia 169
CN - Cina 161
HK - Hong Kong 106
DE - Germania 88
CA - Canada 72
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
MX - Messico 13
UA - Ucraina 13
BD - Bangladesh 12
BE - Belgio 9
CO - Colombia 9
PY - Paraguay 9
MA - Marocco 8
PL - Polonia 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
LU - Lussemburgo 2
NO - Norvegia 2
NP - Nepal 2
NZ - Nuova Zelanda 2
PT - Portogallo 2
TN - Tunisia 2
UY - Uruguay 2
BH - Bahrain 1
CG - Congo 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CY - Cipro 1
CZ - Repubblica Ceca 1
ET - Etiopia 1
EU - Europa 1
GA - Gabon 1
HR - Croazia 1
IE - Irlanda 1
IR - Iran 1
KG - Kirghizistan 1
KZ - Kazakistan 1
MY - Malesia 1
NR - Nauru 1
PA - Panama 1
RS - Serbia 1
SN - Senegal 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
Totale 3.290
Salva come PNG Salva come JPEG
Città #
Singapore 153
Dallas 134
Chandler 121
Hong Kong 104
Ho Chi Minh City 86
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 45
Hanoi 36
Ottawa 31
São Paulo 28
Los Angeles 26
Cosenza 21
Martina Franca 21
Toronto 18
Frankfurt am Main 15
Reggio Calabria 15
Haiphong 14
San Francisco 14
Norwalk 13
Rio de Janeiro 13
Delft 12
Montreal 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
Biên Hòa 7
Curitiba 7
Gelsenkirchen 7
Johannesburg 7
The Dalles 7
Tokyo 7
Warsaw 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
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
Da Nang 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
Orem 3
Recife 3
Riyadh 3
Totale 1.930
Salva come PNG Salva come JPEG
Nome #
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 113
Dynamic state machines for modelling railway control systems 84
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 80
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 76
A compositional modelling approach for large Sensor Networks design 74
Model-Driven Engineering for Swarm-Based Space Exploration Missions 72
Advancements in knowledge elicitation for computer-based critical systems 70
Enabling propagation in web of trust by Ethereum 69
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling 69
Cost-energy modelling and profiling of smart domestic grids 68
A model-driven approach for vulnerability evaluation of modern physical protection systems 68
An integrated lifetime and network quality model of large WSNs 66
Automatic generation of formal models for diagnosability of des 65
A simulation framework for supporting design and real-time decisional phases in railway systems 63
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 63
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-driven process for physical protection system design and vulnerability evaluation 62
A Model-Based Evaluation Methodology for Smart Energy Systems 61
An interoperable testing environment for ERTMS/ETCS control systems 60
A Model-Driven Methodology to Evaluate Performability of Metro Systems 60
A routing algorithm increasing the transmission availability in smart grids 59
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
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
An integrated approach for availability and QoS evaluation In railway systems 53
A proposal of an example and experiments repository to foster industrial adoption of formal methods 52
Formal security assessment of Modbus protocol 52
Towards Railway Virtual Coupling 52
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 51
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 51
How can the holder trust the verifier? A CP-ABPRE-based solution to control the access to claims in a Self-Sovereign-Identity scenario 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 36
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.418
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.017
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.017
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.351 65 200 234 581 185 86 0 0 0 0 0 0
Totale 3.418