IRIS
NARDONE, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 666
EU - Europa 371
AS - Asia 114
SA - Sud America 53
AF - Africa 5
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.214
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 635
IT - Italia 160
SG - Singapore 70
DE - Germania 59
FI - Finlandia 57
BR - Brasile 49
CA - Canada 31
SE - Svezia 31
LT - Lituania 25
CN - Cina 19
NL - Olanda 13
HK - Hong Kong 10
TR - Turchia 7
FR - Francia 5
AU - Australia 3
GB - Regno Unito 3
PE - Perù 3
RO - Romania 3
TW - Taiwan 3
ZW - Zimbabwe 3
AT - Austria 2
DZ - Algeria 2
LU - Lussemburgo 2
SK - Slovacchia (Repubblica Slovacca) 2
UA - Ucraina 2
VN - Vietnam 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BE - Belgio 1
BY - Bielorussia 1
CZ - Repubblica Ceca 1
EE - Estonia 1
EU - Europa 1
IN - India 1
MY - Malesia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PL - Polonia 1
PT - Portogallo 1
Totale 1.214
Salva come PNG Salva come JPEG
Città #
Chandler 121
San Mateo 59
Lawrence 58
Princeton 58
Helsinki 57
Singapore 56
Wilmington 50
Brasília 47
New York 26
Ottawa 24
Cosenza 21
Martina Franca 21
Boardman 20
Reggio Calabria 15
Norwalk 13
Delft 12
Santa Clara 12
Ashburn 10
San Francisco 9
Hong Kong 8
Gelsenkirchen 7
Bonndorf 5
Des Moines 5
Kocaeli 5
Toronto 5
Frankfurt am Main 4
Redwood City 4
Seattle 4
Chicago 3
Huánuco 3
Melegnano 3
Pittsburgh 3
Taipei 3
Beijing 2
Bratislava 2
Canberra 2
Castano Primo 2
Dong Ket 2
Fairfield 2
Gunzenhausen 2
Horia 2
Luxembourg 2
Markham 2
Napoli 2
Pieranica 2
Redmond 2
Shanghai 2
Vasto 2
Vienna 2
Washington 2
Algiers 1
Amsterdam 1
Andover 1
Augusta 1
Bari 1
Braunschweig 1
Brussels 1
Buenos Aires 1
Buffalo 1
Central 1
Cleveland 1
Dallas 1
Dottingen 1
Dubai 1
Falkenstein 1
Florence 1
Görwihl 1
Hangzhou 1
Imbersago 1
Lisbon 1
London 1
Los Angeles 1
Marietta 1
Marseille 1
Mileto 1
Minsk 1
Mountain View 1
Mumbai 1
Munich 1
Nagold 1
Oklahoma City 1
Oslo 1
Pescara 1
Phoenix 1
Piombino 1
Polska 1
Prague 1
Quanzhou 1
Rome 1
San Giuliano 1
Selangor 1
Sheung Wan 1
Stockholm 1
Sydney 1
São Paulo 1
Tallinn 1
Traverse City 1
Uhlingen-Birkendorf 1
Viareggio 1
Vigliano Biellese 1
Totale 835
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 58
A Blockchain-Based System For Tracking And Collision Avoidance Of Resident Space Objects 52
Cost-energy modelling and profiling of smart domestic grids 49
A novel query language for data extraction from social networks 43
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 43
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS 40
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems 39
A compositional modelling approach for large Sensor Networks design 35
Model-Driven Engineering for Swarm-Based Space Exploration Missions 33
Enabling propagation in web of trust by Ethereum 32
A model-driven approach for vulnerability evaluation of modern physical protection systems 31
Advancements in knowledge elicitation for computer-based critical systems 31
Automatic generation of formal models for diagnosability of des 31
A model-driven process for physical protection system design and vulnerability evaluation 30
A simulation framework for supporting design and real-time decisional phases in railway systems 29
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 29
A routing algorithm increasing the transmission availability in smart grids 29
µGRIMOIRE: A Tool for Smart Micro Grids Modelling and Energy Profiling 27
An integrated lifetime and network quality model of large WSNs 27
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism 26
An interoperable testing environment for ERTMS/ETCS control systems 25
A Model-Driven Methodology to Evaluate Performability of Metro Systems 25
Automatic Resource Allocation for High Availability Cloud Services 24
A cost-energy trade-off model in smart energy grids 21
A proposal of an example and experiments repository to foster industrial adoption of formal methods 21
An integrated approach for availability and QoS evaluation In railway systems 21
Combining Heterogeneity, Compositionality, and Automatic Generation in Formal Modelling Theory and Application of Multi-Formalism Modeling 21
A Petri Net pattern-oriented approach for the design of physical protection systems 20
Securing MQTT by Blockchain-Based OTP Authentication 20
Computer-aided security assessment of water networks monitoring platforms 20
Towards a hybrid mesoscopic-microscopic railway simulation model 19
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study 19
Improving Verification Process in Driverless Metro Systems: The MBAT Project 19
CAN-Bus Attack Detection With Deep Learning 19
Test Specification Patterns for Automatic Generation of Test Sequences 18
From Dynamic State Machines to Promela 18
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis 18
A Model-Based Evaluation Methodology for Smart Energy Systems 17
Dynamic State Machines for Formalizing Railway Control System Specifications 17
Vulnerability analysis and modeling for critical infrastructure protection 15
Low-Power Wide-Area Networks in Intelligent Transportation: Review and Opportunities for Smart-Railways 15
Vulnerability modeling and analysis for critical infrastructure protection applications 14
Towards Model-Driven V&V assessment of railway control systems 14
Improving Automatic Test Case Generation Process with Knowledge Engineering in the Crystal Project 14
Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems 14
Using Bayesian Networks to evaluate the trustworthiness of ‘2 out of 3’ decision fusion mechanisms in multi-sensor applications 14
Estimation of the energy consumption of mobile sensors in WSN environmental monitoring applications 14
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 13
Towards model-based security assessment of cloud applications 13
Towards Railway Virtual Coupling 13
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 12
Model-driven V&V processes for computer based control systems: A unifying perspective 11
Formal security assessment of Modbus protocol 11
Petri net based evaluation of energy consumption in wireless sensor nodes 11
Security modelling and formal verification of survivability properties: Application to cyber–physical systems 11
Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review 11
Towards model-driven assessment of clinical processes 10
Modeling railway control systems in promela 8
Enabling secure health information sharing among healthcare organizations by public blockchain 5
How can the holder trust the verifier? A CP-ABPRE-based solution to control the access to claims in a Self-Sovereign-Identity scenario 3
Totale 1.342
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.034
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 16.034
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020128 0 0 0 0 0 30 21 6 3 18 18 32
2020/2021227 29 2 3 5 1 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/202598 22 6 70 0 0 0 0 0 0 0 0 0
Totale 1.342