Chibuzo Ukegbu

According to our database, Chibuzo Ukegbu authored at least 3 papers in 2023.

Collaborative distances:

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

2023

Benchmarks for the Verification of Safety and Security Properties of PLC Programs in Cooperative Verification Environments.

Chibuzo Ukegbu, Hoda Mehrpouyan

Proceedings of the 8th International Conference on Information Systems Engineering, 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

Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems.

Chibuzo Ukegbu, Hoda Mehrpouyan

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023