Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ian T. Nabney, Mickael J. S. Paven, Richard C. Eldridge, Clive Lee |
Practical Assessment of Neural Network Applications. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Despina Polemi |
Biometric Techniques Applied In Security Technology. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Maritta Heisel, Carsten Siihl |
Methodological Support for Formally Specifying Safety-Critical Software. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Erwin Schoitsch (eds.) |
15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996 |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter Daniel (eds.) |
16th International Conference on Computer Safety, Reliability and Security, Safe Comp 1997, York, UK, September 7-10, 1997 |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Scheer, Thomas Maier |
Towards Dependable Software Requirement Specifications. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Barker, Ian Kendall, Anthony Darlison |
Safety Cases for Software-intensive Systems: an Industrial Experience Report. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano |
Refinement and Safety Analysis. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Mermet, Dominique Méry |
Safe combinations of services using B. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David Jenkins, Brian Lees, Daniel Livingstone, Andrew Reglinski |
Managing the Safety Argument using a Memory Prosthesis. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Thane |
Safe and Reliable Computer Control Systems an Overview. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Tourlas |
An Assessment of the IEC 1131-3 Standard on Languages for Programmable Controllers. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stefanos Gritzalis, Diomidis Spinellis |
Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Lichtenecker, Klaus Gotthardt |
Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jens Braband |
Safety and Security Requirements for an Advanced Train Control System. |
SAFECOMP |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stephen J. Westerman, G. Robert J. Hockey |
Human Factors in Safety-Critical Systems: An underestimated contribution? |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Neville Rowden |
A Safe, Reliable Control and Supervisory System for Railway Networks. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Remi Eriksen, Terje Andersen, Claus Feyling, Hans-Joachim Petersen |
Reliability and Vulnerability Assessment as Decision Support during Purchase and Design of Complex, Technical Systems. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Chris W. Loftus, Fred Long, David Pugh, Ian Pyle |
Failure Classification Schemes for Analysing System Dependability. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Werner Artner |
Part 3: Challenge and Effect of NERC on an Austrian Company. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | W. Kuhn, H. Selami |
Developing Dependable Software Using Prototyping and Test-Diversity. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Antonia Bertolino, Lorenzo Strigini |
Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yinong Chen, Jean Arlat |
Modeling Software Dependability Growth under Input Partition Testing. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Jesty, Keith M. Hobley |
Integrity Levels and their Application to Road Transport Systems. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Walter J. Gutjahr |
Failure Risk Estimation via Markov Software Usage Models. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Górski, Bartosz Nowicki |
Safety Analysis Based on Object-oriented Modelling of Critical Systems. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Daniel E. Sniezek |
Design Methodologies and Systems Safety. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Zdzislaw Zurakowski |
Safety and Technology Transfer. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Clark Savage Turner, Debra J. Richardson, John L. King |
Legal Sufficiency of Testing Processes. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shoky Visram |
Part 1: Customer Safety Requirements for the NERC Air Traffic Control System. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Voas, Frank Charron, Keith W. Miller 0001 |
Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them? |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Herwig Stöckl |
Reliability and Security in Communication Software: PBX Systems and CSTA Applications. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Algirdas Avizienis |
Systematic Design of Fault-Tolerant Computers. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nicolae Fota, Mohamed Kaâniche, Karama Kanoun, Alain Peytavin |
Safety Analysis and Evaluation of an Air Traffic Control Computing System. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Peter Meske, Wolfgang A. Halang |
A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Philip Marsden |
Part 2: Bringing the Safety Dimension into the System and the Software Development. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Swapan Mitra, I. D. R. Shannon |
Assessment and Certification Requirements in the European Railway Industry. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinand J. Dafelmair |
Implementation of a Security Policy in Distributed Safety Related I&C Systems. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Ciciani, Alberto Pasquini |
Software Reliability Models and Test Coverage. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jacqui Griffyth |
Human Factors in High Integrity Software Development: a Field Study. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Budde, Agathe Merceron, Karl-Heinz Sylla |
Formal Verification as a Design Tool - The Transponder Lock Example. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michel Houtermans, William M. Goble, Aarnout C. Brombacher |
Creating Markov Models for Applications in the Process Industry. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Frank Koob, Markus Ullmann, Stefan Wittmann |
Application of Formal Methods in the Scope of IT-Security. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Claude Laprie |
Software-based critical systems. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shoky Visram, Werner Artner, Philip Marsden |
Safety Case for the NERC Air Traffic Control System. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | G. Aprea, P. Colantuoni, P. Firpo, R. Lido, D. Pellegrino, M. Rapone, F. Senesi |
SIGAV, the Italian High Speed Railway Integrated Management System: Safety and Reliability Overview. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet |
Defining the Unit Testing Level of Synchronous Data Flow Programs. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
Formal Verification of Safety Requirements on Complex Systems. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Maritta Heisel, Carsten Sühl |
Formal Specification of Safety-Critical Software with Z and Real-Time CSP. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Malte Borcherding |
Byzantine Agreement with Limited Authentication. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | William M. Goble, Julia V. Bukowski, Aarnout C. Brombacher |
Systematic Development of Markov Models for the 1oo2D Programmable Electronic System Architecture - Analysis of Safety and Availability. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Pasquini, Winfried Görke, Karama Kanoun, Antonio Rizzo |
An Holistic Approach to Dependability? |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robin Bloomfield, John Bowers 0001, Luke Emmet, Stephen Viller |
PERE: Evaluation and Improvement of Dependable Processes. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lars-Henrik Eriksson |
Specifying Railway Interlocking Requirements for Practical Use. |
SAFECOMP |
1996 |
DBLP DOI BibTeX RDF |
|
1 | G. Picciolo, P. Gianninò |
Programmable Electronic Controllers (PEC) Performance Assessment - an Approach for Reliability Quantification. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jörgen Christmansson, Zbigniew Kalbarczyk, Jan Torin |
An Attempt to Evaluate Functional Diversity Employed in a Reactor Protection System. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ken Chan, Clive Fencott, Barry D. Hebbron |
Formal Support for the Safety Analysis of Requirement Models. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Morris F. Chudleigh, James Catmur, Arthur D. Little, Felix Redmill |
A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Charles Coombes, John A. McDermid, Jonathan D. Moffett, Philip Morris |
Requirements Analysis and Safety: A Case Study (using GRASP). |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | M. El Koursi, B. Letrung, Hélène Waeselynck, François Baranowski |
Safety Case: Structure and Role. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Hughes |
The Use of Animated Graphical Simulation Techniques to Facilitate Safe Operation, Assembly and Disassembly of Safety Critical Equipment and Systems. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bev Littlewood, David Wright 0001 |
A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gerhard Rabe (eds.) |
14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995 |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maritta Heisel |
Six Steps Towards Provably Safe Software. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | K. N. Narahari, Shylaja Prasad, K. Karunakar |
Is Software Safe to Fly? |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stephen J. Westerman, Nick Shryane, Martin Crawshaw, G. Robert J. Hockey, William Wyatt-Millington |
Cognitive Diversity: A Structured Approach to Trapping Human Error. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Dai Davis |
Legal Aspects of Safety Critical Systems. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Górski, Jan Magott, Andrzej Wardzinski |
Modeling Fault Trees Using Petri Nets. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Emilio Ruiz Morales |
A Software Development Approach for Robotics Control Systems. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Johann Blieberger |
Loops for Safety Critical Applications. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, S. La Torre |
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Voas, Keith W. Miller 0001 |
An Automated Code-Based Fault-Tree Mitigation Technique. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | A. J. Harrison, I. D. R. Shannon |
The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Amer Saeed, Rogério de Lemos, Tom Anderson 0001 |
Safety Analysis for Requirements Specifications: Methods and Techniques. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | M. Viola |
Ontario Hydro's Experience with New Methods for Engineering Safety Critical Software. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Heinrich Krebs |
Assessment on the Basis of Standards-Gaps and how to Bridge Them. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Fenelon, Tim P. Kelly, John A. McDermid |
Safety Cases for Software Application Reuse. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Heckmann, Stephen Shirlaw |
An industrial view of Requirements Engineering and Safety. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang A. Halang, Bernd J. Krämer, Norbert Völker |
Formally Verified Firmware Modules for Industrial Process Automation. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | T. Jennings, P. Taylor |
The Verification of Compiled Code. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Erwin Schoitsch |
Software Best Practices in Dependable Systems: The European Research Projects ENCRESS, OLOS and ESPITI from a Partners Perspective. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Franz Engelmann, W. Schynoll, Hans Stienen |
BOOTSTRAP: Software Process Assessment Experiences and Further Developments. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | R. J. Tiezema |
Eliminating the Unexpected. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Keith M. Hobley, Peter H. Jesty |
Analysis and Assessment of Advanced Road Transport Telematic Systems. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Bishop, Robin E. Bloomfield |
The SHIP Safety Case Approach. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Amanda J. C. Sharkey, Noel E. Sharkey, Gopinath O. Chandroth |
Neural Nets and Diversity. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marita Hietikko, Risto Tiusanen |
Practical Approach for the Evaluation of Safety Related Programmable Electronics. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Rabéjac |
On-line Software Error Detection by Executable Assertions: From Theory to Practice. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John A. McDermid, R. H. Pierce |
Accessible Formal Method Support for PLC Software Development. |
SAFECOMP |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Igor M. Galkin |
A Knowledge-Based Approach to Program Testing and Analysis. |
SAFECOMP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | C. J. Goring |
Safety Assessment - The Critical System Suppliers View. |
SAFECOMP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Glenn Bruns, Stuart Anderson |
Validating Safety Models with Fault Trees. |
SAFECOMP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli |
Data Flow Control Systems: an Example of Safety Validation. |
SAFECOMP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rudolph E. Seviora |
Real-Time Detection of Failures of Reactive Systems. |
SAFECOMP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Carl E. Landwehr |
How Far Can You Trust A Computer? |
SAFECOMP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Fierz, Hansruedi Müller, Spiros Netos |
CIP - Communicating Interacting Processes A Formal Method for the Development of Reactive Systems. |
SAFECOMP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Janusz Górski (eds.) |
The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993 |
SAFECOMP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | G. Sen, J. Brummer |
Designing a High-level Language for Safety Systems. |
SAFECOMP |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Tom Anderson |
Safety - status and perspectives. |
SAFECOMP |
1993 |
DBLP DOI BibTeX RDF |
|