Abstract is missing.
- CoRSA - A Constraint Based Approach to Requirements and Safety AnalysisKevin Hollingworth, Amer Saeed. 3-15 [doi]
- An Agenda for Specifying Software Components with Complex Data ModelsKirsten Winter, Thomas Santen, Maritta Heisel. 16-31 [doi]
- Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and PatternsHeinrich Rust. 32-44 [doi]
- Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time SystemsVincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris. 45-59 [doi]
- Linking Hazard Analysis to Formal Specification and Design in BKevin Lano, Pauline Kan, Ana Sánchez. 60-74 [doi]
- Controlling your Design through your Software ProcessNicolás Martín-Vivaldi, Peter Isacsson. 77-88 [doi]
- Operator Errors and Their CausesTimm Grams. 89-99 [doi]
- A Performance Comparison of Group Security MechanismsAndrew Hutchinson, Michael Wallbaum. 103-116 [doi]
- Towards Secure Downloadable Executable Content: The Java ParadigmJohn Iliadis, Stefanos Gritzalis, V. Oikonomou. 117-127 [doi]
- Model and Implementation of a Secure SW-Development Process for Mission Critical SoftwareFerdinand J. Dafelmair. 128-142 [doi]
- Impact of Object-Oriented Software Engineering Applied to the Development of Security SystemsSilvije Jovalekic, Bernd Rist. 143-155 [doi]
- Profit by Safety or Quackery in Biomedical Information Technology?Bas A. de Mol, Floor Koornneef. 159-166 [doi]
- Towards Automated Proof of Fail-Safe BehaviourPeter Liggesmeyer, Martin Rothfelder. 169-184 [doi]
- Verifying a Time-Triggered Protocol in a Multi-language EnvironmentAgathe Merceron, Monika Müllerburg, G. Michele Pinna. 185-195 [doi]
- Methods and Languages for Safety-Related Real-Time ProgrammingWolfgang A. Halang, Alceu Heinke Frigeri. 196-208 [doi]
- ANSI-C in Safety Critical Applications - Lessons-Learned from Software EvaluationArndt Lindner. 209-217 [doi]
- A Structured Approach to the Formal Certification of Safety of Computer Aided Development ToolsPiergiorgio Bertoli, Alessandro Cimatti, Fausto Giunchiglia, Paolo Traverso. 221-230 [doi]
- Applying Formal Methods in Industry The UseGat ProjectSandro Bologna, Rocco Bove, Giovanni Dipoppa, Giorgio Mongardi, Gino Biondi, Carmen Porzia, Benny Graft Mortensen, Niels Kirkegaard. 231-242 [doi]
- Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered ArchitectureThomas Ringler, J. Steiner, R. Belschner, B. Hedenetz. 243-253 [doi]
- Fault-Tolerant Communication in Large-Scale ManipulatorsHans-Dieter Kochs, Walter Geisselhardt, Holger Hilmer, M. Lenord. 254-266 [doi]
- Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered ApproachElmar Dilger, Thomas Führer, Bernd Müller. 267-283 [doi]
- Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking SystemAlessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso. 284-295 [doi]
- EURIS, a Specification Method for Distributed InterlockingsFokko van Dijk, Wan Fokkink, Gea Kolk, Paul van de Ven, Bas van Vlijmen. 296-305 [doi]
- Object Oriented Safety Analysis of an Extra High Voltage Substation BayBartosz Nowicki, Janusz Górski. 306-315 [doi]
- Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri NetsFrancesca Saglietti. 319-328 [doi]
- Safety Verification of Software Using Structured Petri NetsKrzysztof Sacha. 329-342 [doi]
- Refinement of Safety-Related Hazards into Verifiable Code AssertionsKen Wong, Jeff Joyce. 345-358 [doi]
- Conceptual Comparison of Two Commonly Used Safeguarding PrinciplesBert Knegtering, Aarnout Brombacher. 359-368 [doi]
- A Holistic View on the Dependability of Software-Intensive SystemsGerald Sonneck, Erwin Schoitsch, Lorenzo Strigini. 369-379 [doi]
- Verifying Integrity of Decision DiagramsRolf Drechsler. 380-389 [doi]