Mismatch Avoidance in Web Services Software Architectures. - Cristina Gacek; Carl Gamble (J. Univers. Comput. Sci., 2008)

Design time detection of architectural mismatches in service oriented architectures. - Carl Jeffrey Gamble (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)

Continuous-Time Modelling in 20-sim. - Job van Amerongen; Christian Kleijn; Carl Gamble (Collaborative Design for Embedded Systems, 2014)

Design Space Exploration for Embedded Systems Using Co-simulation. - Carl Gamble; Kenneth Pierce (Collaborative Design for Embedded Systems, 2014)

Co-modelling of Faults and Fault Tolerance Mechanisms. - Carl Gamble; Kenneth Pierce; John S. Fitzgerald; Bert Bos (Collaborative Design for Embedded Systems, 2014)

Support for Co-modelling and Co-simulation: The Crescendo Tool. - Peter Gorm Larsen; Carl Gamble; Kenneth Pierce; Augusto Ribeiro; Kenneth Lausdahl (Collaborative Design for Embedded Systems, 2014)

Case Studies in Co-modelling and Co-simulation. - Marcel Verhoef; Bert Bos; Kenneth Pierce; Carl Gamble; Job van Amerongen (Collaborative Design for Embedded Systems, 2014)

Collaborative Development of Embedded Systems. - Marcel Verhoef; Kenneth Pierce; Carl Gamble; Jan F. Broenink (Collaborative Design for Embedded Systems, 2014)

ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs. - Paolo Missier; Jeremy W. Bryans; Carl Gamble; Vasa Curcin; Roxana Dánger (IPAW, 2014)

Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware). - Andrew Stephen McGough; David Wall; John Brennan; Georgios Theodoropoulos 001; Ed Ruck-Keene; Budi Arief; Carl Gamble; John S. Fitzgerald; Aad P. A. van Moorsel; Sujeewa Alwis (MIST@CCS, 2015)

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. - John S. Fitzgerald; Carl Gamble; Peter Gorm Larsen; Kenneth Pierce; Jim Woodcock 001 (FormaliSE@ICSE, 2015)

Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software. - Andrew Stephen McGough; Budi Arief; Carl Gamble; David Wall; John Brennan; John S. Fitzgerald; Aad P. A. van Moorsel; Sujeewa Alwis; Georgios Theodoropoulos 001; Ed Ruck-Keene (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2015)

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; René A. Nilsson; Carl Gamble; Simon Foster 001 (ISoLA (2), 2016)

Features of Integrated Model-Based Co-modelling and Co-simulation Technology. - Peter Gorm Larsen; John S. Fitzgerald; Jim Woodcock 001; Carl Gamble; Richard John Payne; Kenneth Pierce (SEFM Workshops, 2017)

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)

Abstracting PROV provenance graphs: A validity-preserving approach. - Paolo Missier; Jeremy W. Bryans; Carl Gamble; Vasa Curcin (Future Gener. Comput. Syst., 2020)