Ken G. Pierce

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 3

Top Topics

Horizontally Partitioned

Human Behaviour

Top Venues

Math. Struct. Comput. Sci.

FM Workshops (2)

Publications

Tomas Hotzel Escardo, Ken G. Pierce, David Golightly, Roberto Palacin
Modelling Train Driver Behaviour in Railway Co-simulations. SEFM (2020)
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce
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 (2019)
Ken G. Pierce, Carl Gamble, David Golightly, Roberto Palacin
Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation. FM Workshops (2) (2019)
John S. Fitzgerald, Ken G. Pierce, Peter Gorm Larsen
Co-modelling and co-simulation in the engineering of systems of cyber-physical systems. SoSE (2014)
Ken G. Pierce, Claire Ingram, Bert Bos, Augusto Ribeiro
Experience in Managing Requirements between Distributed Parties in a Research Project Context. ICGSE (2013)
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef
A formal approach to collaborative modelling and co-simulation for embedded systems. Math. Struct. Comput. Sci. 23 (4) (2013)
John S. Fitzgerald, Ken G. Pierce, Carl Gamble
A rigorous approach to the design of resilient cyber-physical systems through co-simulation. DSN Workshops (2012)
Ken G. Pierce, Carl Gamble, Yunyun Ni, Jan F. Broenink
Collaborative Modelling and Co-simulation with DESTECS: A Pilot Study. WETICE (2012)
Cliff B. Jones, Ken G. Pierce
Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects Comput. 23 (3) (2011)
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. IFM (2010)
Cliff B. Jones, Ken G. Pierce
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. ABZ (2008)
Cliff B. Jones, Ken G. Pierce
What Can the pi-calculus Tell Us About the Mondex Purse System? ICECCS (2007)