Home > Research > Security Lancaster (Systems Security) > Publications & Outputs

Research

View graph of relations

Security Lancaster (Systems Security)

561 - 570 out of 2,561Page size: 10
RSS feed of this list
  1. 2017
  2. Published

    Quick verification of concurrent programs by iteratively relaxed scheduling

    Metzler, P., Saissi, H., Bokor, P., Suri, N., T.N., N. (Editor), G., R. (Editor) & M., D. P. (Editor), 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 776-781 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    TrEKer: Tracing error propagation in operating system kernels

    Coppik, N., Schwahn, O., Winter, S., Suri, N., T.N., N. (Editor), G., R. & M., D. P., 30/10/2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, p. 377-387 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    Group velocity matching in terahertz-driven dielectric-lined waveguides for electron acceleration

    Healy, A. L., Burt, G. & Jamison, S. P., 16/10/2017, 2017 10th UK-Europe-China Workshop on Millimetre Waves and Terahertz Technologies, UCMMT 2017. Institute of Electrical and Electronics Engineers Inc., 2 p. 8068491. (2017 10th UK-Europe-China Workshop on Millimetre Waves and Terahertz Technologies, UCMMT 2017).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Published

    Experimental studies of 7-cell dual axis asymmetric cavity for energy recovery linac

    Konoplev, I. V., Metodiev, K., Lancaster, A. J., Burt, G. C., Ainsworth, R. & Seryi, A., 10/10/2017, In: Physical Review Accelerators and Beams. 20, 10, 12 p., 103501.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  6. Published

    A cascade of deep learning fuzzy rule-based image classifier and SVM

    Angelov, P. P. & Gu, X., 5/10/2017, Systems, Man, and Cybernetics (SMC), 2017 IEEE International Conference on: Human Intelligence for Systems and Cybernetics. IEEE, p. 746-751 6 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    Mobile Live Video Streaming Optimization via Crowdsourcing Brokerage

    Wu, T., Dou, W., Ni, Q., Yu, S. & Chen, G., 10/2017, In: IEEE Transactions on Multimedia. 19, 10, p. 2267-2281 15 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  8. Published

    Self-organized Relay Selection for Cooperative Transmission in Vehicular Ad-hoc Networks

    Tian, D., Zhou, J., Sheng, Z., Chen, M., Ni, Q. & Leung, V. C. M., 10/2017, In: IEEE Transactions on Vehicular Technology. 66, 10, p. 9534-9549 16 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  9. Published

    Optical identification using imperfections in 2D materials

    Cao, Y., Robson, A. J., Alharbi, A., Roberts, J., Woodhead, C., Noori, Y., Bernardo Gavito, R., Roedig, U., Falko, V. & Young, R. J., 28/09/2017, In: 2D Materials. 4, 4, 8 p., 045021.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

    Lagrangian Large Signal Model for Double Corrugated Waveguides

    Waring, R. & Paoloni, C., 25/09/2017.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper

  11. Published

    Developers Need Support, Too: A Survey of Security Advice for Software Developers

    Acar, Y., Stransky, C., Wermke, D., Weir, C. A. F., Mazurek, M. & Fahl, S., 24/09/2017, Proceedings of the IEEE Secure Development Conference 2017. Jaeger, T. (ed.). IEEE, p. 22-26 5 p. 17

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Previous 1...53 54 55 56 57 58 59 60 ...257 Next

Back to top