Philippa Conmy

Publication Activity (10 Years)

Years Active: 2000-2016
Publications (10 Years): 1

Top Topics

Correspondence Matching

Regression Analysis

Component Based Software Engineering

Top Venues

ISSRE Workshops

Publications

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
PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. DSD (2016)
Philippa Conmy, Iain Bate
Assuring Safety for Component Based Software Engineering. HASE (2014)
Katrina Attwood, Philippa Conmy
Nuanced term-matching to assist in compositional safety assurance. ASSURE@ICSE (2013)
Stefan Björnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy
A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model. ISSRE Workshops (2012)
Philippa Conmy, Iain Bate
Efficient Task Allocation to FPGAs in the Safety Critical Domain. PRDC (2011)
Philippa Conmy, Iain Bate
Component-Based Safety Analysis of FPGAs. IEEE Trans. Ind. Informatics 6 (2) (2010)
Philippa Conmy, Iain Bate
Semi-Automated Safety Analysis for Field Programmable Gate Arrays. ECBS (2009)
Iain Bate, Philippa Conmy
Certification of FPGAs - Current Issues and Possible Solutions. SSS (2009)
Philippa Conmy, Richard F. Paige
Model-driven Development of Particle System Families. MOMPES (2007)
Iain Bate, Philippa Conmy
Safe Composition of Real Time Software. HASE (2005)
Philippa Conmy, Mark Nicholson, John Alexander McDermid
Safety Assurance Contracts for Integrated Modular Avionics. SCS (2003)
Philippa Conmy, John Alexander McDermid
High Level Failure Analysis for Integrated Modular Avionics. SCS (2001)
Iain Bate, Philippa Conmy, Tim Kelly, John Alexander McDermid
Use of Modern Processors in Safety-Critical Applications. Comput. J. 44 (6) (2001)
Iain Bate, Philippa Conmy, John Alexander McDermid
Generating evidence for certification of modern processors for use in safety-critical systems. HASE (2000)