| 2019 | FM | Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation. | Ken G. Pierce, Carl Gamble, David Golightly, Roberto Palacin |
| 2017 | SEFM | Features of Integrated Model-Based Co-modelling and Co-simulation Technology. | Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce |
| 2016 | ISoLA | Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. | Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Ren A. Nilsson, Carl Gamble, Simon Foster |
| 2015 | CCS | Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware). | Andrew Stephen McGough, David Wall, John Brennan, Georgios Theodoropoulos, Ed Ruck-Keene, Budi Arief, Carl Gamble, John S. Fitzgerald, Aad P. A. van Moorsel, Sujeewa Alwis |
| 2015 | ICSE | Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. | John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock |
| 2012 | DSN | A rigorous approach to the design of resilient cyber-physical systems through co-simulation. | John S. Fitzgerald, Ken G. Pierce, Carl Gamble |
| 2012 | WETICE | Collaborative Modelling and Co-simulation with DESTECS: A Pilot Study. | Ken G. Pierce, Carl Gamble, Yunyun Ni, Jan F. Broenink |