Philippa Ryan Conmy

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 9

Top Topics

Safety Analysis

Intelligent Behavior

Autonomous Systems

Top Venues

Publications

John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy
The Safety of Autonomy: A Systematic Approach. Computer 57 (4) (2024)
Philippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli
The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems. SAFECOMP (2023)
Philippa Ryan Conmy, John A. McDermid, Ibrahim Habli, Zoë Porter
Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident. TAS (2023)
Richard Hawkins, Philippa Ryan Conmy
Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. SAFECOMP (2023)
Zoë Porter, Joanna Al-Qaddoumi, Philippa Ryan Conmy, Phillip Morgan, John A. McDermid, Ibrahim Habli
Unravelling Responsibility for AI. CoRR (2023)
Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. CoRR (2022)
Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. AISafety@IJCAI (2022)
Robin Bloomfield, Heidy Khlaaf, Philippa Ryan Conmy, Gareth Fletcher
Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy. Computer 52 (9) (2019)
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
Assisted Coverage Closure. NFM (2016)
Jaume Abella, Carles Hernández, Eduardo Quiñones, Francisco J. Cazorla, Philippa Ryan Conmy, Mikel Azkarate-askasua, Jon Pérez, Enrico Mezzetti, Tullio Vardanega
WCET analysis methods: Pitfalls and challenges on their trustworthiness. SIES (2015)
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig
Assisted Coverage Closure. CoRR (2015)