<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>Dependability References Database</title>
<link rel="stylesheet" href="../bibliography.css" type="text/css" />
<link rev="made" href="mailto:liinwwwa@ira.uka.de" />
<link rel="copyright" href="../Copyright.html" />
<link rel="up" href="index.html" />
<link rel="home" href="../index.html" />
<link rel="top" href="../index.html" />
<meta name="description" content="Dependability References Database. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="DC.DESCRIPTION" content="Dependability References Database. This bibliography is a part of the Computer Science Bibliography Collection." />
<meta name="keywords" content="searchable bibliography, computer science, RSS, 
, safety-critical systems" />
<meta name="DC.SUBJECT" content="searchable bibliography, computer science, RSS, 
, safety-critical systems" />
<meta name="robots" content="noarchive,nofollow" />
<meta name="resource-type" content="document" />
<meta name="distribution" content="global" />
<meta name="copyright" content="1995-2008, Alf-Christian Achilles" />
<meta name="DC.COPYRIGHT" content="1995-2008, Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Alf-Christian Achilles" />
<meta name="DC.CREATOR" content="Paul Ortyl" />
</head>
<body>
<h1 class="page_title">The Collection of<br />Computer Science Bibliographies</h1><ul class="top_nav"><li><a href="../index.html" title="Home page of The Collection of Computer Science Bibliographies">Collection Home</a></li>
<li><a href="index.html">Up: Bibliographies on Software/Hardware Engineering and Formal Methods</a></li>
</ul>
<h1 class="subcollectiontitle">Dependability References Database</h1>
<p style="text-align:center; font-size:small">[ &nbsp; <a href="#about">About</a> &nbsp; | &nbsp;<a href="#browse">Browse</a> &nbsp; | &nbsp; <a href="#stats">Statistics</a> &nbsp; ]</p><table width="100%" cellpadding="0"><colgroup span="4" width="1*" /><tr><th align="right">Number of references:</th><td align="left">4622</td><th align="right">Last update:</th><td align="left">March 12, 2003</td></tr><tr><th align="right">Number of online publications:</th><td align="left">877</td><th align="right">Supported:</th><td align="left">yes</td>
</tr><tr><th align="right">Most recent reference:</th><td align="left">1999</td>
<th align="right">Info:</th><td>Converted from refer format</td></tr></table>

<!-- short form -->
<!-- short search form -->
<h2 class="h2bar"><a id="about">Information on the Bibliography</a></h2>
<dl>
<dt><strong>Author:</strong></dt>
<dd><a href="http://www.cs.york.ac.uk/~jdm/">Jonathan Moffett</a> &lt;jdm @ cs . york . ac . uk&gt; <i>(email mangled to prevent spamming)</i><br />
<a href="http://www.cs.york.ac.uk/">Department of Computer Science</a><br /> University of York<br /> UK
</dd><dt><strong>Keywords:</strong></dt><dd>
safety-critical systems</dd>
<dt><strong>Author Comments:</strong></dt><dd>
<b>Errors and Additions:</b> <br /> Please contact us with suggested corrections of errors and additional entries, though we will exercise our discretion on the suggestions which we accept. <br /> Please email to: hise-refs@minster.york.ac.uk. <br /> We will accept new references in the following (descending) order of preference: EndNote, Refer, BibTex, text. We will also welcome additional abstracts, where available. <br /> <b>Acknowledgements:</b> We will welcome any suggestions for improvement.<br /> The dependability database was initially collated as part of a UK Health and Safety Executive project called KERSD. We gratefully ackowledge their support in enabling this database to be created. We also acknowledge the support of the following who have generously given help and allowed their references to be incorporated into this database: <ul><li> Jonathan Bowen, PRG, Oxford University Alan Burns, University of York, UK </li><li> Audrey Canning, ERA Technology Ltd </li><li> Trevor Cockram, Rolls Royce plc </li><li> B Davies, Imperial College, London </li><li> Bob Fields, University of York, UK </li><li> Anthony Finkelstein, Imperial College, London </li><li> Hubert F. Hofmann, University of Zurich, Switzerland </li><li> Chuck Howell, Mitre Corp, USA </li><li> Denis Jackson, Independent consultant </li><li> Carl Landwehr, US Naval Research Laboratory </li><li> Martin Loomes, University of Hertfordshire </li><li> Derek Partridge, University of Exeter </li><li> David Powell, LAAS, France </li><li> Anders Ravn, DTH, Denmark </li><li> John Rushby, SRI, USA </li><li> Victoria Stravridou, QMC &amp; Royal Holloway College, London </li><li> David Vickers, SWRI, USA </li><li> Ian Wand, University of York, UK </li><li> Cris Whetton, University of Sheffield </li><li> Marc Wilikens, JRC, Ispra, Italy </li><li> Peter Wright, University of York, UK </li></ul></dd>

</dl>
<h2 class="h2bar"><a id="browse">Browsing the bibliography</a></h2>
<ul><li><dl>
<dt><strong>Original source:</strong></dt>
<dd><a href="ftp://ftp.cs.york.ac.uk/hise_reports/depend.refs/deprefs.rfr.Z">ftp://ftp.cs.york.ac.uk</a>...
(Format: refer, compressed) 
</dd><dt><strong>Other sites:</strong></dt>
<dd><a href="http://www.cs.york.ac.uk/~jdm/deprefs.htm">http://www.cs.york.ac.uk</a>...
(Format: html)
<br />
<a href="ftp://ftp.cs.york.ac.uk/hise_reports/depend.refs/deprefs.enl.Z">ftp://ftp.cs.york.ac.uk</a>...
(Format: endnote, compressed)
<br />
</dd>
</dl></li></ul>
<h2 class="h2bar"><a id="stats">Bibliographic Statistics</a></h2>
<dl>
<dt><strong>Types:</strong></dt>
<dd>inproceedings(1945), article(1521), book(570),
incollection(260), techreport(242), misc(75),
 proceedings(9)</dd><dt><strong>Fields:</strong></dt>
<dd>title(4621), year(4609), author(4591), pages(3272),
publisher(2456), address(2239), booktitle(2205),
 journal(1521), volume(1003), number(930), editor(790),
 abstract(262), keywords(251), institution(215),
 note(193), series(98), type(52), month(4), key(3),
 edition(2), contents(1)</dd><dt><strong>Distribution of publication dates:</strong></dt>
<dd style="text-align:center">
<object data="dependability.years.stats.svgz" type="image/svg+xml" width="800" height="400" style="width: 80ex; height: 40ex;">
<img src="dependability.years.stats.png" alt="Distribution of publication dates" title="Distribution of publication dates" />
</object></dd>
</dl>
<p class="footer">
<a href="http://liinwww.ira.uka.de/bibliography/Copyright.html">Copyright</a> &copy; 1995-2008 Alf-Christian Achilles, All rights reserved.
<br />
This service is brought to you by
<a href="http://liinwww.ira.uka.de/~achilles/">Alf-Christian Achilles</a> 
and <a href="http://3miasto.net.pl/~ortylp">Paul Ortyl</a>
<br />
Please direct <a href="http://liinwww.ira.uka.de/bibliography/Comments.html" title="Send your comments via form.">comments</a> 
to <kbd><a href="mailto:liinwwwa@ira.uka.de" title="Send your comments via email.">liinwwwa@ira.uka.de</a></kbd>
</p>

<p>
<a href="http://validator.w3.org/check?uri=referer"><img src="/valid-xhtml11.png" alt="Valid XHTML 1.1!" /></a>&nbsp;
<a href="http://jigsaw.w3.org/css-validator/check/referer"><img src="/vcss.png" alt="Valid CSS!" /></a>
</p>
</body>
</html>
