| 2010 | 100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. Daniel Kästner, Reinhold Heckmann, Christian Ferdinand |
| 2010 | A Metric for Measuring the Strength of Inter-dependencies. Silvia Ruzzante, Elisa Castorini, Elena Marchei, Vincenzo Fioriti |
| 2010 | A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children. Petr Böhm, Thomas Gruber |
| 2010 | A UML Profile for Requirements Analysis of Dependable Software. Denis Hatebur, Maritta Heisel |
| 2010 | ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software. Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer |
| 2010 | An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems. Peter G. Bishop, Konstantinos Tourlas, Nick Chozos |
| 2010 | Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead. Ruben Alexandersson, Peter Öhman, Johan Karlsson |
| 2010 | Assurance of Automotive Safety - A Safety Case Approach. Robert Palin, Ibrahim Habli |
| 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 | Benchmarking Software Requirements Documentation for Space Application. Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira |
| 2010 | Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain. Jussi Lahtinen, Mika Johansson, Jukka Ranta, Hannu Harju, Risto Nevalainen |
| 2010 | Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace. Christopher W. Johnson |
| 2010 | Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings Erwin Schoitsch |
| 2010 | Deriving Safety Cases for Hierarchical Structure in Model-Based Development. Nurlida Basir, Ewen Denney, Bernd Fischer |
| 2010 | Development of High-Integrity Software Product Lines Using Model Transformation. Stuart Hutchesson, John A. McDermid |
| 2010 | Evolving a Safe System Design Iteratively. Alexandre Mota, Joabe Jesus, Adriano Gomes, Felipe A. S. Ferri, Edson H. Watanabe |
| 2010 | Experiences in Applying Formal Verification in Robotics. Dennis Walter, Holger Täubig, Christoph Lüth |
| 2010 | Field Test Methods for a Co-operative Integrated Traffic Management System. Thomas Gruber, Egbert Althammer, Erwin Schoitsch |
| 2010 | How to "Survive" a Safety Case According to ISO 26262. Torsten Dittel, Hans-Jörg Aryus |
| 2010 | INDEXYS, a Logical Step beyond GENESYS. Andreas Eckel, Paul Milbredt, Zaid Al-Ars, Stefan Schneele, Bart Vermeulen, György Csertán, Christoph Scheerer, Neeraj Suri, Abdelmajid Khelil, Gerhard Fohler |
| 2010 | Information Flow Analysis of Energy Management in a Smart Grid. Ravi Akella, Bruce M. McMillin |
| 2010 | Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid. Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
| 2010 | Integrating System Modelling with Safety Activities. Bernhard Kaiser, Vanessa C. Klaas, Stefan Schulz, Christian Herbst, Peter Lascych |
| 2010 | MODIFI: A MODel-Implemented Fault Injection Tool. Rickard Svenningsson, Jonny Vinter, Henrik Eriksson, Martin Törngren |
| 2010 | Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2. Anders Sandberg, De-Jiu Chen, Henrik Lönn, Rolf Johansson, Lei Feng, Martin Törngren, Sandra Torchiaro, Ramin Tavakoli Kolagari, Andreas Abele |
| 2010 | Murphy Was an Optimist. Kevin R. Driscoll |
| 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 | Overcoming Non-determinism in Testing Smart Devices: A Case Study. Peter G. Bishop, Lukasz Cyra |
| 2010 | Process Control Security: Go Dutch! (United, Shared, Lean and Mean). Eric A. M. Luiijf |
| 2010 | QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams. Roberta Terruggia, Andrea Bobbio |
| 2010 | Reliability Analysis of Safety-Related Communication Architectures. Oliver Schulz, Jan Peleska |
| 2010 | Residual Error Probability of Embedded CRC by Stochastic Automata. Frank Schiller, Tina Mattes |
| 2010 | Security Analysis of Open Building Automation Systems. Wolfgang Granzer, Wolfgang Kastner |
| 2010 | Software Testing by People with Autism. Suzanne Haanappel, Sjaak Brinkkemper |
| 2010 | System of Systems Challenges. Hermann Kopetz |
| 2010 | The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs. Thomas Novak, Christoph Stoegerer |
| 2010 | Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees. Carolina Gómez, Peter Liggesmeyer, Ariane Sutor |
| 2010 | Verifying Mode Consistency for On-Board Satellite Software. Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala |