Research output per year
Research output per year
Search results
-
2024
The Safety of Autonomy: A Systematic Approach
McDermid, J. A., Calinescu, R., Habli, I., Hawkins, R. D., Jia, Y., Molloy, J., Osborne, M., Paterson, C., Porter, Z. & Ryan, P. M., 3 Apr 2024, In: Computer. 57, 4, p. 16-25 10 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2022
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems
Qi, Y., Ryan, P. M., Huang, W., Zhao, X. & Huang, X., 2022, In: CEUR Workshop Proceedings.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2019
Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy
Bloomfield, R., Khlaaf, H., Ryan Conmy, P. M. & Fletcher, G., 26 Aug 2019, In: Computer. 52, 9, p. 82-89 8 p.Research output: Contribution to journal › Article › peer-review
-
2010
Component-Based Safety Analysis of FPGAs
Conmy, P. & Bate, I., 1 May 2010, In: Industrial Informatics, IEEE Transactions on. 6, 2, p. 195-205 11 p., 5422708.Research output: Contribution to journal › Article › peer-review
-
2001
Use of modern processors in safety-critical applications
Bate, I., Conmy, P., Kelly, T. & McDermid, J., 2001, In: The Computer Journal. 44, 6, p. 531-543 13 p.Research output: Contribution to journal › Article › peer-review