| WCET analysis methods: Pitfalls and challenges on their trustworthiness J Abella, C Hernández, E Quiñones, FJ Cazorla, PR Conmy, ... 10th IEEE International Symposium on Industrial Embedded Systems (SIES), 1-10, 2015 | 154 | 2015 |
| High Level Failure Analysis for Integrated Modular Avionics. P Conmy, JA McDermid SCS, 13-22, 2001 | 44 | 2001 |
| PROXIMA: Improving measurement-based timing analysis through randomisation and probabilistic analysis FJ Cazorla, J Abella, J Andersson, T Vardanega, F Vatrinet, I Bate, ... 2016 Euromicro Conference on Digital System Design (DSD), 276-285, 2016 | 42 | 2016 |
| Disruptive innovations and disruptive assurance: Assuring machine learning and autonomy R Bloomfield, H Khlaaf, PR Conmy, G Fletcher Computer 52 (9), 82-89, 2019 | 34 | 2019 |
| Safety assurance contracts for integrated modular avionics P Conmy, M Nicholson, J McDermid Proceedings of the 8th Australian workshop on Safety critical systems and …, 2003 | 34 | 2003 |
| Use of modern processors in safety-critical applications I Bate, P Conmy, T Kelly, J McDermid The Computer Journal 44 (6), 531-543, 2001 | 33 | 2001 |
| Component-based safety analysis of FPGAs P Conmy, I Bate IEEE Transactions on Industrial Informatics 6 (2), 195-205, 2010 | 31 | 2010 |
| Generating and maintaining a safety argument for integrated modular systems M Nicholson, P Conmy, I Bate, J McDermid 5th Australian Workshop on Industrial Experience with Safety Critical …, 2000 | 27 | 2000 |
| Safety analysis of computer resource management software PM Conmy University of York, 2005 | 24 | 2005 |
| Safety case templates for autonomous systems R Bloomfield, G Fletcher, H Khlaaf, L Hinde, P Ryan arXiv preprint arXiv:2102.02625, 2021 | 20 | 2021 |
| Assuring safety for component based software engineering P Conmy, I Bate 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering …, 2014 | 18 | 2014 |
| Challenges when using model driven architecture in the development of safety critical software P Conmy, RF Paige Fourth International Workshop on Model-Based Methodologies for Pervasive and …, 2007 | 18 | 2007 |
| A method to formally evaluate safety case evidences against a system architecture model S Björnander, R Land, P Graydon, K Lundqvist, P Conmy 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 17 | 2012 |
| Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS--a collection of Technical Notes Part 1 R Bloomfield, G Fletcher, H Khlaaf, P Ryan, S Kinoshita, Y Kinoshit, ... arXiv preprint arXiv:2003.00789, 2020 | 13 | 2020 |
| Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments R Hawkins, P Ryan Conmy International Conference on Computer Safety, Reliability, and Security, 11-24, 2023 | 11 | 2023 |
| VHDL guidance for safe and certifiable FPGA design PM Conmy, C Pygott, I Bate 5th IET International Conference on System Safety 2010, 1-6, 2010 | 11 | 2010 |
| The use of controlled vocabularies and structured expressions in the assurance of CPS KC Attwood, T Kelly, P Conmy | 9 | 2014 |
| Generating evidence for certification of modern processors for use in safety-critical systems I Bate, P Conmy, J McDermid Proceedings. Fifth IEEE International Symposium on High Assurance Systems …, 2000 | 9 | 2000 |
| The Impact of Training Data Shortfalls on Safety of AI-based Clinical Decision Support Systems P Ryan Conmy, B Ozturk, T Lawton, I Habli International Conference on Computer Safety, Reliability, and Security, 213-226, 2023 | 8 | 2023 |
| A hierarchical HAZOP-like safety analysis for learning-enabled systems Y Qi, PR Conmy, W Huang, X Zhao, X Huang arXiv preprint arXiv:2206.10216, 2022 | 8 | 2022 |
John McDermidUniversity of YorkPotvrđena adresa e-pošte na york.ac.uk