Carl Gamble

According to our database, Carl Gamble authored at least 18 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Abstracting PROV provenance graphs: A validity-preserving approach.

Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin

Future Gener. Comput. Syst., 2020

2019

Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation.

Ken G. Pierce, Carl Gamble, David Golightly, Roberto Palacin

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

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

Proceedings of the Software Engineering and Formal Methods, 2017

2016

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

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, Ed Ruck-Keene

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2015

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.

John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

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

Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats, 2015

2014

ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs.

Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin, Roxana Dánger

Proceedings of the Provenance and Annotation of Data and Processes, 2014

Collaborative Development of Embedded Systems.

Marcel Verhoef, Kenneth Pierce, Carl Gamble, Jan F. Broenink

Proceedings of the 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

Proceedings of the 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

Proceedings of the Collaborative Design for Embedded Systems, 2014

Co-modelling of Faults and Fault Tolerance Mechanisms.

Carl Gamble, Kenneth Pierce, John S. Fitzgerald, Bert Bos

Proceedings of the Collaborative Design for Embedded Systems, 2014

Design Space Exploration for Embedded Systems Using Co-simulation.

Carl Gamble, Kenneth Pierce

Proceedings of the Collaborative Design for Embedded Systems, 2014

Continuous-Time Modelling in 20-sim.

Job van Amerongen, Christian Kleijn, Carl Gamble

Proceedings of the Collaborative Design for Embedded Systems, 2014

2012

Collaborative Modelling and Co-simulation with DESTECS: A Pilot Study.

Ken G. Pierce, Carl Gamble, Yunyun Ni, Jan F. Broenink

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

A rigorous approach to the design of resilient cyber-physical systems through co-simulation.

John S. Fitzgerald, Ken G. Pierce, Carl Gamble

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011

Design time detection of architectural mismatches in service oriented architectures.

Carl Jeffrey Gamble

PhD thesis, 2011

2008

Mismatch Avoidance in Web Services Software Architectures.

Cristina Gacek, Carl Gamble

J. Univers. Comput. Sci., 2008