Analysis of User-Generated Comments on Rumor Correction YouTube Videos

Majid, G. M., Pal, A., Wardani, S. P. & Banerjee, S., 17 Mar 2021, International Conference on Ubiquitous Information Management and Communication 2021 (proceedings). IEEE, 5 p. 9377408

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Skipping Skippable Ads on YouTube: How, When, Why and Why Not?

Banerjee, S. & Pal, A., 17 Mar 2021, International Conference on Ubiquitous Information Management and Communication 2021 (proceedings). IEEE, 5 p. 9377378

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

An “As Desired” Model of the Software Safety Assurance Lifecycle

Osborne, M., Hawkins, R. D. & Nicholson, M., 10 Feb 2021, Safety Critical Systems Symposium (SSS '21).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Safety Cases: An Impending Crisis?

Habli, I., Alexander, R. & Hawkins, R. D., 10 Feb 2021, Safety-Critical Systems Symposium (SSS’21). York, UK

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A Human Ear Reconstruction Autoencoder

Sun, H., Pears, N. E. & Dai, H., 8 Feb 2021, 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Springer International Publishing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Runtime Decision Making Under Uncertainty in Autonomous Vehicles

Gautam, V., Gheraibia, Y., Alexander, R. & Hawkins, R. D., 8 Feb 2021, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2021). CEUR Workshop Proceedings, 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Operating Beyond FPGA Tool Limitations: Nervous Systems for Embedded Runtime Management

Rowlings, M., Tyrrell, A. & Trefzer, M. A., 2 Feb 2021, DATE '21: Proceedings of the 24th Conference on Design, Automation and Test in Europe. IEEE

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies

Riley, J., Calinescu, R., Paterson, C., Kudenko, D. & Banks, A., Feb 2021, 13th International Conference on Agents and Artificial Intelligence.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

FatNet: A Feature-attentive Network for 3D Point Cloud Processing

Kaul, C., Pears, N. E. & Manandhar, S., 10 Jan 2021, 25th International Conference on Pattern Recognition. Springer International Publishing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Penalizing small errors using an Adaptive Logarithmic Loss

Kaul, C., Pears, N. E., Dai, H., Murray-Smith, R. & Manandhar, S., 10 Jan 2021, 25th International Conference on Pattern Recognition: AIHA-2020 – ICPR International Workshop on Artificial Intelligence for Healthcare Applications. Springer International Publishing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Region-based Non-local Operation for Video Classification

Huang, G. & Bors, A. G., 10 Jan 2021, Proc. International Conference on Pattern Recognition (ICPR). Milan, Italy: IEEE, 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

HSS-GCN: A Hierarchical Spatial Structural Graph Convolutional Network for Vehicle Re-identification

Xu, Z., Wei, L., Lang, C., Feng, S., Wang, T. & Bors, A. G., 9 Jan 2021, Proc. ICPR's Int. Workshop on Human and Vehicle Analysis for Intelligent Urban Computing (IUC). Milan, Italy: Springer, 8 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Less is More: Analysing Communication in Teams of Strangers

Tan, E., Wade, A., Kokkinakis, A., Heyes, G., Demediuk, S. P. & Drachen, A., 5 Jan 2021, Proceedings of HICSS 54. Proceedings of HICSS 54

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Challenges and Gaps in the Guidance for the Use of Multi-Cores and MPSoCs in Safety-Critical Systems

Bate, I. J. & Harney, L., 1 Jan 2021, Systems and Covid-19: Proceedings of the 29th Safety-Critical Systems Symposium (SSS’21) 9th-11th February 2021. Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, p. 63-82 19 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

An Initial Framework Assessing the Safety of Complex Systems

Burton, S., McDermid, J. A., Garnett, P. & Weaver, R., 7 Dec 2020, CCS2020 - Conference on Complex System 2020. Zenodo, p. 69 1 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Yap: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments

Gleirscher, M., 7 Dec 2020, Second Workshop on Formal Methods for Autonomous Systems (FMAS2020). Open Publishing Association, Vol. 329. p. 31 47 p. (Electronic Proceedings in Theoretical Computer Science; vol. 329).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A Fast Graph Program for Computing Minimum Spanning Trees

Courtehoute, B. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. p. 163-180 18 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Verifying Graph Programs with First-Order Logic

Wulandari, G. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. p. 181-200 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

An Empirical Survey-based Study into Industry Practice in Real-time Systems

Akesson, B., Nasri, M., Nelissen, G., Altmeyer, S. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (Proceedings). 9 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests

Griffin, D. J., Bate, I. J. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (proceedings). 13 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Mutational signature modelling in vitro recapitulates bladder cancer initiation

Baker, S. C., Mason, A. S. & Southgate, J., 1 Dec 2020, Mutational signature modelling in vitro recapitulates bladder cancer initiation. 12 ed. Urologic Oncology Seminars and Original Investigations, Vol. 38. p. 909 1 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Pair Trading with an Ontology of SEC Financial Reports

Erten, C., Chotai, N. & Kazakov, D. L., 1 Dec 2020, The 2020 IEEE Symposium Series on Computational Intelligence: IEEE Symposium on Computational Intelligence for Financial Engineeting and Economics (CIFEr 2020). 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance

Burns, A. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (Proceedings). 13 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Safe Reinforcement Learning for Sepsis Treatment

Jia, Y., Burden, J., Lawton, T. & Habli, I., 30 Nov 2020, 8th IEEE International Conference on Healthcare Informatics .

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Position paper: A systematic framework for categorising IoT device fingerprinting mechanisms

Yadav, P., Feraudo, A., Arief, B., Shahandashti, S. F. & Vassilakis, V. G., 16 Nov 2020, AIChallengeIoT '20: Proceedings of the 2nd International Workshop on Challenges in Artificial Intelligence and Machine Learning for Internet of Things. Association for Computing Machinery (ACM), p. 62–68 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Learning latent representations across multiple data domains using Lifelong VAEGAN

Ye, F. & Bors, A. G., 12 Nov 2020, European Conference in Computer Vision (ECCV). Manchester, UK: Springer, 18 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Lifelong learning of interpretable image representations

Ye, F. & Bors, A. G., 10 Nov 2020, Proc. Int. Conf. on Image Processing, Theory, Tools and Applications (IPTA). Paris, France: IEEE, 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Mixtures of Variational Autoencoders

Ye, F. & Bors, A. G., 10 Nov 2020, Proc. Int. Conf. on Image Processing, Theory, Tools and Applications (IPTA) . Paris, France: IEEE, 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A Grounded Analysis of Player-Described Board Game Immersion

Farkas, T., Wiseman, S., Cairns, P. A. & Fiebrink, R., 2 Nov 2020, Proceedings of ACM CHI Play 2020. p. 427-437 11 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Shape from semantic segmentation via the geometric Renyi divergence

Koizumi, T. & Smith, W. A. P., 2 Nov 2020, IEEE Winter Conference on Applications of Computer Vision (WACV) (proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Warwick Data Store: A Data Structure Abstraction Library

Kirk, R. O., Nolten, M., Kevis, R., Law, T. R., Maheswaran, S., Wright, S. A., Powell, S., Mudalige, G. R. & Jarvis, S. A., Nov 2020, Proceedings of PMBS 2020: Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 71-85 15 p. 9307883. (Proceedings of PMBS 2020: Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Safety Controller Synthesis for Collaborative Robots

Gleirscher, M. & Calinescu, R., 28 Oct 2020, Proceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Efficiently Querying Large-Scale Heterogeneous Models

Ali, Q. U. A., Kolovos, D. & Barmpis, K., 27 Oct 2020, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York, NY, USA: Association for Computing Machinery (ACM), (MODELS '20).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Correlating cepstra with formant frequencies: implications for phonetically-informed forensic voice comparison

Hughes, V., Clermont, F. & Harrison, P., 23 Oct 2020, Proceedings of Interspeech 2020. p. 1858-1862 5 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The Pi-puck Ecosystem: Hardware and Software Support for the e-puck and e-puck2

Allen, J., Joyce, R. A., Millard, A. G. & Gray, I., 23 Oct 2020, Swarm Intelligence. ANTS 2020.. Dorigo, M., Stützle, T., Blesa, M. J., Blum, C., Hamann, H., Heinrich, M. K. & Strobel, V. (eds.). Cham: Springer, p. 243-255 13 p. (Lecture Notes in Computer Science; vol. 12421).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Towards Model-Based Development of Decentralised Peer-to-Peer Data Vaults

Yohannis, A., De La Vega, A., Kahrobaei, D. & Kolovos, D., 18 Oct 2020, ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS). 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

To build, or not to build: ModelFlow, a build solution for MDE projects

Sanchez, B., Kolovos, D. & Paige, R., 16 Oct 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020. Association for Computing Machinery, Inc, p. 1-11 11 p. (Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

“It’s just part of being a person”— Sincerity, Support & Self Expression in Vignette Games

Henderson, T. & Iacovides, J., 8 Oct 2020, Proceedings of DiGRA 2020.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study

Foster, S. D., Nemouchi, Y., O'Halloran, C., Tudor, N. & Stephenson, K., 7 Oct 2020, FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software Engineering. ACM

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Polyglot and Distributed Software Repository Mining with Crossflow

Matragkas, N., Kolovos, D., Barmpis, K., Neubauer, P. & Paige, R., Oct 2020, MSR '20: Proceedings of the 17th International Conference on Mining Software Repositories. p. 374-384 11 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Re-Thinking Mixed-Criticality Architecture for Automotive Industry

Jiang, Z., Zhao, S., Dong, P., Yang, D., Wei, R., Guan, N. & Audsley, N., Oct 2020, Proceedings - 2020 IEEE 38th International Conference on Computer Design, ICCD 2020. Institute of Electrical and Electronics Engineers Inc., p. 510-517 8 p. 9283545. (Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors; vol. 2020-October).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Basic concepts for quantum optics and quantum technologies

D'Amico, I., 28 Sep 2020, Proceedings of the International School of Physics "Enrico Fermi": Nanoscale Quantum Optics. Agio, M., D'Amico, I. & Zia, R. (eds.). IOS Press BV, p. 1-18 18 p. (Proceedings of the International School of Physics "Enrico Fermi"; vol. 204).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

An Experimental Study of the Variability of the Shielding Effectiveness of Circuit Board Shields

Marvin, A., Dawson, J., Dawson, L., Xie, H. & Hunasanahalli Venkateshaiah, A., 23 Sep 2020, 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE. 5 p. (EMC Europe).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Coupling of Energy Into PCB Traces in a Reverberant Environment: Absorption Cross-section and Probability of Susceptibility

Hunasanahalli Venkateshaiah, A., Xie, H., Dawson, J. F., Marvin, A. C., Dawson, L. & Robinson, M. P., 23 Sep 2020, 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE. 6 p. (EMC Europe).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The EPSRC Quantum Communications Hub

Spiller, T. P., 20 Sep 2020, Proceedings, Emerging Imaging and Sensing Technologies for Security and Defence V. Vol. 11540. 1154005. (Proceedings of SPIE - International Society for Optical Engineering; vol. 11540).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Reactive caching of viral content in 5G networks

Ahangary, S., chitsaz, H., Mohajerzadeh, A., Yaghmaee, M. H. & Ahmadi, H., 18 Sep 2020, 2020 3rd International Conference on Advanced Communication Technologies and Networking (CommNet). Institute of Electrical and Electronics Engineers Inc., 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A Visual Notation for the Representation of Assurance Cases using SACM

Selviandro, N., Hawkins, R. D. & Habli, I., 16 Sep 2020, International Symposium on Model-Based Safety and Assessment. SPRINGER, p. 3-18 (LNCS; vol. 12297).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF)

Birch, J., Blackburn, D., Botham, J., Habli, I., Higham, D., Monkhouse, H., Price, G. & Ratiu, N., 15 Sep 2020, International Workshop on Artificial Intelligence Safety Engineering . SPRINGER, p. 408-414 (Lecture Notes in Computer Science; vol. 12235).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Sustainable supply chain management in fast moving consumer goods organizations

Chen, Y. & Huaccho Huatuco, L. D., 11 Sep 2020, Proceedings of the Sustainable Design and Manufacturing 2020 Conference. Scholz, S. G., Howlett, R. J. & Setchi, R. (eds.). SPRINGER, p. 41-51 11 p. (Smart Innovation, Systems and Technologies; vol. 200).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Effective Encodings of Constraint Programming Models to SMT

Davidson, E., Akgün, Ö., Espasa, J. & Nightingale, P., 7 Sep 2020, Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming. Springer, p. 143-159 17 p. (Lecture Notes in Computer Science; vol. 12333).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution