Catherine Menon

According to our database, Catherine Menon authored at least 17 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

2023

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., May, 2023

2022

Story-thinking, computational-thinking, programming and software engineering.

Austen Rainer, Catherine Menon

Proceedings of the 33rd Annual Workshop of the Psychology of Programming Interest Group, 2022

Voting Item: Story-work in human-centric software engineering.

Austen Rainer, Catherine Menon

Proceedings of the 15th IEEE/ACM International Workshop on Cooperative and Human Aspects of Software Engineering , 2022

Improving Public Engagement with Ethical Complexities of Assistive Robots.

Catherine Menon, Silvio Carta, Frank Förster, Patrick Holthaus

Proceedings of the Computer-Human Interaction Research and Applications, 2022

EETAS: A Process for Examining Ethical Trade-Offs in Autonomous Systems.

Catherine Menon, Silvio Carta, Frank Förster

Proceedings of the 6th International Conference on Computer-Human Interaction Research and Applications, 2022

2021

Towards the Resolution of Safety and Security Conflicts.

Catherine Menon, Stilianos Vidalis

Proceedings of the 2021 International Carnahan Conference on Security Technology, 2021

Dynamic row activation mechanism for multi-core systems.

Tareq A. Alawneh, Raimund Kirner, Catherine Menon

Proceedings of the CF '21: Computing Frontiers Conference, 2021

2020

ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems.

Catherine Menon, Saverio Iacovelli, Raimund Kirner

Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020

2019

How a Robot's Social Credibility Affects Safety Performance.

Patrick Holthaus, Catherine Menon, Farshid Amirabdollahian

Proceedings of the Social Robotics - 11th International Conference, 2019

2018

Sharia Law and Digital Forensics in Saudi Arabia.

Andrew Jones, Fahad Alanazi, Catherine Menon

J. Digit. Forensics Secur. Law, 2018

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

Saverio Iacovelli, Raimund Kirner, Catherine Menon

Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

2010

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

Proceedings of the Making Systems Safer, 2010

2009

Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards.

Catherine Menon, Richard Hawkins, John A. McDermid

Proceedings of the Safety-Critical Systems: Problems, Process and Practice, 2009

2005

Inconsistency Management and View Updates.

Catherine Menon, Michael Johnson, Charles Lakos

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

2004

Towards a Semantic Basis for Rosetta.

Catherine Menon, Charles Lakos

Proceedings of the Computer Science 2004, 2004

2003

Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language.

Cindy Kong, Perry Alexander, Catherine Menon

J. Univers. Comput. Sci., 2003