Carl Gamble

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 4

Top Topics

Human Behaviour

Intelligent Software

Cognitive Processes

Top Venues

Future Gener. Comput. Syst.

Publications

Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin
Abstracting PROV provenance graphs: A validity-preserving approach. Future Gener. Comput. Syst. 111 (2020)
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)
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. SEFM Workshops (2017)
Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. ISoLA (2) (2016)
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
Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware). MIST@CCS (2015)
Andrew Stephen McGough, Budi Arief, Carl Gamble, David Wall, John Brennan, John S. Fitzgerald, Aad P. A. van Moorsel, Sujeewa Alwis, Georgios Theodoropoulos, Ed Ruck-Keene
Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 6 (4) (2015)
John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. FormaliSE@ICSE (2015)
Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin, Roxana Dánger Mercaderes
ProvAbs: model, policy, and tooling for abstracting PROV graphs. CoRR (2014)
Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin, Roxana Dánger
ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs. IPAW (2014)
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)
Cristina Gacek, Carl Gamble
Mismatch Avoidance in Web Services Software Architectures. J. Univers. Comput. Sci. 14 (8) (2008)