Philippa Conmy

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c8		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: 337-342
	2011
c7		Philippa Conmy, Iain Bate: Efficient Task Allocation to FPGAs in the Safety Critical Domain. PRDC 2011: 119-128
	2010
j2		Philippa Conmy, Iain Bate: Component-Based Safety Analysis of FPGAs. IEEE Trans. Industrial Informatics 6(2): 195-205 (2010)
	2009
c6		Philippa Conmy, Iain Bate: Semi-Automated Safety Analysis for Field Programmable Gate Arrays. ECBS 2009: 166-175
c5		Iain Bate, Philippa Conmy: Certification of FPGAs - Current Issues and Possible Solutions. SSS 2009: 149-165
	2007
c4		Philippa Conmy, Richard F. Paige: Model-driven Development of Particle System Families. MOMPES 2007: 127-136
	2005
c3		Iain Bate, Philippa Conmy: Safe Composition of Real Time Software. HASE 2005: 79-88
	2003
c2		Philippa Conmy, Mark Nicholson, John A. McDermid: Safety Assurance Contracts for Integrated Modular Avionics. SCS 2003: 69-78
	2001
j1		Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid: Use of Modern Processors in Safety-Critical Applications. Comput. J. 44(6): 531-543 (2001)
c1		Philippa Conmy, John A. McDermid: High Level Failure Analysis for Integrated Modular Avionics. SCS 2001: 13-22

Coauthor Index

Last update Fri May 24 06:41:31 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page