Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Anthony Cant (eds.) |
Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![Australian Computer Society The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Ed Williams |
Airborne Collision Avoidance System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 97-110, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Christian Hamoy, David Hemer, Peter A. Lindsay |
HazLog: Tool Support for Hazard Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 77-87, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Michael Ellims |
On Wheels, Nuts and Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 67-76, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Paul Chinneck, David John Pumfrey, John A. McDermid |
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 33-41, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Yiannis Papadopoulos, David Parker 0002, Christian Grante |
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 89-95, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Martyn Thomas |
Engineering Judgement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 43-47, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Peter B. Ladkin |
Causal Analysis of the ACAS/TCAS Sociotechnical System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 3-12, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Peter A. Lindsay, Anthony Cant (eds.) |
Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![Australian Computer Society The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Fan Ye 0005, Tim Kelly |
Contract-Based Justification for COTS Component within Safety Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 13-22, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Michael Jones-Lee, Graham Loomes |
Eliciting Measures of Value for Health and Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 49-58, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | Gordon R. Stone |
Complex Reactive Real Time Systems and the Safety Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 23-32, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | George Nikandros |
COTS - Size Does Matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004, pp. 59-66, 2004, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
1 | John Murdoch, Graham Clark, Antony Powell, Paul Caseley |
Measuring Safety: Applying PSM to the System Safety Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 47-55, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Iain Bate, Richard Hawkins, John A. McDermid |
A Contract-based Approach to Designing Safe Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 25-36, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Richard M. Robinson, Kevin J. Anderson |
SIL Rating Fire Protection Equipment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 89-97, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Rob Weaver, Jane Fenn, Tim Kelly |
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 57-67, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Jason Smith 0001, Selwyn Russell, Mark Looi |
Security as a Safety Issue in Rail Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 79-88, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Peter B. Ladkin, Jörn Stuphorn |
Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 3-23, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Peter A. Lindsay (eds.) |
Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![Australian Computer Society, 0-909-92593-3 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel |
A New Component Concept for Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 37-46, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Philippa Conmy, Mark Nicholson 0001, John A. McDermid |
Safety Assurance Contracts for Integrated Modular Avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2003, Eigth Australian Workshop on Safety-Related Programmable Systems, (SCS2003), Canberra, ACT, Australia, 9-10 October 2003, pp. 69-78, 2003, Australian Computer Society. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Alena Griffiths, Dennis Yim |
Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 21-29, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Michael G. Hinchey |
Confessions of a Formal Methodist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 17-20, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | John Alexander McDermid |
Trends in Systems Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 3-8, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Felix Redmill |
A Community Club on Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 41-48, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | John McMullan |
Negligence: Engineering Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 63-72, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Clive Boughton |
Beginning to Define a Body of Knowledge for Safety Practitioners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 31-40, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Tony Cant |
Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 9-16, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Brenton Atchison, Alena Griffiths |
A Product-Based Assurance Model for Mixed-Integrity Markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 55-62, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Michael J. Bauer |
: Functional Safety of a Theatre Stage Machinery Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2002, Seventh Australian Workshop on Safety-Related Programmable Systems, (SCS2002), Adelaide, Australia, 17-18 October 2002, pp. 49-53, 2002, Australian Computer Society, 0-909-92593-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Peter A. Lindsay (eds.) |
Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![Australian Computer Society, 0-909-92581-X The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | John Alexander McDermid |
Software Safety: Where's the Evidence? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001, pp. 1-6, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Philippa Conmy, John A. McDermid |
High Level Failure Analysis for Integrated Modular Avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001, pp. 13-22, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Peter A. Lindsay |
Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001, pp. 31-38, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Simon Connelly, Jay Burmeister, Anthony MacDonald, Andrew Hussey |
Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001, pp. 39-50, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | John Jamieson |
Regulation of Medical Devices involving Software in Australia - an Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001, pp. 7-12, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | David Barney, David Haley, George Nikandros |
Calculating Train Braking Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCS ![In: Safety Critical Systems and Software 2001, Sixth Australian Workshop on Safety-Related Programmable Systems, (SCS2001), St Lucia, Queensland, Australia, 6 July 2001, pp. 23-30, 2001, Australian Computer Society, 0-909-92581-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|