default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th SAFECOMP 1999: Toulouse, France
- Massimo Felici, Karama Kanoun, Alberto Pasquini:
Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings. Lecture Notes in Computer Science 1698, Springer 1999, ISBN 3-540-66488-2
Invited Talk
- John D. Musa:
Software Reliability Engineering in Industry. 1-12
Assessment and Certification
- Tim P. Kelly, John A. McDermid:
A Systematic Approach to Safety Case Maintenance. 13-26 - Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson:
SQUALE Dependability Assessment Criteria. 27-38 - Gerald Sonneck, Erwin Schoitsch:
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project. 39-45
Safety Assessment and Human Factors (Poster Session)
- Gustav Dahll:
Safety Evaluation of a Train Leader Telephone System. 46-57 - Rogério de Lemos, Amer Saeed:
Safety Analysis Techniques for Validating Formal Models During Verification. 58-66 - Chris W. Johnson:
Evaluating the Contribution of DesktopVR for Safety-Critical Applications. 67-78 - Lucia Vilela Leite Filgueiras
:
Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces. 79-88 - Fabio Paternò, Carmen Santoro, Sophie Tahmassebi:
The Impact of Different Media on Safety and Usability of Interactive ATC Applications. 89-102
Human Factors
- Andrew Hussey:
Patterns for Safer Human-Computer Interfaces. 103-112 - Laurence Rognin, Jean-Paul Blanquart:
Impact of Communication on Systems Dependability: Human Factors Perspectives. 113-124 - Jin Mo, Yves Crouzet:
A Method for Operator Error Detection Based on Plan Recognition. 125-138
Safety Assessment
- Yiannis Papadopoulos, John A. McDermid:
Hierarchically Performed Hazard Origin and Propagation Studies. 139-152 - Heinrich Krebs, Swapan Mitra:
Hardware Redundant Vital Computers - Demonstration of Safety on the Basis of Current Standards. 153-162
Design for Safety (Poster Session)
- P. G. Beerthuizen, W. Kruidhof:
System and Software Safety Analysis for the ERA Control Computer. 163-176 - Chin-Feng Fan, Swu Yih:
Safety Markup Language: Concept and Application. 177-186 - Algirdas Pakstas, Igor Shagaev:
Extendable Ground-to-Air Communication Architecture for CoDySa. 187-201 - José Carlos Campelo, Pedro Yuste, Francisco Rodríguez, Pedro J. Gil, Juan José Serrano:
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems. 202-215 - Tim Clement, Ian Cottam, Peter K. D. Froome, Claire Jones:
The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTTM Story. 216-225
Verification and Testing
- Sang-Yoon Min, Yoon-Kyu Jan, Sung Deok Cha, Yong Rae Kwon, Doo-Hwan Bae:
Safety Verification of Ada95 Programs Using Software Fault Trees. 226-238 - Philippe Robert:
Programming Rule Static Verification for Reliable Software. 239-249 - Bernhard K. Aichernig:
Automated Black-Box Testing with Abstract VDM Oracles. 250-259 - Gaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti:
Towards Statistical Control of an Industrial Test Process. 260-271
Design for Safety
- Peter T. Popov, Lorenzo Strigini, Alexander B. Romanovsky:
Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science. 272-285 - Chris W. Johnson:
A First Step Towards the Integration of Accident Reports and Constructive Design Documents. 286-296 - Maria Wimmer, Antonio Rizzo, Mark-Alexander Sujan:
A Holistic Design Concept to Improve Safety Related Control Systems. 297-309
Dependability Analysis and Evaluation
- Andrea Bobbio, Luigi Portinale, Michele Minichino, Ester Ciancamerla:
Comparing Fault Trees and Bayesian Networks for Dependability Analysis. 310-322 - Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda:
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems. 323-335 - Silke Kuball, John H. R. May, Gordon Hughes:
Structural Software Reliability Estimation. 336-349
Formal Methods and Security (Poster Session)
- Kaisa Sere, Elena Troubitsyna:
Hazard Analysis in Formal Specification. 350-360 - Monika Heiner, Maritta Heisel:
Modeling Safety-Critical Systems with Z and Petri Nets. 361-374 - Yun Bai, Vijay Varadharajan:
On Formal Languages for Sequences of Authorization Transformations. 375-384 - Ireneusz Czarnowski, Piotr Jedrzejowicz, Ewa Ratajczak:
Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability. 385-395
Formal Methods
- Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber:
Formal Design of Distributed Control Systems with Lustre. 396-409 - Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita:
Formal Specification and Development of a Safety-Critical Train Management System. 410-419 - Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi:
Formal Validation of the GUARDS Inter-Consistency Mechanism. 420-430 - A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar:
A Graphical Environment for the Specification and Verification of Reactive Systems. 431-444
Security
- Gilles Trouessin:
Dependability Requirements and Security Architectures for the Healthcare/Medical Sector. 445-458 - Sung-Min Lee, Tai-Yun Kim:
Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature. 459-467 - David Peter Eames, Jonathan D. Moffett:
The Integration of Safety and Security Requirements. 468-480
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 2025-05-05 00:15 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:
