Philippa Conmy

14 papers C 3Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2016 C conf
PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis.
DSD
Francisco J. Cazorla, Jaume Abella, Jan Andersson, Tullio Vardanega, Francis Vatrinet, Iain Bate, Ian Broster, Mikel Azkarate-askasua, Franck Wartel, Liliana Cucu, Fabrice Cros, Glenn Farrall, Adriana Gogonel, Andrea Gianarro, Benoit Triquet, Carles Hernández, Code Lo, Cristian Maxim, David Morales, Eduardo Quiñones, Enrico Mezzetti, Leonidas Kosmidis, Irune Agirre, Mikel Fernández, Mladen Slijepcevic, Philippa Conmy, Walid Talaboulma
2014 — conf
Assuring Safety for Component Based Software Engineering.
HASE
Philippa Conmy, Iain Bate
2013 — conf
Nuanced term-matching to assist in compositional safety assurance.
ASSURE@ICSE
Katrina Attwood, Philippa Conmy
2012 — conf
A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model.
ISSRE Workshops
Stefan Björnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy
2011 C conf
Efficient Task Allocation to FPGAs in the Safety Critical Domain.
PRDC
Philippa Conmy, Iain Bate
2010 J jnl
Component-Based Safety Analysis of FPGAs.
IEEE Trans. Ind. Informatics
Philippa Conmy, Iain Bate
2009 C conf
Certification of FPGAs - Current Issues and Possible Solutions.
SSS
Iain Bate, Philippa Conmy
2009 — conf
Semi-Automated Safety Analysis for Field Programmable Gate Arrays.
ECBS
Philippa Conmy, Iain Bate
2007 — conf
Model-driven Development of Particle System Families.
MOMPES
Philippa Conmy, Richard F. Paige
2005 — conf
Safe Composition of Real Time Software.
HASE
Iain Bate, Philippa Conmy
2003 — conf
Safety Assurance Contracts for Integrated Modular Avionics.
SCS
Philippa Conmy, Mark Nicholson, John A. McDermid
2001 — conf
High Level Failure Analysis for Integrated Modular Avionics.
SCS
Philippa Conmy, John A. McDermid
2001 J jnl
Use of Modern Processors in Safety-Critical Applications.
Comput. J.
Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid
2000 — conf
Generating evidence for certification of modern processors for use in safety-critical systems.
HASE
Iain Bate, Philippa Conmy, John A. McDermid