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