Carl Gamble
Carl Gamble
Research Associate, Newcastle University
Verified email at
Cited by
Cited by
Cyber-physical systems design: formal foundations, methods and integrated tool chains
J Fitzgerald, C Gamble, PG Larsen, K Pierce, J Woodcock
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 40-46, 2015
Towards semantically integrated models and tools for cyber-physical systems design
PG Larsen, J Fitzgerald, J Woodcock, R Nilsson, C Gamble, S Foster
International Symposium on Leveraging Applications of Formal Methods, 171-186, 2016
ProvAbs: model, policy, and tooling for abstracting PROV graphs
P Missier, J Bryans, C Gamble, V Curcin, R Danger
International Provenance and Annotation Workshop, 3-15, 2014
Collaborative Model-based Systems Engineering for Cyber-Physical Systems–a Case Study in Building Automation
J Fitzgerald, C Gamble, R Payne, PG Larsen, S Basagiannis, AED Mady
Proc. INCOSE Intl. Symp. on Systems Engineering. Edinburgh, Scotland (July 2016), 2016
Features of integrated model-based co-modelling and co-simulation technology
PG Larsen, J Fitzgerald, J Woodcock, C Gamble, R Payne, K Pierce
International Conference on Software Engineering and Formal Methods, 377-390, 2017
Collaborative modelling and co-simulation with destecs: A pilot study
K Pierce, C Gamble, Y Ni, JF Broenink
2012 IEEE 21st International Workshop on Enabling Technologies …, 2012
Insider threats: Identifying anomalous human behaviour in heterogeneous systems using beneficial intelligent software (ben-ware)
AS McGough, D Wall, J Brennan, G Theodoropoulos, E Ruck-Keene, ...
Proceedings of the 7th ACM CCS international workshop on managing insider …, 2015
Mismatch Avoidance in Web Services Software Architectures.
C Gacek, C Gamble
J. Univers. Comput. Sci. 14 (8), 1285-1313, 2008
Provenance graph abstraction by node grouping
P Missier, J Bryans, C Gamble, V Curcin, R Danger
School of Computing Science Technical Report Series, 2013
Collaborative Model‐based Systems Engineering for Cyber‐Physical Systems, with a Building Automation Case Study
J Fitzgerald, C Gamble, R Payne, PG Larsen, S Basagiannis, AED Mady
INCOSE International Symposium 26 (1), 817-832, 2016
Support for co-modelling and co-simulation: the Crescendo tool
PG Larsen, C Gamble, K Pierce, A Ribeiro, K Lausdahl
Collaborative Design for Embedded Systems, 97-114, 2014
Methodological guidelines 3
JF Broenink, J Fitzgerald, C Gamble, C Ingram, A Mader, J Marincic, Y Ni, ...
Deliverable D2 2, 2012
Exploring the Cyber‐Physical Design Space
J Fitzgerald, C Gamble, R Payne, B Lam
INCOSE International Symposium 27 (1), 371-385, 2017
Design space exploration for embedded systems using co-simulation
C Gamble, K Pierce
Collaborative Design for Embedded Systems, 199-222, 2014
Multi-modelling for decarbonisation in urban rail systems
D Golightly, C Gamble, R Palacin, K Pierce
Urban Rail Transit 5 (4), 254-266, 2019
Design space exploration in the development of agricultural robots
F Foldager, O Balling, C Gamble, PG Larsen, M Boel, O Green
AgEng conference. Wageningen, The Netherlands (July 2018) 64, 2018
Integrated tool chain for model-based design of cyber-physical systems
PG Larsen, C Thule, K Lausdahl, V Bardur, C Gamble, E Brosse, ...
The 14th Overture Workshop: Towards Analytical Tool Chains 4, 63-79, 2016
INTO-CPS tool chain user manual
V Bandur, PG Larsen, K Lausdahl, C Thule, AF Terkelsen, C Gamble, ...
Technical report, INTO-CPS Deliverable, 2015
A rigorous approach to the design of resilient cyber-physical systems through co-simulation
J Fitzgerald, K Pierce, C Gamble
IEEE/IFIP International Conference on Dependable Systems and Networks …, 2012
Method guidelines 3
J Fitzgerald, C Gamble, R Payne, K Pierce
Technical report, INTO-CPS Deliverable 3, 3a, 2017
The system can't perform the operation now. Try again later.
Articles 1–20