The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SCS"( http://dblp.L3S.de/Venues/SCS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/scs

Publication years (Num. hits)
2001 (7) 2002 (9) 2003 (9) 2004 (12) 2005 (1)
Publication types (Num. hits)
inproceedings(34) proceedings(4)
Venues (Conferences, Journals, ...)
SCS(38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 38 publication records. Showing 38 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Anthony Cant (eds.) Safety Critical Systems and Software 2004, Ninth Australian Workshop on Safety-Related Programmable Systems, (SCS2004), Brisbane, Australia, October 2004 Search on Bibsonomy SCS The full citation details ... 2005 DBLP  BibTeX  RDF
1Ed Williams Airborne Collision Avoidance System. Search on Bibsonomy SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Christian Hamoy, David Hemer, Peter A. Lindsay HazLog: Tool Support for Hazard Management. Search on Bibsonomy SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Michael Ellims On Wheels, Nuts and Software. Search on Bibsonomy SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Paul 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 SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Yiannis 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 SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Martyn Thomas Engineering Judgement. Search on Bibsonomy SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Peter B. Ladkin Causal Analysis of the ACAS/TCAS Sociotechnical System. Search on Bibsonomy SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Peter 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 SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Fan Ye 0005, Tim Kelly Contract-Based Justification for COTS Component within Safety Critical Applications. Search on Bibsonomy SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Michael Jones-Lee, Graham Loomes Eliciting Measures of Value for Health and Safety. Search on Bibsonomy SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Gordon R. Stone Complex Reactive Real Time Systems and the Safety Case. Search on Bibsonomy SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1George Nikandros COTS - Size Does Matter. Search on Bibsonomy SCS The full citation details ... 2004 DBLP  BibTeX  RDF
1John Murdoch, Graham Clark, Antony Powell, Paul Caseley Measuring Safety: Applying PSM to the System Safety Domain. Search on Bibsonomy SCS The full citation details ... 2003 DBLP  BibTeX  RDF
1Iain Bate, Richard Hawkins, John A. McDermid A Contract-based Approach to Designing Safe Systems. Search on Bibsonomy SCS The full citation details ... 2003 DBLP  BibTeX  RDF
1Richard M. Robinson, Kevin J. Anderson SIL Rating Fire Protection Equipment. Search on Bibsonomy SCS The full citation details ... 2003 DBLP  BibTeX  RDF
1Rob Weaver, Jane Fenn, Tim Kelly A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments. Search on Bibsonomy SCS The full citation details ... 2003 DBLP  BibTeX  RDF
1Jason Smith 0001, Selwyn Russell, Mark Looi Security as a Safety Issue in Rail Communications. Search on Bibsonomy SCS The full citation details ... 2003 DBLP  BibTeX  RDF
1Peter B. Ladkin, Jörn Stuphorn Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort. Search on Bibsonomy SCS The full citation details ... 2003 DBLP  BibTeX  RDF
1Peter 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 SCS The full citation details ... 2003 DBLP  BibTeX  RDF
1Bernhard Kaiser, Peter Liggesmeyer, Oliver Mäckel A New Component Concept for Fault Trees. Search on Bibsonomy SCS The full citation details ... 2003 DBLP  BibTeX  RDF
1Philippa Conmy, Mark Nicholson 0001, John A. McDermid Safety Assurance Contracts for Integrated Modular Avionics. Search on Bibsonomy SCS The full citation details ... 2003 DBLP  BibTeX  RDF
1Alena Griffiths, Dennis Yim Systems Assurance for the Integrated Control and Communications System for KCRC East Rail Extensions. Search on Bibsonomy SCS The full citation details ... 2002 DBLP  BibTeX  RDF
1Michael G. Hinchey Confessions of a Formal Methodist. Search on Bibsonomy SCS The full citation details ... 2002 DBLP  BibTeX  RDF
1John Alexander McDermid Trends in Systems Safety. Search on Bibsonomy SCS The full citation details ... 2002 DBLP  BibTeX  RDF
1Felix Redmill A Community Club on Safety-Critical Systems. Search on Bibsonomy SCS The full citation details ... 2002 DBLP  BibTeX  RDF
1John McMullan Negligence: Engineering Safety-Critical Systems. Search on Bibsonomy SCS The full citation details ... 2002 DBLP  BibTeX  RDF
1Clive Boughton Beginning to Define a Body of Knowledge for Safety Practitioners. Search on Bibsonomy SCS The full citation details ... 2002 DBLP  BibTeX  RDF
1Tony Cant Computer-Based Safety Critical Systems in Defence: Def (Aust) 5679. Search on Bibsonomy SCS The full citation details ... 2002 DBLP  BibTeX  RDF
1Brenton Atchison, Alena Griffiths A Product-Based Assurance Model for Mixed-Integrity Markets. Search on Bibsonomy SCS The full citation details ... 2002 DBLP  BibTeX  RDF
1Michael J. Bauer : Functional Safety of a Theatre Stage Machinery Control System. Search on Bibsonomy SCS The full citation details ... 2002 DBLP  BibTeX  RDF
1Peter 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 SCS The full citation details ... 2001 DBLP  BibTeX  RDF
1John Alexander McDermid Software Safety: Where's the Evidence? Search on Bibsonomy SCS The full citation details ... 2001 DBLP  BibTeX  RDF
1Philippa Conmy, John A. McDermid High Level Failure Analysis for Integrated Modular Avionics. Search on Bibsonomy SCS The full citation details ... 2001 DBLP  BibTeX  RDF
1Peter A. Lindsay Improved Acquisition Processes for Safety-Critical Systems in the Australian Department of Defence. Search on Bibsonomy SCS The full citation details ... 2001 DBLP  BibTeX  RDF
1Simon Connelly, Jay Burmeister, Anthony MacDonald, Andrew Hussey Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces. Search on Bibsonomy SCS The full citation details ... 2001 DBLP  BibTeX  RDF
1John Jamieson Regulation of Medical Devices involving Software in Australia - an Overview. Search on Bibsonomy SCS The full citation details ... 2001 DBLP  BibTeX  RDF
1David Barney, David Haley, George Nikandros Calculating Train Braking Distance. Search on Bibsonomy SCS The full citation details ... 2001 DBLP  BibTeX  RDF
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license