Search research publications and outputs

  1. 2017
  2. A 3D Morphable Model of Craniofacial Shape and Texture Variation

    Dai, H., Pears, N. E., Smith, W. A. P. & Duncan, C., 25 Dec 2017, Proceedings - 2017 IEEE International Conference on Computer Vision, ICCV 2017. Vol. 2017-October. p. 3104-3112 9 p. 8237597. ( Title Proceedings / IEEE International Conference on Computer Vision.).

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

  3. Towards bio-responsive control for music

    Williams, D. A. H., Murphy, D. T. & Fazenda, B., 19 Dec 2017.

    Research output: Contribution to conferencePaper

  4. Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines

    Burns, A. & Davis, R. I., 5 Dec 2017. 6 p.

    Research output: Contribution to conferencePaper

  5. Local Analysis of Determinism for CSP

    Otoni, R., Cavalcanti, A. L. C. & Sampaio, A. C. A., 1 Dec 2017, Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. Cavalheiro, S. & Fiadeiro, J. (eds.). Springer International Publishing Switzerland, p. 107-124 18 p. (Lecture Notes in Computer Science; vol. 10623).

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

  6. Towards Critical Pair Analysis for the Graph Programming Language GP 2

    Plump, D. & Hristakiev, I., Dec 2017, Recent Trends in Algebraic Development Techniques (WADT 2016), Revised Selected Papers. James, P. & Roggenbach, M. (eds.). Springer, p. 153-169 17 p. (Lecture Notes in Computer Science; vol. 10644).

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

  7. Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases

    Jaradat, O. T. S. & Bate, I., 28 Nov 2017, Proceedings - 2017 13th European Dependable Computing Conference, EDCC 2017. Institute of Electrical and Electronics Engineers Inc., p. 95-102 8 p. 8123558

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

  8. Deadline, Energy and Buffer-Aware Task Mapping Optimization in NoC-Based SoCs Using Genetic Algorithms

    Bruch, J. V., Alves da Silva, E., Zeferino, C. A. & Soares Indrusiak, L., 23 Nov 2017, VII Brazilian Symposium on Computing Systems Engineering (SBESC). IEEE, p. 86-93 (Brazilian Symposium on Computing Systems Engineering (SBESC) ).

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

  9. Scattering of halo nuclei on heavy targets at energies around the Coulomb barrier: The case of 11Be on 197Au

    Pesudo, V., Borge, M. J. G., Moro, A. M., Lay, J. A., Nácher, E., Gómez-Camacho, J., Tengblad, O., Acosta, L., Alcorta, M., Alvarez, M. A. G., Andreoiu, C., Bender, P. C., Braid, R., Cubero, M., Di Pietro, A., Fernández-García, J. P., Figuera, P., Fisichella, M., Fulton, B. R., Garnsworthy, A. B. & 18 othersHackman, G., Hager, U., Kirsebom, O. S., Kuhn, K., Lattuada, M., Marquínez-Durán, G., Martel, I., Miller, D., Moukaddam, M., O'Malley, P. D., Perea, A., Rajabali, M. M., Sánchez-Benítez, A. M., Sarazin, F., Scuderi, V., Svensson, C. E., Unsworth, C. & Wang, Z. M., 22 Nov 2017

    Conference article in EPJ Web of Conferences

  10. Improving efficiency of persistent storage access in embedded Linux

    Joyce, R. A. & Audsley, N. C., 17 Nov 2017.

    Research output: Contribution to conferencePaper

  11. Investigating the Correctness and Efficiency of MrsP in Fully Partitioned Systems

    Zhao, S. & Wellings, A. J., 17 Nov 2017.

    Research output: Contribution to conferencePaper

  12. Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon

    Zolotas, A., Rodriguez, H. H., Kolovos, D. S., Paige, R. F. & Hutchesson, S., 7 Nov 2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 237-247 11 p. 8101270

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

  13. User Experience for Model-Driven Engineering: Challenges and Future Directions

    Abrahao, S., Bourdeleau, F., Cheng, B., Kokaly, S., Paige, R., Stoerrle, H. & Whittle, J., 7 Nov 2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 229-236 8 p. 8101269

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

  14. Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server

    Di Crescenzo, G., Khodjaeva, M., Kahrobaei, D. & Shpilrain, V., 3 Nov 2017, Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server. Association for Computing Machinery (ACM), p. 17-28 10 p.

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

  15. A Safety-Case Approach for Ethical Considerations for Autonomous Vehicles

    Menon, C. & Alexander, R. D., 1 Nov 2017.

    Research output: Contribution to conferencePaper

  16. Exact Speedup Factors and Sub-Optimality for Non-Preemptive Scheduling

    Davis, R. I., Thekkilakattil, A., Gettings, O., Dobrin, R., Punnekkat, S. & Chen, J-J., 28 Oct 2017

    Article in Real-Time Systems

Previous 1 2 3 4 5 6 Next