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

Research

View graph of relations

Security Lancaster (Systems Security)

1901 - 1925 out of 2,543Page size: 25
RSS feed of this list
  1. Published

    A Fast Recursive Approach to Autonomous Detection, Identification and Tracking of Multiple Objects in Video Streams under Uncertainties

    Sadeghi-Tehran, P., Angelov, P. & Ramezani, R., 07/2010, Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part II. Hüllermeier, E., Kruse, R. & Hoffmann, F. (eds.). Berlin: Springer, p. 30-43 14 p. (Communications in Computer and Information Science; vol. 81).

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

  2. Published

    Self-evolving parameter-free Rule-based Controller: SPARC

    Sadeghi-Tehran, P., Cara, A., Angelov, P., Pomares, H., Rojas, I. & Prieto, A., 2012, Fuzzy Systems (FUZZ-IEEE), 2012 IEEE International Conference on. IEEE, p. 754-761 8 p.

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

  3. Published

    Autonomous visual self-localization in completely unknown environment

    Sadeghi-Tehran, P., Behera, S., Angelov, P. & Andreu, J., 05/2012, Evolving and Adaptive Intelligent Systems (EAIS), 2012 IEEE Conference on. IEEE, p. 90-95 6 p.

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

  4. Published

    A Real-time Approach for Novelty Detection and Trajectories Analysis for Anomaly Recognition in Video Surveillance Systems

    Sadeghi-Tehran, P. & Angelov, P., 2012, Evolving and Adaptive Intelligent Systems (EAIS), 2012 IEEE Conference on . IEEE, p. 108-113 6 p.

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

  5. Published

    Online Self-Evolving Fuzzy Controller for Autonomous Mobile Robots

    Sadeghi-Tehran, P. & Angelov, P., 04/2011, Evolving and Adaptive Intelligent Systems (EAIS), 2011 IEEE Workshop on . IEEE, p. 100-107 8 p.

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

  6. Published

    Analysing Design Approaches for the Power Consumption in Cyber-Physical Systems

    Sailer, P., Ivkic, I., Tauber, M., Mauthe, A. & Gouglidis, A., 30/06/2021, 17th IFIP/IEEE International Symposium on Integrated Network Management (IM 2021): 2nd IEEE/IFIP International Workshop on Management for Industry 4.0 (MFI 4.0). IEEE, p. 908-913 6 p.

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

  7. Published

    Efficient verification of distributed protocols using stateful model checking

    Saissi, H., Bokor, P., Muftuoglu, C. A., Suri, N. & Serafini, M., 30/09/2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems. IEEE, p. 133-142 10 p.

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

  8. Published

    PBMC: Symbolic slicing for the verification of concurrent programs

    Saissi, H., Bokor, P. & Suri, N., 2015, Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Springer-Verlag, Vol. 9364. p. 344-360 17 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  9. Published

    Trace Sanitizer: Eliminating the Effects of Non-Determinism of Error Propagation Analysis

    Saissi, H., Winter, S., Schwahn, O., Pattabiraman, K. & Suri, N., 23/06/2020, 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE, 12 p.

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

  10. Published

    Pushing the Capture Limit of Thermionic Gun Linacs

    Saitiniyazi, S., Castilla Loeza, A., McKenzie, J., Apsimon, R., Militsyn, B., Angal-Kalinin, D. & Burt, G., 16/08/2021, In: Physical Review Accelerators and Beams. 24, 8, 12 p., 080401.

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

  11. Published

    Dependable and cost-effective architecture for X-by-wire systems with membership middleware

    Sakurai, K., Matsubara, M., Serafini, M. & Suri, N., 2008, p. 160-169. 10 p.

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

  12. Published

    Aiding modular design and verification of safety-critical time-triggered systems by use of executable formal specifications

    Sakurai, K., Bokor, P. & Suri, N., 3/12/2008, 2008 11th IEEE High Assurance Systems Engineering Symposium. IEEE, p. 261-270 10 p.

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

  13. Published

    Differentiating sexual violence: A comparison of sexual homicide and rape.

    Salfati, C. G. & Taylor, P. J., 2006, In: Psychology, Crime and Law. 12, 2, p. 107-125 19 p.

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

  14. Published

    Network Coding with Limited Overhearing

    Samarasinghe, K., Voigt, T., Mottola, L. & Roedig, U., 23/02/2011.

    Research output: Contribution to conference - Without ISBN/ISSN › Poster › peer-review

  15. Published

    Daleel: simplifying cloud instance selection using machine learning

    Samreen, F., El Khatib, Y., Rowe, M. C. & Blair, G. S., 25/04/2016, Network Operations and Management Symposium (NOMS), 2016 IEEE/IFIP. IEEE, (Network Operations and Management Symposium (NOMS), 2016 IEEE/IFIP).

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

  16. Published

    Compression of Frequency-Modulated Pulses using Helically Corrugated Waveguides and Its Potential for Generating Multigigawatt rf Radiation

    Samsonov, S. V., Phelps, A. D. R., Bratman, V. L., Burt, G., Denisov, G. G., Cross, A. W., Ronald, K., He, W. & Yin, H., 2004, In: Physical review letters. 92, 11, p. 118301 -118301

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

  17. Published

    Design of a high-gain silicon BJT and an E- pHEMT hybrid matrix amplifier with an optimum filter-matching technique

    Sangaran, P., Narendra, K. & Paoloni, C., 2/10/2019, In: IET Microwaves, Antennas and Propagation. 13, 12, p. 2153 – 2158 6 p.

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

  18. Published

    Modelling video rate evolution in adaptive bitrate selection

    Sani, Y., Mauthe, A. U. & Edwards, C. J., 14/12/2015, Proceedings of IEEE International Symposium on Multimedia, ISM 2015. IEEE, p. 89-94 6 p.

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

  19. Published

    A bio-inspired HTTP-based Adaptive Streaming Player

    Sani, Y., Mauthe, A. U., Edwards, C. J. & Mu, M., 11/07/2016, Multimedia & Expo Workshops (ICMEW), 2016 IEEE International Conference on. IEEE, 4 p.

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

  20. Published

    On the trajectory of video quality transition in HTTP adaptive video streaming

    Sani, Y., Mauthe, A. U. & Edwards, C. J., 06/2018, In: Multimedia Systems. 24, 3, p. 327-340 14 p.

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

  21. Published

    Adaptive bitrate selection: a survey

    Sani, Y., Mauthe, A. U. & Edwards, C. J., 11/2017, In: Communications Surveys and Tutorials, IEEE Communications Society. 19, 4, p. 2985-3014 30 p.

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

  22. E-pub ahead of print

    Experimental evaluation of the impact of mobility management protocols on HTTP adaptive streaming

    Sani, Y., Isah, M., Edwards, C. J. & Mauthe, A. U., 1/08/2017, (E-pub ahead of print) In: IET Networks.

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

  23. Published

    Profiling the operational behavior of OS device drivers

    Sârbu, C., Johansson, A., Suri, N. & Nagappan, N., 1/08/2010, In: Empirical Software Engineering. 15, 4, p. 380-422 43 p.

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

  24. Published

    Improving robustness testing of COTS OS extensions

    Sârbu, C., Johansson, A., Fraikin, F. & Suri, N., 2006, Service Availability: Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers. Springer-Verlag, Vol. 4328 LNCS. p. 120-139 20 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  25. Published

    Execution path profiling for OS device drivers: Viability and methodology

    Sârbu, C., Johansson, A. & Suri, N., 2008, Service Availability: 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings. Vol. 5017 LNCS. p. 90-109 20 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Previous 1...73 74 75 76 77 78 79 80 ...102 Next

Back to top