Home > Research > Security Lancaster (Systems Security) > Publications & Outputs
View graph of relations

Security Lancaster (Systems Security)

  1. 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/ISSNConference contribution/Paperpeer-review

  2. 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/ISSNConference contribution/Paperpeer-review

  3. 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/ISSNConference contribution/Paperpeer-review

  4. 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/ISSNConference contribution/Paperpeer-review

  5. 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/ISSNConference contribution/Paperpeer-review

  6. 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/ISSNConference contribution/Paperpeer-review

  7. 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/ISSNChapter

  8. 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/ISSNConference contribution/Paperpeer-review

  9. 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/MagazineJournal articlepeer-review

  10. 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 paperpeer-review

  11. 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/ISSNConference contribution/Paperpeer-review

  12. 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/MagazineJournal articlepeer-review

  13. 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 Posterpeer-review

  14. 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/ISSNConference contribution/Paperpeer-review

  15. 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/MagazineJournal articlepeer-review

  16. 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/MagazineJournal articlepeer-review

  17. 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/ISSNConference contribution/Paperpeer-review

  18. 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/ISSNConference contribution/Paperpeer-review

  19. 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/MagazineJournal articlepeer-review

  20. 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/MagazineJournal articlepeer-review

  21. 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/MagazineJournal articlepeer-review

  22. 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/MagazineJournal articlepeer-review

  23. 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/ISSNChapter

  24. 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/ISSNChapter

  25. Published

    On equivalence partitioning of code paths inside OS kernel components

    Sârbu, C., Nagappan, N. & Suri, N., 17/03/2009, 2009 Software Technologies for Future Dependable Distributed Systems. IEEE, p. 17-19 3 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  26. Published

    Curriculum innovation: reflection on MSci Integrated Masters with Industrial Experience

    Sas, C., Mauthe, A. U., Mills, S., McLaughlin, C. I., Finney, J. & Fish, S. A., 28/01/2016. 7 p.

    Research output: Contribution to conference - Without ISBN/ISSN Conference paperpeer-review

  27. Published

    Physecology: A Conceptual Framework to describe Data Physicalizations in their Real-World Context

    Sauvé, K., Sturdee, M. & Houben, S., 30/06/2022, In: ACM Transactions on Computer-Human Interaction (TOCHI). 29, 3, p. 1-33 33 p., 27.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  28. Published

    MapRecorder: Analysing real-world usage of mobile map applications

    Savino, G-L., Sturdee, M., Rundé, S., Lohmeier, C., Hecht, B., Prandi, C., Nunes, N. J. & Schöning, J., 31/07/2021, In: Behaviour and Information Technology. 40, 7, p. 646-662 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  29. Published

    Cycling@CHI: Towards a Research Agenda for HCI in the Bike Lane

    Savino, G. L., von Sawitzky, T., Matviienko, A., Sturdee, M., Woźniak, P. W., Löchtefeld, M., Kun, A. L., Riener, A. & Häkkilä, J., 8/05/2021, Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021. New York: ACM, p. 107:1-107:5 5 p. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  30. Published

    Named Data Networking: A survey

    Saxena, D., Raychoudhury, V., Suri, N., Becker, C. & Cao, J., 28/02/2016, In: Computer Science Review. 19, p. 15-55 41 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  31. Published

    Reliable Memory Efficient Name Forwarding in Named Data Networking

    Saxena, D., Raychoudhury, V., Becker, C. & Suri, N., 24/08/2016, 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES). IEEE, p. 48-55 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  32. Published

    Program and abstracts of 2015 IEEE International Conference on Evolving and Adaptive Intelligent Systems (EAIS)

    Sayed-Mouchaweh, M. (ed.), Fleury, A. (ed.), Angelov, P. P. (ed.), Lughofer, E. (ed.) & Iglesias, J. A. (ed.), 3/12/2015, IEEE. 26 p.

    Research output: Book/Report/ProceedingsProceedings

  33. Published

    Policy-driven Network Simulation: a Resilience Case Study

    Schaeffer-Filho, A., Smith, P. & Mauthe, A., 2011, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11. ACM

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  34. Published

    A framework for the design and evaluation of network resilience management

    Schaeffer-Filho, A., Smith, P., Mauthe, A., Hutchison, D., Yu, Y. & Fry, M., 1/04/2012, Network Operations and Management Symposium (NOMS), 2012 IEEE. IEEE, p. 401-408 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  35. Published

    PReSET: a toolset for the evaluation of network resilience strategies

    Schaeffer-Filho, A., Mauthe, A., Hutchison, D., Smith, P., Yu, Y. & Fry, M., 1/05/2013, Integrated Network Management (IM 2013), 2013 IFIP/IEEE International Symposium on. Piscataway, N.J.: IEEE, p. 202-209 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  36. Published

    Simulation and evaluation of network resilience with PReSET

    Schaeffer-Filho, A., Mauthe, A., Hutchison, D., Smith, P., Yu, Y. & Fry, M., 1/05/2013, Integrated Network Management (IM 2013), 2013 IFIP/IEEE International Symposium on. Piscataway, N.J.: IEEE, p. 1086-1087 2 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  37. Published

    Network resilience with reusable management patterns

    Schaeffer-Filho, A., Smith, P., Mauthe, A. & Hutchison, D., 07/2014, In: IEEE Communications Magazine. 52, 7, p. 105-115 11 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  38. Published

    Management patterns for network resilience: design and verification of policy configurations

    Schaeffer-Filho, A., Smith, P., Mauthe, A. & Hutchison, D., 2014, Cyberpatterns: unifying design patterns with security and attack patterns. Switzerland: Springer International Publishing, Vol. 3. p. 85-95 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  39. Published

    Towards a Decision Engine for Self-Remediating Resilient Networks

    Schäfer, T., Smith, P., Schöller, M., Mohammad, A. J., Rohrer, J. P., Hutchison, D. & Sterbenz, J., 11/09/2007.

    Research output: Contribution to conference - Without ISBN/ISSN Posterpeer-review

  40. Published

    A security architecture for railway signalling

    Schlehuber, C., Heinrich, M., Vateva-Gurova, T., Katzenbeisser, S., Suri, N., Bitsch, F. (ed.), Tonetta, S. (ed.) & Schoitsch, E. (ed.), 17/08/2017, Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Springer-Verlag, Vol. 10488 LNCS. p. 320-328 9 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  41. Published

    Challenges and approaches in securing safety-relevant railway signalling

    Schlehuber, C., Heinrich, M., Vateva-Gurova, T., Katzenbeisser, S. & Suri, N., 26/04/2017, 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE, p. 139-145 7 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  42. Published

    Worst case dimensioning of wireless sensor networks under uncertain topologies

    Schmitt, J. & Roedig, U., 1/04/2005, Proceedings of the 1st workshop on Resource Allocation in Wireless NETworks (RAWNET2005), Trento, Italy. IEEE Computer Society Press

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  43. Published

    Sensor Network Calculus with Multiple Sinks

    Schmitt, J., Zdarsky, F. & Roedig, U., 05/2006, Proceedings of the Performance Control in Wireless Sensor Networks Workshop at the 2006 IFIP Networking Conference. p. 6-13 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  44. Published

    Hacker Contest: Sicherheitsprobleme, Lösungen, Beispiele

    Schumacher, M., Roedig, U. & Moschgath, M. L., 2003, Springer Verlag. 320 p. (Xpert.press)

    Research output: Book/Report/ProceedingsBook

  45. Published

    Security engineering with patterns

    Schumacher, M. & Roedig, U., 1/09/2001, Proceedings of the 8th Conference on Pattern Languages of Programs (PLoP 2001).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  46. Published

    How to Fillet a Penguin: Runtime Data Driven Partitioning of Linux Code

    Schwahn, O., Winter, S., Coppik, N. & Suri, N., 1/11/2018, In: IEEE Transactions on Dependable and Secure Computing. 15, 6, p. 945-958 14 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  47. Published

    FastFI: Accelerating software fault injections

    Schwahn, O., Coppik, N., Winter, S. & Suri, N., 4/12/2018, 2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, p. 193-202 10 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  48. Published

    Assessing the state and improving the art of parallel testing for C

    Schwahn, O., Coppik, N., Winter, S. & Suri, N., 15/07/2019, ISSTA 2019 Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM, p. 123-133 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  49. Published

    Application-level diagnostic and membership protocols for generic time-triggered systems

    Serafini, M., Bokor, P., Suri, N., Vinter, J., Ademaj, A., Brandstätter, W., Tagliabo, F. & Koch, J., 1/03/2011, In: IEEE Transactions on Dependable and Secure Computing. 8, 2, p. 177-193 17 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

  50. Published

    Online diagnosis and recovery: On the choice and impact of tuning parameters

    Serafini, M., Bondavalli, A. & Suri, N., 12/11/2007, In: IEEE Transactions on Dependable and Secure Computing. 4, 4, p. 295-312 18 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review

Back to top