Segui
Philippa Ryan Conmy
Philippa Ryan Conmy
Affiliazione sconosciuta
Email verificata su adelard.com
Titolo
Citata da
Citata da
Anno
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
1402015
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
402016
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
292000
Disruptive innovations and disruptive assurance: Assuring machine learning and autonomy
R Bloomfield, H Khlaaf, PR Conmy, G Fletcher
Computer 52 (9), 82-89, 2019
272019
Safety analysis of computer resource management software
PM Conmy
University of York, 2005
232005
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
182007
Safety analysis and certification of open distributed systems
PM Conmy, JA McDermid, M Nicholson, Y Purwantoro
182002
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
162012
Assuring Safety for Component Based Software Engineering
P Conmy, I Bate
5th IEEE Symposium on High Assurance Systems Engineering, 2014
142014
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
132010
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
92000
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
82022
The use of controlled vocabularies and structured expressions in the assurance of CPS
KC Attwood, T Kelly, P Conmy
82014
Certification of FPGAs-current issues and possible solutions
I Bate, P Conmy
Safety-Critical Systems: Problems, Process and Practice: Proceedings of the …, 2009
72009
Assisted coverage closure
A Nellis, P Kesseli, PR Conmy, D Kroening, P Schrammel, M Tautschnig
NASA Formal Methods Symposium, 49-64, 2016
52016
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20