Follow
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
1212015
High Level Failure Analysis for Integrated Modular Avionics.
P Conmy, JA McDermid
SCS, 13-22, 2001
442001
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
362016
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
342003
Use of modern processors in safety-critical applications
I Bate, P Conmy, T Kelly, J McDermid
The Computer Journal 44 (6), 531-543, 2001
342001
Component-based safety analysis of FPGAs
P Conmy, I Bate
IEEE Transactions on Industrial Informatics 6 (2), 195-205, 2010
312010
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
282000
Safety analysis of computer resource management software
PM Conmy
University of York, 2005
232005
Disruptive innovations and disruptive assurance: Assuring machine learning and autonomy
R Bloomfield, H Khlaaf, PR Conmy, G Fletcher
Computer 52 (9), 82-89, 2019
192019
Safety analysis and certification of open distributed systems
P Conmy, J McDermid, M Nicholson, Y Purwantoro
International System Safety Conference,, Denver, 2002
172002
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
162007
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
122010
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
72009
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
62004
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
The system can't perform the operation now. Try again later.
Articles 1–20