en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Habli
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(16)
tags
dblp
GoalModeling
research.cs.softeng.vv
research.cs.softeng.req
No matching items.
Towards a Case-Based Reasoning Approach for Safety Assurance Reuse.
Alejandra Ruiz
,
Ibrahim Habli
, and
Huáscar Espinoza
.
SAFECOMP Workshops,
volume 7613 of Lecture Notes in Computer Science,
page 22-35.
Springer,
(
2012
)
Alejandra Ruiz
,
Ibrahim Habli
, and
Huáscar Espinoza
.
SAFECOMP Workshops,
volume 7613 of Lecture Notes in Computer Science,
page 22-35.
Springer,
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Perspectives on software safety case development for unmanned aircraft.
Ewen Denney
,
Ganesh Pai
, and
Ibrahim Habli
.
DSN,
page 1-8.
IEEE Computer Society,
(
2012
)
Ewen Denney
,
Ganesh Pai
, and
Ibrahim Habli
.
DSN,
page 1-8.
IEEE Computer Society,
(
2012
)
8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Process and product certification arguments: getting the balance right.
Ibrahim Habli
, and
Tim Kelly
.
SIGBED Review
3(4):1-8
(
2006
)
Ibrahim Habli
, and
Tim Kelly
.
SIGBED Review
3(4):1-8
(
2006
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Achieving Integrated Process and Product Safety Arguments.
Ibrahim Habli
, and
Tim Kelly
.
SSS,
page 55-68.
Springer,
(
2007
)
Ibrahim Habli
, and
Tim Kelly
.
SSS,
page 55-68.
Springer,
(
2007
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Safety certification of airborne software: An empirical study.
Ian Dodd
, and
Ibrahim Habli
.
Rel. Eng. & Sys. Safety
98(1):7-23
(
2012
)
Ian Dodd
, and
Ibrahim Habli
.
Rel. Eng. & Sys. Safety
98(1):7-23
(
2012
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The canals language and its compiler.
Andreas Dahlin
,
Johan Ersfolk
,
Guyfu Yang
,
Haitham Habli
, and
Johan Lilius
.
SCOPES,
page 43-52.
ACM,
(
2009
)
Andreas Dahlin
,
Johan Ersfolk
,
Guyfu Yang
,
Haitham Habli
, and
Johan Lilius
.
SCOPES,
page 43-52.
ACM,
(
2009
)
a year ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Arguing Conformance.
Patrick J. Graydon
,
Ibrahim Habli
,
Richard Hawkins
,
Tim Kelly
, and
John C. Knight
.
IEEE Software
29(3):50-57
(
2012
)
Patrick J. Graydon
,
Ibrahim Habli
,
Richard Hawkins
,
Tim Kelly
, and
John C. Knight
.
IEEE Software
29(3):50-57
(
2012
)
a year and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Towards Measurement of Confidence in Safety Cases.
Ewen Denney
,
Ganesh Pai
, and
Ibrahim Habli
.
ESEM,
page 380-383.
IEEE,
(
2011
)
Ewen Denney
,
Ganesh Pai
, and
Ibrahim Habli
.
ESEM,
page 380-383.
IEEE,
(
2011
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Memory Analysis of Low Power MPEG-4 Decoder Architecture.
Andreas Dahlin
,
Johan Ersfolk
,
Haitham Habli
, and
Johan Lilius
.
ICESS,
page 231-237.
IEEE,
(
2009
)
Andreas Dahlin
,
Johan Ersfolk
,
Haitham Habli
, and
Johan Lilius
.
ICESS,
page 231-237.
IEEE,
(
2009
)
a year and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Software safety: relating software assurance and software integrity.
Ibrahim Habli
,
Richard Hawkins
, and
Tim Kelly
.
IJCCBS
1(4):364-383
(
2010
)
Ibrahim Habli
,
Richard Hawkins
, and
Tim Kelly
.
IJCCBS
1(4):364-383
(
2010
)
2 years and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Assurance of Automotive Safety - A Safety Case Approach.
Robert Palin
, and
Ibrahim Habli
.
SAFECOMP,
volume 6351 of Lecture Notes in Computer Science,
page 82-96.
Springer,
(
2010
)
Robert Palin
, and
Ibrahim Habli
.
SAFECOMP,
volume 6351 of Lecture Notes in Computer Science,
page 82-96.
Springer,
(
2010
)
2 years and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines.
Ibrahim Habli
, and
Tim Kelly
.
ISARCS,
volume 6150 of Lecture Notes in Computer Science,
page 142-160.
Springer,
(
2010
)
Ibrahim Habli
, and
Tim Kelly
.
ISARCS,
volume 6150 of Lecture Notes in Computer Science,
page 142-160.
Springer,
(
2010
)
2 years and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Extending Argumentation to Goal-Oriented Requirements Engineering
Ibrahim Habli
,
Weihang Wu
,
Katrina Attwood
, and
Tim Kelly
.
Advances in Conceptual Modeling – Foundations and Applications
(
2007
)
Ibrahim Habli
,
Weihang Wu
,
Katrina Attwood
, and
Tim Kelly
.
Advances in Conceptual Modeling – Foundations and Applications
(
2007
)
3 years and 2 months ago
by
stefan.strecker
2
GoalModeling
GoalModeling
URL
DOI
TeX
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis.
Ibrahim Habli
, and
Tim Kelly
.
Electr. Notes Theor. Comput. Sci.
238(4):27-39
(
2009
)
Ibrahim Habli
, and
Tim Kelly
.
Electr. Notes Theor. Comput. Sci.
238(4):27-39
(
2009
)
3 years and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Extending Argumentation to Goal-Oriented Requirements Engineering
Ibrahim Habli
,
Weihang Wu
,
Katrina Attwood
, and
Tim Kelly
.
Advances in Conceptual Modeling – Foundations and Applications
(
2007
)
Ibrahim Habli
,
Weihang Wu
,
Katrina Attwood
, and
Tim Kelly
.
Advances in Conceptual Modeling – Foundations and Applications
(
2007
)
3 years and 11 months ago
by
msn
2
research.cs.softeng.req
research.cs.softeng.vv
research.cs.softeng.req
research.cs.softeng.vv
URL
DOI
TeX
Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System.
Ibrahim Habli
, and
Tim Kelly
.
SPLC,
page 193-202.
IEEE Computer Society,
(
2007
)
Ibrahim Habli
, and
Tim Kelly
.
SPLC,
page 193-202.
IEEE Computer Society,
(
2007
)
5 years and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact