Generating evidence for certification of modern processors for use in safety-critical systems. - Iain Bate; Philippa Conmy; John A. McDermid (HASE, 2000)

High Level Failure Analysis for Integrated Modular Avionics. - Philippa Conmy; John A. McDermid (SCS, 2001)

Use of Modern Processors in Safety-Critical Applications. - Iain Bate; Philippa Conmy; Tim Kelly; John A. McDermid (Comput. J., 2001)

Safety Assurance Contracts for Integrated Modular Avionics. - Philippa Conmy; Mark Nicholson 001; John A. McDermid (SCS, 2003)

Safe Composition of Real Time Software. - Iain Bate; Philippa Conmy (HASE, 2005)

Safety analysis of computer resource management software. - Philippa Mary Conmy (2005)

Model-driven Development of Particle System Families. - Philippa Conmy; Richard F. Paige (MOMPES, 2007)

Semi-Automated Safety Analysis for Field Programmable Gate Arrays. - Philippa Conmy; Iain Bate (ECBS, 2009)

Certification of FPGAs - Current Issues and Possible Solutions. - Iain Bate; Philippa Conmy (SSS, 2009)

Component-Based Safety Analysis of FPGAs. - Philippa Conmy; Iain Bate (IEEE Trans. Ind. Informatics, 2010)

Efficient Task Allocation to FPGAs in the Safety Critical Domain. - Philippa Conmy; Iain Bate (PRDC, 2011)

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 (ISSRE Workshops, 2012)

Nuanced term-matching to assist in compositional safety assurance. - Katrina Attwood; Philippa Conmy (ASSURE@ICSE, 2013)

Assuring Safety for Component Based Software Engineering. - Philippa Conmy; Iain Bate (HASE, 2014)

WCET analysis methods: Pitfalls and challenges on their trustworthiness. - Jaume Abella 001; Carles Hernández 001; Eduardo Quiñones; Francisco J. Cazorla; Philippa Ryan Conmy; Mikel Azkarate-askasua; Jon Pérez 001; Enrico Mezzetti; Tullio Vardanega (SIES, 2015)

PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. - Francisco J. Cazorla; Jaume Abella 001; Jan Andersson; Tullio Vardanega; Francis Vatrinet; Iain Bate; Ian Broster; Mikel Azkarate-askasua; Franck Wartel; Liliana Cucu; Fabrice Cros; Glenn Farrall; et al. (DSD, 2016)

Assisted Coverage Closure. - Adam Nellis; Pascal Kesseli; Philippa Ryan Conmy; Daniel Kroening; Peter Schrammel; Michael Tautschnig (NFM, 2016)

Design and Implementation of a Pedagogic Intervention Using Writing Analytics. - Antonette Shibani; Simon Knight 001; Simon Buckingham Shum; Philippa Ryan (ICCE, 2017)

Designing Academic Writing Analytics for Civil Law Student Self-Assessment. - Simon Knight 001; Simon Buckingham Shum; Philippa Ryan; Ágnes Sándor; Xiaolong Wang (Int. J. Artif. Intell. Educ., 2018)

Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy. - Robin Bloomfield; Heidy Khlaaf; Philippa Ryan Conmy; Gareth Fletcher (Computer, 2019)

Blockchain Standards for Sustainable Development. - Jed Horner; Philippa Ryan (J. ICT Stand., 2019)

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)

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)

Safety Case Templates for Autonomous Systems. - Robin Bloomfield; Gareth Fletcher; Heidy Khlaaf; Luke Hinde; Philippa Ryan (CoRR, 2021)

A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. - Yi Qi; Philippa Ryan Conmy; Wei Huang 035; Xingyu Zhao 001; Xiaowei Huang 001 (AISafety@IJCAI, 2022)

The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems. - Philippa Ryan Conmy; Berk Ozturk; Tom Lawton; Ibrahim Habli (SAFECOMP, 2023)

Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. - Richard Hawkins; Philippa Ryan Conmy (SAFECOMP, 2023)

Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident. - Philippa Ryan Conmy; John A. McDermid; Ibrahim Habli; Zoë Porter (TAS, 2023)

Unravelling Responsibility for AI. - Zoë Porter; Joanna Al-Qaddoumi; Philippa Ryan Conmy; Phillip Morgan; John A. McDermid; Ibrahim Habli (CoRR, 2023)

Bridging the Reality Gap: Assurable Simulations for an ML-Based Inspection Drone Flight Controller. - Philippa Ryan; Mathias von Essen; Liam Shackley; John A. McDermid (SAFECOMP (Workshops), 2024)

A Dynamic Assurance Framework for an Autonomous Survey Drone. - Philippa Ryan; Sepeedeh Shahbeigi; Jie Zou; Ioannis Stefanakos; John Molloy (SAFECOMP, 2024)

Safety Assurance Challenges for Autonomous Drones in Underground Mining Environments. - Philippa Ryan; Arjun Badyal; Samuel Sze; Benjamin Hardin; Hasan Bin Firoz; Paulina Lewinska; Victoria J. Hodge (TAROS (1), 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)

Fair by design: A sociotechnical approach to justifying the fairness of AI-enabled systems across the lifecycle. - Marten H. L. Kaas; Christopher Burr; Zoë Porter; Berk Ozturk; Philippa Ryan; Michael A. Katell; Nuala Polo; Kalle Westerling; Ibrahim Habli (CoRR, 2024)

The Safety of Autonomy: A Systematic Approach. - John A. McDermid; Radu Calinescu; Ibrahim Habli; Richard Hawkins; Yan Jia 008; John Molloy; Matt Osborne; Colin Paterson; Zoë Porter; Philippa Ryan Conmy (Computer, 2024)

Does Not Impute! Performance and Ethical Implications of Missing Data for an AI-Based Diabetes Co-morbidity Predictor. - Philippa Ryan; Berk Ozturk; Laura Fearnley; Tom Lawton; Ibrahim Habli (SAFECOMP (Workshops), 2025)

The BIG Argument for AI Safety Cases. - Ibrahim Habli; Richard Hawkins; Colin Paterson; Philippa Ryan; Yan Jia 008; Mark Sujan; John A. McDermid (CoRR, 2025)