Filter
Conference contribution

Search results

  • 2019

    VyPR2: A framework for runtime verification of python web services

    Dawes, J. H., Reger, G., Franzoni, G., Pfeiffer, A. & Govi, G., 3 Apr 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vojnar, T. & Zhang, L. (eds.). Springer Nature, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Web page segmentation for non visual skimming

    Andrew, J., 2019, The 33rd Pacific Asia Conference on Language, Information and Computation (PACLIC 33).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • What Makes Research Software Sustainable? An Interview Study With Research Software Engineers.

    de Souza, M. R., Haines, R., Vigo, M. & Jay, C., 27 May 2019, 12th International Workshop on Cooperative and Human Aspects of Software Engineering.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    95 Downloads (Pure)
  • Whole-Body Geometric Retargeting for Humanoid Robots

    Darvish, K., Tirupachuri, Y., Romualdi, G., Rapetti, L., Ferigo, D., Chavez, F. J. A. & Pucci, D., Oct 2019, 2019 IEEE-RAS 19th International Conference on Humanoid Robots, Humanoids 2019. IEEE Computer Society , p. 679-686 8 p. 9035059. (IEEE-RAS International Conference on Humanoid Robots; vol. 2019-October).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Workflow Variability for Autonomic IoT Systems

    Arellanes Molina, D. & Lau, K-K., 12 Sept 2019, (E-pub ahead of print) 16th IEEE International Conference on Autonomic Computing . (2019 IEEE International Conference on Autonomic Computing (ICAC)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    291 Downloads (Pure)
  • ZUCL 2.0: Virtualised Memory and Communication for ZYNQ UltraScale+ FPGAs

    Pham, K., Paraskevas, K., Vaishnav, A., Attwood, A., Vesper, M. & Koch, D., 2019, FSP Workshop 2019; Sixth International Workshop on FPGAs for Software Programmers. VDE Verlag

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • ZUCL2.0 Virtualised Memory and Communication for ZYNQ UltraScale+ FPGAs

    Pham, K., Paraskevas, K., Vaishnav, A., Attwood, A., Vesper, M. & Koch, D., 7 Aug 2019, (Accepted/In press) Sixth International Workshop on FPGAs for Software Programmers (FSP 2019). VDE Verlag

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2018

    A Bayesian Approach to Dealing with Device Heterogeneity in an Indoor Positioning System

    Davies, K., Jones, I. & Shapiro, J., 2018, IPIN 2018 - 9th International Conference on Indoor Positioning and Indoor Navigation. 8533730. (2018 International Conference on Indoor Positioning and Indoor Navigation (IPIN)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A CAM-free exascalable HPC router for low-energy communications

    Concatto, C., Pascual, J. A., Navaridas, J., Lant, J., Attwood, A., Lujan, M. & Goodacre, J., 8 Mar 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pionteck, T., Berekovic, M., Buchty, R., Koch, D. & Hamann, H. (eds.). Springer Nature, Vol. 10793. p. 99-111 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10793 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A family of FDH signature schemes based on the quadratic residuosity assumption

    Ateniese, G., Fech, K. & Magri, B., 2018, Progress in Cryptology – INDOCRYPT 2018 - 19th International Conference on Cryptology in India, Proceedings. Chakraborty, D. & Iwata, T. (eds.). Springer-Verlag Italia, p. 248-262 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11356 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A Formally Verified Validator for Classical Planning Problems and Solutions

    Abdulaziz, M. & Lammich, P., 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI). New York: IEEE, p. 474-479 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    205 Downloads (Pure)
  • Algebraic Service Composition for User-Centric IoT Applications

    Arellanes Molina, D. & Lau, K-K., 2018, Internet of Things – ICIOT 2018 - 3rd International Conference, Held as Part of the Services Conference Federation, SCF 2018, Proceedings. Georgakopoulos, D. & Zhang, L-J. (eds.). p. 56-69 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10972 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    96 Downloads (Pure)
  • Allocation of Publisher/Subscriber Data Links on a Set of Virtual Machines

    Lambert, T. & Sakellariou, R., 7 Sept 2018, Proceedings - 2018 IEEE International Conference on Cloud Computing, CLOUD 2018 - Part of the 2018 IEEE World Congress on Services. IEEE Computer Society , Vol. 2018-July. p. 516-523 8 p. 8457840. (IEEE International Conference on Cloud Computing, CLOUD; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • An abstraction-refinement framework for reasoning with large theories.

    Lopez Hernandez, J. C. & Korovin, K., 30 Jun 2018, IJCAR 2018: Automated Reasoning . p. 663-679 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    56 Downloads (Pure)
  • Analysis and Classification of Service Interactions for the Scalability of the Internet of Things

    Arellanes Molina, D. & Lau, K-K., 2018, Proceedings - 2018 IEEE International Congress on Internet of Things, ICIOT 2018 - Part of the 2018 IEEE World Congress on Services. p. 80-87 8 p. 8473443. (Proceedings - 2018 IEEE International Congress on Internet of Things, ICIOT 2018 - Part of the 2018 IEEE World Congress on Services).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    134 Downloads (Pure)
  • Analysis of Component-Based Approaches Toward Componentized 5G

    El Hayek, E., Grida Ben Yahia, I., Arellanes Molina, D. & Lau, K-K., 2018, 21st Conference on Innovation in Clouds, Internet and Networks, ICIN 2018. p. 1-5 5 p. (21st Conference on Innovation in Clouds, Internet and Networks, ICIN 2018)(2018 21st Conference on Innovation in Clouds, Internet and Networks and Workshops (ICIN)).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    109 Downloads (Pure)
  • Analyzing Sentiments Expressed on Twitter by UK Energy Company Consumers

    Ikoro, V., Sharmina, M., Malik, K. & Batista-Navarro, R., 2018, 2018 5th International Conference on Social Networks Analysis, Management and Security, SNAMS 2018.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • An Automated Age-Related Macular Degeneration Classification Based on Local Texture Features in Optical Coherence Tomography Angiography

    Alfahaid, A. & Morris, T., 2018, Medical Image Understanding and Analysis - 22nd Conference, Proceedings. Nixon, M., Mahmoodi, S. & Zwiggelaar, R. (eds.). p. 189-200 12 p. (Communications in Computer and Information Science; vol. 894).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    147 Downloads (Pure)
  • An Enumerative Variability Modelling Tool for Constructing Whole Software Product Families

    Qian, C. & Lau, K-K., 24 Sept 2018, (Accepted/In press) Thirteenth International Conference on Software Engineering Advances .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A Neural Layered Model for Nested Named Entity Recognition

    Ju, M., Miwa, M. & Ananiadou, S., 1 Jun 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long Papers). ACM Digital Library, p. 1446-1459 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • An investigation of the effects of n-gram length in scanpath analysis for eye-tracking research

    Reani, M., Peek, N. & Jay, C., 2018, ACM Symposium on Eye Tracking Research & Applications (ETRA).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    264 Downloads (Pure)
  • An MPC-based protocol for secure and privacy-preserving smart metering

    Mustafa, M. A., Cleemput, S., Aly, A. & Abidin, A., 2018, 2017 IEEE PES Innovative Smart Grid Technologies Conference Europe, ISGT-Europe 2017 - Proceedings. IEEE, p. 1-6 6 p. (2017 IEEE PES Innovative Smart Grid Technologies Conference Europe, ISGT-Europe 2017 - Proceedings; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    293 Downloads (Pure)
  • An Open Vocabulary Semantic Parser for End-User Programming using Natural Language

    Efson Sales, J., Freitas, A. & Handschuh, S., 2018, 2018 IEEE 12th International Conference on Semantic Computing (ICSC). IEEE, p. 77-84 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    210 Downloads (Pure)
  • An optimal differential pricing in smart grid based on customer segmentation

    Meng, F., Kazemtabrizi, B., Zeng, X. J. & Dent, C., 18 Jan 2018, 2017 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT-Europe): Torino, Italy 26-29 September 2017. New Jersey: IEEE, p. 1-6 6 p. (2017 IEEE PES Innovative Smart Grid Technologies, Europe; vol. 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A Novel 3-Level Access Control (3LAC) Framework for Data Access in a Healthcare Cloud Context

    Sanchez Bautista, G. & Zhang, N., 30 Jul 2018, (Accepted/In press) The Seventh International Conference on Communications, Computation, Networks and Technologies (INNOV 2018) .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Application of Formal Methods in the INSPEX Smart Systems Integration Project

    Banach, R., Razavi, J., Debicki, O., Mareau, N., Lesecq, S. & Foucault, J., 18 May 2018, (Accepted/In press) FMIS 2018.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A Sentiment-labelled Corpus of Hansard Parliamentary Debate Speeches

    Abercrombie, G. & Batista-Navarro, R. T., 7 May 2018, ParlaCLARIN.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • A Soft Dual-Processor System with a Partially Run-Time Reconfigurable Shared 128-Bit SIMD Engine

    Garcia Ordaz, J. R. & Koch, D., 2018, The 29th IEEE International Conference on Application-specific Systems, Architectures and Processors 2018.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    273 Downloads (Pure)
  • Assessing the pessimism of current multicore global fixed-priority schedulability analysis

    Sun, Y. & Di Natale, M., 9 Apr 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, p. 575-583 9 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Assistive Smart, Structured 3D Environmental Information for the Visually Impaired and Blind: Leveraging the INSPEX Concept

    Banach, R., Razavi, J. & et al, 2018, 1st International Workshop on Biomedical & Health Engineering and Data Analysis (BEDA'18).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A Survey on FPGA Virtualization

    Vaishnav, A., Pham, K. & Koch, D., 21 May 2018, (Accepted/In press) 28th International Conference on Field Programmable Logic and Application (FPL). Dublin, Ireland, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    2384 Downloads (Pure)
  • A Survey on Open Information Extraction

    Niklaus, C., Cetto, M., Freitas, A. & Handschuh, S., 2018, Proceedings of the 27th International Conference on Computational Linguistics .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    79 Downloads (Pure)
  • A Taxonomy for Classifying Runtime Verification Tools

    Falcone, Y., Krstic, S., Reger, G. & Traytel, D., 2018, The 18th International Conference on Runtime Verification. p. 241-262 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    258 Downloads (Pure)
  • A Temporal-Causal Network Model for the Internal Processes of a Person with a Borderline Personality Disorder

    Hoțoiu, M., Tavella, F. & Treur, J., 2018, IFIP International Conference on Artificial Intelligence Applications and Innovations. Springer Nature

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Automatic extraction of entities and relation from legal documents

    Andrew, J., 2018, Proceedings of the Seventh Named Entities Workshop.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • A verified SAT solver with watched literals using imperative HOL

    Fleury, M., Blanchette, J. C. & Lammich, P., 2018, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs. p. 158-171 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    194 Downloads (Pure)
  • 'Aye' or 'No'? Speech-level Sentiment Analysis of Hansard UK Parliamentary Debate Transcripts

    Abercrombie, G. & Batista-Navarro, R. T., 7 May 2018, LREC 2018, Eleventh International Conference on Language Resources and Evaluation. European Language Resources Association

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    748 Downloads (Pure)
  • Back to analogue: Self-reporting for Parkinson's Disease

    Vega, J., Couth, S., Poliakoff, E., Kotz, S., Sullivan, M., Jay, C., Vigo, M. & Harper, S., 21 Apr 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. New York, New York, USA: Association for Computing Machinery, p. 1-13 13 p. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2018-April).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Behavioural Probability Matrix: A Computational Interface for Human Behaviour Prediction in Smart Environments

    Dunne, R., 1 Jun 2018, Measuring Behaviour 2018 Conference Proceedings.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Breaking the Activation Function Bottleneck through Adaptive Parameterization

    Flennerhag, S., Yin, H., Keane, J. & Elliot, M., 22 Nov 2018, (E-pub ahead of print) Advances in Neural Information Processing Systems 31 (NeurIPS 2018). p. 0 0

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Compiler fuzzing through deep learning

    Cummins, C., Petoumenos, P., Murray, A. & Leather, H., 12 Jul 2018, ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Bodden, E. & Tip, F. (eds.). Association for Computing Machinery, p. 95-105 11 p. (ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    252 Downloads (Pure)
  • Concolic Testing for Deep Neural Networks

    Sun, Y., Wu, M., Ruan, W., Huang, X., Kwiatkowska, M. & Kroening, D., 3 Sept 2018, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. p. 109-119 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Constrained Permutations for Computing Textual Similarity

    Ramsay, A. M. & Alshahrani, A., 28 Aug 2018, Artificial Intelligence: : Methodology, Systems, and Applications - 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, Proceedings. p. 83-92 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • COST action IC1402 runtime verification beyond monitoring

    Colombo, C., Falcone, Y., Leucker, M., Reger, G., Sanchez, C., Schneider, G. & Stolz, V., 2018, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Leucker, M. & Colombo, C. (eds.). Springer Nature, p. 18-26 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11237).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Data Context Informed Data Wrangling

    Koehler, M., Bogatu, A., Civili, C., Konstantinou, N., Abel, E., Fernandes, A., Keane, J., Libkin, L. & Paton, N., 15 Jan 2018, 2017 IEEE International Conference on Big Data (Big Data). IEEE, p. 956-963 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    152 Downloads (Pure)
  • Deep Spiking Neural Network model for time-variant signals classification: A real-time speech recognition approach

    Dominguez-Morales, J. P., Liu, Q., James, R., Gutierrez-Galan, D., Jimenez-Fernandez, A., Davidson, S. & Furber, S., 10 Oct 2018, 2018 International Joint Conference on Neural Networks, IJCNN 2018 - Proceedings. IEEE, Vol. 2018-July. 8489381

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    686 Downloads (Pure)
  • De-pseudonymization of Smart Metering Data: Analysis and Countermeasures

    Cleemput, S., Mustafa, M. A., Marin, E. & Preneel, B., 2018, IEEE Workshop on Industrial Internet of Things Security 2018.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    201 Downloads (Pure)
  • D-XMAN: A Platform For Total Compositionality in Service-Oriented Architectures

    Arellanes Molina, D. & Lau, K-K., 2018, The 7th IEEE International Symposium on Cloud and Service Computing.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    155 Downloads (Pure)
  • Dynamic Tuning for Parameter-Based Virtual Machine Placement

    Mosa, A. & Sakellariou, R., 29 Aug 2018, Proceedings - 17th International Symposium on Parallel and Distributed Computing, ISPDC 2018. IEEE, p. 38-45 8 p. 8452018

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    175 Downloads (Pure)
  • Effect of Continuous Integration on Build Health in Undergraduate Team Projects

    Embury, S. & Page, C., 29 Sept 2018, (Accepted/In press) Proceedings of Workshop on DevOps (DEVOPS 2018) .

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    135 Downloads (Pure)