Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems. - Chibuzo Ukegbu; Hoda Mehrpouyan (CPS-IoT Week Workshops, 2023)

Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems. - Chibuzo Ukegbu; Ramesh Neupane; Hoda Mehrpouyan (EICC, 2023)

Benchmarks for the Verification of Safety and Security Properties of PLC Programs in Cooperative Verification Environments. - Chibuzo Ukegbu; Hoda Mehrpouyan (ICISE, 2023)