19. SAFECOMP 2000:
Rotterdam,
The Netherlands
Floor Koornneef, Meine van der Meulen (Eds.):
Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings.
Lecture Notes in Computer Science 1943 Springer 2000, ISBN 3-540-41186-0 BibTeX
@proceedings{DBLP:conf/safecomp/2000,
editor = {Floor Koornneef and
Meine van der Meulen},
title = {Computer Safety, Reliability and Security, 19th International
Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October
24-27, 2000, Proceedings},
booktitle = {SAFECOMP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1943},
year = {2000},
isbn = {3-540-41186-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Verification and Validation
- John Napier, John H. R. May, Gordon Hughes:
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection.
14-26
Electronic Edition (Springer LINK) BibTeX
- B. Parrotta, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante:
Speeding-Up Fault Injection Campaigns in VHDL Models.
27-36
Electronic Edition (Springer LINK) BibTeX
- 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.
37-52
Electronic Edition (Springer LINK) BibTeX
- Wenhui Zhang:
Validation of Control System Specifications with Abstract Plant Models.
53-62
Electronic Edition (Springer LINK) BibTeX
- Luping Chen, John H. R. May, Gordon Hughes:
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software.
63-73
Electronic Edition (Springer LINK) BibTeX
- Denis Besnard:
Expert Error: The Case of Trouble-Shooting in Electronics.
74-85
Electronic Edition (Springer LINK) BibTeX
- A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H. A. Johnston, N. Storey:
The Safety Management of Data-Driven Safety-Related Systems.
86-95
Electronic Edition (Springer LINK) BibTeX
- Chris Johnson:
Software Support for Incident Reporting Systems in Safety-Critical Applications.
96-106
Electronic Edition (Springer LINK) BibTeX
Software Process Improvement
- Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart:
A Dependability-Explicit Model for the Development of Computing Systems.
107-116
Electronic Edition (Springer LINK) BibTeX
- Peter A. Lindsay, John A. McDermid, David J. Tombs:
Deriving Quantified Safety Requirements in Complex Systems.
117-130
Electronic Edition (Springer LINK) BibTeX
- Xavier Méhaut, Pierre Morère:
Improving Software Development by Using Safe Object Oriented Development: OTCD.
131-140
Electronic Edition (Springer LINK) BibTeX
- Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric:
A Safety Licensable PES for SIL 4 Applications.
141-150
Electronic Edition (Springer LINK) BibTeX
- Zdzislaw Zurakowski:
Safety and Security Issues in Electric Power Industry.
151-164
Electronic Edition (Springer LINK) BibTeX
- Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun:
Dependability of Computer Control Systems in Power Plants.
165-175
Electronic Edition (Springer LINK) BibTeX
- Jan Magott, Pawel Skrobanek:
A Method of Analysis of Fault Trees with Time Dependencies.
176-186
Electronic Edition (Springer LINK) BibTeX
Formal Methods
Invited Paper
Safety Guidelines,
Standards and Certification
Hardware Aspects
Safety Assessment 1
Design for Safety
Invited Paper
Transport & Infrastructure
Safety Assessment 2
Copyright © Sat May 16 23:36:31 2009
by Michael Ley (ley@uni-trier.de)
