Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Arindam Sinharay
Naït-Abdesselam, F.
Claudia Calabrese
Ramon Crehuet
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
ROBERTO NARDONE
Author Info
Open Visualization
Name
Affiliation
Papers
ROBERTO NARDONE
DIETI, Università degli Studi “Federico II” di Napoli, Napoli, Italy
36
Collaborators
Citations
PageRank
66
108
15.07
Referers
Referees
References
201
718
350
Search Limit
100
718
Publications (36 rows)
Collaborators (66 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
CAN-Bus Attack Detection With Deep Learning
0
0.34
2021
Low-Power Wide-Area Networks in Intelligent Transportation - Review and Opportunities for Smart-Railways.
0
0.34
2020
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis
2
0.36
2020
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.
0
0.34
2020
Advancements in knowledge elicitation for computer-based critical systems
0
0.34
2020
Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study
0
0.34
2020
Securing MQTT by Blockchain-Based OTP Authentication.
1
0.37
2020
Enabling propagation in web of trust by Ethereum
0
0.34
2019
A model-driven approach for vulnerability evaluation of modern physical protection systems.
0
0.34
2019
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism
0
0.34
2019
From Dynamic State Machines to Promela.
0
0.34
2019
A Model-Based Evaluation Methodology for Smart Energy Systems
0
0.34
2018
A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods.
0
0.34
2018
Towards Model-Based Security Assessment Of Cloud Applications
0
0.34
2017
A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS.
0
0.34
2017
Dynamic state machines for modelling railway control systems.
6
0.43
2017
Cost-energy modelling and profiling of smart domestic grids
1
0.36
2016
Formal security assessment of Modbus protocol
0
0.34
2016
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems
7
0.56
2015
Modeling Railway Control Systems in Promela.
7
0.44
2015
Towards Model-Driven V&V assessment of railway control systems
9
0.57
2014
A Cost-Energy Trade-Off Model in Smart Energy Grids
0
0.34
2014
An Interoperable Testing Environment For Ertms/Etcs Control Systems
1
0.39
2014
Dynamic State Machines for Formalizing Railway Control System Specifications
8
0.58
2014
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation
4
0.41
2014
Test Specification Patterns for Automatic Generation of Test Sequences.
4
0.43
2014
A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems
4
0.42
2014
Petri net based evaluation of energy consumption in wireless sensor nodes
3
0.44
2013
Vulnerability modeling and analysis for critical infrastructure protection applications.
8
0.52
2013
Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications
14
0.70
2013
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.
10
0.56
2013
A Compositional Modelling Approach for Large Sensor Networks Design
1
0.37
2013
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework.
2
0.38
2012
Improving verification process in driverless metro systems: the MBAT project
5
0.48
2012
Model-Driven v&v processes for computer based control systems: a unifying perspective
8
0.60
2012
An integrated approach for availability and QoS evaluation in railway systems
3
0.65
2011
1
