17. SAFECOMP 1998:
Heidelberg,
Germany
Wolfgang D. Ehrenberger (Ed.):
Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings.
Lecture Notes in Computer Science 1516 Springer 1998, ISBN 3-540-65110-1 BibTeX
@proceedings{DBLP:conf/safecomp/1998,
editor = {Wolfgang D. Ehrenberger},
title = {Computer Safety, Reliability and Security, 17th International
Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998,
Proceedings},
booktitle = {SAFECOMP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1516},
year = {1998},
isbn = {3-540-65110-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Formal Methods I - Analysis and Specification
- Kevin Hollingworth, Amer Saeed:
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis.
3-15
Electronic Edition (Springer LINK) BibTeX
- Kirsten Winter, Thomas Santen, Maritta Heisel:
An Agenda for Specifying Software Components with Complex Data Models.
16-31
Electronic Edition (Springer LINK) BibTeX
- Heinrich Rust:
Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns.
32-44
Electronic Edition (Springer LINK) BibTeX
- Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris:
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems.
45-59
Electronic Edition (Springer LINK) BibTeX
- Kevin Lano, Pauline Kan, Ana Sánchez:
Linking Hazard Analysis to Formal Specification and Design in B.
60-74
Electronic Edition (Springer LINK) BibTeX
Management and Human Factors
Security
Medical Informatics
Formal Methods II - Languages and Verification
Applications
- Piergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso:
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools.
221-230
Electronic Edition (Springer LINK) BibTeX
- Sandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard:
Applying Formal Methods in Industry The UseGat Project.
231-242
Electronic Edition (Springer LINK) BibTeX
- Thomas Ringler, J. Steiner, R. Belschner, B. Hedenetz:
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture.
243-253
Electronic Edition (Springer LINK) BibTeX
- Hans-Dieter Kochs, Walter Geisselhardt, Holger Hilmer, M. Lenord:
Fault-Tolerant Communication in Large-Scale Manipulators.
254-266
Electronic Edition (Springer LINK) BibTeX
- Elmar Dilger, Thomas Führer, Bernd Müller:
Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach.
267-283
Electronic Edition (Springer LINK) BibTeX
- Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso:
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System.
284-295
Electronic Edition (Springer LINK) BibTeX
- Fokko van Dijk, Wan Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen:
EURIS, a Specification Method for Distributed Interlockings.
296-305
Electronic Edition (Springer LINK) BibTeX
- Bartosz Nowicki, Janusz Górski:
Object Oriented Safety Analysis of an Extra High Voltage Substation Bay.
306-315
Electronic Edition (Springer LINK) BibTeX
Formal Methods III - Petri Nets
Reliability
Copyright © Sat May 16 23:36:31 2009
by Michael Ley (ley@uni-trier.de)
