What Can the pi-calculus Tell Us About the Mondex Purse System? - Cliff B. Jones; Ken G. Pierce (ICECCS, 2007)

Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. - Cliff B. Jones; Ken G. Pierce (ABZ, 2008)

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. - John S. Fitzgerald; Peter Gorm Larsen; Ken G. Pierce; Marcel Verhoef; Sune Wolff (IFM, 2010)

Elucidating concurrent algorithms via layers of abstraction and reification. - Cliff B. Jones; Ken G. Pierce (Formal Aspects Comput., 2011)

A rigorous approach to the design of resilient cyber-physical systems through co-simulation. - John S. Fitzgerald; Ken G. Pierce; Carl Gamble (DSN Workshops, 2012)

Collaborative Modelling and Co-simulation with DESTECS: A Pilot Study. - Ken G. Pierce; Carl Gamble; Yunyun Ni; Jan F. Broenink (WETICE, 2012)

Experience in Managing Requirements between Distributed Parties in a Research Project Context. - Ken G. Pierce; Claire Ingram; Bert Bos; Augusto Ribeiro (ICGSE, 2013)

A formal approach to collaborative modelling and co-simulation for embedded systems. - John S. Fitzgerald; Peter Gorm Larsen; Ken G. Pierce; Marcel Verhoef (Math. Struct. Comput. Sci., 2013)

Co-modelling and co-simulation in the engineering of systems of cyber-physical systems. - John S. Fitzgerald; Ken G. Pierce; Peter Gorm Larsen (SoSE, 2014)

On Formalisms for Dynamic Reconfiguration of Dependable Systems. - Anirban Bhattacharyya; Andrey Mokhov; Ken G. Pierce; Manuel Mazzara (CoRR, 2014)

An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems. - Anirban Bhattacharyya; Andrey Mokhov; Ken G. Pierce (Formal Aspects Comput., 2017)

Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin. - John S. Fitzgerald; Peter Gorm Larsen; Ken G. Pierce (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation. - Ken G. Pierce; Carl Gamble; David Golightly; Roberto Palacin (FM Workshops (2), 2019)

Modelling Train Driver Behaviour in Railway Co-simulations. - Tomas Hotzel Escardo; Ken G. Pierce; David Golightly; Roberto Palacin (SEFM, 2020)

Using co-simulation and Time Signal at Red (TSAR) to Determine Impact of Driver Behavior on Rail Network Performance. - Ken G. Pierce; Anirban Bhattacharyya; David Golightly; Pedro Pinto da Silva; Seb Merricks; Roberto Palacin; Ziqi Guo (ANNSIM, 2024)

Using Time Signal at Red (TSAR) as a tool for analysing rail network performance. - Anirban Bhattacharyya; Matthew Forshaw; David Golightly; Seb Merricks; Roberto Palacin; Ken G. Pierce; Pedro Pinto da Silva (J. Rail Transp. Plan. Manag., 2025)