November 2018 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Thu Nov 1 16:34:18 CET 2018
Ending: Fri Nov 30 21:46:00 CET 2018
Messages: 287

• [SystemSafety] AI and safety   Rob Alexander
• [SystemSafety] Critical systems Linux   Olivier Andrieu
• [SystemSafety] Critical systems Linux   Olivier Andrieu
• [SystemSafety] Collected stopgap measures   Andy Ashworth
• [SystemSafety] Collected stopgap measures   Andrew Banks
• [SystemSafety] Collected stopgap measures   Andrew Banks
• [SystemSafety] Medical devices (UK / EU)   Andrew Banks
• [SystemSafety] Collected stopgap measures   Peter Bishop
• [SystemSafety] Critical systems Linux   Ben Brosgol
• [SystemSafety] multi-core validation for aerospace   Ian Broster
• [SystemSafety] proofs   Gergely Buday
• [SystemSafety] Collected stopgap measures (Hoare)   Roderick Chapman
• [SystemSafety] Critical systems Linux   Roderick Chapman
• [SystemSafety] Critical systems Linux   Roderick Chapman
• [SystemSafety] Critical systems Linux   Roderick Chapman
• [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)   Roderick Chapman
• [SystemSafety] Collected stopgap measures   Coq, Thierry
• [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)   Coq, Thierry
• [SystemSafety] Autopilot interface?   David Crocker
• [SystemSafety] Royal Society lecture "When to trust a self-driving car"   David Crocker
• [SystemSafety] Critical systems Linux   David Crocker
• [SystemSafety] Critical systems Linux   David Crocker
• [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)   David Crocker
• [SystemSafety] multi-core validation for aerospace   Tom Ferrell
• [SystemSafety] multi-core validation for aerospace   Tom Ferrell
• [SystemSafety] multi-core validation for aerospace   Tom Ferrell
• [SystemSafety] Critical systems Linux   Tom Ferrell
• [SystemSafety] Critical systems Linux   Ferrell, Uma D.
• [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)   Haworth, David
• [SystemSafety] Collected stopgap measures   Chris Hills
• [SystemSafety] Autopilot interface?   Chris Hills
• [SystemSafety] AI and safety   Chris Hills
• [SystemSafety] multi-core validation for aerospace   Chris Hills
• [SystemSafety] Collected stopgap measures   Chris Hills
• [SystemSafety] Critical systems Linux   Chris Hills
• [SystemSafety] Collected stopgap measures   John Howard
• [SystemSafety] Train wreck   Bruce Hunter
• [SystemSafety] Fwd: "Protected" Environments   Bruce Hunter
• [SystemSafety] Collected stopgap measures   Derek M Jones
• [SystemSafety] Collected stopgap measures   Derek M Jones
• [SystemSafety] Collected stopgap measures (Hoare)   Derek M Jones
• [SystemSafety] Collected stopgap measures   Derek M Jones
• [SystemSafety] Collected stopgap measures (Hoare)   Derek M Jones
• [SystemSafety] Collected stopgap measures   Derek M Jones
• [SystemSafety] Collected stopgap measures (Hoare)   Derek M Jones
• [SystemSafety] Collected stopgap measures (Hoare)   Derek M Jones
• [SystemSafety] Collected stopgap measures   Derek M Jones
• [SystemSafety] Collected stopgap measures   Derek M Jones
• [SystemSafety] Collected stopgap measures   Derek M Jones
• [SystemSafety] Development vs maintenance   Derek M Jones
• [SystemSafety] Collected stopgap measures   Derek M Jones
• [SystemSafety] Collected stopgap measures   Derek M Jones
• [SystemSafety] Critical systems Linux   Derek M Jones
• [SystemSafety] Critical systems Linux   Derek M Jones
• [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)   Derek M Jones
• [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)   Derek M Jones
• [SystemSafety] Systematic and random error in systems   Brent Kimberley
• [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)   Brent Kimberley
• [SystemSafety] Collected stopgap measures   Peter Bernard Ladkin
• [SystemSafety] Collected stopgap measures   Peter Bernard Ladkin
• [SystemSafety] Collected stopgap measures   Peter Bernard Ladkin
• [SystemSafety] Collected stopgap measures   Peter Bernard Ladkin
• [SystemSafety] Collected stopgap measures   Peter Bernard Ladkin
• [SystemSafety] Systematic and random error in systems   Peter Bernard Ladkin
• [SystemSafety] Train wreck   Peter Bernard Ladkin
• [SystemSafety] Autopilot interface?   Peter Bernard Ladkin
• [SystemSafety] "Protected" Environments   Peter Bernard Ladkin
• [SystemSafety] AI and safety   Peter Bernard Ladkin
• [SystemSafety] AI and safety   Peter Bernard Ladkin
• [SystemSafety] Fwd: "Protected" Environments   Peter Bernard Ladkin
• [SystemSafety] AI and safety   Peter Bernard Ladkin
• [SystemSafety] Fwd: "Protected" Environments   Peter Bernard Ladkin
• [SystemSafety] multi-core validation for aerospace   Peter Bernard Ladkin
• [SystemSafety] Collected stopgap measures   Peter Bernard Ladkin
• [SystemSafety] Collected stopgap measures   Peter Bernard Ladkin
• [SystemSafety] Collected stopgap measures   Peter Bernard Ladkin
• [SystemSafety] Collected stopgap measures   Peter Bernard Ladkin
• [SystemSafety] Collected stopgap measures   Peter Bernard Ladkin
• [SystemSafety] Collected stopgap measures   Peter Bernard Ladkin
• [SystemSafety] Critical systems Linux   Peter Bernard Ladkin
• [SystemSafety] Critical systems Linux   Peter Bernard Ladkin
• [SystemSafety] Critical systems Linux   Peter Bernard Ladkin
• [SystemSafety] Critical systems Linux   Peter Bernard Ladkin
• [SystemSafety] Critical systems Linux   Peter Bernard Ladkin
• [SystemSafety] Critical systems Linux   Peter Bernard Ladkin
• [SystemSafety] Critical systems Linux   Peter Bernard Ladkin
• [SystemSafety] Critical systems Linux   Peter Bernard Ladkin
• [SystemSafety] Purpose of this list?   Peter Bernard Ladkin
• [SystemSafety] [cip-dev] Critical systems Linux   Peter Bernard Ladkin
• [SystemSafety] Critical systems Linux   Peter Bernard Ladkin
• [SystemSafety] Critical systems Linux   Peter Bernard Ladkin
• [SystemSafety] proofs   Peter Bernard Ladkin
• [SystemSafety] Medical devices (UK / EU)   Peter Bernard Ladkin
• [SystemSafety] Operational logging for medical devices   Peter Bernard Ladkin
• [SystemSafety] Free the Standards!   Peter Bernard Ladkin
• [SystemSafety] Critical systems Linux   Littlewood, Bev
• [SystemSafety] Medical devices (UK / EU)   Martin, BJ
• [SystemSafety] CfP for Australian System Safety Conference, May 2019, Brisbane QLD   Martin, BJ
• [SystemSafety] FW: CfP for Australian System Safety Conference, May 2019, Brisbane QLD   Martin, BJ
• [SystemSafety] Free the Standards!   Martin, BJ
• [SystemSafety] CfP for Australian System Safety Conference, May 2019, Brisbane QLD   Martin, BJ
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Systematic and random error in systems   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Systematic and random error in systems   Olwen Morgan
• [SystemSafety] Systematic and random error in systems   Olwen Morgan
• [SystemSafety] Autopilot interface?   Olwen Morgan
• [SystemSafety] Autopilot interface?   Olwen Morgan
• [SystemSafety] Autopilot interface?   Olwen Morgan
• [SystemSafety] AI and safety   Olwen Morgan
• [SystemSafety] AI and safety   Olwen Morgan
• [SystemSafety] Fwd: Re: AI and safety   Olwen Morgan
• [SystemSafety] Fwd: "Protected" Environments   Olwen Morgan
• [SystemSafety] Fwd: "Protected" Environments   Olwen Morgan
• [SystemSafety] AI and safety   Olwen Morgan
• [SystemSafety] multi-core validation for aerospace   Olwen Morgan
• [SystemSafety] multi-core validation for aerospace   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] The dilemma of software process and dependability measurement   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Olwen Morgan
• [SystemSafety] Kolmogorov complexity measures   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Fwd: Re: Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] proofs   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] proofs   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Critical systems Linux   Olwen Morgan
• [SystemSafety] Medical devices (UK / EU)   Olwen Morgan
• [SystemSafety] Medical devices (UK / EU)   Olwen Morgan
• [SystemSafety] Operational logging for medical devices   Olwen Morgan
• [SystemSafety] Operational logging for medical devices   Olwen Morgan
• [SystemSafety] Operational logging for medical devices   Olwen Morgan
• [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)   Olwen Morgan
• [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)   Olwen Morgan
• [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)   Olwen Morgan
• [SystemSafety] Free the Standards!   Olwen Morgan
• [SystemSafety] Subversive C programs for mockery of static analysis tools ... on a bad day ; -)   Olwen Morgan
• [SystemSafety] Collected stopgap measures   Jonathan Ostroff
• [SystemSafety] Autopilot interface?   Michael J. Pont
• [SystemSafety] Critical systems Linux   Michael J. Pont
• [SystemSafety] Critical systems Linux   Michael J. Pont
• [SystemSafety] Critical systems Linux   Michael J. Pont
• [SystemSafety] Critical systems Linux   Michael J. Pont
• [SystemSafety] Critical systems Linux   Michael J. Pont
• [SystemSafety] Purpose of this list?   Michael J. Pont
• [SystemSafety] Medical devices (UK / EU)   Michael J. Pont
• [SystemSafety] Collected stopgap measures   DREW Rae
• [SystemSafety] Collected stopgap measures   DREW Rae
• [SystemSafety] CfP Reliability, safety and security of railway systems (RSSRail 2019)   Alexander Romanovsky
• [SystemSafety] Autopilot interface?   SPRIGGS, John J
• [SystemSafety] AI and safety   SPRIGGS, John J
• [SystemSafety] AI and safety   Robert P. Schaefer
• [SystemSafety] Collected stopgap measures   Tim Schürmann
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] multi-core validation for aerospace   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Development vs maintenance   Paul Sherwood
• [SystemSafety] Collected stopgap measures   Paul Sherwood
• [SystemSafety] Critical systems Linux   Paul Sherwood
• [SystemSafety] [cip-dev] Critical systems Linux   Paul Sherwood
• [SystemSafety] Critical systems Linux   Paul Sherwood
• [SystemSafety] Critical systems Linux   Paul Sherwood
• [SystemSafety] Critical systems Linux   Paul Sherwood
• [SystemSafety] [cip-dev] Critical systems Linux   Paul Sherwood
• [SystemSafety] Purpose of this list?   Paul Sherwood
• [SystemSafety] Purpose of this list?   Paul Sherwood
• [SystemSafety] [cip-dev] Critical systems Linux   Paul Sherwood
• [SystemSafety] [cip-dev] [C-safe-secure-studygroup] Critical systems Linux   Paul Sherwood
• [SystemSafety] Purpose [and maintenance] of this list?   Paul Sherwood
• [SystemSafety] #MITstamp19   Paul Sherwood
• [SystemSafety] Free the Standards!   Paul Sherwood
• [SystemSafety] Purpose of this list?   Bernd Sieker
• [SystemSafety] Collected stopgap measures   Ross Hannan - Sigma
• [SystemSafety] Collected stopgap measures   Ross Hannan - Sigma
• [SystemSafety] Collected stopgap measures   Matthew Squair
• [SystemSafety] Collected stopgap measures   Matthew Squair
• [SystemSafety] Collected stopgap measures   Matthew Squair
• [SystemSafety] Collected stopgap measures   Matthew Squair
• [SystemSafety] Systematic and random error in systems   Matthew Squair
• [SystemSafety] Autopilot interface?   Matthew Squair
• [SystemSafety] Fwd: "Protected" Environments   Matthew Squair
• [SystemSafety] AI and safety   Matthew Squair
• [SystemSafety] AI and safety   Matthew Squair
• [SystemSafety] Collected stopgap measures   Matthew Squair
• [SystemSafety] Collected stopgap measures   Matthew Squair
• [SystemSafety] Critical systems Linux   Matthew Squair
• [SystemSafety] Critical systems Linux   Matthew Squair
• [SystemSafety] Critical systems Linux   Matthew Squair
• [SystemSafety] Critical systems Linux   Matthew Squair
• [SystemSafety] Operational logging for medical devices   Matthew Squair
• [SystemSafety] Free the Standards!   Matthew Squair
• [SystemSafety] Collected stopgap measures   Martyn Thomas
• [SystemSafety] Collected stopgap measures   Martyn Thomas
• [SystemSafety] Collected stopgap measures   Martyn Thomas
• [SystemSafety] Collected stopgap measures   Martyn Thomas
• [SystemSafety] Broken standardisation [was: Collected stopgap measures]   Martyn Thomas
• [SystemSafety] Broken standardisation   Martyn Thomas
• [SystemSafety] Broken standardisation   Martyn Thomas
• [SystemSafety] ALARP / SFAIRP   Martyn Thomas
• [SystemSafety] Collected stopgap measures   Martyn Thomas
• [SystemSafety] Collected stopgap measures   Martyn Thomas
• [SystemSafety] Collected stopgap measures (Hoare)   Martyn Thomas
• [SystemSafety] Collected stopgap measures   Martyn Thomas
• [SystemSafety] proofs   Martyn Thomas
• [SystemSafety] proofs   Martyn Thomas
• [SystemSafety] Medical devices (UK / EU)   Martyn Thomas
• [SystemSafety] Operational logging for medical devices   Martyn Thomas
• [SystemSafety] Collected stopgap measures   Steve Tockey
• [SystemSafety] Collected stopgap measures   Steve Tockey
• [SystemSafety] Collected stopgap measures   Steve Tockey
• [SystemSafety] Collected stopgap measures   Steve Tockey
• [SystemSafety] Collected stopgap measures   Steve Tockey
• [SystemSafety] Collected stopgap measures   Steve Tockey
• [SystemSafety] Collected stopgap measures   Steve Tockey
• [SystemSafety] Collected stopgap measures   Steve Tockey
• [SystemSafety] Collected stopgap measures   Steve Tockey
• [SystemSafety] Collected stopgap measures   Steve Tockey
• [SystemSafety] multi-core validation for aerospace   Steve Tockey
• [SystemSafety] The dilemma of software process and dependability measurement   Steve Tockey
• [SystemSafety] proofs   Steve Tockey
• [SystemSafety] proofs   Steve Tockey
• [SystemSafety] proofs   Steve Tockey
• [SystemSafety] This doesn't give me confidence . . .   Steve Tockey
• [SystemSafety] Autopilot interface?   Nick Tudor
• [SystemSafety] Autopilot interface?   Nick Tudor
• [SystemSafety] Collected stopgap measures   Nick Tudor
• [SystemSafety] Collected stopgap measures (Hoare)   Nick Tudor
• [SystemSafety] Collected stopgap measures (Hoare)   Nick Tudor
• [SystemSafety] Collected stopgap measures (Hoare)   Nick Tudor
• [SystemSafety] Collected stopgap measures (Hoare)   Nick Tudor
• [SystemSafety] Critical systems Linux   Nick Tudor
• [SystemSafety] Critical systems Linux   Nick Tudor
• [SystemSafety] AI and safety   Dariusz Walter
• [SystemSafety] Critical systems Linux   David Ward
• [SystemSafety] #MITstamp19   Simon Whiteley
• [SystemSafety] #MITstamp19   Simon Whiteley
• [SystemSafety] Collected stopgap measures   paul cleary
• [SystemSafety] Broken standardisation [was: Collected stopgap measures]   grivsta at gmail.com
• [SystemSafety] Critical systems Linux   grivsta at gmail.com
• [SystemSafety] Critical systems Linux   Chuck_Petras at selinc.com
• [SystemSafety] Critical systems Linux   Chuck_Petras at selinc.com
• [SystemSafety] Collected stopgap measures   paul_e.bennett at topmail.co.uk
• [SystemSafety] Collected stopgap measures   paul_e.bennett at topmail.co.uk
• [SystemSafety] Collected stopgap measures   paul_e.bennett at topmail.co.uk
• [SystemSafety] AI and safety   paul_e.bennett at topmail.co.uk
• [SystemSafety] multi-core validation for aerospace   paul_e.bennett at topmail.co.uk
• [SystemSafety] proofs   paul_e.bennett at topmail.co.uk
• [SystemSafety] proofs   paul_e.bennett at topmail.co.uk
• [SystemSafety] proofs   paul_e.bennett at topmail.co.uk
• [SystemSafety] proofs   paul_e.bennett at topmail.co.uk
• [SystemSafety] Operational logging for medical devices   paul_e.bennett at topmail.co.uk

Last message date: Fri Nov 30 21:46:00 CET 2018
Archived on: Fri Nov 30 21:46:07 CET 2018

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...