Search research publications and outputs

  1. 2013
  2. Safety-critical Java level 2: Motivations, example applications and issues

    Wellings, A., Luckcuck, M. & Cavalcanti, A., 15 Nov 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2013. p. 48-57 10 p.

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

  3. Finding test data with specific properties via metaheuristic search

    Feldt, R. & Poulding, S., 1 Nov 2013, Software Reliability Engineering (ISSRE), 2013 IEEE 24th International Symposium on. p. 350-359

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

  4. Designs with angelic nondeterminism

    Ribeiro, P. & Cavalcanti, A., 30 Oct 2013, Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013. p. 71-78 8 p. 6597880

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

  5. Towards autonomic cloud services engineering via intention workflow model

    Baker, T., Rana, O. F., Calinescu, R., Tolosana-Calasanz, R. & Bañares, J. Á., 30 Oct 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8193. p. 212-227 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8193 LNCS).

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

  6. Web accessibility for older adults: effects of line spacing and text justification on reading web pages

    Petrie, H., Kamollimsakul, S. & Power, C. D., 21 Oct 2013, ASSETS '13 Proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility. ACM, 77

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

  7. A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP

    Burns, A. & Wellings, A. J., 15 Oct 2013, Proceedings - Euromicro Conference on Real-Time Systems. p. 282-291 10 p. 6602108

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

  8. A Survey of Outlier Detection Methodologies

    Hodge, V. J. & Austin, J., 26 Sep 2013, Fundamentals of Regression Modeling. Babones, S. (ed.). (SAGE Benchmarks in Social Research Methods).

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

  9. Automated calibration of agent-based immunological simulations

    Read, M. N., Tripp, M., Leonova, H., Rose, L. M. & Timmis, J., 2 Sep 2013, Advances in Artificial Life, ECAL 2013: Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 874-875 (Complex Adaptive Systems).

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

  10. Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing

    Rose, L. M., Poulding, S., Feldt, R. & Paige, R. F., 1 Sep 2013, Software Maintenance (ICSM), 2013 29th IEEE International Conference on. p. 480-483

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

  11. Global Fixed Priority Scheduling with Deferred Pre-emption

    Davis, R. I., Burns, A., Marinho, J., Nelis, V., Petters, S. & Bertogna, M., 1 Aug 2013, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). p. 1-11

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

  12. The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment

    Jaradat, O., Graydon, P. & Bate, I., 1 Aug 2013, Proceedings of the 31st International System Safety Conference (ISSC), System Safety Society.

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

  13. An Extended Fixed Priority Scheme for Mixed Criticality Systems

    Baruah, S., Burns, A. & Davis, R. I., Aug 2013, Workshop on Real-Time Mixed Criticality Systems (ReTiMics). George, L. & Lipari, G. (eds.). p. 18-24 7 p.

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

  14. Analysis of probabilistic cache related pre-emption delays for systems with random cache replacement policies

    Davis, R. I., Santinelli, L., Altmeyer, S., Maiza, C. & Cucu-Grosjean, L., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 168-179

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

  15. Improvements to Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

    Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 22-24

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

  16. Mixed Criticality on Controller Area Network (CAN)

    Burns, A. & Davis, R., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 125-134

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

  17. Static Probabilistic Timing Analysis for Multicore Processors with Shared Cache

    Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 3-5

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

  18. Model-driven engineering and model transformation: For fun and profit

    Paige, R. F. & Kolovos, D. S., 19 Jun 2013, Engineering Dependable Software Systems. IOS Press;, Vol. 34. p. 275-311 37 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. A research roadmap towards achieving scalability in model driven engineering

    Kolovos, D., Rose, L. M., Matragkas, N., Paige, R. F., Guerra, E., Sánchez Cuadrado, J., de Lara, J., Ráth, I., Varró, D., Tisi, M. & Cabot, J., 17 Jun 2013, Proceedings of the Workshop on Scalability in Model Driven Engineering. ACM, 2. (ACM International Conference Proceeding Series).

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

  20. 3D scene correction using disparities with its projections

    Grum, M. & Bors, A. G., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea, . IEEE, p. 1-4 4 p.

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

  21. Minimal surface distortion function for optimizing 3D watermarking

    Bors, A. G. & Luo, M., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea. IEEE, p. 1-4 4 p.

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

  22. Log2cloud: Log-based prediction of cost-performance trade-offs for cloud deployments

    Perez-Palacin, D., Calinescu, R. & Merseguer, J., 27 May 2013, Proceedings of the ACM Symposium on Applied Computing. p. 397-404

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

  23. Complementing metaheuristic search with higher abstraction techniques

    Burton, F. R. & Poulding, S., 1 May 2013, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, p. 45-48

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

  24. Efficient probabilistic testing of model transformations using search

    Rose, L. M. & Poulding, S., 1 May 2013, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, p. 16-21

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

  25. Improving the Dependability of Sensornets

    Fairbairn, M. L., Bate, I. & Stankovic, J., 1 May 2013, The 9th IEEE International Conference on Distributed Computing in Sensor Systems 2013 (IEEE DCoSS 2013). Cambridge, USA

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

  26. Using Feedback Control Within WSN's to Meet Application Requirements

    Fairbairn, M. L. & Bate, I., 1 May 2013, 5th Workshop on Performance Control in Wireless Sensor Networks 2013 (PWSN2013). Cambridge, USA

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

Previous 1...3 4 5 6 7 8 9 10 ...72 Next