P. Conmy

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

Kristina Lundqvist, Stefan Björnander, Patrick Graydon, 2012 .

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

Xiaowei Huang, P. Conmy, Xing-E. Zhao, 2022, AISafety@IJCAI.

Assisted Coverage Closure

Daniel Kroening, Adam Nellis, Peter Schrammel, 2015, NFM.

WCET analysis methods: Pitfalls and challenges on their trustworthiness

Mikel Azkarate-askasua, Tullio Vardanega, Francisco J. Cazorla, 2015, 10th IEEE International Symposium on Industrial Embedded Systems (SIES).

Unravelling Responsibility for AI

Zoe Porter, I. Habli, Phillip Morgan, 2023, ArXiv.

The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS

Tim Kelly, Philippa Conmy, Katrina Attwood, 2014 .

Model-driven Development of Particle System Families

Richard F. Paige, Philippa Conmy, R. Paige, 2007, Workshop on Model-based Methodologies for Pervasive and Embedded Software.

The Safety of Autonomy: A Systematic Approach

Zoe Porter, I. Habli, R. Calinescu, 2024, Computer.