Search research publications and outputs

  1. Conference contribution › Research
  2. 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

  3. Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

    Freitas, L., Baxter, J., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Springer, p. 63-78 (Lecture Notes in Computer Science; vol. 9681).

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

  4. Modelling and dynamic analysis of underactuated capsule systems with friction-induced hysteresis

    Liu, P., Yu, H. & Cang, S., 1 Dec 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). p. 549-554 6 p.

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

  5. Models from code or code as a model?

    Garcia-Dominguez, A. & Kolovos, D. S., 2 Oct 2016, Proceedings of the 16th International Workshop on OCL and Textual Modelling: CEUR Workshop Proceedings. Vol. 1756. p. 137-148 12 p.

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

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

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

  8. Network entropy analysis using the Maxwell-Boltzmann partition function

    Wang, J., Wilson, R. C. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1321-1326 6 p.

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

  9. Non-Rigid Dense Bijective Maps

    Gasparetto, A., Cosmo, L., Torsello, A. & Wilson, R. C., 1 Dec 2016, International Conference on Pattern Recognition. IEEE Computer Society, 6 p.

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

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

  11. On Valid Optimal Assignment Kernels and Applications to Graph Classification

    Kriege, N., Giscard, P-L. & Wilson, R. C., 6 Dec 2016, NIPS'16 Proceedings of the 30th International Conference on Neural Information Processing Systems. Lee, D. D., von Luxburg, U., Garnett, R., Sugiyama, M. & Guyon, I. (eds.). Curran Associates Inc., p. 1623-1631 9 p. (Advances in Neural Information Processing Systems).

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

  12. Optimisation of a Molecular Dynamics Simulation of Chromosome Condensation

    Law, T. R., Hancox, J., Cheng, T. M. K., Chaleil, R. A. G., Wright, S. A., Bates, P. A. & Jarvis, S. A., 16 Dec 2016, Proceedings - 28th IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2016. IEEE Computer Society Press, p. 126-133 8 p. 7789332

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

  13. P2P Lending Analysis Using the Most Relevant Graph-Based Features

    Cui, L., Bai, L., Wang, Y., Bai, X., Zhang, Z. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 3-14 12 p. (Lecture Notes in Computer Science; vol. 10029).

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

  14. POSE: A mathematical and visual modelling tool to guide energy aware code optimisation

    Roberts, S., Wright, S., Lecomber, D., January, C., Byrd, J., Oro, X. & Jarvis, S. A., 26 Jan 2016, 2015 6th International Green and Sustainable Computing Conference. Institute of Electrical and Electronics Engineers Inc., 7393705

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

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

  16. Preemptive uniprocessor scheduling of dual-criticality implicit-deadline sporadic tasks

    Burns, A., Baruah, S. & Guo, Z., 2016, Proc of ECRTS. p. 1-8 8 p.

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

  17. Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

    Maxim, D., Davis, R. I., Cucu-Grosjean, L. & Easwaran, A., Dec 2016, Proceedings Workshop on Mixed Criticality systems (WMC) 2016. 6 p.

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

  18. Quantum thermodynamics of time evolving networks

    Minello, G., Torsello, A. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1536-1541 6 p.

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

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

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

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

  22. Reflectance-aware optical flow

    Dahlan, H. A., Hancock, E. R. & Smith, W. A. P., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 2860-2865 6 p.

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

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

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

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

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