Ken G. Pierce

17 papers B 3C 3Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Using Time Signal at Red (TSAR) as a tool for analysing rail network performance.
J. Rail Transp. Plan. Manag.
Anirban Bhattacharyya, Matthew Forshaw, David Golightly, Seb Merricks, Roberto Palacin, Ken G. Pierce, Pedro Pinto da Silva
2024 — conf
Using co-simulation and Time Signal at Red (TSAR) to Determine Impact of Driver Behavior on Rail Network Performance.
ANNSIM
Ken G. Pierce, Anirban Bhattacharyya, David Golightly, Pedro Pinto da Silva, Seb Merricks, Roberto Palacin, Ziqi Guo
2020 B conf
Modelling Train Driver Behaviour in Railway Co-simulations.
SEFM
Tomas Hotzel Escardo, Ken G. Pierce, David Golightly, Roberto Palacin
2019 — conf
Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation.
FM Workshops (2)
Ken G. Pierce, Carl Gamble, David Golightly, Roberto Palacin
2019 — conf
Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin.
From Software Engineering to Formal Methods and Tools, and Back
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce
2017 J jnl
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems.
Formal Aspects Comput.
Anirban Bhattacharyya, Andrey Mokhov, Ken G. Pierce
2016 J jnl
An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems.
CoRR
Anirban Bhattacharyya, Andrey Mokhov, Ken G. Pierce
2014 — conf
Co-modelling and co-simulation in the engineering of systems of cyber-physical systems.
SoSE
John S. Fitzgerald, Ken G. Pierce, Peter Gorm Larsen
2014 J jnl
On Formalisms for Dynamic Reconfiguration of Dependable Systems.
CoRR
Anirban Bhattacharyya, Andrey Mokhov, Ken G. Pierce, Manuel Mazzara
2013 J jnl
A formal approach to collaborative modelling and co-simulation for embedded systems.
Math. Struct. Comput. Sci.
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef
2013 C conf
Experience in Managing Requirements between Distributed Parties in a Research Project Context.
ICGSE
Ken G. Pierce, Claire Ingram, Bert Bos, Augusto Ribeiro
2012 — conf
A rigorous approach to the design of resilient cyber-physical systems through co-simulation.
DSN Workshops
John S. Fitzgerald, Ken G. Pierce, Carl Gamble
2012 C conf
Collaborative Modelling and Co-simulation with DESTECS: A Pilot Study.
WETICE
Ken G. Pierce, Carl Gamble, Yunyun Ni, Jan F. Broenink
2011 J jnl
Elucidating concurrent algorithms via layers of abstraction and reification.
Formal Aspects Comput.
Cliff B. Jones, Ken G. Pierce
2010 B conf
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems.
IFM
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff
2008 C conf
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.
ABZ
Cliff B. Jones, Ken G. Pierce
2007 B conf
What Can the pi-calculus Tell Us About the Mondex Purse System?
ICECCS
Cliff B. Jones, Ken G. Pierce