Ken Pierce

According to our database, Ken Pierce authored at least 11 papers between 2000 and 2025.

Collaborative distances:

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

2025

Translating a VDM Model of a Medical Device into Kapture.

Joe Hare, Leo Freitas, Ken Pierce

CoRR, June, 2025

Proceedings of the 23rd International Overture Workshop.

Hugo Daniel Macedo, Ken Pierce

CoRR, June, 2025

2024

Verification Technology for VDM: Craft and Automation.

John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce, Leo Freitas, Nick Battle

Proceedings of the Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I, 2024

Proceedings of the 22nd International Overture Workshop.

Hugo Daniel Macedo, Ken Pierce, Leo Freitas

CoRR, 2024

The Inclusivity Game Jam: Exploring Equality, Diversity, and Inclusion (EDI) through Two Creative Forms.

Ken Pierce, Sara Zaeemdar

Proceedings of the 8th International Conference on Game Jams, 2024

2023

Proceedings of the 21st International Overture Workshop.

Hugo Daniel Macedo, Ken Pierce

CoRR, 2023

Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM.

Alexander Sulaiman, Ken Pierce

CoRR, 2023

2022

Proceedings of the 20th International Overture Workshop.

Hugo Daniel Macedo, Ken Pierce

CoRR, 2022

2021

Proceedings of the 19th International Overture Workshop.

Hugo Daniel Macedo, Casper Thule, Ken Pierce

CoRR, 2021

2020

Early-stage analysis of cyber-physical production systems through collaborative modelling.

Mihai Neghina, Constantin-Bala Zamfirescu, Ken Pierce

Softw. Syst. Model., 2020

2000

BMAT - A Binary Matching Tool for Stale Profile Propagation.

Zheng Wang, Ken Pierce, Scott McFarling

J. Instr. Level Parallelism, 2000