University of Hertfordshire

Dr Catherine Menon

Catherine Menon

Dr Catherine Menon

Postal address:
University of Hertfordshire, Hatfield, Hertfordshire
United Kingdom

Publications

  1. 2019
  2. Proceedings of Abstracts Engineering and Computer Science Research Conference 2019

    Coudron, L. (ed.), Nwawe, R., Grasso, M., CHEN, Y. K., Klusak, J., Rosiello, V., Counsell, N., Herfatmanesh, M. R., Partou, H., Menon, C., Barker, T., Veneziano, V., Kirner, R., Tveretina, O., Verma, A., Lane, P., Lilley, M., Canoville, P., Robinson, M., Crook, B. & 63 othersHall, S., Kaye, R., Johnston, I., McCluskey, D., Tracey, M., Munro, I., Wang, Y., Suckow, B., Klaholz, I., Drix, D., Hafner, V. V., Schmuker, M., Sinha, A., Metzner, C., Davey, N., Adams, R. G., Steuber, V., Miko, R., Toffe, G., Ren, G., Montalvão, D., Ismail, S. O., Newman, J., Dhakal, H., Sunmola, F., Panday, D., Helian, N., Amafabia, D., David-West, O., Haritos, G., Schirmer, P., Mporas, I., Skaltsas, G., Siadati, R., Wernick, P., Sutton, S., Lekkala, H. R., Sayers, P., Khan, I., Cañamero, L., Hassan, E., Denai, M., Pissanidis, G., Goncharenko, J., Schilstra, M., Beka, N., te Boekhorst, R., Bonivart, A., Nehaniv, C., Kadir, S., Bhavsar, R., Sun, Y., Mayor, D., Steffert, T., CHEN, Y. K., Chrysanthou, A., Johnston, I., Kirner, R., Kourtessis, P., McCluskey, D., Polani, D., Steuber, V. & Sun, Y., 1 Sep 2019, University of Hertfordshire. 82 p.

    Research output: Book/ReportAnthology

  3. How a Robot's Social Credibility Affects Safety Performance

    Holthaus, P., Menon, C. & Amirabdollahian, F., 13 Aug 2019, (Accepted/In press) Proceedings of the 11th International Conference on Social Robotics: ICSR 2019. Salichs, M. A., Sam Ge, S., Barakova, E., Cabibihan, J-J., Wagner, A. R., Castro-González, Á. & He, H. (eds.). Springer

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

  4. A Gamified Prototype for Software Requirements Engineering

    Partou, H., Menon, C., Barker, T. & Veneziano, V., 17 Apr 2019.

    Research output: Contribution to conferencePresentation

  5. Does A Loss of Social Credibility Impact Robot Safety?

    Menon, C. & Holthaus, P., 28 Mar 2019, PESARO 2019: Proceedings of the 9th International Conference on Performance, Safety and Robustness in Complex Systems and Applications. Nejad, M. R. (ed.). IARIA, p. 18-25 8 p.

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

  6. 2018
  7. Sharia Law and Digital Forensics in Saudi Arabia

    Alanazi, F., Jones, A. & Menon, C., 19 Dec 2018, In : Journal of Digital Forensics, Security and Law. 13, 3, p. 5-19 15 p., 5.

    Research output: Contribution to journalArticle

  8. ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems

    Kirner, R., Menon, C. & Iacovelli, S., 8 Jun 2018, 2018 IEEE 13th International Symposium on Industrial Embedded Systems, SIES 2018 - Proceedings. IEEE, p. 190 9 p.

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

  9. Ethics and the Safety of Autonomous Systems

    Menon, C. & Alexander, R., 6 Feb 2018, Evolution of Systems Safety: Proceedings of the Twenty-sixth Safety-Critical Systems Symposium. Safety Critical Systems Club

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

  10. 2017
  11. A White Paper Discussing Ethical Considerations for Autonomous Vehicles

    Menon, C., 11 Dec 2017, Transport Systems Catapult.

    Research output: Other contribution

  12. A Safety-Case Approach to Ethical Considerations for Autonomous Vehicles

    Menon, C. & Alexander, R., 1 Nov 2017, Proceedings of the 12th International Conference on System Safety and Cyber Security. IET

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

  13. 2015
  14. Why Are I&C Modernisations So Difficult: Experiences with Requirements Engineering And Safety Demonstration in Swedish NPPs

    Menon, C. & Guerra, S., 2015, Proceedings of the 9th International Conference on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies. American Nuclear Society

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

  15. 2013
  16. Interpreting ALARP

    Menon, C., Bloomfield, R. & Clement, T., 2013, Proceedings of the 8th IET International System Safety Conference. IET

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

  17. 2010
  18. An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4

    Menon, C., Hawkins, R., McDermid, J. & Kelly, T., Feb 2010, Making Systems Safer : Proceedings of the 18th Safety-Critical Systems Symposium. Springer

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

  19. Eliciting Software Safety Requirements in Complex Systems

    Menon, C. & Kelly, T., 2010, Proceedings of the 4th Annual IEEE Systems Conference. IEEE

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

  20. Issues and Considerations for a Modular Safety Certification Approach in a Service-Oriented Architecture

    Brown, A., Fenn, J. & Menon, C., 2010, Proceedings of the 5th IET International Conference on System Safety. IET

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

  21. Managing Safety Requirements Across Supply Chains

    Menon, C. & Kelly, T., 2010, Proceedings of the 5th IET International Conference on System Safety. IET

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

  22. 2009
  23. Goal-based Safety Standards and COTS Software Selection

    Menon, C., McDermid, J. & Hubbard, P., Nov 2009, Proceedings of the 4th IET International Conference in Systems Safety. IET

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

  24. Defence Standard 00-56 Issue 4: Towards Evidence-based Safety Standards: Proceedings of the 17th Safety-Critical Systems Symposium

    Menon, C., Hawkins, R. & McDermid, J., 2009, Safety-Critical Systems: Problems, Process and Practice. Springer

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

  25. 2005
  26. Inconsistency Management and View Updates

    Menon, C., Johnson, M. & Lakos, C., 2005, In : Electronic Notes in Theoretical Computer Science. 141, 3

    Research output: Contribution to journalArticle

  27. 2004
  28. Towards a Semantic Basis for Rosetta

    Menon, C., Lakos, C. & Kong, C., 2004, In : Conferences in Research and Practice in Information Technology.

    Research output: Contribution to journalArticle

  29. 2003
  30. Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language

    Kong, C., Alexander, P. & Menon, C., Nov 2003, In : Journal of Universal Computer Science.

    Research output: Contribution to journalArticle