Philippa Conmy

According to our database, Philippa Conmy authored at least 30 papers between 2000 and 2024.

Collaborative distances:

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

2024

The Safety of Autonomy: A Systematic Approach.

John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy

Computer, April, 2024

What's my role? Modelling responsibility for AI-based safety-critical systems.

Philippa Ryan, Zoë Porter, Joanna Al-Qaddoumi, John A. McDermid, Ibrahim Habli

CoRR, 2024

2023

Unravelling Responsibility for AI.

Zoë Porter, Joanna Al-Qaddoumi, Philippa Ryan Conmy, Phillip Morgan, John A. McDermid, Ibrahim Habli

CoRR, 2023

Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident.

Philippa Ryan Conmy, John A. McDermid, Ibrahim Habli, Zoë Porter

Proceedings of the First International Symposium on Trustworthy Autonomous Systems, 2023

Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments.

Richard Hawkins, Philippa Ryan Conmy

Proceedings of the Computer Safety, Reliability, and Security, 2023

The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems.

Philippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli

Proceedings of the Computer Safety, Reliability, and Security, 2023

2022

A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems.

Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022

2021

Safety Case Templates for Autonomous Systems.

Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Luke Hinde, Philippa Ryan

CoRR, 2021

2020

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2.

Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake

CoRR, 2020

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1.

Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake

CoRR, 2020

2019

Blockchain Standards for Sustainable Development.

Jed Horner, Philippa Ryan

J. ICT Stand., 2019

Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy.

Robin Bloomfield, Heidy Khlaaf, Philippa Ryan Conmy, Gareth Fletcher

Computer, 2019

2018

Designing Academic Writing Analytics for Civil Law Student Self-Assessment.

Simon Knight, Simon Buckingham Shum, Philippa Ryan, Ágnes Sándor, Xiaolong Wang

Int. J. Artif. Intell. Educ., 2018

2016

Assisted Coverage Closure.

Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis.

Francisco J. Cazorla, Jaume Abella, Jan Andersson, Tullio Vardanega, Francis Vatrinet, Iain Bate, Ian Broster, Mikel Azkarate-askasua, Franck Wartel, Liliana Cucu, Fabrice Cros, Glenn Farrall, Adriana Gogonel, Andrea Gianarro, Benoit Triquet, Carles Hernández, Code Lo, Cristian Maxim, David Morales, Eduardo Quiñones, Enrico Mezzetti, Leonidas Kosmidis, Irune Agirre, Mikel Fernández, Mladen Slijepcevic, Philippa Conmy, Walid Talaboulma

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015

WCET analysis methods: Pitfalls and challenges on their trustworthiness.

Jaume Abella, Carles Hernández, Eduardo Quiñones, Francisco J. Cazorla, Philippa Ryan Conmy, Mikel Azkarate-askasua, Jon Pérez, Enrico Mezzetti, Tullio Vardanega

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

2014

Assuring Safety for Component Based Software Engineering.

Philippa Conmy, Iain Bate

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

Nuanced term-matching to assist in compositional safety assurance.

Katrina Attwood, Philippa Conmy

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

2012

A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model.

Stefan Björnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011

Efficient Task Allocation to FPGAs in the Safety Critical Domain.

Philippa Conmy, Iain Bate

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

2010

Component-Based Safety Analysis of FPGAs.

Philippa Conmy, Iain Bate

IEEE Trans. Ind. Informatics, 2010

2009

Certification of FPGAs - Current Issues and Possible Solutions.

Iain Bate, Philippa Conmy

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

Semi-Automated Safety Analysis for Field Programmable Gate Arrays.

Philippa Conmy, Iain Bate

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2007

Model-driven Development of Particle System Families.

Philippa Conmy, Richard F. Paige

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

2005

Safety analysis of computer resource management software.

Philippa Mary Conmy

PhD thesis, 2005

Safe Composition of Real Time Software.

Iain Bate, Philippa Conmy

Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

2003

Safety Assurance Contracts for Integrated Modular Avionics.

Philippa Conmy, Mark Nicholson, John A. McDermid

Proceedings of the Safety Critical Systems and Software 2003, 2003

2001

Use of Modern Processors in Safety-Critical Applications.

Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid

Comput. J., 2001

High Level Failure Analysis for Integrated Modular Avionics.

Philippa Conmy, John A. McDermid

Proceedings of the Safety Critical Systems and Software 2001, 2001

2000

Generating evidence for certification of modern processors for use in safety-critical systems.

Iain Bate, Philippa Conmy, John A. McDermid

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000