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 | 141 | 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 | 40 | 2016 |
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 | 34 | 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 | 29 | 2000 |
Disruptive innovations and disruptive assurance: Assuring machine learning and autonomy R Bloomfield, H Khlaaf, PR Conmy, G Fletcher Computer 52 (9), 82-89, 2019 | 27 | 2019 |
Safety analysis of computer resource management software PM Conmy University of York, 2005 | 23 | 2005 |
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 |
Safety analysis and certification of open distributed systems PM Conmy, JA McDermid, M Nicholson, Y Purwantoro | 18 | 2002 |
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 | 16 | 2012 |
Assuring Safety for Component Based Software Engineering P Conmy, I Bate 5th IEEE Symposium on High Assurance Systems Engineering, 2014 | 14 | 2014 |
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 | 13 | 2010 |
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 |
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 |
The use of controlled vocabularies and structured expressions in the assurance of CPS KC Attwood, T Kelly, P Conmy | 8 | 2014 |
Certification of FPGAs-current issues and possible solutions I Bate, P Conmy Safety-Critical Systems: Problems, Process and Practice: Proceedings of the …, 2009 | 7 | 2009 |
Assisted coverage closure A Nellis, P Kesseli, PR Conmy, D Kroening, P Schrammel, M Tautschnig NASA Formal Methods Symposium, 49-64, 2016 | 5 | 2016 |
Extension of techniques for modular safety arguments P Conmy, J Carlson, R Land, S Björnander, O Bridal, I Bate Deliverable d2. 3. l. technical report, Safety certification of software …, 2012 | 5 | 2012 |