Search research publications and outputs

  1. 2015
  2. Behavioral Program Synthesis: Insights and Prospects

    Krawiec, K., Swan, J. & O'Reilly, U-M., 2015, Genetic Programming Theory and Practice XIII : GPTP 2015, University of Michigan, Ann Arbor. Riolo, R., Worzel, B., Kotanchek, M. & Kordon, A. (eds.). Springer, p. 191-209 19 p. (Genetic and Evolutionary Computation).

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

  3. CSP and Kripke Structures

    Cavalcanti, A. L. C., Huang, W-L., Peleska, J. & Woodcock, J. C. P., 2015, Theoretical Aspects of Computing - ICTAC 2015. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). SPRINGER, p. 505-523 19 p. (Lecture Notes in Computer Science; vol. 9399).

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

  4. Combined Security and Safety Risk Analysis: What needs to be done for ICS and the IoT

    McDermid, J. A., StJohn-Green, M., Piggin, R. & Oates, R., 2015, 10th IET System Safety and Cyber Security Conference . IET, p. 63-69 7 p.

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

  5. Comparing Concurrent and Retrospective Verbal Protocols for Blind and Sighted Users

    Savva, A., Petrie, H. & Power, C. D., 2015, Human-Computer Interaction. p. 55-71 17 p.

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

  6. Coupled-Feature Hypergraph Representation for Feature Selection

    Zhang, Z., Xiahou, J., Bai, L. & Hancock, E. R., 2015, Graph-Based Representations in Pattern Recognition :10th IAPR-TC-15 International Workshop, GbRPR 2015, Beijing, China, May 13-15, 2015. Proceedings. Liu, C-L., Luo, B., Kropatsch, W. G. & Cheng, J. (eds.). SPRINGER, p. 44-53 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  7. Deja Fu: a concurrency testing library for Haskell

    Walker, M. S. & Runciman, C., 2015, Proceedings of 8th International Symposium on Haskell. ASSOC COMPUTING MACHINERY, p. 141-152

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

  8. Disruption to UK Air Traffic Management on 12th December 2014: Analysis and Lessons Learnt

    McDermid, J. A. & Whysall, P., 2015, 10th IET System Safety and Cyber Security Conference 2015. IET, p. 108-113 6 p.

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

  9. Efficient and Secure Delegation of Group Exponentiation to a Single Server

    Kahrobaei, D., Di Crescenzo, G., Shpilrain, V. & Cavallo, B., 2015, Efficient and Secure Delegation of Group Exponentiation to a Single Server. Springer, p. 156-173 18 p. (Lecture Notes in Computer Science).

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

  10. Emergent bluffing and inference with Monte Carlo Tree Search

    Cowling, P. I., Whitehouse, D. & Powley, E. J., 2015, 2015 IEEE Conference on Computational Intelligence and Games (CIG). IEEE, p. 114-121 8 p.

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

  11. Evaluating Mixed Criticality Scheduling Algorithms with Realistic Workloads

    Griffin, D., Bate, I., Lesage, B. & Soboczenski, F., 2015, Proc. 3rd Workshop on Mixed Criticality (WMC).

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

  12. Evaluating Student Work in Modelling Courses

    Paige, R. F., Kolovos, D. S., Polack, F. A. C. & Rose, L. M., 2015, EduSymp 2015 MODELS Educators Symposium 2015: Proceedings of the MODELS Educators Symposium 2015 co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015). Sturm, A. & Clark, T. (eds.). CEUR-WS.org, p. 68-76 9 p. (CEUR Workshop Proceedings; vol. 1555).

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

  13. Example-Based Modeling of Facial Texture from Deficient Data

    Dessein, A. F., Smith, W. A. P., Wilson, R. C. & Hancock, E. R., 2015, (Accepted/In press) Proceedings ICCV 2015. IEEE Computer Society, 8 p.

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

  14. Expressing Arbitrary Reward Functions as Potential-Based Advice

    Harutyunyan, A., Devlin, S., Vrancx, P. & Nowé, A., 2015, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15). Palo Alto, California: AAAI Press, p. 2652-2658 7 p. (Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence.; vol. 29).

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

  15. Extending Optimistic Transmission Protocol for Other Movement Patterns

    Lim, T. H. & Bate, I., 2015, 12th International Conference on Wearable and Implantable Body Sensor Networks (BSN).

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

  16. FPGA-based acceleration for Real-Time Big Data Systems

    Gray, I., Audsley, N. C., Garside, J., Chan, Y. & Wellings, A. J., 2015, 9th HiPEAC workshop on Reconfigurable Computing.

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

  17. Facilitating the Maintenance of Safety Cases

    Jaradat, O., Bate, I. & Punnekkat, S., 2015, Current Trends in Reliability, Availability, Maintainability and Safety: An Industry Perspective. Kumar, U., Ahmadi, A., Verma, A. K. & Varde, P. (eds.). Springer, p. 349-371 23 p.

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

  18. Familiarity in team-based online games: The interplay between player familiarity and the concepts of social presence, team trust, and performance

    Hudson, M., Cairns, P. & Nordin, A. I., 2015, Advances in Visual Informatics. Badioze Zaman, H., Robinson, P., Smeaton, A. F., Shih, T. K., Velastin, S., Jaafar, A. & Mohamad Ali, N. (eds.). Springer-Verlag, p. 140-151 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9429).

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

  19. Flexible Modelling for Requirements Engineering

    Zolotas, A., Matragkas, N. D., Kolovos, D. S. & Paige, R. F., 2015, FlexMDE 2015 : Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015). CEUR-WS.org, p. 32-41 10 p. (CEUR Workshop Proceedings; vol. 1470).

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

  20. HAIKU: a Scala Combinator Toolkit for Semi-automated Composition of Metaheuristics

    Kocsis, Z. A., Brownlee, A. E. I., Swan, J. & Senington, R., 2015, Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings. Barros, M. & Labiche, Y. (eds.). Springer, p. 125-140 16 p. ( Lecture Notes in Computer Science; vol. 9275).

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

  21. Integrating Java 8 Streams with The Real-Time Specification for Java

    Mei, H., Gray, I. & Wellings, A. J., 2015, JTRES '15: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems. ACM, 10

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

  22. MONDO: Scalable Modelling and Model Management on the Cloud

    Kolovos, D. S., Rose, L. M., Paige, R. F., Guerra, E., Cuadrado, J. S., Lara, J. D., Ráth, I., Varró, D., Sunyé, G. & Tisi, M., 2015, Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015), L'Aquila, Italy, July 22, 2015.. p. 44-53 10 p.

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

  23. Market-inspired Dynamic Resource Allocation in Many-core High Performance Computing Systems

    Singh, A. K., Dziurzanski, P. & Soares Indrusiak, L., 2015, Proceedings of International Conference on High Performance Computing & Simulation. IEEE, p. 413-420 8 p.

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

  24. Metaheuristic Design Pattern: Surrogate Fitness Functions

    Brownlee, A. E. I., R. Woodward, J. & Swan, J., 2015, GECCO Companion '15: Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation. ACM, p. 1261-1264 4 p.

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

  25. NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP

    Carvalho, G., Barros, F. A., Carvalho, A., Cavalcanti, A. L. C., Mota, A. & Sampaio, A. C. A., 2015, Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Calinescu, R. & Rumpe, B. (eds.). SPRINGER, p. 283 - 290 (Lecture Notes in Computer Science; vol. 9276).

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

  26. OSSMETER: Automated Measurement and Analysis of Open Source Software

    Almeida, B., Ananiadou, S., Bagnato, A., Barbero, A. B., Rocco, J. D., Ruscio, D. D., Kolovos, D. S., Korkontzelos, I., Hansen, S., Maló, P., Drivalos, N., Paige, R. F. & Vinju, J. J., 2015, Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015). Autili, M., Ritter, T., Sadovykh, A. & Tivoli, M. (eds.). CEUR Workshop Proceedings, Vol. 1400. p. 36-43 8 p. (Ceur Workshop Proceedings; vol. 1400).

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