BMAT - A Binary Matching Tool for Stale Profile Propagation. - Zheng Wang; Ken Pierce; Scott McFarling (J. Instr. Level Parallelism, 2000)

Early-stage analysis of cyber-physical production systems through collaborative modelling. - Mihai Neghina; Constantin-Bala Zamfirescu; Ken Pierce (Softw. Syst. Model., 2020)

Proceedings of the 19th International Overture Workshop. - Hugo Daniel Macedo; Casper Thule; Ken Pierce (CoRR, 2021)

Proceedings of the 20th International Overture Workshop. - Hugo Daniel Macedo; Ken Pierce (CoRR, 2022)

Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM. - Alexander Sulaiman; Ken Pierce (CoRR, 2023)

Proceedings of the 21st International Overture Workshop. - Hugo Daniel Macedo; Ken Pierce (CoRR, 2023)

The Inclusivity Game Jam: Exploring Equality, Diversity, and Inclusion (EDI) through Two Creative Forms. - Ken Pierce; Sara Zaeemdar (ICGJ, 2024)

Proceedings of the 22nd International Overture Workshop. - Hugo Daniel Macedo; Ken Pierce; Leo Freitas (CoRR, 2024)

Verification Technology for VDM: Craft and Automation. - John S. Fitzgerald; Peter Gorm Larsen; Ken Pierce; Leo Freitas; Nick Battle (The Practice of Formal Methods (I), 2024)

Proceedings of the 23rd International Overture Workshop. - Hugo Daniel Macedo; Ken Pierce (CoRR, 2025)

Translating a VDM Model of a Medical Device into Kapture. - Joe Hare; Leo Freitas; Ken Pierce (CoRR, 2025)