Safety-Critical Mailing List Archive 1998
By Subject
End of Messages
Date view
Thread view
Author view
Other groups
396 Messages
Starting:
Tue, 6 Jan 1998 10:08:19 +1000 (EST)
Ending:
Tue, 29 Dec 1998 09:32:44 +0000
"FEmSys99:_Call_for_Participation/Program"
Axel Poigne
Thu, 3 Dec 1998 08:18:17 +0100
"FEmSys99_SECOND_Announcement"
Axel Poigne
Wed, 9 Sep 1998 09:28:53 +0200
(no subject)
SALES
Fri, 10 Jul 1998 17:31:18 +0100
(not specifically safety) Special Issue on Real-Time Systems
Iain Bate
Tue, 21 Jul 1998 09:00:32 +0100
00-56 Safety Standard on-line
gifford.court(at)dera.gov.uk
Mon, 20 Jul 1998 15:21:12 +0000
Bruno Dutertre
Mon, 13 Jul 1998 10:54:15 -0700
[Safety-relate] Summer School Announcement
Jonathan Moffett
Fri, 23 Jan 1998 12:54:32 +0000
[Safety-related] Advance Program - ISORC '98
Jonathan Moffett
Wed, 28 Jan 1998 08:40:08 +0000
[Safety-related] Computer Science Lectureships at Univ of York
Jonathan Moffett
Tue, 03 Nov 1998 09:23:11 +0000
[Safety-related] Senior Lectureship at Univ of York
Jonathan Moffett
Fri, 17 Jul 1998 12:44:08 +0100
[Safety-related]: Ada validation
Jonathan Moffett
Wed, 03 Jun 1998 08:53:59 +0100
[Safety-related]: C++ can work...
Jonathan Moffett
Mon, 09 Mar 1998 08:37:04 +0000
[Safety-related]: call for papers: Dependable Computing for Critical Applications
Jonathan Moffett
Fri, 19 Jun 1998 08:53:26 +0100
[Safety-related]: CFP - Computer Communications Special Issue on FDTs in Practice
Jonathan Moffett
Tue, 03 Mar 1998 08:37:43 +0000
[Safety-related]: CFP - Special session in FORTE/PSTV'98
Jonathan Moffett
Wed, 18 Mar 1998 08:51:07 +0000
Jonathan Moffett
Tue, 17 Mar 1998 17:29:16 +0000
[Safety-related]: CFP: Speciall Issue on Middleware
Jonathan Moffett
Wed, 03 Jun 1998 08:54:00 +0100
[Safety-related]: CFP: Tool Support for System Specification, Development and Verification
Jonathan Moffett
Fri, 24 Apr 1998 11:15:48 +0100
[Safety-related]: COMPASS Task Force of the IEEE Computer Society
Lon D. Gowen, Ph.D.
Tue, 25 Aug 1998 07:58:44 -0500
Peter B. Ladkin
Tue, 25 Aug 1998 10:59:31 +0200
[Safety-related]: COMPASS Task Force of the IEEE Computer Society
Mario R. Barbacci
Tue, 25 Aug 1998 10:55:00 -0400
[Safety-related]: COMPASS Task Force of the IEEE Computer Society
Nancy Leveson
Tue, 25 Aug 1998 06:20:42 -0700
Jonathan Moffett
Tue, 25 Aug 1998 08:47:51 +0100
[Safety-related]: CSR/Newcastle - PhD Studentships
Jonathan Moffett
Fri, 19 Jun 1998 13:30:12 +0100
[Safety-related]: DCCA cfp
Jonathan Moffett
Mon, 22 Jun 1998 08:25:18 +0100
[Safety-related]: FEmSys'99 - First Announcement/Call for Exhibitors
Jonathan Moffett
Tue, 12 May 1998 09:31:16 +0100
[Safety-related]: FMDS'98
Jonathan Moffett
Mon, 07 Sep 1998 14:22:56 +0100
[Safety-related]: ISSRE '98 Advance Registration
Pete Mellor
Sun, 27 Sep 1998 21:12:20 +0100 (BST)
Jonathan Moffett
Sun, 27 Sep 1998 09:39:32 +0100
[Safety-related]: ISW'98 - Call for Participation
Jonathan Moffett
Thu, 28 May 1998 08:48:52 +0100
[Safety-related]: New Mailing List on Validation and Verification
Jonathan Moffett
Thu, 05 Feb 1998 08:43:55 +0000
[Safety-related]: Oops, typo
Jonathan Moffett
Mon, 26 Oct 1998 16:42:19 +0000
[Safety-related]: Quality Week Europe '98 (QWE'98)
Jonathan Moffett
Thu, 17 Sep 1998 08:52:41 +0100
[Safety-related]: Quality Week Europe '98 - Call for Papers
Jonathan Moffett
Fri, 26 Jun 1998 08:37:08 +0100
[Safety-related]: Reminder: FORTE/PSTV'98 call for papers
Jonathan Moffett
Wed, 18 Mar 1998 08:51:07 +0000
Jonathan Moffett
Tue, 17 Mar 1998 17:29:16 +0000
[Safety-related]: So, things built with C++? Like Windows NT? Windows 95?
Jonathan Moffett
Mon, 09 Mar 1998 08:37:04 +0000
[Safety-related]: Software, Requirements and System parts
Jonathan Moffett
Thu, 28 May 1998 08:48:52 +0100
[Safety-related]: Success Tree Analysis
Nancy Leveson
Fri, 24 Apr 1998 04:47:57 -0700
Jonathan Moffett
Fri, 24 Apr 1998 11:15:47 +0100
[Safety-related]: TCS'99 CONFERENCE -- Call for Contributions
Jonathan Moffett
Sun, 27 Sep 1998 09:11:59 +0100
[Safety-related]: Use of risk assessment in engineering
Ellis, Dori
22 Jun 1998 15:08:07 -0600
jim_k_jaskol(at)corp.disney.com
Mon, 22 Jun 1998 13:09:31 -0800
Jonathan Moffett
Mon, 22 Jun 1998 08:25:19 +0100
[Safety-related]:14th ACSAC Call for Papers
Jonathan Moffett
Mon, 02 Mar 1998 09:44:57 +0000
[Safety-relevant] Disaster series on BBC2 TV, UK
Jonathan Moffett
Tue, 06 Jan 1998 10:09:48 +0000
Jonathan Moffett
Tue, 6 Jan 1998 10:08:19 +1000 (EST)
[Safety-relevant] Reminder: deadline for Human Error Workshop abstracts
Jonathan Moffett
Thu, 08 Jan 1998 17:34:07 +0000
[Safety-relevant]:Northern FM workshop - safety related
Jonathan Moffett
Fri, 16 Jan 1998 08:46:03 +0000
[safety] ALARP
John McDermid
Thu, 26 Nov 1998 14:25:51 -0000
Andy Dearden
Thu, 26 Nov 1998 14:11:25 +0000
Peter B. Ladkin
Tue, 24 Nov 1998 16:05:16 +0100
Andy Dearden
Tue, 24 Nov 1998 12:11:13 +0000
Tony Cox
Tue, 24 Nov 1998 01:24:02 -0000
[Safety] DEPENDABLE COMPUTING FOR CRITICAL APPLICATIONS
Jonathan Moffett
Fri, 27 Nov 1998 11:17:53 +0000
[Safety] temporal or timeline tool?
Richard.Scaife(at)aeroint.com
Mon, 16 Feb 1998 08:54:14 +0000
Peter B. Ladkin
Fri, 13 Feb 1998 19:47:47 +0100
Roger Searjeant
Fri, 13 Feb 1998 17:22:07 -0000
Andy Dearden
Fri, 13 Feb 1998 17:19:12 +0000
marie-odile Bes
Fri, 13 Feb 1998 17:06:14 +0100
A good paper by Les Hatton: On N-Version Design Techniques fo r Safety-Critical Applications
Garlington, Kennie E
Thu, 18 Jun 1998 09:05:33 -0500
Victoria Stavridou
Wed, 17 Jun 1998 14:08:22 -0700
Garlington, Kennie E
Wed, 17 Jun 1998 14:39:20 -0500
Victoria Stavridou
Wed, 17 Jun 1998 11:01:29 -0700
Garlington, Kennie E
Wed, 17 Jun 1998 10:35:42 -0500
A good paper by Les Hatton: On N-Version Design Techniques for Safety-Critical Applications
Nancy Leveson
Wed, 17 Jun 1998 03:38:49 -0700
Nancy Leveson
Wed, 17 Jun 1998 03:19:47 -0700
Jie Xu
Tue, 16 Jun 1998 15:51:45 +0100
Ada for safety
Brian Wichmann
Tue, 8 Sep 1998 09:31:00 +0100 (BST)
Brian Wichmann
Mon, 12 Jan 1998 09:32:07 GMT
John McDermid
Fri, 09 Jan 1998 18:31:59 +0000
Brian Wichmann
Fri, 9 Jan 1998 11:34:57 GMT
ADA Run Time System Checks vs. Defensive Programming for Safety Critical Systems
Paul Gatland
Tue, 24 Mar 1998 21:00:23 UT
ADA Run Time System Checks vs. Defensive Programming for Safety Critical Systems
Brian Wichmann
Thu, 26 Mar 1998 09:19:27 GMT
Stuart Palin 01634 844400 Ext 4197
Wed, 25 Mar 1998 09:18:25 +0000 (GMT)
John McDermid
Wed, 25 Mar 1998 09:19:48 -0000
Ada validation
Jonathan Moffett
Wed, 03 Jun 1998 08:54:00 +0100
Adelard Safety Case Development Manual
Robin Bloomfield
Fri, 24 Jul 1998 22:12:54 +1.00
ALARP and standards
nikola.kanuritch(at)bae.co.uk
Tue, 24 Nov 1998 12:57:35 +0000
ALARP, etc.
Jonathan Moffett
Wed, 25 Nov 1998 08:31:58 +0000
Tony Cox
Tue, 24 Nov 1998 19:18:31 -0000
Allocation of Safety Integrity Levels
Ross Hannan
Thu, 28 May 1998 10:04:39 +0100
Brian Wichmann
Thu, 28 May 1998 09:48:37 BST
Braband Jens
Thu, 28 May 1998 08:01:36 +0200
Are compilers [safety]?
Jonathan Moffett
Mon, 09 Nov 1998 11:21:46 +0000
Are compilers safe
Pete Mellor
Fri, 6 Nov 1998 16:44:35 GMT
DAVIES, Jon
Fri, 6 Nov 1998 13:02:00 +0000
Jonathan Moffett
Sun, 25 Oct 1998 16:57:04 +0000
Nancy Leveson
Fri, 23 Oct 1998 07:45:16 -0700
Brian Wichmann
Fri, 23 Oct 1998 09:31:51 +0100 (BST)
Nancy Leveson
Thu, 22 Oct 1998 23:56:44 -0700
Peter B. Ladkin
Thu, 22 Oct 1998 20:06:30 +0200
Brian Wichmann
Thu, 22 Oct 1998 16:29:03 +0100 (BST)
C++ and Safety: moderated discussion
Pete Mellor
Fri, 20 Mar 1998 18:56:53 GMT
Jonathan Moffett
Fri, 20 Mar 1998 15:42:55 +0000
by way of Jonathan Moffett
Tue, 17 Mar 1998 17:29:16 +0000
by way of Jonathan Moffett
Tue, 17 Mar 1998 17:29:16 +0000
C++ (or Ada) for safety; Ariane 5
Peter B. Ladkin
Mon, 23 Mar 1998 20:58:10 +0100
Ian Pyle
Thu, 19 Mar 1998 17:42:22 EST
C++ for safety
Garlington, Kennie E
Sun, 15 Mar 1998 18:11:52 -0600
Steve D White
Sun, 15 Mar 1998 19:37:40 +0000
Peter B. Ladkin
Sun, 15 Mar 1998 18:44:32 +0100
Peter B. Ladkin
Sun, 15 Mar 1998 17:50:22 +0100
Garlington, Kennie E
Sat, 14 Mar 1998 17:32:54 -0600
Pete Mellor
Sat, 14 Mar 1998 12:02:14 +0000 (GMT)
Peter B. Ladkin
Fri, 13 Mar 1998 23:15:44 +0100
Nancy Leveson
Fri, 13 Mar 1998 12:39:16 -0800
Tom Anderson
Fri, 13 Mar 1998 19:58:48 +0000
Peter B. Ladkin
Fri, 13 Mar 1998 20:10:35 +0100
John McDermid
Wed, 11 Mar 1998 08:28:25 -0000
Steve Palmer
Wed, 11 Mar 1998 07:16:39 -0000
Janusz Zalewski
Tue, 10 Mar 1998 08:19 EST
Martyn Thomas
Tue, 10 Mar 1998 11:29:45 -0000
Peter B. Ladkin
Tue, 10 Mar 1998 10:29:33 +0100
Brenton Atchison
Tue, 10 Mar 1998 09:13:43 +1000
jim_k_jaskol(at)corp.disney.com
Mon, 09 Mar 1998 12:56:31 -0800
Royalty, Chuck
Mon, 9 Mar 1998 08:58:24 -0800
Jon DAVIES
Mon, 09 Mar 1998 10:39:17 +0100
Garlington, Kennie E
Sun, 08 Mar 1998 15:34:47 -0600
Frank Renpenning
Sat, 07 Mar 1998 17:25:00 +0100
Pete Mellor
Sat, 7 Mar 1998 08:30:14 +0000 (GMT)
Steve Palmer
Sat, 7 Mar 1998 07:49:43 -0000
Nancy Leveson
Fri, 06 Mar 1998 12:07:08 -0800
Pete Mellor
Fri, 6 Mar 1998 16:35:53 GMT
Pete Mellor
Fri, 6 Mar 1998 16:31:42 GMT
Garlington, Kennie E
Fri, 06 Mar 1998 10:17:18 -0600
Peter B. Ladkin
Fri, 06 Mar 1998 16:57:08 +0100
Lon D. Gowen, Ph.D.
Fri, 06 Mar 1998 09:48:43 -0600
Pete Mellor
Fri, 6 Mar 1998 15:42:59 GMT
Paul Krause
Fri, 06 Mar 1998 15:24:21 +0000
Viv Hamilton +44 1245 242233
Fri, 06 Mar 1998 14:30:18 +0000 (GMT)
Viv Hamilton +44 1245 242233
Fri, 06 Mar 1998 14:14:46 +0000 (GMT)
Peter B. Ladkin
Fri, 06 Mar 1998 14:52:34 +0100
Peter B. Ladkin
Fri, 06 Mar 1998 14:43:23 +0100
Peter B. Ladkin
Fri, 06 Mar 1998 13:43:17 +0100
Frank Renpenning
Fri, 06 Mar 1998 12:02:00 +0100
Paul Krause
Fri, 06 Mar 1998 11:51:34 +0000
Mike Holcombe
Fri, 6 Mar 1998 10:55:24 GMT
Brian Wichmann
Fri, 6 Mar 1998 10:10:28 GMT
C++ for safety (cf. Java)
Mark T Miller
Tue, 24 Mar 1998 09:29:11 -0600
Jonathan Bowen
Tue, 24 Mar 1998 13:05:16 GMT
Peter B. Ladkin
Tue, 24 Mar 1998 12:36:27 +0100
Jonathan Bowen
Tue, 24 Mar 1998 09:58:19 GMT
Jonathan Bowen
Tue, 24 Mar 1998 09:49:10 GMT
Brian Wichmann
Tue, 24 Mar 1998 09:16:44 GMT
Peter B. Ladkin
Mon, 23 Mar 1998 16:42:41 +0100
Jonathan Bowen
Mon, 23 Mar 1998 15:28:28 GMT
Call for Participation: HASE'98
Bojan Cukic
Sun, 18 Oct 1998 17:56:24 -0500 (CDT)
Certification and Safety
Brian Wichmann
Tue, 24 Mar 1998 17:22:54 GMT
CFP for a Special Issue of the IEE Proceedings - Software Engineering (not specifically safety)
Rogerio de Lemos
Wed, 1 Apr 1998 18:44:44 +0100 (BST)
Iain Bate
Tue, 24 Mar 1998 12:31:21 +0000
CFP IEEE Internet Computing - Mobile Code SAFETY
Gary McGraw
Fri, 23 Jan 1998 15:50:38 -0500 (EST)
CfP Special Issue on Formal Methods for Visual Interaction
Jonathan Moffett
Tue, 13 Jan 1998 14:01:10 +0000
Jonathan Moffett
Tue, 13 Jan 1998 14:01:10 +0000
CFP: DCCA-7 (safety related)
Chuck Weinstock
Thu, 16 Apr 1998 11:48:25 -0400
Colloquium on Real-Time Systems (not specifically safety)
Iain Bate
Tue, 24 Mar 1998 10:09:09 +0000
Compilers and micros
Martyn Thomas
Sat, 24 Oct 1998 11:24:29 +0100
Peter B. Ladkin
Fri, 23 Oct 1998 19:53:30 +0200
Brian Wichmann
Fri, 23 Oct 1998 15:29:59 +0100 (BST)
Correctness and safety
Brian Wichmann
Tue, 15 Dec 1998 16:31:53 GMT
Jonathan Moffett
Thu, 3 Dec 1998 08:18:17 +0100
Klaus Brunnstein
Fri, 4 Dec 1998 17:56:11 +0100
Brian Wichmann
Fri, 4 Dec 1998 12:57:48 GMT
Peter B. Ladkin
Fri, 04 Dec 1998 13:39:47 +0100
Brian Wichmann
Fri, 4 Dec 1998 11:41:14 GMT
Documentation safety
Ann Wrightson
Wed, 1 Apr 1998 21:49:04 +0100
European Summer School on RELIABILITY AND SAFETY OF HUMAN-MACHINE SYSTEMS
Massimo Felici
Fri, 05 Jun 1998 09:29:23 +0200
Fallacious [safety] arguments
Pete Mellor
Thu, 9 Apr 1998 00:47:18 +0100 (BST)
Pete Mellor
Thu, 9 Apr 1998 00:31:21 +0100 (BST)
Richard Bolt
Wed, 8 Apr 1998 12:30:21 -0400
Jonathan Moffett
Wed, 08 Apr 1998 17:19:52 +0100
HUMAN COMPUTER INTERFACE / HUMAN ERROR ANALYSIS IN SAFETY APPLICATIONS
Sandro Bologna
Wed, 4 Feb 1998 17:03:21 +0100
ICECCS'98/SES'98 Advance Program (including safety) - Call for Registration
John Harauz
Sun, 7 Jun 1998 19:41:52 -0400
IEC Safety Standard
UK72
23 Jun 1998 03:14:49 -0500
Garlington, Kennie E
Mon, 22 Jun 1998 09:10:06 -0500
IanPyle(at)aol.com
Sun, 21 Jun 1998 16:08:26 EDT
IEEE Safety Study Group
Jim Woodcock
Wed, 18 Mar 1998 14:25:47 GMT
matmdf(at)lochness.CS.Gsu.EDU
Fri, 6 Mar 1998 15:55:14 -0500
Vijay Vaishnavi
Wed, 4 Mar 1998 17:35:05 -0500 (EST)
Lon D. Gowen, Ph.D.
Fri, 27 Feb 1998 09:10:14 -0600
Pete Mellor
Fri, 27 Feb 1998 15:35:29 GMT
Joao Batista
Fri, 27 Feb 1998 11:49:50 -0300 ()
parodrig(at)estec.esa.nl
Fri, 27 Feb 1998 09:23:49 +0100
mweber(at)systemsafety.com
Thu, 26 Feb 1998 18:09:43 -0800
Janusz Zalewski
Thu, 26 Feb 1998 18:22 EST
Luedeke, Jonathan F
Thu, 26 Feb 1998 11:05:36 -0500
Lon D. Gowen, Ph.D.
Thu, 26 Feb 1998 08:28:02 -0600
Victoria Stavridou
Thu, 26 Feb 1998 13:20:33 +0000
IEEE Software Call for Papers and Reviewers
John McDermid
Tue, 25 Aug 1998 07:34:03 +0100
Jeffrey M. Voas
Mon, 24 Aug 1998 14:27:30 -0400 (EDT)
IEEE Software Safety Presentation
Jeffrey M. Voas
Wed, 13 May 1998 14:09:56 -0400 (EDT)
Inappropriate use of automatic replyon Safety list
Jonathan Moffett
Fri, 13 Nov 1998 14:20:29 +0000
Interesting Conference
Alberto Pasquini
Mon, 02 Nov 1998 17:22:22 +0100
Invitation - QRA discussion group
Jan Erik Vinnem
Thu, 5 Nov 1998 22:01:29 +0100
ISESS 99 including safety standards
Land, Kathy
Tue, 17 Feb 1998 11:47:47 -0600
Land, Kathy
Tue, 17 Feb 1998 11:44:04 -0600
Land, Kathy
Tue, 10 Feb 1998 16:04:55 -0600
Jobs: Product Safety Engineer and others
Jon DAVIES
Fri, 3 Apr 1998 17:20:36 +0100
Language Style for Safety-Related Documents
Pete Mellor
Mon, 1 Jun 1998 00:50:39 +0100 (BST)
paul.edwards(at)roverpte.demon.co.uk
Thu, 28 May 1998 08:47:45 +0100
MCLELLAN Alexander
Thu, 28 May 1998 09:28:22 +0100
Viv Hamilton +44 1245 242233
Wed, 27 May 1998 17:11:38 +0000 (GMT)
Peter B. Ladkin
Wed, 27 May 1998 15:40:03 +0200
Cooper Phil
Wed, 27 May 1998 14:23:00 +0100
Peter B. Ladkin
Wed, 27 May 1998 14:41:31 +0200
Paul Krause
Wed, 27 May 1998 13:33:13 +0100
Jon DAVIES
Wed, 27 May 1998 12:28:44 +0200
Lister on Risk: NOT TO BE MISSED! (Safety comes into it somewhere!)
Pete Mellor
Wed, 4 Mar 1998 14:56:51 GMT
Looking for microcontrollers for highly safety critical syst
Peter Bishop
Wed, 4 Nov 1998 14:10:50 +0000
Looking for microcontrollers for highly safety critical systems
Maas Elmar
Wed, 4 Nov 1998 13:29:45 +0100
Masterclass in Software Safety
Tony Foord
Sun, 7 Jun 1998 19:14:31 -0400
Microsoft licennses and safety-critical applications
Jonathan Moffett
Fri, 27 Mar 1998 14:07:21 +0000
Microsoft Safety Software - Not
Jon DAVIES
Fri, 30 Jan 1998 11:19:37 +0100
Charles Waite
Thu, 29 Jan 1998 23:04:34 -0500
MISRA 'Guidelines for the use of the C language in vehicle based software' - now published [safety related]
paul.edwards(at)roverpte.demon.co.uk
Thu, 28 May 1998 13:04:32 +0100
MSc courses in Safety Critical Systems Engineering & Software Engineering
Jonathan Moffett
Wed, 04 Mar 1998 09:10:27 +0000
Northern FM workshop - safety related
Bob Fields
Thu, 15 Jan 1998 19:28:49 +0000
Objective testing for safety
Brian Wichmann
Tue, 13 Oct 1998 17:34:47 +0100 (BST)
Janusz Zalewski
Tue, 13 Oct 1998 08:03 EDT
IanPyle(at)aol.com
Tue, 13 Oct 1998 06:14:43 EDT
Ann Wrightson
Tue, 22 Sep 1998 10:05:21 +0100
OTS / Safety
Jeffrey M. Voas
Wed, 4 Feb 1998 08:49:25 -0500 (EST)
position available in safety analysis
Peter Lindsay
Tue, 6 Jan 1998 18:26:00 +1000 (EST)
Preliminary CFP ISSRE'99
Jeffrey M. Voas
Fri, 2 Oct 1998 13:18:53 -0400 (EDT)
Prof. Nancy Leveson's Masterclass in Software Safety
Jonathan Moffett
Fri, 21 Aug 1998 16:49:07 +0100
Public domain examples of the use of ALARP [safety]?
UK72
Tue, 24 Nov 1998 11:42:18 -0000
Roger Searjeant
Mon, 23 Nov 1998 13:07:31 -0000
Brian.Bibb(at)eos.elekta.com
Mon, 23 Nov 1998 10:21:40 +0000
Roger Searjeant
Fri, 20 Nov 1998 16:05:07 -0000
Tim Kelly
Fri, 20 Nov 1998 15:24:27 -0000
Roger Searjeant
Fri, 20 Nov 1998 15:09:34 -0000
Brian Wichmann
Fri, 20 Nov 1998 14:39:22 GMT
Martyn Thomas
Fri, 20 Nov 1998 14:22:45 -0000
Peter B. Ladkin
Fri, 20 Nov 1998 14:49:54 +0100
richard.evans(at)roverpte.demon.co.uk
Fri, 20 Nov 1998 12:42:09 +0000
Quantitative System safety
Martyn Thomas
Tue, 17 Mar 1998 13:42:32 -0000
Victoria Stavridou
Mon, 16 Mar 1998 12:38:18 +0000
Luedeke, Jonathan F
Fri, 13 Mar 1998 15:38:29 -0500
RE- safety definitions .....
Charles Hoes
Wed, 17 Jun 1998 20:20:04 -0700
nikola.kanuritch(at)bae.co.uk
Wed, 17 Jun 1998 12:06:38 +0100
Report on safety critical R&D programme on net
Jonathan Moffett
Mon, 17 Aug 1998 14:43:32 +0100
Safe for Safety's sake?
nikola.kanuritch(at)bae.co.uk
Thu, 9 Apr 1998 11:52:18 +0100
Safety (another) position
Virginia Garton
Fri, 1 May 1998 12:08:48 +1000 (EST)
Safety - position
Virginia Garton
Fri, 1 May 1998 12:02:30 +1000 (EST)
safety - positions available
Virginia Garton
Fri, 1 May 1998 11:58:40 +1000 (EST)
Safety -related research position - York
Bob Fields
Wed, 28 Jan 1998 16:23:18 +0000
Safety and formal methods
Robin Bloomfield
Fri, 13 Nov 1998 15:28:22 -0000
Safety bugs
Peter Bishop
Tue, 27 Oct 1998 08:46:24 +0000
Nancy Leveson
Mon, 26 Oct 1998 10:04:31 -0800
Peter B. Ladkin
Mon, 26 Oct 1998 18:49:58 +0100
Peter Bishop
Mon, 26 Oct 1998 09:11:15 +0000
Nancy Leveson
Mon, 26 Oct 1998 07:09:15 -0800
Peter B. Ladkin
Mon, 26 Oct 1998 15:51:18 +0100
Jonathan Bowen
Mon, 26 Oct 1998 14:14:32 GMT
Jonathan Bowen
Mon, 26 Oct 1998 13:04:12 GMT
John McDermid
Mon, 26 Oct 1998 12:37:47 -0000
Peter B. Ladkin
Mon, 26 Oct 1998 10:42:44 +0100
John McDermid
Mon, 26 Oct 1998 08:25:42 -0000
Nancy Leveson
Fri, 23 Oct 1998 09:50:25 -0700
Brian Wichmann
Fri, 23 Oct 1998 16:36:53 +0100 (BST)
Safety contribution of software
Paul Gruhn, P.E.
Thu, 19 Mar 1998 15:11:53 -0600
jon hind
Thu, 19 Mar 1998 15:52:38 +0000
Paul Gruhn, P.E.
Fri, 13 Mar 1998 15:57:50 -0600
Safety Critical Club events
Tom Anderson
Wed, 22 Jul 1998 19:32:55 +0100
Safety Definitions of Hazard and Risk
James Bret Michael
Fri, 19 Jun 1998 14:34:32 -0700 (PDT)
James Bret Michael
Fri, 19 Jun 1998 10:58:38 -0700 (PDT)
James Bret Michael
Mon, 22 Jun 1998 19:19:17 -0700 (PDT)
Ostrand, Thomas
Fri, 19 Jun 1998 16:24:38 -0400
Premkumar Devanbu
Fri, 19 Jun 1998 12:57:59 -0700 (PDT)
Tony Foord
Sun, 21 Jun 1998 19:58:28 -0400
Bruce Elliott
Fri, 19 Jun 1998 13:36:30 +0100 (BST)
Nancy Leveson
Fri, 19 Jun 1998 03:23:07 -0700
Ann Wrightson
Fri, 19 Jun 1998 09:23:29 +0100
John McDermid
Fri, 19 Jun 1998 08:20:32 +1000
James Bret Michael
Thu, 18 Jun 1998 13:00:09 -0700 (PDT)
Peter B. Ladkin
Thu, 18 Jun 1998 21:45:23 +0200
nikola.kanuritch(at)bae.co.uk
Thu, 18 Jun 1998 17:05:26 +0100
Peter B. Ladkin
Thu, 18 Jun 1998 20:20:35 +0200
James Bret Michael
Thu, 18 Jun 1998 10:48:44 -0700 (PDT)
Charles Hoes
Thu, 18 Jun 1998 07:15:19 -0700
Nancy Leveson
Thu, 18 Jun 1998 06:03:10 -0700
Ann Wrightson
Thu, 18 Jun 1998 12:54:55 +0100
Peter B. Ladkin
Thu, 18 Jun 1998 12:35:33 +0200
Royalty, Chuck
Wed, 17 Jun 1998 13:42:43 -0700
Peter Bishop
Wed, 17 Jun 1998 09:55:30 +0000
Charles Hoes
Tue, 16 Jun 1998 18:00:24 -0700
Charles Hoes
Tue, 16 Jun 1998 16:30:11 -0700
John McDermid
Wed, 17 Jun 1998 07:48:40 +1000
Felix Redmill
Tue, 16 Jun 1998 23:05:31 +0000
Royalty, Chuck
Tue, 16 Jun 1998 14:41:05 -0700
Nancy Leveson
Tue, 16 Jun 1998 14:40:16 -0700
Nancy Leveson
Tue, 16 Jun 1998 14:28:11 -0700
Nancy Leveson
Tue, 16 Jun 1998 13:52:00 -0700
Peter B. Ladkin
Tue, 16 Jun 1998 20:02:40 +0200
Tom Anderson
Tue, 16 Jun 1998 18:50:34 +0100
Bruce Elliott
Tue, 16 Jun 1998 15:32:54 +0100 (BST)
Braband Jens
Tue, 16 Jun 1998 15:46:02 +0200
Peter Bishop
Tue, 16 Jun 1998 13:29:38 +0000
Peter B. Ladkin
Tue, 16 Jun 1998 12:32:56 +0200
John McDermid
Tue, 16 Jun 1998 09:45:03 +1000
John McDermid
Tue, 16 Jun 1998 08:09:48 +1000
Peter B. Ladkin
Mon, 15 Jun 1998 12:21:38 +0200
Safety goals as opposed to safety by standard?
John McDermid
Mon, 13 Apr 1998 08:04:04 +0100
Paul Gruhn, P.E.
Fri, 10 Apr 1998 16:11:39 -0500
Cooper Phil
Fri, 10 Apr 1998 11:56:00 +0100
Andy Dearden
Thu, 09 Apr 1998 14:52:43 +0100
Ross Hannan
Thu, 9 Apr 1998 14:02:09 +0100
nikola.kanuritch(at)bae.co.uk
Thu, 9 Apr 1998 10:18:24 +0100
Safety goals as opposed to safety by standard? -Reply
James Stewart
Mon, 13 Apr 1998 08:14:25 -0500
Safety goals as opposed to safety by standards
John McDermid
Wed, 15 Apr 1998 19:30:17 +0100
Felix Redmill
Wed, 15 Apr 1998 04:00:15 +0000
Safety Management Software
Information
Wed, 16 Sep 1998 15:43:31 -0700
Safety of SMART instruments
Brian Wichmann
Mon, 14 Sep 1998 11:47:12 +0100 (BST)
Safety positions available
Nancy Leveson
Wed, 01 Apr 1998 03:49:11 -0800
Safety related research poosition - York
Bob Fields
Tue, 06 Oct 1998 16:21:35 +0000
Safety related workshop
johnson(at)dcs.gla.ac.uk
Fri, 23 Jan 1998 12:57:50 GMT
safety related: NFMW'98 - Call for Participation
Bob Fields
Wed, 26 Aug 1998 14:43:00 +0000
Safety standard
Tom Anderson
Fri, 19 Jun 1998 20:52:52 +0100
Garlington, Kennie E
Fri, 19 Jun 1998 12:41:16 -0500
Brian Wichmann
Fri, 19 Jun 1998 16:19:29 BST
John McDermid
Sun, 21 Jun 1998 17:08:55 +1000
Pete Mellor
Fri, 1 May 1998 17:29:15 +0100 (BST)
Brian Wichmann
Fri, 1 May 1998 16:16:11 BST
Luedeke, Jonathan F
Fri, 01 May 1998 10:10:49 -0400
John McDermid
Fri, 1 May 1998 14:32:51 +0100
Brian Wichmann
Fri, 1 May 1998 13:55:01 BST
Safety Standard IEC 61508
Tony Foord
Sat, 2 May 1998 10:28:35 -0400
Safety with C++ ?
Dr. Zech, Karl-Adolf
Tue, 07 Jul 1998 15:34:07 +0200
safety workshop CFP
Peter Lindsay
Tue, 21 Apr 1998 14:02:28 +1000 (EST)
Safety, Ada and Java
Brian Wichmann
Fri, 13 Nov 1998 10:26:41 GMT
Brian Wichmann
Tue, 3 Nov 1998 15:23:43 GMT
safety-critical design - general info
Ross Hannan
Tue, 8 Sep 1998 13:23:27 +0100
Paul Gatland
Mon, 7 Sep 1998 18:46:12 UT
Dirk Tilsner
Mon, 7 Sep 1998 18:33:25 +0100
Safety-related book
Andrew Vickers
Fri, 30 Oct 1998 08:47:19 +0000
Janusz Zalewski
Tue, 27 Oct 1998 00:10 EST
James Bret Michael
Mon, 26 Oct 1998 17:59:35 -0800 (PST)
Janusz Zalewski
Sun, 25 Oct 1998 14:12 EST
Scientist/Senior Scientist (safety in title 8) Risoe
johnson(at)dcs.gla.ac.uk
Fri, 13 Mar 1998 09:14:34 GMT
Scientist/Senior Scientist, Risoe, Safety in title (2)
johnson(at)dcs.gla.ac.uk
Fri, 13 Mar 1998 09:17:34 GMT
SES'98 OTS Proceedings
Jeffrey M. Voas
Tue, 15 Sep 1998 09:25:30 -0400 (EDT)
Slander
Tom Anderson
Tue, 27 Oct 1998 13:54:10 +0100
Software System Safety Class
Nancy Leveson
Thu, 05 Feb 1998 15:52:09 -0800
Software, Requirements and System parts (and safety, for the filter)
Ann Wrightson
Wed, 27 May 1998 16:38:26 +0100
Some Resources on Software Failures
Jonathan Moffett
Sun, 25 Oct 1998 16:31:14 +0000
Spreadsheets of Safety
Brian Wichmann
Tue, 12 May 1998 10:39:53 BST
Brian Wichmann
Tue, 12 May 1998 09:13:44 BST
Mario R. Barbacci
Mon, 11 May 1998 12:38:58 -0400
Brian Wichmann
Mon, 11 May 1998 17:01:45 BST
Mario R. Barbacci
Mon, 11 May 1998 11:45:32 -0400
Brian Wichmann
Mon, 11 May 1998 15:23:21 BST
System Safety Society Conference -- Call for Papers
Dixon, Jack
Tue, 17 Nov 1998 16:33:21 -0500
Dixon, Jack
Wed, 04 Nov 1998 14:58:23 -0500
Testing for safety CEN meeting
Brian Wichmann
Thu, 29 Jan 1998 16:21:11 GMT
Use of Microsoft Word for safety-critical application
Pete Mellor
Sat, 31 Jan 1998 15:49:55 GMT
Mark_Bowell(at)hsl.gov.uk
Fri, 30 Jan 1998 16:59:11 GMT
Use of Microsoft Word for safety-critical applications
Peter B. Ladkin
Thu, 29 Jan 1998 12:11:16 +0100
Iain J Bate
Thu, 29 Jan 1998 09:00:46 +0000
Jonathan Moffett
Thu, 29 Jan 1998 08:59:03 +0000
Use of Microsoft Word for safety-critical applications -Reply
James Stewart
Fri, 30 Jan 1998 09:51:25 -0500
Use of Microsoft Word for safety-critical applications-Reply
Charles Waite
Sat, 31 Jan 1998 12:03:41 -0500
Validating Critical Data
Jonathan Moffett
Tue, 29 Dec 1998 09:32:44 +0000
John McDermid
Wed, 23 Dec 1998 09:50:32 -0000
Which tools or software are most crit
Peter B. Ladkin
Tue, 27 Oct 1998 10:27:43 +0100
Peter Bishop
Mon, 26 Oct 1998 21:02:35 +0000
Peter B. Ladkin
Mon, 26 Oct 1998 19:05:21 +0100
Peter Bishop
Mon, 26 Oct 1998 14:34:04 +0000
Which tools or software are most critical to the integrity o
Jonathan Moffett
Mon, 26 Oct 1998 13:02:48 +0000
Peter Bishop
Sat, 24 Oct 1998 22:01:13 +0000
Which tools or software are most critical to the integrity of the product? [safety]
Viv Hamilton +44 1245 242233
Tue, 27 Oct 1998 13:53:24 +0000 (GMT)
paul.edwards(at)roverpte.demon.co.uk
Tue, 27 Oct 1998 13:35:37 +0000
paul.edwards(at)roverpte.demon.co.uk
Tue, 27 Oct 1998 13:12:45 +0000
Andy Ashworth
Tue, 27 Oct 1998 11:59:00 -0000
paul.edwards(at)roverpte.demon.co.uk
Tue, 27 Oct 1998 10:54:43 +0000
Peter B. Ladkin
Sat, 24 Oct 1998 20:15:54 +0200
Peter B. Ladkin
Fri, 23 Oct 1998 14:19:59 +0200
Darren Buttle
Fri, 23 Oct 1998 11:12:28 +0100
Joao Batista
Thu, 22 Oct 1998 17:33:53 -0200 ()
Peter B. Ladkin
Thu, 22 Oct 1998 20:55:13 +0200
Darren Buttle
Thu, 22 Oct 1998 16:53:33 +0100
Peter B. Ladkin
Thu, 22 Oct 1998 16:40:55 +0200
Darren Buttle
Thu, 22 Oct 1998 14:47:15 +0100
Brian Wichmann
Thu, 22 Oct 1998 14:24:14 +0100 (BST)
Ross Hannan
Thu, 22 Oct 1998 14:03:59 +0100
Brian Wichmann
Thu, 22 Oct 1998 13:43:32 +0100 (BST)
paul.edwards(at)roverpte.demon.co.uk
Thu, 22 Oct 1998 13:12:32 +0100
Which tools or software are most critical to the integrity of the product? [safety] - retry to fix formatting(?)
paul.edwards(at)roverpte.demon.co.uk
Thu, 22 Oct 1998 13:44:43 +0100
Workshop on Human Error and Safety (announcement)
leveson(at)sunnyday.mit.edu
Mon, 16 Feb 1998 23:31:46 +0500
Workshop: User Interfaces for Safety Critical Systems
Bob Fields
Mon, 02 Feb 1998 16:24:25 +0000
WorldSafety News July 98 {Enviro, Safety, Fire}
Mike Blazedell
Tue, 10 Jul 1998 21:10:05 GMT
WorldSafety.com -News, Update and Big Machine Safety Chat
Mike Blazedell
Fri, 23 Oct 1998 03:10:45 GMT
Mike Blazedell
Fri, 23 Oct 1998 03:10:45 GMT
Year2000: chemical process safety
Mike Falla
Fri, 17 Jul 1998 14:07:27 +0100
Sniezek, Daniel
Fri, 17 Jul 1998 08:53:49 -0400
Tony Cox
Thu, 16 Jul 1998 16:44:00 -0400
{WorldSafety.com}Sept. News-FedSafe'98/Jobs/Regs/Round-up & more
Mike Blazedell
Thu, 03 Sep 1998 01:20:19 GMT
Start of Messages
Date view
Thread view
Author view
Other groups
This archive was generated by
hypermail 2.0b3
on Tue 21 Aug 2001 - 16:10:48 BST
tpk(at)cs.york.ac.uk