![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Carl Gamble
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j3]Paolo Missier
, Jeremy W. Bryans
, Carl Gamble, Vasa Curcin
:
Abstracting PROV provenance graphs: A validity-preserving approach. Future Gener. Comput. Syst. 111: 352-367 (2020)
2010 – 2019
- 2019
- [c8]Ken G. Pierce, Carl Gamble, David Golightly, Roberto Palacin:
Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation. FM Workshops (2) 2019: 237-253 - 2017
- [c7]Peter Gorm Larsen
, John S. Fitzgerald
, Jim Woodcock
, Carl Gamble, Richard John Payne, Kenneth Pierce:
Features of Integrated Model-Based Co-modelling and Co-simulation Technology. SEFM Workshops 2017: 377-390 - 2016
- [c6]Peter Gorm Larsen
, John S. Fitzgerald
, Jim Woodcock
, René A. Nilsson, Carl Gamble, Simon Foster
:
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. ISoLA (2) 2016: 171-186 - 2015
- [j2]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:
Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 6(4): 3-46 (2015) - [c5]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:
Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware). MIST@CCS 2015: 1-12 - [c4]John S. Fitzgerald
, Carl Gamble, Peter Gorm Larsen
, Kenneth Pierce, Jim Woodcock
:
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. FormaliSE@ICSE 2015: 40-46 - 2014
- [c3]Paolo Missier
, Jeremy W. Bryans
, Carl Gamble, Vasa Curcin
, Roxana Dánger:
ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs. IPAW 2014: 3-15 - [p6]Marcel Verhoef, Kenneth Pierce, Carl Gamble, Jan F. Broenink:
Collaborative Development of Embedded Systems. Collaborative Design for Embedded Systems 2014: 3-14 - [p5]Job van Amerongen, Christian Kleijn, Carl Gamble:
Continuous-Time Modelling in 20-sim. Collaborative Design for Embedded Systems 2014: 27-59 - [p4]Peter Gorm Larsen
, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, Kenneth Lausdahl:
Support for Co-modelling and Co-simulation: The Crescendo Tool. Collaborative Design for Embedded Systems 2014: 97-114 - [p3]Marcel Verhoef, Bert Bos, Kenneth Pierce, Carl Gamble, Job van Amerongen:
Case Studies in Co-modelling and Co-simulation. Collaborative Design for Embedded Systems 2014: 141-152 - [p2]Carl Gamble, Kenneth Pierce, John S. Fitzgerald
, Bert Bos:
Co-modelling of Faults and Fault Tolerance Mechanisms. Collaborative Design for Embedded Systems 2014: 185-197 - [p1]Carl Gamble, Kenneth Pierce:
Design Space Exploration for Embedded Systems Using Co-simulation. Collaborative Design for Embedded Systems 2014: 199-222 - [i1]Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin, Roxana Dánger Mercaderes:
ProvAbs: model, policy, and tooling for abstracting PROV graphs. CoRR abs/1406.1998 (2014) - 2012
- [c2]John S. Fitzgerald
, Ken G. Pierce, Carl Gamble:
A rigorous approach to the design of resilient cyber-physical systems through co-simulation. DSN Workshops 2012: 1-6 - [c1]Ken G. Pierce, Carl Gamble, Yunyun Ni, Jan F. Broenink:
Collaborative Modelling and Co-simulation with DESTECS: A Pilot Study. WETICE 2012: 280-285 - 2011
- [b1]Carl Jeffrey Gamble:
Design time detection of architectural mismatches in service oriented architectures. University of Newcastle Upon Tyne, UK, 2011
2000 – 2009
- 2008
- [j1]Cristina Gacek, Carl Gamble:
Mismatch Avoidance in Web Services Software Architectures. J. Univers. Comput. Sci. 14(8): 1285-1313 (2008)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint