Search research publications and outputs

  1. 2014
  2. Graph and model transformation tools for model migration

    Rose, L., Herrmannsdoerfer, M., Mazanek, S., Van Gorp, P., Buchwald, S., Horn, T., Kalnina, E., Koch, A., Lano, K., Schätz, B. & Wimmer, M., Feb 2014

    Article in Software and Systems Modeling

  3. A graph kernel from the depth-based representation

    Bai, L., Ren, P., Bai, X. & Hancock, E. R., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621. p. 1-11 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  4. Adaptive model learning for continual verification of non-functional properties

    Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), p. 87-98 12 p.

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

  5. Efficient re-resolution of SMT specifications for evolving software architectures

    Johnson, K. & Calinescu, R., 1 Jan 2014, QoSA 2014: Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (Part of CompArch 2014). Association for Computing Machinery (ACM), p. 93-102 10 p.

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

  6. Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

    Gerasimou, S., Calinescu, R. & Banks, A., 1 Jan 2014, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings. Association for Computing Machinery (ACM), p. 115-124 10 p.

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

  7. Entropic graph embedding via multivariate degree distributions

    Ye, C., Wilson, R. C. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 163-172 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  8. High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation: 4th International Workshop, PMBS 2013 Denver, CO, USA, November 18, 2013 Revised Selected Papers

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

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

  9. Incorporating scale invariance into the cellular associative neural network

    Burles, N., O'Keefe, S. & Austin, J., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8681 LNCS. p. 435-442 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8681 LNCS).

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

  10. Quantum vs classical ranking in segment grouping

    Escolano, F., Bonev, B. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 203-212 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  11. Unconventional arithmetic: A system for computation using action potentials

    Edwards, J., O'Keefe, S. & Henderson, W. D., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8553 LNCS. p. 155-163 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8553 LNCS).

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

  12. A Candid Industrial Evaluation of Formal Software Verification using Model Checking

    Bennion, M. & Habli, I., 2014, ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering. ACM, p. 175-184 10 p.

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

  13. A Characterisation of the Workload on an Engineering Design Grid

    Burkimsher, A., Bate, I. J. & Indrusiak, L. S., 2014, Proceedings of the 22nd High Performance Computing Symposium (HPC). San Diego: Society for Computer Simulation International, p. 639-646 8 p. 8

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

  14. A Formal Model for Natural-Language Timed Requirements of Reactive Systems

    Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Merz, S. & Pang, J. (eds.). SPRINGER, p. 43-58 16 p. (Lecture Notes in Computer Science; vol. 8829).

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

  15. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

    Shah, S. M. A., Wei, R., Kolovos, D., Rose, L. M., Paige, R. F. & Barmpis, K., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, p. 586-601 16 p. (LNCS).

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

  16. A Low-cost Real-time Tracking Infrastructure for Ground-based Robot Swarms

    Millard, A. G., Hilder, J. A., Winfield, A. F. T. & Timmis, J., 2014, Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings. Dorigo, M., Birattari, M., Garnier, S., Hamann, H., Montes de Oca, M., Solnon, C. & Stützle, T. (eds.). Springer, p. 278-289 2 p. (Lecture Notes in Computer Science; vol. 8667).

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

  17. A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products: Computing Systems Engineering (SBESC), 2014 Brazilian Symposium on

    de Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T., 2014, p. 7-12. 6 p.

    Research output: Contribution to conferenceOther

  18. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

    Antonino, P., Sampaio, A. & 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. 62-77 (Lecture Notes in Computer Science; vol. 8442).

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

  19. A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

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

  20. A modular theory of object orientation in higher-order UTP

    Zeyda, F., Santos, T. L. V. L., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. SPRINGER, p. 627-642 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  21. A phylogenetic classification of the video-game industry’s business model ecosystem

    Goumagias, N., Cabras, I., Fernandes, K. J., Li, F., Nucciarelli, A., Cowling, P., Devlin, S. & Kudenko, D., 2014, Working Conference on Virtual Enterprises. Camarinha-Matos, L. M. & Afsarmanesh, H. (eds.). Springer Berlin / Heidelberg, p. 285-294 10 p.

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

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