Ramesh Neupane

According to our database, Ramesh Neupane authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems.

Chibuzo Ukegbu, Ramesh Neupane, Hoda Mehrpouyan

Proceedings of the 2023 European Interdisciplinary Cybersecurity Conference, 2023

2022

An Ontology-Based Framework for Formal Verification of Safety and Security Properties of Control Logics.

Ramesh Neupane, Hoda Mehrpouyan

Proceedings of the 14th International Conference on Electronics, 2022