Ibrahim Habli Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ian Dodd, Ibrahim Habli: Safety certification of airborne software: An empirical study. Rel. Eng. & Sys. Safety 98(1): 7-23 (2012)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Patrick J. Graydon, Ibrahim Habli, Richard Hawkins, Tim Kelly, John C. Knight: Arguing Conformance. IEEE Software 29(3): 50-57 (2012)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ewen Denney, Ganesh Pai, Ibrahim Habli: Perspectives on software safety case development for unmanned aircraft. DSN 2012: 1-8
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alejandra Ruiz, Ibrahim Habli, Huáscar Espinoza: Towards a Case-Based Reasoning Approach for Safety Assurance Reuse. SAFECOMP Workshops 2012: 22-35
2011
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ewen Denney, Ganesh Pai, Ibrahim Habli: Towards Measurement of Confidence in Safety Cases. ESEM 2011: 380-383
2010
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ibrahim Habli, Richard Hawkins, Tim Kelly: Software safety: relating software assurance and software integrity. IJCCBS 1(4): 364-383 (2010)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ibrahim Habli, Tim Kelly: A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines. ISARCS 2010: 142-160
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Palin, Ibrahim Habli: Assurance of Automotive Safety - A Safety Case Approach. SAFECOMP 2010: 82-96
2009
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ibrahim Habli, Tim Kelly: A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. Electr. Notes Theor. Comput. Sci. 238(4): 27-39 (2009)
2008
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ibrahim Habli, Tim Kelly: A Model-Driven Approach to Assuring Process Reliability. ISSRE 2008: 7-16
2007
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly: Extending Argumentation to Goal-Oriented Requirements Engineering. ER Workshops 2007: 306-316
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ibrahim Habli, Tim Kelly: Achieving Integrated Process and Product Safety Arguments. SSS 2007: 55-68
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ibrahim Habli, Tim Kelly: Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System. SPLC 2007: 193-202
2006
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ibrahim Habli, Tim Kelly: Process and product certification arguments: getting the balance right. SIGBED Review 3(4): 1-8 (2006)

Coauthor Index

1Katrina Attwood
[c3]
2Ewen Denney
[c9] [c7]
3Ian Dodd
[j5]
4Huáscar Espinoza
[c8]
5Patrick J. Graydon
[j4]
6Richard Hawkins
[j4] [j3]
7Tim Kelly (Tim P. Kelly)
[j4] [j3] [c6] [j2] [c4] [c3] [c2] [c1] [j1]
8John C. Knight
[j4]
9Ganesh Pai
[c9] [c7]
10Robert Palin
[c5]
11Alejandra Ruiz
[c8]
12Weihang Wu
[c3]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 17:34:22 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page