Philippa Ryan Conmy
Philippa Ryan Conmy
Unknown affiliation
Verified email at
Cited by
Cited by
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
High Level Failure Analysis for Integrated Modular Avionics.
P Conmy, JA McDermid
SCS, 13-22, 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
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
Use of modern processors in safety-critical applications
I Bate, P Conmy, T Kelly, J McDermid
The Computer Journal 44 (6), 531-543, 2001
Component-based safety analysis of FPGAs
P Conmy, I Bate
IEEE Transactions on Industrial Informatics 6 (2), 195-205, 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
Safety analysis of computer resource management software
PM Conmy
University of York, 2005
Disruptive innovations and disruptive assurance: Assuring machine learning and autonomy
R Bloomfield, H Khlaaf, PR Conmy, G Fletcher
Computer 52 (9), 82-89, 2019
Safety analysis and certification of open distributed systems
P Conmy, J McDermid, M Nicholson, Y Purwantoro
International System Safety Conference,, Denver, 2002
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
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
Assuring Safety for Component Based Software Engineering
P Conmy, I Bate
5th IEEE Symposium on High Assurance Systems Engineering, 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
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
The use of controlled vocabularies and structured expressions in the assurance of cps
KC Attwood, T Kelly, P Conmy
Ada User Journal, 251-258, 2014
Certification of fpgas-current issues and possible solutions
I Bate, P Conmy
Safety-Critical Systems: Problems, Process and Practice, 149-165, 2009
An Information Model for High-Integrity Real Time Systems
A Radjenovic, R Paige, P Conmy, M Wallace, J McDermid
Second RTAS Workshop on Model-Driven Embedded Systems, Toronto, Canada, 2004
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
Safe composition of real time software
I Bate, P Conmy
Ninth IEEE International Symposium on High-Assurance Systems Engineering …, 2005
The system can't perform the operation now. Try again later.
Articles 1–20