Carl Gamble - RankMe

18 papers C 1Journal 4Unranked 7

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Abstracting PROV provenance graphs: A validity-preserving approach. Future Gener. Comput. Syst. Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin
2019	—	`conf`	Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation. FM Workshops (2) Ken G. Pierce, Carl Gamble, David Golightly, Roberto Palacin
2017	—	`conf`	Features of Integrated Model-Based Co-modelling and Co-simulation Technology. SEFM Workshops Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Carl Gamble, Richard John Payne, Kenneth Pierce
2016	—	`conf`	Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. ISoLA (2) Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René A. Nilsson, Carl Gamble, Simon Foster
2015	J	`jnl`	Ben-ware: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 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
2015	—	`conf`	Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. FormaliSE@ICSE John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
2015	—	`conf`	Insider Threats: Identifying Anomalous Human Behaviour in Heterogeneous Systems Using Beneficial Intelligent Software (Ben-ware). MIST@CCS 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
2014	—	`ch.`	Case Studies in Co-modelling and Co-simulation. Collaborative Design for Embedded Systems Marcel Verhoef, Bert Bos, Kenneth Pierce, Carl Gamble, Job van Amerongen
2014	—	`ch.`	Co-modelling of Faults and Fault Tolerance Mechanisms. Collaborative Design for Embedded Systems Carl Gamble, Kenneth Pierce, John S. Fitzgerald, Bert Bos
2014	—	`ch.`	Collaborative Development of Embedded Systems. Collaborative Design for Embedded Systems Marcel Verhoef, Kenneth Pierce, Carl Gamble, Jan F. Broenink
2014	—	`ch.`	Continuous-Time Modelling in 20-sim. Collaborative Design for Embedded Systems Job van Amerongen, Christian Kleijn, Carl Gamble
2014	—	`ch.`	Design Space Exploration for Embedded Systems Using Co-simulation. Collaborative Design for Embedded Systems Carl Gamble, Kenneth Pierce
2014	—	`conf`	ProvAbs: Model, Policy, and Tooling for Abstracting PROV Graphs. IPAW Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin, Roxana Dánger
2014	J	`jnl`	ProvAbs: model, policy, and tooling for abstracting PROV graphs. CoRR Paolo Missier, Jeremy W. Bryans, Carl Gamble, Vasa Curcin, Roxana Dánger Mercaderes
2014	—	`ch.`	Support for Co-modelling and Co-simulation: The Crescendo Tool. Collaborative Design for Embedded Systems Peter Gorm Larsen, Carl Gamble, Kenneth Pierce, Augusto Ribeiro, Kenneth Lausdahl
2012	—	`conf`	A rigorous approach to the design of resilient cyber-physical systems through co-simulation. DSN Workshops John S. Fitzgerald, Ken G. Pierce, Carl Gamble
2012	C	`conf`	Collaborative Modelling and Co-simulation with DESTECS: A Pilot Study. WETICE Ken G. Pierce, Carl Gamble, Yunyun Ni, Jan F. Broenink
2008	J	`jnl`	Mismatch Avoidance in Web Services Software Architectures. J. Univers. Comput. Sci. Cristina Gacek, Carl Gamble