Catherine Menon

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 13

Top Topics

Digital Forensics

Computational Thinking

Software Engineering

Top Venues

CHIRA (Revised Selected Papers)

Publications

Catherine Menon, Austen Rainer, Patrick Holthaus, Gabriella Lakatos, Silvio Carta
EHAZOP: A Proof of Concept Ethical Hazard Analysis of an Assistive Robot. CoRR (2024)
Gaurav Sharma, Stilianos Vidalis, Catherine Menon, Niharika Anand
Analysis and implementation of semi-automatic model for vulnerability exploitations of threat agents in NIST databases. Multim. Tools Appl. 82 (11) (2023)
Austen Rainer, Catherine Menon
Voting Item: Story-work in human-centric software engineering. CHASE@ICSE (2022)
Austen Rainer, Catherine Menon
Story-thinking, computational-thinking, programming and software engineering. PPIG (2022)
Austen Rainer, Catherine Menon
Story-thinking, computational-thinking, programming and software engineering. CoRR (2022)
Catherine Menon, Silvio Carta, Frank Förster
EETAS: A Process for Examining Ethical Trade-Offs in Autonomous Systems. CHIRA (2022)
Catherine Menon, Silvio Carta, Frank Förster, Patrick Holthaus
Improving Public Engagement with Ethical Complexities of Assistive Robots. CHIRA (Revised Selected Papers) (2022)
Catherine Menon, Stilianos Vidalis
Towards the Resolution of Safety and Security Conflicts. ICCST (2021)
Tareq Alawneh, Raimund Kirner, Catherine Menon
Dynamic row activation mechanism for multi-core systems. CF (2021)
Catherine Menon, Saverio Iacovelli, Raimund Kirner
ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. ISORC (2020)
Patrick Holthaus, Catherine Menon, Farshid Amirabdollahian
How a Robot's Social Credibility Affects Safety Performance. ICSR (2019)
Saverio Iacovelli, Raimund Kirner, Catherine Menon
ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems. SIES (2018)
Andrew Jones, Fahad Alanazi, Catherine Menon
Sharia Law and Digital Forensics in Saudi Arabia. J. Digit. Forensics Secur. Law 13 (3) (2018)
Catherine Menon, Richard Hawkins, John Alexander McDermid, Tim Kelly
An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4. SSS (2010)
Catherine Menon, Richard Hawkins, John Alexander McDermid
Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards. SSS (2009)
Catherine Menon, Michael Johnson, Charles Lakos
Inconsistency Management and View Updates. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Catherine Menon, Charles Lakos
Towards a Semantic Basis for Rosetta. ACSC (2004)
Cindy Kong, Perry Alexander, Catherine Menon
Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language. J. Univers. Comput. Sci. 9 (11) (2003)