Dr John Mace Dr Charles Morisset Dr Ken Pierce Dr Carl Gamble Professor John Fitzgerald et al. | A multi-modelling based approach to assessing the security of smart buildings | 2018 |
|
Professor John Fitzgerald Dr Carl Gamble Martin Mansfield Professor Roberto Palacin Dr Ken Pierce et al. | Collaborative modelling and co-simulation for transportation cyber-physical systems | 2018 |
|
Martin Mansfield Dr Charles Morisset Dr Carl Gamble Dr John Mace Dr Ken Pierce et al. | Design Space Exploration for Secure Building Control | 2018 |
|
Professor John Fitzgerald Dr Carl Gamble Dr Richard Payne Dr Peter Larsen
| Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study | 2016 |
|
Dr Peter Larsen Professor John Fitzgerald Dr Carl Gamble
| Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design | 2016 |
|
Professor Paolo Missier Dr Jeremy Bryans Dr Carl Gamble
| ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs | 2015 |
|
Professor John Fitzgerald Dr Carl Gamble Dr Peter Larsen Dr Ken Pierce
| Cyber-Physical Systems Design: FormalFoundations, Methods and Integrated Tool Chains | 2015 |
|
Dr Stephen McGough Dr Budi Arief Dr Carl Gamble Dr John Brennan Professor John Fitzgerald et al. | Detecting insider threats using ben-ware: Beneficial intelligent software for identifying anomalous human behaviour | 2015 |
|
Dr Stephen McGough Dr John Brennan Dr Leonardus Arief Dr Carl Gamble Professor Aad van Moorsel et al. | Insider Threats: Identifying Anomalous Human Behaviour in Hereogeneous Systems Using Beneficial Intelligent Software (Ben-ware) | 2015 |
|
Dr Carl Gamble Professor Chris Lamb Dr John Mansfield
| Thiopurine withdrawal during sustained clinical remission in inflammatory bowel disease: relapse and recapture rates, with predictive factors in 237 patients | 2014 |
|
Professor Paolo Missier Dr Jeremy Bryans Dr Carl Gamble
| Provenance graph abstraction by node grouping | 2013 |
|
Professor John Fitzgerald Dr Ken Pierce Dr Carl Gamble
| A Rigorous Approach to the Design of Resilient Cyber-physical Systems through Co-Simulation | 2012 |
|
Dr Carl Gamble Dr Stephen Riddle
| Dependability Explicit Metadata: Experimental Results and Research Issues | 2011 |
|
Dr Carl Gamble Dr Stephen Riddle
| Dependability Explicit Metadata: Extended Report on Properties, Policies and Exemplary Application to Case Studies | 2011 |
|
Dr Ken Pierce Professor John Fitzgerald Dr Carl Gamble
| Modelling Faults and Fault Tolerance Mechanisms in a Paper Pinch Co- model | 2011 |
|
Dr Carl Gamble Dr Stephen Riddle
| Dependability Metadata Acquisition and Assessment: A State of the Art Survey | 2010 |
|
Dr Cristina Gacek Dr Carl Gamble
| Minimal Web Services Style — Architectural Style Description and Example Instantiation | 2008 |
|
Dr Cristina Gacek Dr Carl Gamble
| Mismatch Avoidance in Web Services Based Software Architectures | 2008 |
|
Dr Cristina Gacek Dr Carl Gamble
| Mismatch avoidance in web services software architectures | 2008 |
|
Dr Cristina Gacek Dr Carl Gamble
| Mismatch Avoidance in Web Services Software Architectures | 2008 |
|
Dr Carl Gamble
| A Minimal Web Service Architectural Style | 2007 |
|
Dr Carl Gamble
| Detecting Architectural Mismatches Between Web Services | 2007 |
|
Dr Cristina Gacek Dr Carl Gamble
| Mismatch Avoidance with Web Services | 2007 |
|