Conferences in DBLP
Kevin Hollingworth , Amer Saeed CoRSA - A Constraint Based Approach to Requirements and Safety Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Kirsten Winter , Thomas Santen , Maritta Heisel An Agenda for Specifying Software Components with Complex Data Models. [Citation Graph (0, 0)][DBLP ] Conf ] Heinrich Rust Safety in Production Cell Components: An Appraoch Combining Formal Real-Time Specifications and Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Lano , Pauline Kan , Ana Sánchez Linking Hazard Analysis to Formal Specification and Design in B. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolás Martín-Vivaldi , Peter Isacsson Controlling your Design through your Software Process. [Citation Graph (0, 0)][DBLP ] Conf ] Timm Grams Operator Errors and Their Causes. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Hutchinson , Michael Wallbaum A Performance Comparison of Group Security Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] John Iliadis , Stefanos Gritzalis , V. Oikonomou Towards Secure Downloadable Executable Content: The Java Paradigm. [Citation Graph (0, 0)][DBLP ] Conf ] Ferdinand J. Dafelmair Model and Implementation of a Secure SW-Development Process for Mission Critical Software. [Citation Graph (0, 0)][DBLP ] Conf ] Silvije Jovalekic , Bernd Rist Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bas A. de Mol , Floor Koornneef ``Profit by Safety'' or Quackery in Biomedical Information Technology? [Citation Graph (0, 0)][DBLP ] Conf ] Peter Liggesmeyer , Martin Rothfelder Towards Automated Proof of Fail-Safe Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Agathe Merceron , Monika Müllerburg , G. Michele Pinna Verifying a Time-Triggered Protocol in a Multi-language Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang A. Halang , Alceu Heinke Frigeri Methods and Languages for Safety-Related Real-Time Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Arndt Lindner ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Piergiorgio Bertoli , Alessandro Cimatti , Fausto Giunchiglia , Paolo Traverso A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ringler , J. Steiner , R. Belschner , B. Hedenetz Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Dieter Kochs , Walter Geisselhardt , Holger Hilmer , M. Lenord Fault-Tolerant Communication in Large-Scale Manipulators. [Citation Graph (0, 0)][DBLP ] Conf ] Elmar Dilger , Thomas Führer , Bernd Müller Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Fokko van Dijk , Wan Fokkink , Gea Kolk , Paul van de Ven , Bas van Vlijmen EURIS, a Specification Method for Distributed Interlockings. [Citation Graph (0, 0)][DBLP ] Conf ] Bartosz Nowicki , Janusz Górski Object Oriented Safety Analysis of an Extra High Voltage Substation Bay. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Saglietti Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Krzysztof Sacha Safety Verification of Software Using Structured Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Wong , Jeff Joyce Refinement of Safety-Related Hazards into Verifiable Code Assertions. [Citation Graph (0, 0)][DBLP ] Conf ] Bert Knegtering , Aarnout Brombacher Conceptual Comparison of Two Commonly Used Safeguarding Principles. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Sonneck , Erwin Schoitsch , Lorenzo Strigini A Holistic View on the Dependability of Software-Intensive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Drechsler Verifying Integrity of Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] 