Safety-Critical Mailing List Archive 1996
By Subject

• (no subject)
  • Charles Waite Wed, 4 Dec 1996 16:33:18 -0500
• 11th ACSAC Advanced Program
  • Vince L. Reed Sat, 30 Mar 1996 04:35:01 -0600
• 2nd CFP - SAFECOMP'97
  • bob(at)minster Fri, 13 Dec 1996 12:35:45 +0000
• [2] Safety Analysis Techniques for Software
  • Safety Critical Systems / SM836 Sun, 28 Jan 1996 23:23:41 GMT
• A New Book
  • N Storey Fri, 12 Jul 1996 15:31:42 +0100 (BST)
  • N Storey Fri, 12 Jul 1996 15:31:42 +0100 (BST)
• Alms for a Frustrated English Major
  • Charles M. Waite Wed, 20 Mar 1996 07:11:27 -0500
• An Example
  • Nancy Leveson Thu, 23 May 1996 04:12:40 PDT
  • William Petrick Sat, 18 May 1996 15:27:14 -0700
• ARIANE 5 Flight 501 Failure Report
  • Jonathan Moffett Mon, 05 Aug 1996 10:11:15 +0100
  • Nancy Leveson Fri, 26 Jul 1996 07:02:12 PDT
  • Nancy Leveson Fri, 26 Jul 1996 06:01:21 PDT
• ARIANE 5 Flight 501 Failure Report (2nd try - 1)
  • Jonathan Moffett Fri, 26 Jul 1996 14:31:51 GMT
• ARIANE 5 Flight 501 Failure Report (2nd try - 2)
  • Jonathan Moffett Fri, 26 Jul 1996 14:31:56 GMT
• ARIANE 5 Flight 501 Failure Report (continued)
  • Pete Mellor Thu, 22 Aug 1996 16:02:55 BST
  • Pete Mellor Thu, 22 Aug 1996 15:16:33 BST
  • Richard Bolt Wed, 21 Aug 1996 14:35:24 -0400
  • Jonathan Moffett Fri, 26 Jul 1996 17:18:20 GMT
• Ariane 501
  • Steve Easterbrook Tue, 6 Aug 1996 08:15:53 -0400
  • edmiston(at)PICA.ARMY.MIL Mon, 5 Aug 1996 11:04:44 -0400
  • Torok, Ray(at)NPD Mail Wed, 31 Jul 1996 08:50:08 PDT
  • Tom Anderson Mon, 29 Jul 1996 19:07:55 +0100
  • Nancy Leveson Mon, 29 Jul 1996 09:31:54 PDT
  • Cooper Phil Mon, 29 Jul 1996 17:01:00 PDT
  • Tom Anderson Mon, 29 Jul 1996 16:46:41 +0100
  • Nancy Leveson Mon, 29 Jul 1996 08:07:40 PDT
  • Nancy Leveson Mon, 29 Jul 1996 07:59:07 PDT
  • Victoria Stavridou Mon, 29 Jul 1996 15:28:29 +0100 (BST)
  • Tom Anderson Mon, 29 Jul 1996 14:44:35 +0100
  • Jonathan Moffett Wed, 24 Jul 1996 09:00:59 GMT
• Ariane 501 (Tom's response)
  • Viv Hamilton +44 1245 2215 Mon, 29 Jul 1996 19:04:12 +0000 (GMT)
• Ariane 501 -Reply
  • James Stewart Wed, 31 Jul 1996 14:08:30 -0400
• Ariane failure Article
  • Pete Mellor Tue, 18 Jun 1996 16:07:33 BST
  • Tim Kelly Tue, 18 Jun 1996 18:09:38 +1000 (EST)
• Bits that go bump in the night
  • CWaite(at)pseg.com Wed, 3 Jan 1996 10:09:06 EST
  • Cooper Phil Wed, 03 Jan 1996 09:33:00 PST
  • Brian A Wichmann Tue, 2 Jan 1996 08:59:46 GMT
• Bits that go bump in the night -Reply
  • Bill Hefley Wed, 03 Jan 1996 10:08:53 EST
  • James Stewart Wed, 03 Jan 1996 09:13:51 -0500
• Book to recommend
  • Brian A Wichmann Tue, 16 Jul 1996 09:32:05 BST
  • Brian A Wichmann Tue, 16 Jul 1996 09:32:05 BST
• by the way
  • Nancy Leveson Wed, 04 Dec 1996 07:24:39 PST
• Call for Papers for COMPASS'97
  • Jeff Voas Sat, 27 Jul 1996 10:13:52 EDT
• Call for Papers-1997 Conf on Soft Eng Standards
  • Dennis Lawrence Fri, 2 Aug 1996 10:24 PST
• case studies of safety critical systems
  • Wang Ji Tue, 14 May 1996 09:20:08 +0800
• Catalogue of Safety-related Systems Methods
  • PWH Chung Mon, 29 Jan 1996 11:24:26 GMT
• CFP - Computer Related Standards and Safety
  • Victoria Stavridou Mon, 11 Nov 1996 11:59:49 GMT
• Chair advert - University of Sheffield
  • Mike Holcombe Tue, 12 Mar 1996 12:41:38 GMT
• Colloquium on "COTS and Safety Critical Systems"
  • Evans, Sarah Tue, 13 Aug 1996 09:15:00 PDT
• Colloquium on 'Hybrid Control for Real-Time Systems'
  • D.J.Holding Fri, 13 Sep 1996 11:35:36 +0000
• Colloquium on COTS and Safety Critical Systems
  • Evans, Sarah Mon, 12 Aug 1996 16:19:00 PDT
• Colloquium on COTS and Safety Critical Systems -Reply
  • James Stewart Thu, 15 Aug 1996 08:00:01 -0400
• Commercial Geology Packages
  • Dennis Lawrence Thu, 5 Dec 1996 07:58:47 -0800
• COMPASS 97 Call for Papers
  • Jeffrey M. Voas Thu, 17 Oct 1996 06:13:02 EDT
• Cookbook Software
  • William Petrick Thu, 1 Aug 1996 15:45:48 -0700
• COTS again
  • Tom Anderson Fri, 13 Dec 1996 20:52:32 +0000
• Dependability References Database
  • Jonathan Moffett Tue, 12 Mar 1996 09:39:51 GMT
• ESA Software Standards
  • Jonathan Moffett Mon, 05 Aug 1996 15:51:22 +0100
• ESA_Standards
  • Janusz Zalewski Thu, 1 Aug 1996 12:47:08 EDT
• fault tolerant asynchronous logic
  • Meine van der Meulen Mon, 03 Jun 1996 13:55:36 +0100
• FDA and Offshore standards
  • Viv Hamilton +44 1245 2233 Mon, 07 Oct 1996 15:06:56 +0000 (GMT)
  • jk Mon, 07 Oct 1996 11:04:18 +0000 (GMT)
  • Peter Ladkin Mon, 7 Oct 1996 11:03:17 +0200
  • Brian A Wichmann Mon, 7 Oct 1996 10:01:00 BST
  • Charles Waite Sun, 6 Oct 1996 17:47:31 -0400
  • Nancy Leveson Sun, 06 Oct 1996 09:50:01 PDT
  • Peter Ladkin Sun, 6 Oct 1996 16:26:30 +0200
  • Peter Ladkin Sun, 6 Oct 1996 15:56:42 +0200
  • Charles Waite Fri, 4 Oct 1996 16:47:57 -0400
  • Andy Dearden Fri, 4 Oct 1996 15:57:19 +0000
  • Nancy Leveson Fri, 04 Oct 1996 07:35:22 PDT
  • Ross H. Becker Fri, 4 Oct 1996 10:23:31 -0400
  • Nancy Leveson Fri, 04 Oct 1996 06:27:19 PDT
  • Nancy Leveson Wed, 25 Sep 1996 16:54:17 PDT
  • Charles Waite Wed, 25 Sep 1996 10:46:35 -0400
  • Nancy Leveson Wed, 25 Sep 1996 05:28:06 PDT
  • Charles Waite Tue, 24 Sep 1996 22:14:01 -0400
  • Nik Kanuritch Tue, 24 Sep 1996 11:23:30 BST
• FDA and Offshore standards -Reply
  • James Stewart Wed, 25 Sep 1996 10:20:13 -0400
• Foresight report
  • Brian A Wichmann Mon, 7 Oct 1996 11:00:48 BST
• FTRTFT '96 - Call for Demos
  • Matz Kindahl Fri, 31 May 1996 16:29:06 +0200
• FW: Ariane 501
  • Victoria Stavridou Thu, 1 Aug 1996 09:48:08 +0100 (BST)
• Human Error and Systems Development (cfp)
  • johnson(at)dcs.gla.ac.uk Mon, 2 Dec 1996 09:15:08 GMT
• important information
  • Paul J. Bruemmer Wed, 10 Jan 1996 20:15:45 0800
• Industria software survey
  • Colin Chambers Tue, 6 Aug 1996 08:54:55 +0100
• Information Survivability Workshop
  • Mario R. Barbacci Sun, 01 Dec 1996 17:51:42 -0500
• Introduction
  • Safety Critical Systems / SM836 Tue, 30 Jan 1996 10:46:32 GMT
• ISSRE'96 Registration Reminder
  • issre96(at)research.att.com Thu, 19 Sep 1996 18:20 +0400
• Lectureship at QMW
  • Victoria Stavridou Thu, 5 Sep 1996 15:31:19 +0100 (BST)
• MIL STD 882C
  • jdixon(at)greatwall.cctt.com Thu, 22 Aug 1996 16:16:56 -0500
  • Chuck Howell Thu, 22 Aug 1996 10:37:39 -0400
  • Jonathan Moffett Thu, 22 Aug 1996 14:36:41 +0100
  • J. E. Borggren Thu, 22 Aug 1996 12:52:09 GMT
• MoD DEF-STD 00-55 and 00-56
  • Ken Garlington Wed, 27 Nov 1996 14:12:30 +0000
• Modular MSc in Safety Critical Systems Engineering
  • Jonathan Moffett Mon, 15 Apr 1996 17:21:02 GMT
• My Example / A Solution
  • William Petrick Mon, 10 Jun 1996 17:24:07 -0700
• NAERG96
  • ladkin(at)TechFak.Uni-Bielefeld.DE Tue, 28 May 1996 10:59:23 +0200
  • ladkin(at)TechFak.Uni-Bielefeld.DE Tue, 28 May 1996 10:59:23 +0200
  • TestDepth(at)aol.com Sun, 26 May 1996 22:00:12 -0400
• NATIONAL SAFETY CODE
  • NSC Sun, 16 Jun 1996 14:06:28 -0700
• new paper
  • Nancy Leveson Wed, 29 May 1996 18:42:02 PDT
• New version of the Dependability References Database
  • Jonathan Moffett Tue, 27 Aug 1996 11:11:34 GMT
  • Jonathan Moffett Mon, 4 Mar 1996 20:46:38 GMT
• old FTCS proceedings.
  • Jeff Voas Wed, 18 Sep 1996 15:25:44 EDT
• Question following reading Ariane 5 report
  • kiyanda(at)cae.ca Wed, 14 Aug 1996 09:12:18 -0400
  • Bernard Kiyanda Wed, 14 Aug 1996 09:12:18 -0400
• Repost of "Safety Models"
  • William Petrick Mon, 13 May 1996 08:30:45 -0700
• RePost"Safety Models in Highly Regulated Industries"
  • Dick Bolt Thu, 9 May 1996 15:24:12 -0400
• Research vacancy: York, UK
  • bob(at)minster Wed, 06 Nov 1996 17:54:23 +0000
• Risk Analysis
  • Robert Hale Mon, 02 Jun 1996 19:14:41 EDT
  • Nancy Leveson Fri, 31 May 1996 06:28:20 PDT
  • Charles Waite Fri, 31 May 1996 09:04:57 -0400
• RST Reliability HotList
  • Jeff Voas Wed, 28 Feb 1996 13:52:59 EST
• SAFECOMP 96 announcement
  • by way of strigini(at)csr.city.ac.uk Mon, 15 Jan 1996 18:38:34 +0000
• SafeComp'97 Call for Papers
  • bob(at)minster Mon, 21 Oct 1996 19:44:53 +0100
• Safety Analysis Techniques for Software
  • J. E. Borggren Mon, 5 Feb 1996 09:52:35 GMT
  • Nancy Leveson Thu, 25 Jan 1996 05:45:25 PST
• Safety Critical Systems Programme - UK Interest Only
  • Mike Falla Wed, 18 Dec 1996 13:37:49 GMT
• Safety Models in Highly Regulated Industries
  • Andy Ashworth Tue, 7 May 1996 11:42:13 BST
• Safety standards workshop at ISESS 97
  • Victoria Stavridou Mon, 16 Sep 1996 11:18:56 +0100 (BST)
• Software Capability Evaluation
  • Cooper Phil Wed, 03 Jan 1996 15:56:00 PST
• Software Modelling
  • Robert Hale Fri, 13 Dec 1996 10:19:09 +0000
  • Tom Anderson Tue, 10 Dec 1996 09:29:59 +0000
  • Viv Hamilton +44 1245 242233 Wed, 04 Dec 1996 19:17:55 +0000 (GMT)
  • Bing Yu Wed, 4 Dec 1996 13:26:29 -0500
  • Nik Kanuritch Wed, 4 Dec 1996 16:50:00 BST
  • Jon Jacky Wed, 4 Dec 1996 08:34:10 -0800
  • Pete Fenelon Wed, 04 Dec 1996 10:51:52 +0000
  • Freed David Wed, 4 Dec 1996 10:46:00 -0000
  • Peter Bishop Wed, 4 Dec 1996 09:52:55 +0000
  • Nancy Leveson Tue, 03 Dec 1996 14:30:15 PST
  • Bret Michael Tue, 03 Dec 1996 13:50:31 -0800
  • Robert Hale Tue, 3 Dec 1996 18:16:01 +0000
• Software Modelling -Reply
  • James Stewart Wed, 04 Dec 1996 09:00:43 -0500
• Software Modelling and HIRT report
  • Viv Hamilton +44 1245 242233 Wed, 04 Dec 1996 19:25:16 +0000 (GMT)
• Software Modelling, multiple maths packages and N-version software
  • Lorenzo Strigini Wed, 4 Dec 1996 17:47:16 +0000
• software safety class
  • Nancy Leveson Tue, 06 Feb 1996 03:56:58 PST
• technical report
  • Jeff Voas Tue, 25 Jun 1996 14:59:56 EDT
• text on developing safe systems in Ada
  • Brian A Wichmann Mon, 9 Sep 1996 14:29:28 BST
  • Brian A Wichmann Mon, 9 Sep 1996 14:29:28 BST
  • Lin Zucconi Mon, 9 Sep 1996 11:59:53 +1000
• vacancy
  • Viv Hamilton Fri, 15 Mar 1996 09:52:32 +0000 (GMT)
• What makes a good product
  • Cooper Phil Wed, 03 Jan 1996 18:32:00 PST
• WITAT 96
  • Marvin V. Zelkowitz Thu, 11 Jul 1996 17:05:28 -0400 (EDT)

This archive was generated by hypermail 2.0b3 on Tue 21 Aug 2001 - 14:53:39 BST