Follow
Carl Gamble
Carl Gamble
Research Associate, Newcastle University
Verified email at newcastle.ac.uk
Title
Cited by
Cited by
Year
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
842015
Towards semantically integrated models and tools for cyber-physical systems design
PG Larsen, J Fitzgerald, J Woodcock, R Nilsson, C Gamble, S Foster
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
412016
ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs
P Missier, J Bryans, C Gamble, V Curcin, R Danger
Provenance and Annotation of Data and Processes: 5th International …, 2015
362015
Features of integrated model-based co-modelling and co-simulation technology
PG Larsen, J Fitzgerald, J Woodcock, C Gamble, R Payne, K Pierce
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018
312018
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
272016
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
242015
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
222012
Provenance graph abstraction by node grouping
P Missier, J Bryans, C Gamble, V Curcin, R Danger
School of Computing Science Technical Report Series, 2013
182013
Mismatch Avoidance in Web Services Software Architectures.
C Gacek, C Gamble
J. Univers. Comput. Sci. 14 (8), 1285-1313, 2008
172008
Design space exploration in the development of agricultural robots
F Foldager, O Balling, M Boel, C Gamble, PG Larsen, O Green
Book of Abstracts of the European Conference on Agricultural Engineering …, 2018
162018
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
152016
Multi-modelling for decarbonisation in urban rail systems
D Golightly, C Gamble, R Palacin, K Pierce
Urban Rail Transit 5, 254-266, 2019
142019
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: Co-modelling and Co-simulation …, 2014
142014
Exploring the cyber‐physical design space
J Fitzgerald, C Gamble, R Payne, B Lam
INCOSE international symposium 27 (1), 371-385, 2017
132017
Design space exploration for embedded systems using co-simulation
C Gamble, K Pierce
Collaborative Design for Embedded Systems: Co-modelling and Co-simulation …, 2014
132014
Abstracting PROV provenance graphs: A validity-preserving approach
P Missier, J Bryans, C Gamble, V Curcin
Future Generation Computer Systems 111, 352-367, 2020
122020
Integrated tool chain for model-based design of cyber-physical systems
PG Larsen, C Thule, K Lausdahl, V Bandur, C Gamble, E Brosse, ...
The 14th Overture Workshop: Towards Analytical Tool Chains 4, 63-79, 2016
122016
Methodological guidelines 3
JF Broenink, J Fitzgerald, C Gamble, C Ingram, A Mader, J Marincic, Y Ni, ...
Deliverable D2 2, 2012
122012
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
122012
Examples compendium 3
M Mansfield, C Gamble, K Pierce, J Fitzgerald, S Foster, C Thule, ...
Technical report, INTO-CPS Deliverable, D3. 6, 2017
112017
The system can't perform the operation now. Try again later.
Articles 1–20