Search research publications and outputs

  1. 2015
  2. Dynamic Safety Cases for Through-life Safety Assurance

    Denney, E., Pai, G. & Habli, I., May 2015, 37th International Conference on Software Engineering . p. 1-4 4 p.

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

  3. Message from the chairs: MiSE 2015

    Gray, J. (ed.), Chechik, M. (ed.), Kulkarni, V. (ed.) & Paige, R. F. (ed.), May 2015, 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering. Gray, J., Chechik, M., Kulkarni, V. & Paige, R. (eds.). IEEE Computer Society Press, p. vii-viii 2 p.

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

  4. A generic, scalable and globally arbitrated memory tree for shared DRAM access in real-time systems

    Dev Gomony, M., Garside, J., Akesson, B., Audsley, N. & Goossens, K., 22 Apr 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE). Institute of Electrical and Electronics Engineers Inc., p. 193-198 6 p. 7092381

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

  5. First person vs. Third person perspective in digital games: Do player preferences affect immersion?

    Denisova, A. & Cairns, P., 18 Apr 2015, CHI '15: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 145-148 4 p.

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

  6. Sources and contributions of wood smoke during winter in London: Assessing local and regional influences

    Crilley, L. R., Bloss, W. J., Yin, J., Beddows, D. C. S., Harrison, R. M., Allan, J. D., Young, D. E., Flynn, M., Williams, P., Zotter, P., Prevot, A. S. H., Heal, M. R., Barlow, J. F., Halios, C. H., Lee, J. D., Szidat, S. & Mohr, C., 20 Mar 2015

    Article in Atmospheric Chemistry and Physics

  7. Ecological Knowledge, Leadership, and the Evolution of Menopause in Killer Whales

    Brent, L. J. N., Franks, D. W., Foster, E. A., Balcomb, K. C., Cant, M. A. & Croft, D. P., 16 Mar 2015

    Article in Current Biology

  8. Mapping strain modulated electronic structure perturbations in mixed phase bismuth ferrite thin films

    Krishnan, P. S. S. R., Aguiar, J. A., Ramasse, Q. M., Kepaptsoglou, D. M., Liang, W. I., Chu, Y. H., BROWNING, N. D., Munroe, P. & Nagarajan, V., 28 Feb 2015

    Article in Journal of Materials Chemistry C

  9. Microwave Quantum Illumination

    Barzanjeh, S., Guha, S., Weedbrook, C., Vitali, D., Shapiro, J. H. & Pirandola, S., 27 Feb 2015

    Article in Physical Review Letters

  10. Accessibility of Shared Space by visually challenged people

    Melis-Dankers, B., Havik, E., Steyvers, F., Petrie, H. & Kooijman, A., 12 Feb 2015, "Enabling Access for Persons with Visual Impairment": Proceedings of the International Conference ICEAPVI Athens, Greece, February 12-14, 2015. Kouroupetroglou, G. (ed.). National and Kapodistrian University of Athens, p. 120-126 7 p.

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

  11. The Ethics of Acceptable Safety

    Kelly, T., Habli, I., Nicholson, M., Megone, C., Rae, A. & Macnish, K., Feb 2015, Proceedings of the 23rd Safety-critical Systems Symposium, Bristol, UK, February, 2015. .

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

  12. Cryptanalysis Aspects in 3-D Watermarking

    Itier, V., Puech, W. & Bors, A. G., 28 Jan 2015, Image Processing (ICIP), 2014 IEEE International Conference on. IEEE, p. 4772-4776 5 p.

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

  13. Modular Dynamics of Financial Market Networks

    Silva, F. N., Comin, C. H., Peron, T. K. D., Rodrigues, F. A., Ye, C., Wilson, R. C., Hancock, E. & Costa, L. . F., 21 Jan 2015, p. 1-13, 13 p.

    Research output: Working paper

  14. Optimistic medium access control using gait anaysis in Body Sensor Networks

    Lim, T. H., Weng, T. & Bate, I., 20 Jan 2015, Proceedings of the 2014 4th International Conference on Wireless Mobile Communication and Healthcare - "Transforming Healthcare Through Innovations in Mobile and Wireless Technologies", MOBIHEALTH 2014. Institute of Electrical and Electronics Engineers Inc., p. 308-311 4 p. 7015972

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

  15. Isabelle/UTP: A Mechanised Theory Engineering Framework

    Foster, S., Zeyda, F. & Woodcock, J., 6 Jan 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 21-41 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  16. Deriving Safety Contracts to Support Architecture Design of Safety Critical Systems

    Sljivo, I., Jaradat, O., Bate, I. & Graydon, P., 1 Jan 2015, High Assurance Systems Engineering (HASE): 2015 16th IEEE International Symposium on High Assurance Systems Engineering. IEEE, p. 126-133 8 p.

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

  17. High performance computing systems: Performance modeling, benchmarking, and simulation: 5th international workshop, PMBS 2014 New Orleans, LA, USA, november 16, 2014 revised selected papers

    Jarvis, S. A., Wright, S. A. & Hammond, S. D., 1 Jan 2015, High Performance Computing Systems: Performance Modeling, Benchmarking, and Simulation - 5th International Workshop, PMBS 2014, Revised Selected Papers. Springer-Verlag, Vol. 8966. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8966).

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

  18. Real-time mixed-criticality Network-on-Chip resource allocation

    Indrusiak, L. S., 1 Jan 2015, International Conference on High Performance Computing and Simulation, (HPCS) 2015. Institute of Electrical and Electronics Engineers Inc., p. 559-560 2 p. 7237091

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

  19. 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)

    Hermans, F., Paige, R. F. & Sestoft, P., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 1005-1006 2 p.

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

  20. 7th International Workshop on Modeling in Software Engineering (MiSE 2015)

    Gray, J., Chechik, M., Kulkarni, V. & Paige, R. F., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 985-986 2 p.

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

  21. A Cross-Cultural Study of Motivations to Participate in a Crowdsourcing Project to Support People with Disabilities

    Layas, F., Petrie, H. & Power, C. D., 2015, Third AAAI Conference on Human Computation and Crowdsourcing.

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

  22. A High-Order Depth-Based Graph Matching Method

    Bai, L., Zhang, Z., Ren, P. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, Vol. 9256. p. 465-476 12 p. (Lecture Notes in Computer Science; vol. 9256).

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

  23. A Metamodel for the Evolution of Evolution

    Andrews, PAUL. S. & Stepney, S., 2015, European Conference of Artificial Life 2015. MIT Press, p. 621-628

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  24. A Quantum Jensen-Shannon Graph Kernel Using Discrete-Time Quantum Walks

    Bai, L., Rossi, L., Ren, P., Zhang, Z. & 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. 252-261 10 p. (Lecture Notes in Computer Science; vol. 9069).

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

  25. A Reference Interpreter for the Graph Programming Language GP 2

    Bak, C., Faulkner, G., Plump, D. & Runciman, C., 2015, Proceedings 1st Workshop Graphs as Models (GaM 2015). Rensink, A. & Zambon, E. (eds.). Electronic Proceedings in Theoretical Computer Science, Vol. 181. p. 48-64 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181).

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

  26. A function for hard real-time system search-based task mapping optimisation

    Sayuti, M. N. S. M. & Indrusiak, L. S., 2015, Real-Time Distributed Computing (ISORC): 2015 IEEE 18th International Symposium on Real-Time Distributed Computing. Institute of Electrical and Electronics Engineers Inc., p. 66-73 8 p.

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

  27. A practical evaluation of synchronicity in action potentials with noise

    Edwards, J. & O'Keefe, S., 2015, CF '15 Proceedings of the 12th ACM International Conference on Computing . ACM, 2 p. 42

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

  28. Adaptive Graph Learning for Unsupervised Feature Selection

    Zhang, Z., Bai, L., Liang, Y. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns :16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, Vol. 9256. p. 790-800 11 p. (Lecture Notes in Computer Science; vol. 9256).

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

  29. Advances in Quantum Teleportation

    Pirandola, S., Eisert, J., Weedbrook, C., Furusawa, A. & Braunstein, S. L., 2015

    Article in Nature photonics

  30. An Edge-Based Matching Kernel Through Discrete-Time Quantum Walks

    Bai, L., Zhang, Z., Ren, P., Rossi, L. & Hancock, E. R., 2015, Image Analysis and Processing — ICIAP 2015 : 18th International Conference, Genoa, Italy, September 7-11, 2015, Proceedings, Part I. Murino, V. & Puppo, E. (eds.). SPRINGER, p. 27-38 12 p. (Lecture Notes in Computer Science; vol. 9279).

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

  31. An Edge-Based Matching Kernel for Graphs Through the Directed Line Graphs

    Bai, L., Zhang, Z., Wang, C. & Hancock, E. R., 2015, Computer Analysis of Images and Patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015, Proceedings, Part II. Azzopardi, G. & Petkov, N. (eds.). SPRINGER, p. 85-95 11 p. (Lecture Notes in Computer Science; vol. 9257).

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

  32. An Entropic Edge Assortativity Measure

    Ye, C., Wilson, R. C. & 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. 23-33 11 p. (Lecture Notes in Computer Science; vol. 9069).

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

  33. An OCL-based Bridge from Concrete to Abstract Syntax

    Herrera, A. S-B., Willink, E. D. & Paige, R. F., 2015, Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015): Ottawa, Canada, September 28, 2015.. Brucker, A. D., Egea, M., Gogolla, M. & Tuong, F. (eds.). CEUR-WS.org, p. 19-34 16 p. (CEUR Workshop Proceedings; vol. 1512).

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

  34. An Opportunistic Transmission Protocol for Body Sensor Networks using RSSI and On-board Accelerometer

    Lim, T. H. & Bate, I., 2015, Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP): 2015 IEEE 10th International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP). IEEE, p. 1-6 7 p.

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

  35. An evidential reasoning approach for assessing confidence in safety evidence: Software Reliability Engineering (ISSRE), 2015 IEEE 26th International Symposium on

    Nair, S., Walkinshaw, N., Kelly, T. & de la Vara, J. L., 2015, p. 541-552. 12 p.

    Research output: Contribution to conferenceOther

  36. An integrated semantics for reasoning about SysML design models using refinement

    Lima, L., Miyazawa, A., Cavalcanti, A. L. C., Cornelio, M., Lyoda, J., Sampaio, A., Hains, R., Larkham, A. & Lewis, V., 2015

    Article in Software and Systems Modeling

  37. Angelicism in the theory of reactive processes

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 2015, Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. SPRINGER, p. 42-61 20 p. (Lecture Notes in Computer Science; vol. 8963).

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

  38. Animal Social Networks

    Krause, J., James, R., Franks, D. W. & Croft, D. P., 2015, Oxford: Oxford University Press.

    Research output: Book/ReportBook

  39. Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects

    Kolovos, D. S., Matragkas, N. D., Korkontzelos, I., Ananiadou, S. & Paige, R. F., 2015, Proceedings of the International Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) : Ottawa, Canada, September 29, 2015. CEUR-WS.org, p. 20-29 10 p. (CEUR Workshop Proceedings; vol. 1541).

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

  40. Automatically Detecting Fallacies in System Safety Arguments

    Kelly, T., Wells, S., Yuan, T. & Manandhar, S., 2015, Proceedings of the 15th International Workshop on Computation Models of Natural Argument. p. 1-10 10 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  41. 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

  42. 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

  43. 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

  44. Conservation of matter increases evolutionary activity

    Hickinbotham, S. J. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 98-105

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  45. 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

  46. 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

  47. 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

  48. 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

  49. Environmental bias forces parasitism in Tierra

    Hickinbotham, S. J. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 294-301

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  50. 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

  51. 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

  52. Exact estimation of multiple directed acyclic graphs

    Oates, C. J., Smith, J. Q., Mukherjee, S. & Cussens, J., 2015

    Article in Statistics and computing

  53. 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

  54. 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

  55. 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

  56. 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

  57. 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

  58. 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

  59. 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

  60. 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

  61. Hard Real-time Guarantee of Automotive Applications during Mode Changes

    Dziurzanski, P., Singh, A. K., Soares Indrusiak, L. & Saballus, B., 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM Digital Library, p. 161-170

    Research output: Chapter in Book/Report/Conference proceedingChapter

  62. 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

  63. 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

  64. Mechanised Theory Engineering in Isabelle

    Foster, S. D. & Woodcock, J., 2015, Dependable Software Systems Engineering. Irlbeck, M., Peled, D. & Pretschner, A. (eds.). IOS Press, Vol. 40. p. 246-287 (NATO Science for Peace and Security Series, D: Information and Communication Security; vol. 40).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  65. 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

  66. 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

  67. 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

  68. Object-Oriented Genetic Improvement for Improved Energy Consumption in Google Guava

    Burles, N., Bowles, E., Brownlee, A. E. I., Kocsis, Z. A., Swan, J. & Veerapen, N., 2015, Search-Based Software Engineering: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings. Springer, p. 255-261 7 p. (Lecture Notes in Computer Science; vol. 9275).

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

  69. Observations on Utilising Usability Maturity Model-Human Centredness Scale in Integrating Agile Development Processes and User Centred Design

    Salah, D., Paige, R. F. & Cairns, P. A., 2015, Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings. Rout, T., O'Connor, R. V. & Dorling, A. (eds.). Springer, p. 159-173 15 p. (Communications in Computer and Information Science; vol. 526).

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

  70. Patterns for integrating agile development processes and user centred design

    Salah, D., Paige, R. F. & Cairns, P. A., 2015, EuroPLoP '15: Proceedings of the 20th European Conference on Pattern Languages of Programs. ACM, p. 19:1-19:10 10 p.

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

  71. Predicting player disengagement and first purchase with event-frequency based data representation

    Xie, H., Devlin, S., Kudenko, D. & Cowling, P., 2015, 2015 IEEE Conference on Computational Intelligence and Games (CIG). p. 230-237 8 p.

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

  72. PredictingPurchaseDecisionsinMobileFree-to-PlayGames

    Sifa, R., Hadiji, F., Runge, J., Drachen, A., kersting, K. & bauckhage, C., 2015, Proceedings, The Eleventh AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-15). AAAI Press, p. 79-86

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

Previous 1 2 3 4 5 6 7 8 ...54 Next