| 2007 | Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems. | Grzegorz J. Nalepa |
| 2007 | Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software. | Ananda Challaghatta Muniyappa |
| 2007 | A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications. | Jrgen Mottok, Frank Schiller, Thomas Vlkl, Thomas Zeitler |
| 2007 | Defense-in-Depth and Diverse Qualification of Safety-Critical Software. | Horst Miedl, Jang-Soo Lee, Arndt Lindner, Ernst Hoffman, Josef Mrtz, Young-Jun Lee, Jong-Gyun Choi, Jangyeol Kim, Kyoung-Ho Cha, Se Woo Cheon, Cheol-Kwon Lee, Gee-Yong Park, Kee-Choon Kwon |
| 2007 | Analysis of Combinations of CRC in Industrial Communication. | Tina Mattes, Jrg Pfahler, Frank Schiller, Thomas Honold |
| 2007 | Representing Parameterised Fault Trees Using Bayesian Networks. | William Marsh, George Bearfield |
| 2007 | Safety Process Improvement with POSE and Alloy. | Derek Mannering, Jon G. Hall, Lucia Rapanotti |
| 2007 | Development of Model Based Tools to Support the Design of Railway Control Applications. | Istvn Majzik, Zoltn Micskei, Gergely Pintr |
| 2007 | Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model. | Andreas Ldtke, Lothar Pfeifer |
| 2007 | A Comparison of Partitioning Operating Systems for Integrated Systems. | Bernhard Leiner, Martin Schlager, Roman Obermaisser, Bernhard Huber |
| 2007 | Modelling Interdependencies Between the Electricity and Information Infrastructures. | Jean-Claude Laprie, Karama Kanoun, Mohamed Kaniche |
| 2007 | Safety Demonstration and Software Development. | Jean-Claude Laprie |
| 2007 | Verification of Distributed Applications. | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan |
| 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 | Controller Architecture for Safe Cognitive Technical Systems. | Sebastian Kain, Hao Ding, Frank Schiller, Olaf Stursberg |
| 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 | Survival by Deception. | Martin Gilje Jaatun, smund Ahlmann Nyre, Jan Tore Srensen |
| 2007 | Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks. | S. M. Hadi Hosseini, Makoto Takahashi |
| 2007 | Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay. | Atte Helminen |
| 2007 | Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System. | Reiner Heilmann, Stefan Rothbauer, Ariane Sutor |
| 2007 | Using Deductive Cause-Consequence Analysis (DCCA) with SCADE. | Matthias Gdemann, Frank Ortmeier, Wolfgang Reif |
| 2007 | Improving Test Coverage for UML State Machines Using Transition Instrumentation. | Mario Friske, Bernd-Holger Schlingloff |
| 2007 | Reliability Modeling for the Advanced Electric Power Grid. | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
| 2007 | Specification of a Software Common Cause Analysis Method. | Rainer Faller |
| 2007 | DFT and DRBD in Computing Systems Dependability Analysis. | Salvatore Distefano, Antonio Puliafito |