Login / Signup
Chibuzo Ukegbu
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Cooperative
Control System
Integrity Verification
Industrial Automation
Top Venues
CPS-IoT Week Workshops
ICISE
EICC
</>
Publications
</>
Chibuzo Ukegbu
,
Hoda Mehrpouyan
Benchmarks for the Verification of Safety and Security Properties of PLC Programs in Cooperative Verification Environments.
ICISE
(2023)
Chibuzo Ukegbu
,
Ramesh Neupane
,
Hoda Mehrpouyan
Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems.
EICC
(2023)
Chibuzo Ukegbu
,
Hoda Mehrpouyan
Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems.
CPS-IoT Week Workshops
(2023)