Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. - Cindy Kong; Perry Alexander; Catherine Menon (J. Univers. Comput. Sci., 2003)

Towards a Semantic Basis for Rosetta. - Catherine Menon; Charles Lakos (ACSC, 2004)

Inconsistency Management and View Updates. - Catherine Menon; Michael Johnson; Charles Lakos (FESCA@ETAPS, 2005)

Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. - Catherine Menon; Richard Hawkins; John A. McDermid (SSS, 2009)

An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. - Catherine Menon; Richard Hawkins; John A. McDermid; Tim Kelly (SSS, 2010)

ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems. - Saverio Iacovelli; Raimund Kirner; Catherine Menon (SIES, 2018)

Sharia Law and Digital Forensics in Saudi Arabia. - Andrew Jones 002; Fahad Alanazi; Catherine Menon (J. Digit. Forensics Secur. Law, 2018)

How a Robot's Social Credibility Affects Safety Performance. - Patrick Holthaus; Catherine Menon; Farshid Amirabdollahian (ICSR, 2019)

ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. - Catherine Menon; Saverio Iacovelli; Raimund Kirner (ISORC, 2020)

Dynamic row activation mechanism for multi-core systems. - Tareq A. Alawneh; Raimund Kirner; Catherine Menon (CF, 2021)

Towards the Resolution of Safety and Security Conflicts. - Catherine Menon; Stilianos Vidalis (ICCST, 2021)

EETAS: A Process for Examining Ethical Trade-Offs in Autonomous Systems. - Catherine Menon; Silvio Carta; Frank Förster (CHIRA, 2022)

Improving Public Engagement with Ethical Complexities of Assistive Robots. - Catherine Menon; Silvio Carta; Frank Förster; Patrick Holthaus (CHIRA (Revised Selected Papers), 2022)

Voting Item: Story-work in human-centric software engineering. - Austen Rainer; Catherine Menon (CHASE@ICSE, 2022)

Story-thinking, computational-thinking, programming and software engineering. - Austen Rainer; Catherine Menon (PPIG, 2022)

Analysis and implementation of semi-automatic model for vulnerability exploitations of threat agents in NIST databases. - Gaurav Sharma; Stilianos Vidalis; Catherine Menon; Niharika Anand (Multim. Tools Appl., 2023)

Robotic Vision and Multi-View Synergy: Action and Activity Recognition in Assisted Living Scenarios. - Mohammad Hossein Bamorovat Abadi; Mohammadreza Shahabian Alashti; Patrick Holthaus; Catherine Menon; Farshid Amirabdollahian (BioRob, 2024)

Efficient Skeleton-Based Human Activity Recognition in Ambient Assisted Living Scenarios with Multi-View CNN. - Mohamad Reza Shahabian Alashti; Mohammad Hossein Bamorovat Abadi; Patrick Holthaus; Catherine Menon; Farshid Amirabdollahian (BioRob, 2024)

Living Noise to Combat Loneliness Amongst Older UK Adults - First Insights. - Frank Förster; Krystal Warmoth; Oya Çeliktutan; Isaiah Durosaiye; Catherine Menon (HAI, 2024)

Agency Effects on Robot Trust in Different Age Groups. - Patrick Holthaus; Ali Fallahi; Frank Förster; Catherine Menon; Luke Jai Wood; Gabriella Lakatos (HAI, 2024)

EHAZOP: A Proof of Concept Ethical Hazard Analysis of an Assistive Robot. - Catherine Menon; Austen Rainer; Patrick Holthaus; Gabriella Lakatos; Silvio Carta (CoRR, 2024)