default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th SAFECOMP 1995: Belgirate, Italy
- Gerhard Rabe:
14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995. Springer 1995, ISBN 978-3-540-19962-5 - Erwin Schoitsch:
Software Best Practices in Dependable Systems: The European Research Projects ENCRESS, OLOS and ESPITI from a Partners Perspective. 3-11 - Heinrich Krebs:
Assessment on the Basis of Standards-Gaps and how to Bridge Them. 12-23 - Amer Saeed, Rogério de Lemos, Tom Anderson:
Safety Analysis for Requirements Specifications: Methods and Techniques. 27-41 - Morris F. Chudleigh, James Catmur, Arthur D. Little, Felix Redmill:
A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System. 42-58 - Jeffrey M. Voas, Keith W. Miller:
An Automated Code-Based Fault-Tree Mitigation Technique. 59-72 - Ken Chan, Clive Fencott, Barry D. Hebbron:
Formal Support for the Safety Analysis of Requirement Models. 75-89 - Janusz Górski, Jan Magott, Andrzej Wardzinski:
Modeling Fault Trees Using Petri Nets. 90-100 - A. J. Harrison, I. D. R. Shannon:
The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE. 101-112 - John A. McDermid, R. H. Pierce:
Accessible Formal Method Support for PLC Software Development. 113-127 - R. J. Tiezema:
Eliminating the Unexpected. 131-141 - Stephen J. Westerman, Nick Shryane, Martin Crawshaw, G. Robert J. Hockey, William Wyatt-Millington:
Cognitive Diversity: A Structured Approach to Trapping Human Error. 142-155 - Dai Davis:
Legal Aspects of Safety Critical Systems. 156-170 - Bev Littlewood, David Wright:
A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability. 173-188 - Maritta Heisel:
Six Steps Towards Provably Safe Software. 191-205 - Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker:
Formally Verified Firmware Modules for Industrial Process Automation. 206-218 - G. Picciolo, P. Gianninò:
Programmable Electronic Controllers (PEC) Performance Assessment - an Approach for Reliability Quantification. 221-236 - Franz Engelmann, W. Schynoll, Hans Stienen:
BOOTSTRAP: Software Process Assessment Experiences and Further Developments. 237-251 - Keith M. Hobley, Peter H. Jesty:
Analysis and Assessment of Advanced Road Transport Telematic Systems. 252-266 - Johann Blieberger:
Loops for Safety Critical Applications. 269-282 - M. Viola:
Ontario Hydro's Experience with New Methods for Engineering Safety Critical Software. 283-298 - K. N. Narahari, Shylaja Prasad, K. Karunakar:
Is Software Safe to Fly? 299-313 - Emilio Ruiz Morales:
A Software Development Approach for Robotics Control Systems. 317-330 - Jörgen Christmansson, Zbigniew Kalbarczyk, Jan Torin:
An Attempt to Evaluate Functional Diversity Employed in a Reactor Protection System. 331-352 - Andrew Charles Coombes, John A. McDermid, Jonathan D. Moffett, Philip Morris:
Requirements Analysis and Safety: A Case Study (using GRASP). 353-371 - Amanda J. C. Sharkey, Noel E. Sharkey, Gopinath O. Chandroth:
Neural Nets and Diversity. 375-389 - Christophe Rabéjac:
On-line Software Error Detection by Executable Assertions: From Theory to Practice. 390-402 - David Hughes:
The Use of Animated Graphical Simulation Techniques to Facilitate Safe Operation, Assembly and Disassembly of Safety Critical Equipment and Systems. 403-408 - Jean-Pierre Heckmann, Stephen Shirlaw:
An industrial view of Requirements Engineering and Safety. 411-416 - Peter Fenelon, Tim P. Kelly, John A. McDermid:
Safety Cases for Software Application Reuse. 419-436 - Peter G. Bishop, Robin E. Bloomfield:
The SHIP Safety Case Approach. 437-451 - M. El Koursi, B. Letrung, Hélène Waeselynck, François Baranowski:
Safety Case: Structure and Role. 452-463 - Marita Hietikko, Risto Tiusanen
:
Practical Approach for the Evaluation of Safety Related Programmable Electronics. 467-473 - A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli:
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. 474-488 - Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, S. La Torre:
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation. 489-503 - T. Jennings, P. Taylor:
The Verification of Compiled Code. 504-513
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-02 20:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
