• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 37 matches

• 2000
• 
  Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun:
  Dependability of Computer Control Systems in Power Plants. SAFECOMP 2000: 165-175
• 
  Stuart Anderson, Massimo Felici:
  Controlling Requirements Evolution: An Avionics Case Study. SAFECOMP 2000: 361-370
• 
  D. Basu, R. Paramasivam:
  An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems. SAFECOMP 2000: 264-274
• 
  Denis Besnard:
  Expert Error: The Case of Trouble-Shooting in Electronics. SAFECOMP 2000: 74-85
• 
  Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann:
  Formal Methods Diffusion: Past Lessons and Future Prospects. SAFECOMP 2000: 211-226
• 
  Luping Chen, John H. R. May, Gordon Hughes:
  A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software. SAFECOMP 2000: 63-73
• 
  Tadeusz Cichocki, Janusz Górski:
  Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components. SAFECOMP 2000: 382-394
• 
  Ferdinand J. Dafelmair:
  Improvements in Process Control Dependability through Internet Security Technology. SAFECOMP 2000: 321-332
• 
  Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald:
  A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. SAFECOMP 2000: 187-197
• 
  Richard Evans, Jonathan D. Moffett:
  Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems. SAFECOMP 2000: 240-249
• 
  A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H. A. Johnston, N. Storey:
  The Safety Management of Data-Driven Safety-Related Systems. SAFECOMP 2000: 86-95
• 
  Derek Fowler, Phil Bennett:
  IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems?? SAFECOMP 2000: 250-263
• 
  Thomas Gilb:
  The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems. SAFECOMP 2000: 1-13
• 
  Bjørn Axel Gran, Gustav Dahll, Siegfried Eisinger, Eivind J. Lund, Jan Gerhard Norstrøm, Peter Strocka, Britt J. Ystanes:
  Estimating Dependability of Programmable Systems Using BBNs. SAFECOMP 2000: 309-320
• 
  Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric:
  A Safety Licensable PES for SIL 4 Applications. SAFECOMP 2000: 141-150
• 
  Michel Houtermans, George E. Apostolakis, Aarnout Brombacher, Dimitrios Karydas:
  Programmable Electronic System Design & Verification Utilizing DFM. SAFECOMP 2000: 275-285
• 
  Andrew Hussey:
  HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems. SAFECOMP 2000: 371-381
• 
  Chris W. Johnson:
  Software Support for Incident Reporting Systems in Safety-Critical Applications. SAFECOMP 2000: 96-106
• 
  Chris Johnson:
  Forensic Software Engineering and the Need for New Approaches to Accident Investigation. SAFECOMP 2000: 420-429
• 
  Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart:
  A Dependability-Explicit Model for the Development of Computing Systems. SAFECOMP 2000: 107-116
• 
  Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski:
  Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs. SAFECOMP 2000: 37-52
• 
  Peter B. Ladkin:
  Causal Reasoning about Aircraft Accidents. SAFECOMP 2000: 344-360
• 
  Peter A. Lindsay, John A. McDermid, David J. Tombs:
  Deriving Quantified Safety Requirements in Complex Systems. SAFECOMP 2000: 117-130
• 
  Bev Littlewood, Peter T. Popov, Lorenzo Strigini:
  Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach. SAFECOMP 2000: 294-308
• 
  Jan Magott, Pawel Skrobanek:
  A Method of Analysis of Fault Trees with Time Dependencies. SAFECOMP 2000: 176-186
• 
  Xavier Méhaut, Pierre Morère:
  Improving Software Development by Using Safe Object Oriented Development: OTCD. SAFECOMP 2000: 131-140
• 
  John Napier, John H. R. May, Gordon Hughes:
  Empirical Assessment of Software On-Line Diagnostics Using Fault Injection. SAFECOMP 2000: 14-26
• 
  Nimal Nissanke, Hamdan Dammag:
  Risk Ordering of States in Safecharts. SAFECOMP 2000: 395-405
• 
  B. Parrotta, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante:
  Speeding-Up Fault Injection Campaigns in VHDL Models. SAFECOMP 2000: 27-36
• 
  James S. Pascoe, Roger J. Loader:
  A Survey on Safety-Critical Multicast Networking. SAFECOMP 2000: 333-343

skipping 7 more matches