Conferences in DBLP
Willem Ridderhof , Hans-Gerhard Groß , Heiko Dörr Establishing Evidence for Safety Cases in Automotive Systems - A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Mark-Alexander Sujan , Floor Koornneef , Udo Voges Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Robinson , Mingyan Li , Scott Lintelman , Krishna Sampigethaya , Radha Poovendran , David von Oheimb , Jens-Uwe Bußer , Jorge Cuéllar Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Lang , Jana Dittmann , Stefan Kiltz , Tobias Hoppe Future Perspectives: The Car and Its IP-Address - A Potential Safety and Security Risk Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Laprie , Karama Kanoun , Mohamed Kaâniche Modelling Interdependencies Between the Electricity and Information Infrastructures. [Citation Graph (0, 0)][DBLP ] Conf ] Wan-Hui Tseng , Chin-Feng Fan Handling Malicious Code on Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mohammad Alhammouri , Sead Muftic Management of Groups and Group Keys in Multi-level Security Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Grzegorz J. Nalepa Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Armin Selhofer , Thomas Gruber , Michael Putz , Erwin Schoitsch , Gerald Sonneck RAMSS Analysis for a Co-operative Integrated Traffic Management System. [Citation Graph (0, 0)][DBLP ] Conf ] S. M. Hadi Hosseini , Makoto Takahashi Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Reiner Heilmann , Stefan Rothbauer , Ariane Sutor Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Walker , Leonardo Bottaci , Yiannis Papadopoulos Compositional Temporal Fault Tree Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] William Marsh , George Bearfield Representing Parameterised Fault Trees Using Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Lüdtke , Lothar Pfeifer Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model. [Citation Graph (0, 0)][DBLP ] Conf ] Gee-Yong Park , Jang-Soo Lee , Se Woo Cheon , Kee-Choon Kwon , Eunkyoung Jee , Kwang Yong Koh Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Faller Specification of a Software Common Cause Analysis Method. [Citation Graph (0, 0)][DBLP ] Conf ] Weihang Wu , Tim Kelly Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Russo , Andreas Turk Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Gilje Jaatun , Åsmund Ahlmann Nyre , Jan Tore Sørensen Survival by Deception. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis K. Nilsson , Phillip A. Porras , Erland Jonsson How to Secure Bluetooth-Based Pico Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Finn Olav Sveen , José Manuel Torres , Jose Maria Sarriegi Learning from Your Elders: A Shortcut to Information Security Management Success. [Citation Graph (0, 0)][DBLP ] Conf ] Stylianos Basagiannis , Panagiotis Katsaros , Andrew Pombortsis Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. [Citation Graph (0, 0)][DBLP ] Conf ] Derek Mannering , Jon G. Hall , Lucia Rapanotti Safety Process Improvement with POSE and Alloy. [Citation Graph (0, 0)][DBLP ] Conf ] Horst Miedl , Jang-Soo Lee , Arndt Lindner , Ernst Hoffman , Josef Martz , Young-Jun Lee , Jong-Gyun Choi , Jang-Yeol Kim , Kyoung-Ho Cha , Se Woo Cheon , Cheol-Kwon Lee , Gee-Yong Park , Kee-Choon Kwon Defense-in-Depth and Diverse Qualification of Safety-Critical Software. [Citation Graph (0, 0)][DBLP ] Conf ] Jonny Vinter , Henrik Eriksson , Astrit Ademaj , Bernhard Leiner , Martin Schlager Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer. [Citation Graph (0, 0)][DBLP ] Conf ] Falk Salewski , Stefan Kowalewski Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Fevzi Belli , Axel Hollmann , Nimal Nissanke Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Mottok , Frank Schiller , Thomas Völkl , Thomas Zeitler A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Laprie Safety Demonstration and Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Friske , Bernd-Holger Schlingloff Improving Test Coverage for UML State Machines Using Transition Instrumentation. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Langenstein , Andreas Nonnengart , Georg Rock , Werner Stephan Verification of Distributed Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Tina Mattes , Jörg Pfahler , Frank Schiller , Thomas Honold Analysis of Combinations of CRC in Industrial Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Leiner , Martin Schlager , Roman Obermaisser , Bernhard Huber A Comparison of Partitioning Operating Systems for Integrated Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ute Wappler , Christof Fetzer Software Encoded Processing: Building Dependable Systems with Commodity Hardware. [Citation Graph (0, 0)][DBLP ] Conf ] Ayman Z. Faza , Sahra Sedigh , Bruce M. McMillin Reliability Modeling for the Advanced Electric Power Grid. [Citation Graph (0, 0)][DBLP ] Conf ] Atte Helminen Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay. [Citation Graph (0, 0)][DBLP ] Conf ] Valério Rosset , Pedro F. Souto , Paulo Portugal , Francisco Vasques A Reliability Evaluation of a Group Membership Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Kizito Salako Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Bobbio , R. Terruggia , A. Boellis , Ester Ciancamerla , Michele Minichino A Tool for Network Reliability Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Salvatore Distefano , Antonio Puliafito DFT and DRBD in Computing Systems Dependability Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] István Majzik , Zoltán Micskei , Gergely Pintér Development of Model Based Tools to Support the Design of Railway Control Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Täubrich , Reinhard von Hanxleden Formal Specification and Analysis of AFDX Redundancy Management Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Yean-Ru Chen , Pao-Ann Hsiung , Sao-Jie Chen Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Güdemann , Frank Ortmeier , Wolfgang Reif Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Souyris , David Delmas Experimental Assessment of Astrée on Safety-Critical Avionics Software. [Citation Graph (0, 0)][DBLP ] Conf ] Ajith K. John , Babita Sharma , A. K. Bhattacharjee , S. D. Dhodapkar , S. Ramesh Detection of Runtime Errors in MISRA C Programs: A Deductive Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Jesper Berthing , Thomas Maier A Taxonomy for Modelling Safety Related Architectures in Compliance with Functional Safety Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Kain , Hao Ding , Frank Schiller , Olaf Stursberg Controller Architecture for Safe Cognitive Technical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ananda Challaghatta Muniyappa Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software. [Citation Graph (0, 0)][DBLP ] Conf ] 