Philippa Ryan Conmy
Philippa Ryan Conmy
Unknown affiliation
Verified email at adelard.com
Title
Cited by
Cited by
Year
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
1072015
High Level Failure Analysis for Integrated Modular Avionics.
P Conmy, JA McDermid
SCS, 13-22, 2001
402001
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
332003
Use of modern processors in safety-critical applications
I Bate, P Conmy, T Kelly, J McDermid
The Computer Journal 44 (6), 531-543, 2001
332001
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
322016
Component-based safety analysis of FPGAs
P Conmy, I Bate
IEEE Transactions on Industrial Informatics 6 (2), 195-205, 2010
292010
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
272000
Safety analysis of computer resource management software
PM Conmy
University of York, 2005
222005
Safety analysis and certification of open distributed systems
P Conmy, J McDermid, M Nicholson, Y Purwantoro
International System Safety Conference,, Denver, 2002
162002
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
152007
Disruptive innovations and disruptive assurance: Assuring machine learning and autonomy
R Bloomfield, H Khlaaf, PR Conmy, G Fletcher
Computer 52 (9), 82-89, 2019
142019
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
142012
Assuring Safety for Component Based Software Engineering
P Conmy, I Bate
5th IEEE Symposium on High Assurance Systems Engineering, 2014
132014
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
92010
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
82000
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
72014
Certification of fpgas-current issues and possible solutions
I Bate, P Conmy
Safety-Critical Systems: Problems, Process and Practice, 149-165, 2009
62009
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
52012
Safe composition of real time software
I Bate, P Conmy
Ninth IEEE International Symposium on High-Assurance Systems Engineering …, 2005
52005
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
52004
The system can't perform the operation now. Try again later.
Articles 1–20