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
592015
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
332014
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
312016
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
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
192012
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
172017
Provenance graph abstraction by node grouping
P Missier, J Bryans, C Gamble, V Curcin, R Danger
School of Computing Science Technical Report Series, 2013
172013
Mismatch Avoidance in Web Services Software Architectures.
C Gacek, C Gamble
J. UCS 14 (8), 1285-1313, 2008
162008
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
152015
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
132014
Methodological guidelines 3
JF Broenink, J Fitzgerald, C Gamble, C Ingram, A Mader, J Marincic, Y Ni, ...
Deliverable D2 2, 2012
112012
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
102016
ProvAbs: Model
P Missier, J Bryans, C Gamble, V Curcin, R Danger
Policy, and Tooling for Abstracting PROV Graphs, Revised Selected Papers of …, 2014
92014
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
92012
INTO-CPS tool chain user manual
V Bandur, PG Larsen, K Lausdahl, C Thule, C Gamble, R Payne, A Pop, ...
Aarhus Universiet, 2017
82017
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
82016
Design space exploration for embedded systems using co-simulation
C Gamble, K Pierce
Collaborative Design for Embedded Systems, 199-222, 2014
82014
Method Guidelines 2
J Fitzgerald, C Gamble, R Payne, K Pierce
Technical report, INTO-CPS Deliverable, 2016
72016
Exploring the Cyber‐Physical Design Space
J Fitzgerald, C Gamble, R Payne, B Lam
INCOSE International Symposium 27 (1), 371-385, 2017
62017
D2. 3—Methodological Guidelines 3
JF Broenink, J Fitzgerald, C Gamble, C Ingram, A Mader, J Marincic, Y Ni, ...
The DESTECS Project (CNECT-ICT-248134, 2012
62012
The system can't perform the operation now. Try again later.
Articles 1–20