| 2010 | On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications. | Christopher W. Johnson, Stefan Raue |
| 2010 | Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace. | Christopher W. Johnson |
| 2010 | Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. | Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee |
| 2010 | Verifying Mode Consistency for On-Board Satellite Software. | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Visnen, Dubravka Ilic, Timo Latvala |
| 2010 | Development of High-Integrity Software Product Lines Using Model Transformation. | Stuart Hutchesson, John A. McDermid |
| 2010 | A UML Profile for Requirements Analysis of Dependable Software. | Denis Hatebur, Maritta Heisel |
| 2010 | Software Testing by People with Autism. | Suzanne Haanappel, Sjaak Brinkkemper |
| 2010 | Field Test Methods for a Co-operative Integrated Traffic Management System. | Thomas Gruber, Egbert Althammer, Erwin Schoitsch |
| 2010 | Security Analysis of Open Building Automation Systems. | Wolfgang Granzer, Wolfgang Kastner |
| 2010 | Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees. | Carolina Gmez, Peter Liggesmeyer, Ariane Sutor |
| 2010 | Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid. | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
| 2010 | INDEXYS, a Logical Step beyond GENESYS. | Andreas Eckel, Paul Milbredt, Zaid Al-Ars, Stefan Schneele, Bart Vermeulen, Gyrgy Csertn, Christoph Scheerer, Neeraj Suri, Abdelmajid Khelil, Gerhard Fohler |
| 2010 | Murphy Was an Optimist. | Kevin R. Driscoll |
| 2010 | How to "Survive" a Safety Case According to ISO 26262. | Torsten Dittel, Hans-Jrg Aryus |
| 2010 | A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children. | Petr Bhm, Thomas Gruber |
| 2010 | An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. | Peter G. Bishop, Konstantinos Tourlas, Nick Chozos |
| 2010 | Overcoming Non-determinism in Testing Smart Devices: A Case Study. | Peter G. Bishop, Lukasz Cyra |
| 2010 | Deriving Safety Cases for Hierarchical Structure in Model-Based Development. | Nurlida Basir, Ewen Denney, Bernd Fischer |
| 2010 | Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead. | Ruben Alexandersson, Peter hman, Johan Karlsson |
| 2010 | Information Flow Analysis of Energy Management in a Smart Grid. | Ravi Akella, Bruce M. McMillin |
| 2009 | Towards Model-Based Automatic Testing of Attack Scenarios. | Mohammad Zulkernine, Mohammad Feroz Raihan, Mohammad Gias Uddin |
| 2009 | Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security. | Geraldine Vache |
| 2009 | Increasing the Reliability of High Redundancy Actuators by Using Elements in Series and Parallel. | Thomas Steffen, Frank Schiller, Michael Blum, Roger Dixon |
| 2009 | Establishing the Correlation between Complexity and a Reliability Metric for Software Digital I&C-Systems. | John Eidar Simensen, Christian Gerst, Bjrn Axel Gran, Josef Mrtz, Horst Miedl |
| 2009 | Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. | Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |