Search research publications and outputs

  1. 2014
  2. An approach for managing semantic heterogeneity in Systems of Systems Engineering

    Foster, S., Miyazawa, A., Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G., 2014, 9th International Conference on Systems of Systems Engineering (2014). Cook, S., Ireland, V., Gorod, A., Ferris, T. & Do, Q. (eds.). IEEE, p. 113-118 6 p. (IEEE Systems Journal).

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

  3. Analysing the 'biodiversity' of open source ecosystems: the GitHub case

    Matragkas, N. D., Williams, J. R., Kolovos, D. S. & Paige, R. F., 2014, MSR 2014: Proceedings of the 11th Working Conference on Mining Software Repositories. ACM, p. 356-359 4 p.

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

  4. Assigning Semantics to Graphical Concrete Syntaxes

    Zolotas, A., Kolovos, D. S., Matragkas, N. D. & Paige, R. F., 2014, XM 2014: Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, XM@MoDELS 2014, Valencia, Spain, September 29, 2014.. Di Ruscio, D., de Lara, J. & Pierantonio, A. (eds.). CEUR Workshop Proceedings, p. 12-21 10 p. (CEUR Workshop Proceedings; vol. 1239).

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

  5. Assuring Safety for Component Based Software Engineering

    Conmy, P. & Bate, I., 2014, Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). p. 121-128 8 p.

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

  6. Bad Modelling Teaching Practices

    Paige, R. F., Polack, F. A. C., Kolovos, D. S., Rose, L. M., Matragkas, N. D. & Williams, J. R., 2014, EduSymp 2014: Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 29, 2014.. Demuth, B. & Stikkolorum, D. (eds.). CEUR Workshop Proceedings, p. 1-12 12 p. (CEUR Workshop Proceedings; vol. 1346).

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

  7. Battery- and aging-aware embedded control systems for electric vehicles

    Chang, W., Proebstl, A., Goswami, D., Zamani, M. & Chakraborty, S., 2014, IEEE Real-Time Systems Symposium (RTSS).

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

  8. CMSEBA 2014 Workshop Report

    Paige, R. F., Kessentini, M., Langer, P. & Wimmer, M., 2014, CMSEBA 2014: Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014.. Paige, R., Kessentini, M., Langer, P. & Wimmer, M. (eds.). CEUR Workshop Proceedings, p. 1-6 6 p. (CEUR Workshop Proceedings; vol. 1340).

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

  9. Coordinated team learning and difference rewards for distributed intrusion response

    Malialis, K., Devlin, S. & Kudenko, D., 2014, ECAI 2014: 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. IOS Press, Vol. 263. p. 1063-1064 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

  10. Curvature Estimation for Ricci Flow Embedding

    Xu, E., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 1562-1567 6 p.

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

  11. Data Flow coverage for Circus-based testing

    Cavalcanti, A. L. C. & Gaudel, M-C., 2014, Fundamental Approaches to Software Engineering. SPRINGER, Vol. 8441. p. 415-429 15 p. (Lecture Notes in Computer Science; vol. 8411).

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

  12. Deadline-aware programming and scheduling

    Burns, A. & Wellings, A., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8454 LNCS. p. 107-118 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8454 LNCS).

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

  13. Dynamic Period Routing for a Complex Real-World System: A Case Study in Storm Drain Maintenance

    Chen, Y., Cowling, P. & Remde, S., 2014, European Conference on Evolutionary Computation in Combinatorial Optimization. Blum, C. & Ochoa, G. (eds.). p. 109-120 12 p.

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

  14. Engineering UToPiA - Formal Semantics for CML

    Woodcock, J., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 22-41 (Lecture Notes in Computer Science; vol. 8442).

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

  15. Exploiting Multicore Architectures in Big Data Applications: The JUNIPER Approach

    Chan, Y., Gray, I., Wellings, A. J. & Audsley, N. C., 2014, Programmability Issues for Heterogeneous Multicores (MULTIPROG).

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

  16. Feedback-based admission control for task allocation

    Dziurzanski, P., Ghazzawi, H. A. & Indrusiak, L. S., 2014, Proceedings of the 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC). IEEE Computer Society Press

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

  17. Fine-Grained Link Locking Within Power and Latency Transaction Level Modelling in Wormhole Switching Non-Preemptive Networks On Chip

    Harbin, J. R. & Soares Indrusiak, L., 2014, PARMA-DITAM '14 Proceedings of Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms. ACM, p. 33-38 6 p.

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

  18. Foundations for Model-Based Engineering of Systems of Systems

    Fitzgerald, J. S., Larsen, P. G. & Woodcock, J., 2014, Complex Systems Design & Management, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, Paris, France, December 4-6, 2013. Aiguier, M., Boulanger, F., Krob, D. & Marchal, C. (eds.). SPRINGER, 19 p.

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

  19. From Imperative to Rule-based Graph Programs (Extended Abstract)

    Plump, D., 2014, Proceedings 26th Nordic Workshop on Programming Theory (NWPT 2014). 5 p.

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

  20. Game intelligence

    Devlin, S., Cowling, P. I., Kudenko, D., Goumagias, N., Nucciareli, A., Cabras, I., Fernandes, K. J. & Li, F., 2014, 2014 IEEE Conference on Computational Intelligence and Games. p. 1-8 8 p.

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

  21. Graph Characterization Using Wave Kernel Trace

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 3822-3827 6 p.

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

  22. Graph Characterization from Entropy Component Analysis

    Ye, C., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 3845-3850 6 p.

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

  23. Guided Structure Formation Using Modular E-pucks

    Hristov, G., Millard, A. G., Hilder, J. A. & Timmis, J., 2014, International Conference on on Intelligent Robots and Systems: Workshop on Swarm and Modular Robotics. IEEE, p. 3

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

  24. Heuristic move pruning in Monte Carlo Tree Search for the strategic card game Lords of War

    Sephton, N., Cowling, P. I., Powley, E. & Slaven, N. H., 2014, 2014 IEEE Conference on Computational Intelligence and Games. IEEE, 8 p.

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

  25. Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms

    Bonilha, I. S., Dos Santos, O. M. & Indrusiak, L., 2014, IV Brazilian Symposium on Computing Systems Engineering SBESC 2014 : Proceedings. IEEE Computer Society Press, Vol. 2015-April. p. 144-149 6 p. 7091181

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

  26. How did systems get so safe without adequate analysis methods

    McDermid, J. A. & Rae, A. J., 2014, 9th IET International Conference on System Safety and Cyber Security. London: IET

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

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