Ken G. Pierce

According to our database, Ken G. Pierce authored at least 16 papers between 2007 and 2025.

Collaborative distances:

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

2025

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

2024

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

Proceedings of the Annual Modeling and Simulation Conference, 2024

2020

Modelling Train Driver Behaviour in Railway Co-simulations.

Tomas Hotzel Escardo, Ken G. Pierce, David Golightly, Roberto Palacin

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

2019

Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation.

Ken G. Pierce, Carl Gamble, David Golightly, Roberto Palacin

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

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

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2017

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

2014

On Formalisms for Dynamic Reconfiguration of Dependable Systems.

Anirban Bhattacharyya, Andrey Mokhov, Ken G. Pierce, Manuel Mazzara

CoRR, 2014

Co-modelling and co-simulation in the engineering of systems of cyber-physical systems.

John S. Fitzgerald, Ken G. Pierce, Peter Gorm Larsen

Proceedings of the 9th International Conference on System of Systems Engineering, 2014

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

Experience in Managing Requirements between Distributed Parties in a Research Project Context.

Ken G. Pierce, Claire Ingram, Bert Bos, Augusto Ribeiro

Proceedings of the 8th IEEE International Conference on Global Software Engineering, 2013

2012

Collaborative Modelling and Co-simulation with DESTECS: A Pilot Study.

Ken G. Pierce, Carl Gamble, Yunyun Ni, Jan F. Broenink

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

A rigorous approach to the design of resilient cyber-physical systems through co-simulation.

John S. Fitzgerald, Ken G. Pierce, Carl Gamble

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011

Elucidating concurrent algorithms via layers of abstraction and reification.

Cliff B. Jones, Ken G. Pierce

Formal Aspects Comput., 2011

2010

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

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2008

Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.

Cliff B. Jones, Ken G. Pierce

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

What Can the pi-calculus Tell Us About the Mondex Purse System?

Cliff B. Jones, Ken G. Pierce

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007