Home > Research > Security Lancaster > Publications & Outputs

Research

View graph of relations

Security Lancaster

301 - 400 out of 3,564Page size: 100
RSS feed of this list
  1. Published

    Patterns of Interaction in Police Interviews: The Role of Cultural Dependency

    Beune, K., Giebels, E. & Taylor, P. J., 08/2010, In: Criminal Justice and Behavior. 37, 8, p. 904-925 22 p.

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

  2. Published

    RDE with forgetting: an approximate solution for large values of k with an application to fault detection problems

    Bezerra, C. G., Costa, B., Guedes, L. A. & Angelov, P., 2015, Statistical learning and data sciences: Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings. Gammerman, A., Vovk, V. & Papadopoulos, H. (eds.). Springer, p. 169-178 10 p. (Lecture Notes in Computer Science; vol. 9047).

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

  3. Published

    A comparative study of autonomous learning outlier detection methods applied to fault detection

    Bezerra, C. G., Costa, B. S. J., Guedes, L. A. & Angelov, P. P., 08/2015, Proceedings of the 2015 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) . IEEE, p. 1-7 7 p.

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

  4. Published

    Video foreground detection based on symmetric alpha-stable mixture models.

    Bhaskar, H., Mihaylova, L. & Achim, A., 08/2010, In: IEEE Transactions on Circuits and Systems for Video Technology. 20, 8, p. 1133-1138 6 p.

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

  5. Published

    Combined data association and evolving particle filter for tracking of multiple articulated objects.

    Bhaskar, H. & Mihaylova, L., 15/03/2011, In: EURASIP Journal on Image and Video Processing. 2011, p. 1-12 12 p.

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

  6. Published

    Articulated Human Body Parts Detection Based on Cluster Background Subtraction and Foreground Matching

    Bhaskar, H., Mihaylova, L. & Maskell, S., 16/01/2013, In: Neurocomputing. 100, 1, p. 58-73 16 p.

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

  7. Published

    Population based particle filtering

    Bhaskar, H., Mihaylova, L. & Maskell, S., 15/04/2008, IET Seminar on Target Tracking and Data Fusion: Algorithms and Applications, 2008 . IEEE, p. 31-38 8 p.

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

  8. Published

    Combined Feature-Level Video Indexing Using Block-Based Motion Estimation.

    Bhaskar, H. & Mihaylova, L., 28/07/2010, 13th Conference on Information Fusion (FUSION), 2010. IEEE, p. 1-8 8 p.

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

  9. Published

    Automatic object detection based on adaptive background subtraction using symmetric alpha stable distribution

    Bhaskar, H., Mihaylova, L. & Maskell, S., 15/04/2008, Target Tracking and Data Fusion: Algorithms and Applications, 2008 IET Seminar on. p. 197 - 203 7 p.

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

  10. Published

    Automatic Target Detection Based on Background Modeling Using Adaptive Cluster Density Estimation

    Bhaskar, H., Mihaylova, L. & Maskell, S., 09/2007, Proceedings from the 3rd German Workshop on Sensor Data Fusion: Trends, Solutions, Applications. Koschke, R. (ed.). Bonn: Gesellschaft für Informatik, p. 130-134 5 p.

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

  11. Published

    The feasibility of determining the effectiveness and cost-effectiveness of medication organisation devices compared with usual care for older people in a community setting: systematic review, stakeholder focus groups and feasibility randomised controlled trial

    Bhattacharya, D., Aldus, C., Barton, G., Bond, C., Boonyaprapa, S., Charles, I., Fleetcroft, R., Holland, R., Jerosch-Herold, C., Salter, C., Shepstone, L., Walton, C., Watson, S. J. & Wright, D., 7/07/2016, In: Health Technology Assessment. 20, 50, 175 p.

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

  12. Published

    Lifetime Bounds of Wireless Sensor Networks Preserving Perfect Sink Unobservability

    Bicakci, K., Bagci, I. E. & Tavli, B., 02/2011, In: IEEE Communications Letters. 15, 2, p. 205-207 3 p.

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

  13. Published

    Maximizing lifetime of event-unobservable wireless sensor networks

    Bicakci, K., Gultekin, H., Tavli, B. & Bagci, I. E., 06/2011, In: Computer Standards and Interfaces. 33, 4, p. 401-410 10 p.

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

  14. Published

    Communication/computation tradeoffs for prolonging network lifetime in wireless sensor networks: The case of digital signatures

    Bicakci, K., Bagci, I. E. & Tavli, B., 1/04/2012, In: Information Sciences. 188, p. 44-63 20 p.

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

  15. Published

    Neighbor sensor networks: Increasing lifetime and eliminating partitioning through cooperation

    Bicakci, K., Bagci, I. E., Tavli, B. & Pala, Z., 06/2013, In: Computer Standards and Interfaces. 35, 4, p. 396-402 7 p.

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

  16. Published

    Harmonized monitoring for high assurance clouds

    Bicaku, A., Balaban, S., Tauber, M., Hudic, A., Mauthe, A. U. & Hutchison, D., 8/04/2016, 2016 IEEE International Conference on Cloud Engineering Workshop (IC2EW). IEEE, p. 118-123 6 p.

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

  17. Published

    Enhancing FPGA robustness via generic monitoring IP cores

    Biedermann, A., Piper, T., Patzina, L., Patzina, S., Huss, S. A., Schürr, A. & Suri, N., 2011, Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PECCS, 2011, Vilamoura, Algarve, Portugal. SciTePress, p. 379-386 8 p.

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

  18. Published

    Cold-test analysis of H-plane and E-plane loaded rectangular slow-ware structure

    Billa, L. R., Li, X., Huang, X., Paoloni, C., Muhammad, N. A. & Chen, X., 11/09/2017, 2017 10th UK-Europe-China Workshop on Millimetre Waves and Terahertz Technologies (UCMMT). IEEE, 2 p.

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

  19. Published

    Model Leeching: An Extraction Attack Targeting LLMs

    Birch, L., Hackett, W., Trawicki, S., Suri, N. & Garraghan, P., 20/10/2023.

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

  20. Published

    A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems

    Birkholz, H., Krauß, C., Zhdanova, M., Kuzhiyelil, D., Arul, T., Heinrich, M., Katzenbeisser, S., Suri, N., Vateva-Gurova, T. & Schlehuber, C., 25/06/2018. 4 p.

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

  21. Published

    Hybrid 2D Membrane-Nanoparticle Heterostructures via Langmuir-Blodgett Deposition

    Black, A., Roberts, J., Acebron, M., Bernardo Gavito, R., Alsharif, G., J. Urbanos, F., Juarez, B. H., Granados, D., Robinson, B. J., Vázquez De Parga, A. L. & Young, R. J., 13/05/2017.

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

  22. Published

    Large-Area 2D-0D Heterostructures via Langmuir-Blodgett Film Deposition

    Black, A., Roberts, J., Acebron, M., Bernardo Gavito, R., Alsharif, G., J. Urbanos, F., Juarez, B. H., Granados, D., Robinson, B. J., Vázquez De Parga, A. L. & Young, R. J., 26/04/2017.

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

  23. Published

    Large Area Heterostructures from Graphene and Silica Encapsulated Colloidal Quantum Dots via the Langmuir-Blodgett Method

    Black, A., Roberts, J., Acebron, M., Bernardo Gavito, R., Alsharif, G., J. Urbanos, F., Juarez, B. H., Kolosov, O. V., Robinson, B. J., Vázquez De Parga, A. L., Granados, D. & Young, R. J., 28/02/2018, In: ACS Applied Materials and Interfaces. 10, 8, p. 6805-6809 5 p., 10.

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

  24. Published

    Fault analysis in OSS based on program slicing metrics

    Black, S., Counsell, S., Hall, T. & Bowes, D., 2009, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications. IEEE, p. 3-10 8 p.

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

  25. Published

    A Cloud-based Virtual Observatory for Environmental Science

    Blair, G. S. & El-khatib, Y., 04/2011, OpenWater symposium 19th April, 2011, at UNESCO-IHE, Delft, The Netherlands : Extended abstracts. Delft: Unesco-IHE, p. 102-103 2 p.

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

  26. Published

    Holons: Towards a systematic approach to composing systems of systems

    Blair, G. S., Bromberg, Y.-D., Coulson, G., El Khatib, Y., Réveillère, L., B. Ribeiro, H., Rivière, E. & Taïani, F. G. D., 7/12/2015, ARM 2015 Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware. New York: ACM, p. 5:1 5 p. 5

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

  27. Published

    Women's Sense of Belonging in Computer Science Education: Project Report for Advance HE

    Blair, L., Widdicks, K., Ashcroft, A., Winter, E., Sturdee, M., New, K. & Thomas, L., 31/01/2021, Lancaster University. 47 p.

    Research output: Book/Report/Proceedings › Commissioned report

  28. Published

    Adaptive materials: utilising additive manufactured scaffolds to control self-organising material aggregation

    Blaney, A., Alexander, J. M., Dunn, N. S., Richards, D. C., Rennie, A. E. W. & Anwar, J., 12/2015, Proceedings of the 14th Rapid Design, Prototyping and Manufacturing Conference. Rennie, A. & Bibb, R. (eds.). Loughborough: Lancaster University, p. 49-57 8 p.

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

  29. Published

    Directing self-assembly to grow adaptive physical structures

    Blaney, A., Dunn, N. S., Alexander, J. M., Richards, D., Rennie, A. E. W. & Anwar, J., 8/02/2017, In: International Journal of Rapid Manufacturing. 6, 2-3, p. 114-133 20 p.

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

  30. Published

    Comparison approaches for identification of all-data cloud-based evolving systems

    Blazic, S., Angelov, P. & Skrjanc, I., 22/06/2015, IFAC ESCIT. IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control ESCIT, 5 p.

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

  31. Published

    The impact of temperature on outdoor industrial sensornet applications

    Boano, C. A., Tsiftes, N., Voigt, T., Brown, J. & Roedig, U., 08/2010, In: IEEE Transactions on Industrial Informatics. 6, 3, p. 451-459 9 p.

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

  32. Published

    Low-Power Radio Communication in Industrial Outdoor Deployments: The Impact of Weather Conditions and ATEX-compliance

    Boano, C. A., Brown, J., He, Z., Roedig, U. & Voigt, T., 09/2009, Sensor Applications, Experimentation, and Logistics : First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers. Komninos, N. (ed.). Berlin: Springer, p. 159-176 18 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 29).

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

  33. Published

    Hot packets: a systematic evaluation of the effect of temperature on low power wireless transceivers

    Boano, C. A., Wennerstrom, H., Zuniga, M. A., Brown, J., Keppitiyagama, C., Oppermann, F. J., Roedig, U., Norden, L.-A., Voigt, T. & Roemer, K., 08/2013.

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

  34. Published

    TempLab: a testbed infrastructure to study the impact of temperature on wireless sensor networks

    Boano, C. A., Zuniga, M. A., Brown, J., Roedig, U., Keppitiyagama, C. & Roemer, K., 15/04/2014, Proceedings of the 13th International Conference on Information Processing in Sensor Networks (IPSN '14). New York: ACM, p. 95-106 12 p.

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

  35. Published

    Demo abstract: A testbed infrastructure to study the impact of temperature on WSN

    Boano, C. A., Roemer, K., Brown, J., Roedig, U. & Zúñiga, M. A., 24/03/2014, Pervasive Computing and Communications Workshops (PERCOM Workshops), 2014 IEEE International Conference on. IEEE, p. 154-156 3 p.

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

  36. Unpublished

    Demonstration of the CompactPSH Incentive Scheme in a Peer-to-Peer Streaming Application

    Bocek, T., El-khatib, Y., Hecht, F. V., Hausheer, D. & Stiller, B., 10/2009, (Unpublished).

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

  37. Published

    CompactPSH: An Efficient Transitive TFT Incentive Scheme for Peer-to-Peer Networks

    Bocek, T., Hecht, F. V., Hausheer, D., Stiller, B. & El-khatib, Y., 10/2009, Local Computer Networks, 2009. LCN 2009. IEEE 34th Conference on. IEEE, p. 483-490 8 p.

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

  38. Published

    Synthesizing and verifying controllers for multi-lane traffic maneuvers

    Bochmann, G. V., Hilscher, M., Linker, S. & Olderog, E.-R., 13/07/2017, In: Formal Aspects of Computing. 29, p. 583–600 18 p.

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

  39. Published

    SPLLIFT: statically analyzing software product lines in minutes instead of years

    Bodden, E., Tolêdo, T., Ribeiro, M., Brabrand, C., Borba, P. & Mezini, M., 2013, Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation (PLDI 2013). New York, NY, USA: ACM, p. 355-364 10 p.

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

  40. Published

    A compositional stochastic model for real-time freeway traffic simulation.

    Boel, R. & Mihaylova, L., 05/2006, In: Transportation Research Part B: Methodological. 40, 4, p. 319-334 16 p.

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

  41. Published

    Modelling freeway networks by hybrid stochastic models

    Boel, R. & Mihaylova, L., 15/07/2004, Intelligent Vehicles Symposium, 2004 IEEE. p. 182 - 187 6 p.

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

  42. Published

    Sustaining property verification of synchronous dependable protocols over implementation

    Bokor, P., Serafini, M., Sisak, Á., Pataricza, A. & Suri, N., 14/11/2007, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07). IEEE, p. 169-178 10 p.

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

  43. Published

    Role-based symmetry reduction of fault-tolerant distributed protocols with language support

    Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings. Springer, Vol. 5885 LNCS. p. 147-166 20 p.

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

  44. Published

    On efficient models for model checking message-passing distributed protocols

    Bokor, P., Serafini, M. & Suri, N., 2010, Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer, Vol. 6117 LNCS. p. 216-223 8 p.

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

  45. Published

    Efficient model checking of fault-tolerant distributed protocols

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 27/06/2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN). IEEE, p. 73-84 12 p.

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

  46. Published

    Supporting domain-specific state space reductions through local partial-order reduction

    Bokor, P., Kinder, J., Serafini, M. & Suri, N., 6/11/2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). IEEE, p. 113-122 10 p.

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

  47. Published

    Brief Announcement: Efficient Model Checking of Fault-Tolerant Distributed Protocols Using Symmetry Reduction

    Bokor, P., Serafini, M., Suri, N. & Veith, H., 2009, Distributed Computing: 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009. Proceedings. Springer, p. 289-290 2 p.

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

  48. Published

    Pseudodiagnosticity misdiagnosed?

    Bond, R., Ormerod, T. & Ball, L., 26/07/2013.

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

  49. Published

    Associations between interrelated dimensions of socio-economic status, higher risk drinking and mental health in South East London: A cross-sectional study

    Boniface, S., Lewer, D., Hatch, S. & Goodwin, L., 14/02/2020, In: PLoS ONE. 15, 2, 12 p., e0229093.

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

  50. Published

    Transformers: Intrusion Detection Data In Disguise

    Boorman, J., Prince, D. & Green, B., 18/09/2020.

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

  51. Published

    LoRa Transmission Parameter Selection

    Bor, M. & Roedig, U., 5/06/2017, 2017 13th International Conference on Distributed Computing in Sensor Systems (DCOSS). IEEE, p. 27-34 8 p.

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

  52. Published

    Adversarial Machine Learning in Smart Energy Systems

    Bor, M., Marnerides, A., Molineux, A., Wattam, S. & Roedig, U., 25/06/2019, e-Energy '19 Proceedings of the Tenth ACM International Conference on Future Energy Systems. New York: ACM, p. 413-415 3 p.

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

  53. Published

    Trimmer: Cost-Efficient Deep Learning Auto-tuning for Cloud Datacenters

    Borowiec, D., Yeung, G.-F., Friday, A., Harper, R. H. R. & Garraghan, P., 24/08/2022, Proceedings - 2022 IEEE 15th International Conference on Cloud Computing, CLOUD 2022. IEEE, p. 374-384 11 p.

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

  54. Published

    DOPpler: Parallel Measurement Infrastructure for Auto-tuning Deep Learning Tensor Programs

    Borowiec, D., Yeung, G.-F., Friday, A., Harper, R. H. R. & Garraghan, P., 31/07/2023, In: IEEE Transactions on Parallel and Distributed Systems. 34, 7, p. 2208-2220 13 p.

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

  55. Published

    LIGA-based Slow Wave Structure for a THz Vacuum Amplifier

    Bouamrane, F., Bouvet, T., Megtert, S., Brunetti, F., Mineo, M., Paoloni, C., Tamburri, E., Terranova, M. L., Ulisse, G., Di Carlo, A., Marchesin, R., Pham, K., Durand, A. J., Kotiranta, M., Krozer, V., Guiset, P., De Rossi, A., Schnell, J. P., Legagneux, P. & Dolfi, D. & 6 others, Fiorello, A. M., Dispenza, M., Secchi, A., Zhurbenko, V., Gohier, A. & Cojocaru, C.-S., 06/2011, Proceedings of High Aspect Ratio Micro Structure Conference HARMST 2011. Taiwan, 1 p.

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

  56. Published

    LIGA-based Slow Wave Structure for a THz Vacuum Amplifier

    Bouamrane, F., Di Carlo, A., Durand, A. J., Kotiranta, M., Krozer, V., Zhurbenko, V., Mineo, M. & Paoloni, C., 2013. 2 p.

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

  57. Published

    Modeling Server Workloads for Campus Email Traffic Using Recurrent Neural Networks

    Boukoros, S., Nugaliyadde, A., Marnerides, A., Vassilakis, C., Koutsakis, P. & Wai Wong, K., 14/11/2017, Neural Information Processing. ICONIP 2017. Liu, D., Xie, S., Li, Y., Zhou, D. & El-Alfy, E. S. (eds.). Cham: Springer, p. 57-66 10 p. (Lecture Notes in Computer Science; vol. 10638).

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

  58. Published

    Software defect prediction: do different classifiers find the same defects?

    Bowes, D., Hall, T. & Petrić, J., 1/06/2018, In: Software Quality Journal. 26, 2, p. 525-552 28 p.

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

  59. Published

    Getting defect prediction into industrial practice: The ELFF tool

    Bowes, D., Counsell, S., Hall, T., Petric, J. & Shippey, T., 14/11/2017, Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017. Institute of Electrical and Electronics Engineers Inc., p. 44-47 4 p. 8109247

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

  60. Published

    Different classifiers find different defects although with different level of consistency

    Bowes, D., Hall, T. & Petrić, J., 21/10/2015, PROMISE '15 Proceedings of the 11th International Conference on Predictive Models and Data Analytics in Software Engineering. New York: Association for Computing Machinery, Inc, 10 p.

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

  61. Published

    How Good Are My Tests?

    Bowes, D., Hall, T., Petrić, J., Shippey, T. & Turhan, B., 3/07/2017, 2017 IEEE/ACM 8th Workshop on Emerging Trends in Software Metrics (WETSoM). IEEE Computer Society, p. 9-14 6 p. 7968009. (2017 IEEE/ACM 8th Workshop on Emerging Trends in Software Metrics (WETSoM)).

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

  62. Published

    Mutation-aware fault prediction

    Bowes, D., Hall, T., Harman, M., Jia, Y., Sarro, F. & Wu, F., 18/07/2016, ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, Inc, p. 330-341 12 p.

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

  63. Published

    DConfusion: A technique to allow cross study performance evaluation of fault prediction studies

    Bowes, D., Hall, T. & Gray, D., 04/2014, In: Automated Software Engineering. 21, 2, p. 287-313 27 p.

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

  64. Published

    The inconsistent measurement of Message Chains

    Bowes, D., Randall, D. & Hall, T., 2013, 2013 4th International Workshop on Emerging Trends in Software Metrics (WETSoM). IEEE, p. 62-68 7 p.

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

  65. Published

    Comparing the performance of fault prediction models which report multiple performance measures: Recomputing the confusion matrix

    Bowes, D., Hall, T. & Gray, D., 2012, PROMISE '12 Proceedings of the 8th International Conference on Predictive Models in Software Engineering. ACM, p. 109-118 10 p.

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

  66. Published

    SLuRp: A tool to help large complex systematic literature reviews deliver calid and rigorous results

    Bowes, D., Hall, T. & Beecham, S., 2012, EAST'12 - Proceedings of the 2nd International Workshop on Evidential Assessment of Software Technologies. ACM, p. 33-36 4 p.

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

  67. Published

    Program slicing-based cohesion measurement: The challenges of replicating studies using metrics

    Bowes, D., Hall, T. & Kerr, A., 2011, WETSoM '11 Proceedings of the 2nd International Workshop on Emerging Trends in Software Metrics. ACM, p. 75-80 6 p.

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

  68. Published

    A formally verified SMT approach to true concurrency

    Bowles, J. & Caminati, M. B., 24/10/2020, Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020.

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

  69. Published

    Correct composition in the presence of behavioural conflicts and dephasing

    Bowles, J. & Caminati, M. B., 15/10/2019, In: Science of Computer Programming. 185, 102323.

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

  70. Published

    An integrated approach to a combinatorial optimisation problem

    Bowles, J. & Caminati, M. B., 22/11/2019, Integrated Formal Methods. Springer, Vol. 11918. p. 204-382

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

  71. Published

    A framework for automated conflict detection and resolution in medical guidelines

    Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1/08/2019, In: Science of Computer Programming. p. 42-63

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

  72. Published

    Balancing prescriptions with constraint solvers

    Bowles, J. & Caminati, M. B., 12/06/2019, Automated Reasoning for Systems Biology and Medicine. Springer, Vol. 30.

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

  73. Published

    An integrated framework for verifying multiple care pathways

    Bowles, J., Caminati, M. B. & Cha, S., 7/02/2018, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 17595273

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

  74. Published

    A flexible approach for finding optimal paths with minimal conflicts

    Bowles, J. & Caminati, M. B., 11/10/2017, ICFEM: International Conference on Formal Engineering Methods. Springer, Vol. 10610. p. 209-225

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

  75. Published

    A verified algorithm enumerating event structures

    Bowles, J. & Caminati, M. B., 28/06/2017, Intelligent Computer Mathematics. Springer, Vol. 10383.

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

  76. Published

    Correct composition of dephased behavioural models

    Bowles, J. & Caminati, M. B., 14/09/2017, Formal Aspects of Component Software: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings 14. Springer, Vol. 10487.

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

  77. Published

    Mind the gap: addressing behavioural inconsistencies with formal methods

    Bowles, J. & Caminati, M. B., 6/12/2016, 2016 23rd Asia-Pacific Software Engineering Conference (APSEC). IEEE, 16777776

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

  78. Published

    Random Double-bit Error-correcting Decomposable Codes.

    Boyarinov, I., Martin, I. & Honary, B., 02/2001, In: Electronics Letters. 37, 4, p. 228-229 2 p.

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

  79. Published

    A Class of Composite Codes with Minimum Distance 8.

    Boyarinov, I., Martin, I. & Honary, B., 10/2001, In: Problems of Information Transmission. 37, 4, p. 353-364 12 p.

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

  80. Published

    Natural Language Analysis and the Psychology of Verbal Behavior: The Past, Present, and Future States of the Field

    Boyd, R. & Schwartz, H. A., 1/01/2021, In: Journal of Language and Social Psychology. 40, 1, p. 21-41 21 p.

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

  81. Published

    Intrusion Response Systems for the 5G Networks and Beyond: A New Joint Security-vs-QoS Optimization Approach

    Bozorgchenani, A., Zarakovitis, C. C., Chien, S. F., Ni, Q., Gouglidis, A., Mallouli, W. & Lim, H. S., 1/05/2024, In: IEEE Transactions on Network Science and Engineering. 11, 3, p. 3039-3052 14 p., 10415224.

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

  82. Published

    Threat Modelling Guided Trust-based Task Offloading for Resource-constrained Internet of Things

    Bradbury, M., Jhumka, A., Watson, T., Flores, D., Burton, J. & Butler, M., 1/05/2022, In: ACM Transactions on Sensor Networks. 18, 2, 41 p., 29.

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

  83. Published

    Information Management for Trust Computation on Resource-constrained IoT Devices

    Bradbury, M., Jhumka, A. & Watson, T., 31/10/2022, In: Future Generation Computer Systems. 135, p. 348-363 16 p.

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

  84. Forthcoming

    Attributes and Dimensions of Trust in Secure Systems

    Bradbury, M., Prince, D., Marcinkiewicz, V. & Watson, T., 7/10/2022, (Accepted/In press) STaR-IoT 1st International Workshop on Socio-technical Cybersecurity and Resilience in the Internet of Things. Delft, Netherlands, (ACM Transactions on Internet of Things).

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

  85. Published

    Quantifying Source Location Privacy Routing Performance via Divergence and Information Loss

    Bradbury, M. & Jhumka, A., 31/12/2022, In: IEEE Transactions on Information Forensics and Security. 17, p. 3890-3905 16 p.

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

  86. Published

    Autonomous or 'driverless' cars and disability: a legal and ethical analysis

    Bradshaw-Martin, H. & Easton, C., 15/12/2014, In: Web Journal of Current Legal Issues. 20, 3

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

  87. Published

    Characterising and exploiting workloads of highly interactive video-on-demand

    Brampton, A., MacQuire, A., Fry, M., Rai, I., Race, N. J. P. & Mathy, L., 1/02/2009, In: Multimedia Systems. 15, 1, p. 3-17 15 p.

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

  88. Published

    Stealth distributed hash table: a robust and flexible super-peered DHT

    Brampton, A., MacQuire, A., Rai, I., Race, N. J. P. & Mathy, L., 12/2006, Proceedings of the 2006 ACM CoNEXT conference. ACM

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

  89. Published

    Characterising User Interactivity for Sports Video-on-Demand

    Brampton, A., MacQuire, A., Rai, I., Race, N. J. P., Mathy, L. & Fry, M., 06/2007, 17th International Workshop on Network and Operating Systems Support for Digital Audio & Video (NOSSDAV’07).

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

  90. Published

    Stealth Distributed Hash Table: Unleashing the Real Potential of Peer-to-Peer

    Brampton, A., MacQuire, A., Rai, I., Race, N. J. P. & Mathy, L., 10/2005, p. 230 - 231 . 0 p.

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

  91. Published

    Sequential Monte Carlo tracking by fusing multiple cues in video sequences

    Brasnett, P. & Mihaylova, L., 08/2007, In: Image and Vision Computing. 25, 8, p. 1217-1227 11 p.

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

  92. Published

    Improved proposal distribution with gradient measures for tracking

    Brasnett, P., Mihaylova, L., Bull, D. & Canagarajah, N., 2005, Machine Learning for Signal Processing, 2005 IEEE Workshop on. p. 105 - 110 6 p.

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

  93. Published

    Particle Filtering with Multiple Cues for Object Tracking in Video Sequences

    Brasnett, P., Mihaylova, L., Canagarajah, N. & Bull, D., 16/01/2005, SPIE Proceedings. SPIE, Vol. 5685. p. 430-441 12 p.

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

  94. Published

    Three Creative Futures Methods for Imagining Life in a Post-Antibiotic World: Report on a Speculative Cross-Sector and Cross-Campus Conversation

    Braun, R., Curry, A., Gatherer, D., Kyne, K. & Spiers, E., 26/04/2020, Lancaster: Institute for Social Futures, Lancaster University, 15 p.

    Research output: Working paper

  95. Published

    A Methodology for analysing the impacts of climate change on maritime security

    Brennan, J. & Germond, B., 10/01/2024, In: Climatic Change. 177, 32 p., 15.

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

  96. Published

    Accurate crab cavity modeling for the high luminosity Large Hadron Collider

    Brett, D. R., Appleby, R. B., De Maria, R., Barranco Garcia, J., Tomas Garcia, R., Hall, B. & Burt, G., 2/10/2014, In: Physical Review Special Topics: Accelerators and Beams. 17, 10, 12 p., 104001.

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

  97. Published

    OpenCache: Exploring Efficient and Transparent Content Delivery Mechanisms for Video-on-Demand

    Broadbent, M. & Race, N., 2012, Proceedings of the 2012 ACM conference on CoNEXT student workshop. New York, NY, USA: ACM, p. 15-16 2 p.

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

  98. Published

    OpenCache: leveraging SDN to demonstrate a customisable and configurable cache

    Broadbent, M., Georgopoulos, P., Kotronis, V., Plattner, B. & Race, N., 04/2014, Computer Communications Workshops (INFOCOM WKSHPS), 2014 IEEE Conference on. Piscataway, N.J.: IEEE, p. 151-152 2 p.

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

  99. Published

    OpenCache: a software-defined content caching platform

    Broadbent, M., King, D., Baildon, S., Georgalas, N. & Race, N., 13/04/2015, Network Softwarization (NetSoft), 2015 1st IEEE Conference on. IEEE, p. 1-5 5 p.

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

  100. Published

    OpenCache: a content delivery platform for the modern internet

    Broadbent, M. H., 2016, Lancaster University. 191 p.

    Research output: Thesis › Doctoral Thesis

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

Back to top