Search research publications and outputs

  1. 2016
  2. A Java-Based Real-Time Reactive Stream Framework

    Gray, I. & Wellings, A., 2016, Proceedings of the 19th IEEE International Symposium on Real-Time Computing.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. A Stepwise Approach to Linking Theories

    De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C. & Woodcock, J., 2016, Unifying Theories of Programming. Springer, (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis

    Law, S. A. & Bate, I., 2016, Proceedings - 28th Euromicro Conference on Real-Time Systems, ECRTS 2016. Vol. 2016-August. p. 189-199 11 p. 7557880. (Real-Time Systems (ECRTS), Euromicro Conference on).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Addressing the 4+1 Software Safety Assurance Principles within Scrum

    Doss, O. & Kelly, T., 2016, Proceedings of the Scientific Workshop Proceedings of XP2016, Edinburgh, Scotland, UK, May 24, 2016. New York: ACM: New York, p. 17 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Automatic Improvement of Apache Spark Queries using Semantics-preserving Program Reduction

    Kocsis, Z. A., Drake, J. H., Carson, D. & Swan, J., 2016, Genetic and Evolutionary Computation Conference, GECCO 2016, Denver, USA, July 20-24, 2016, Companion Material Proceedings.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Checking SysML Models for Co-Simulation

    Amálio, N., Payne, R., Cavalcanti, A. L. C. & Woodcock, J., 2016, International Conference on Formal Engineering Methods. Springer, (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. EMG: A domain-specific transformation language for synthetic model generation

    Popoola, S., Kolovos, D. S. & Rodriguez, H. H., 2016, Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016 Held as Part of STAF 2016, Proceedings. Springer-Verlag, Vol. 9765. p. 36-51 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9765).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Efficient large-scale road inspection routing

    Chen, Y., Cowling, P. I., Remde, S. & Polack, F. A. C., 2016, Proceedings, ICORES. SciTePress

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Identifying usage anomalies for ECG-based sensor nodes

    Chen, L. & Bate, I. J., 2016, IEEE 13th International Conference on Wearable and Implantable Body Sensor Networks (BSN). IEEE, p. 77-82 6 p. (Wearable and Implantable Body Sensor Networks (BSN), IEEE International Conference on).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Learning Predictive Categories Using Lifted Relational Neural Networks

    Sourek, G., Manandhar, S., Zelezny, F., Schockaert, S. & Kuzelka, O., 2016, Inductive Logic Programming: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers. Springer International Publishing, Vol. 10326. (Lecture Notes in Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Local Livelock Analysis of Component-Based Models

    Conserva Filho, M., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 2016, International Conference on Formal Engineering Methods. Springer, (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Mobile CSP

    Woodcock, J. C. P., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. Cornélio, M. & Roscoe, B. (eds.). Springer Verlag, p. 39-55 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9526).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Multi-objective co-optimization of FlexRay-based distributed control systems

    Roy, D., Zhang, L., Chang, W., Goswami, D. & Chakraborty, S., 2016, IEEE Real-Time Embedded Technology & Applications Symposium (RTAS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Reasoning about Graph Programs

    Plump, D., 2016, Proceedings 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016). Corradini, A. & Zantema, H. (eds.). p. 35-44 9 p. (Electronic Proceedings in Theoretical Computer Science; vol. 225).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Refinement strategies for Safety-Critical Java

    Miyazawa, A. & Cavalcanti, A. L. C., 2016, Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. Cornélio, M. L. & Roscoe, B. (eds.). SPRINGER, (Lecture Notes in Computer Science; vol. 9526).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Risk driven analysis of maintenance for a large-scale drainage system

    Chen, Y., Polack, F. A. C., Cowling, P. I., Mourdjis, P. J. & Remde, S., 2016, Proceedings, ICORES. SciTePress, p. 296-303

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Selecting Execution-Time Server Parameters for Real-Time Stream Processing Systems

    Gray, I., Wellings, A. J. & Mei, H., 2016, 9th York Doctoral Symposium on Computer Science and Electronics (YDS 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. SemEval-2016 Task 5: Aspect Based Sentiment Analysis

    Pontiki, M., Galanis, D., Papageorgiou, H., Androutsopoulos, I., Manandhar, S., Al-Smadi, M., Al-Ayyoub, M., Zhao, Y., Qin, B., Clercq, O. D., Hoste, V., Apidianaki, M., Tannier, X., Loukachevitch, N. V., Kotelnikov, E., Bel, N., Zafra, S. M. J. & Eryigit, G., 2016, Proceedings of the 10th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2016, San Diego, CA, USA, June 16-17, 2016. p. 19-30 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Structured Generative Models of Continuous Features for Word Sense Induction

    Komninos, A. & Manandhar, S., 2016, COLING 2016, 26th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, December 11-16, 2016, Osaka, Japan. p. 3577-3587 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Synthetic workload generation of broadcast related HEVC stream decoding for resource constrained systems

    Mendis, H. R. & Indrusiak, L. S., 2016, ICETE 2016 - Proceedings of the 13th International Joint Conference on e-Business and Telecommunications. SciTePress, Vol. 5. p. 52-64 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Systematic Maintenance of Safety Cases to Reduce Risk

    Jaradat, O. & Bate, I., 2016, Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings. Springer, p. 17-29 (Lecture Notes in Computer Science; vol. 9923).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. The Notion of Controllability in an Autonomous Vehicle Context

    Habli, I., McDermid, J. A. & Monkhouse, H., 2016, CARS Workshop Critical Automotive Applications: Robustness & Safety.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. The effect of cooperation in pickup and multiple delivery problems

    Mourdjis, P. J., Polack, F. A. C., Cowling, P. I., Chen, Y. & Robinson, M., 2016, Proceedings, ICORES. SciTePress, p. 287-295

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Benchmarking, System Design and Case-studies for Multi-core based Embedded Automotive Systems

    Dziurzanski, P., Singh, A. K., Indrusiak, L. S. & Saballus, B., Jan 2016, Proc. 2nd Int Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud) - HiPEAC Conference. Arxiv (Cornell University), 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Bidding policies for market-based HPC workflow scheduling

    Burkimsher, A. & Indrusiak, L. S., Jan 2016, Proc. 2nd Int Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud) - HiPEAC Conference. Arxiv (Cornell University), 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Design space exploration for complex automotive applications: An engine control system case study

    Latif, K., Selva, M., Effiong, C., Ursu, R., Gamatie, A., Sassatelli, G., Zordan, L., Ost, L., Dziurzanski, P. & Indrusiak, L. S., 18 Jan 2016, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), Vol. 18-January-2016. a2

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Secure high capacity data hiding for 3D meshes

    Itier, V., Bors, A. G., Puech, W. & Pedeboy, J-P., 14 Feb 2016, Proc. IS&T Inter. Symposium on Electronic Imaging, Vol. 3D Image Processing, Measurement (3DIPM). IS&T, p. 1-7 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. Impact of temporal and spatial application modeling on event-triggered wireless sensor network evaluation

    Brisolara, L., Ferreira, P. R. & Indrusiak, L. S., 1 Mar 2016, Proceedings - 2015 Brazilian Symposium on Computing Systems Engineering, SBESC 2015. Institute of Electrical and Electronics Engineers Inc., p. 30-35 6 p. 7423208

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. Evaluating hyperheuristics and local search operators for periodic routing problems

    Chen, Y., Mourdjis, P., Polack, F., Cowling, P. & Remde, S., 15 Mar 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 9595. p. 104-120 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9595).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Multi-Objective Dynamic Dispatch Optimisation using Multi-Agent Reinforcement Learning: (Extended Abstract)

    Mannion, P., Mason, K., Devlin, S., Duggan, J. & Howley, E., 9 May 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems , p. 1345-1346 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. A constructive task mapping algorithm for hard real-time embedded NoCs

    Sayuti, M. N. S. M. & Indrusiak, L. S., 18 May 2016, Proceedings - 2015 IEEE Conference on System, Process and Control, ICSPC 2015. Institute of Electrical and Electronics Engineers Inc., p. 123-128 6 p. 7473571

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. A Formal Model of the Safety-Critical Java Level 2 Paradigm

    Luckcuck, M. S., Cavalcanti, A. L. C. & Wellings, A. J., 24 May 2016, Integrated Formal Methods. Springer, p. 226-241 (Lecture Notes in Computer Science; vol. 9681).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. Real-Time Stream Processing in Java

    Gray, I., Wellings, A. J. & Mei, H., 31 May 2016, 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016. Springer, p. 44-57 14 p. ( Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. A Maturity Model for Integrating Agile Processes and User Centred Design

    Paige, R. F., Mostafa, D. S. E. D. N. & Cairns, P. A., Jun 2016, Software Process Improvement and Capability Determination (SPICE). 16th International Conference ed. p. 109-122 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  36. Iterative Cartesian Genetic Programming: Creating general algorithms for solving Travelling Salesman Problems

    Ryser-Welch, P., Miller, J. F., Swan, J. & Trefzer, M. A., 1 Jun 2016, EuroGP 2016: Proceedings of the 19th European Conference on Genetic Programming. Heywood, M. I., McDermott, J., Castelli, M., Costa, E. & Sim, K. (eds.). Porto, Portugal: Springer-Verlag, Vol. 9594. p. 294-310 17 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  37. A Suspension-Trace Semantics for CSP

    Cavalcanti, A. L. C., Hierons, R. M., Nogueira, S. & Sampaio, A. C. A., 1 Jul 2016, International Symposium on Theoretical Aspects of Software Engineering. IEEE, p. 3-13 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. Grouping Multi-vector Streaklines for Human Activity Identification

    Stephens, K. & Bors, A. G., 4 Aug 2016, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing. IEEE, p. 1-5 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Co-Motion: Mobility and wellbeing in later life

    Bevan, M. A., Petrie, H., Cambridge, H. M., Cinderby, S., Croucher, K. L., Swallow, D. M., Gilroy, R. & Attuyer, K., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). . Amsterdam: IOS Press, Vol. 229. p. 627 - 629 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Understanding the lived experience of five individuals with mobility aids

    Walsh, T. & Petrie, H., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). Petrie, H., Darzentas, J., Walsh, T., Swallow, D., Sandoval, L., Lewis, A. & Power, C. (eds.). Amsterdam: IOS Press, p. 582 - 593 12 p. (Studies in Health Technology and Informatics; vol. 229).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  41. From formalised state machines to implementation of robotic controllers

    Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sep 2016, 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer Verlag, 14 p. (Springer Tracts in Advanced Robotics).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Using association rule mining to predict opponent deck content in android: Netrunner

    Sephton, N., Cowling, P. I., Devlin, S., Hodge, V. J. & Slaven, N. H., 20 Sep 2016, 2016 IEEE Conference on Computational Intelligence and Games, CIG 2016. IEEE Computer Society Press, 7860399

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs

    Nikolic, B., Pinho, L. M. & Indrusiak, L. S., 29 Sep 2016, Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016. Institute of Electrical and Electronics Engineers Inc., p. 120-129 10 p. 7579947

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  44. A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility

    Pölzlbauer, F., Davis, R. I. & Bate, I. J., Oct 2016, Proceedings of 24th International Conference on Real-Time Networks and Systems: RTNS16. ACM Digital Library, p. 45-54

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  45. Integration of a graph-based model indexer in commercial modelling tools

    Garcia-Dominguez, A., Barmpis, K., Kolovos, D. S., Da Silva, M. A. A., Abherve, A. & Bagnato, A., 2 Oct 2016, Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. Association for Computing Machinery, Inc, p. 340-350 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  46. Partial loading of XMI models

    Wei, R., Kolovos, D. S., Garcia-Dominguez, A., Barmpis, K. & Paige, R. F., 2 Oct 2016, Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. Association for Computing Machinery, Inc, p. 329-339 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. The convergence of player experience questionnaires

    Denisova, A., Nordin, A. I. & Cairns, P., 16 Oct 2016, CHI PLAY 2016 - Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 33-37 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Cultural and Gender Differences in Password Behaviors: Evidence from China, Turkey and the UK

    Petrie, H. & Merdenyan, B., 23 Oct 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. ACM, 10 p. 9

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Robot-assisted smart firefighting and interdisciplinary perspectives

    Liu, P., Yu, H., Cang, S. & Vladareanu, L., 24 Oct 2016, 2016 22nd International Conference on Automation and Computing (ICAC). p. 395-401 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. SBCCI 2016 Foreword

    Monteiro, D. W. D. L., Torres, F. S. & Indrusiak, L. S., 27 Oct 2016, Proceedings of the 29th Symposium on Integrated Circuits and Systems Design. Institute of Electrical and Electronics Engineers Inc., 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  51. Model-based design of resource-efficient automotive control software

    Chang, W., Roy, D., Zhang, L. & Chakraborty, S., Nov 2016, International Conference on Computer-Aided Design (ICCAD). 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 Next