| 2011 | Vertical Safety Interfaces - Improving the Efficiency of Modular Certification. | Bastian Zimmer, Susanne Brklen, Michael Knoop, Jens Hfflinger, Mario Trapp |
| 2011 | Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. | Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump |
| 2011 | Modeling Aircraft Operational Reliability. | Kossi Tiassou, Karama Kanoun, Mohamed Kaniche, Christel Seguin, Chris Papadopoulos |
| 2011 | Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis. | Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno |
| 2011 | Fault-Based Generation of Test Cases from UML-Models - Approach and Some Experiences. | Rupert Schlick, Wolfgang Herzner, Elisabeth Jbstl |
| 2011 | The Effect of Correlated Failure Rates on Reliability of Continuous Time 1-Out-of-2 Software. | Peter T. Popov, Gabriele Manno |
| 2011 | Criticality-Driven Component Integration in Complex Software Systems. | Antonio Pecchia, Roberto Pietrantuono, Stefano Russo |
| 2011 | An Integrated Approach for Availability and QoS Evaluation in Railway Systems. | Antonino Mazzeo, Nicola Mazzocca, Roberto Nardone, Luca D'Acierno, Bruno Montella, Vincenzo Punzo, Egidio Quaglietta, Immacolata Lamberti, Pietro Marmo |
| 2011 | Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems. | Roland Mader, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Gerhard Grienig, Christian Steger, Reinhold Wei |
| 2011 | Equivalence Checking between Function Block Diagrams and C Programs Using HW-CBMC. | Dong-Ah Lee, Junbeom Yoo, Jang-Soo Lee |
| 2011 | ISO/IEC 15504-10: Motivations for Another Safety Standard. | Giuseppe Lami, Fabrizio Fabbrini, Mario Fusani |
| 2011 | From Probabilistic Counterexamples via Causality to Fault Trees. | Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
| 2011 | Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. | Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson |
| 2011 | Establishing Confidence in the Usage of Software Tools in Context of ISO 26262. | Joachim Hillebrand, Peter Reichenpfader, Irenka Mandic, Hannes Siegl, Christian Peer |
| 2011 | Using a Software Safety Argument Pattern Catalogue: Two Case Studies. | Richard Hawkins, Kester Dean Clegg, Robert Alexander, Tim Kelly |
| 2011 | Model-Based Multi-objective Safety Optimization. | Matthias Gdemann, Frank Ortmeier |
| 2011 | On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems. | Andrea Fiaschetti, Francesco Lavorato, Vincenzo Suraci, Andi Palo, Andrea Taglialatela, Andrea Morgagni, Renato Baldelli, Francesco Flammini |
| 2011 | Evolutionary Risk Analysis: Expert Judgement. | Massimo Felici, Valentino Meduri, Bjrnar Solhaug, Alessandra Tedeschi |
| 2011 | On the Adoption of Model Checking in Safety-Related Software Industry. | Alessandro Fantechi, Stefania Gnesi |
| 2011 | Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System. | Federico Cruciani, Enrico Vicario |
| 2011 | A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain. | Domenico Cotroneo, Domenico Di Leo, Roberto Natella, Roberto Pietrantuono |
| 2011 | Integration of a System for Critical Infrastructure Protection with the OSSIM SIEM Platform: A dam case study. | Luigi Coppolino, Salvatore D'Antonio, Valerio Formicola, Luigi Romano |
| 2011 | Security Analysis of Smart Grid Data Collection Technologies. | Luigi Coppolino, Salvatore D'Antonio, Ivano Alessandro Elia, Luigi Romano |
| 2011 | A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. | Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
| 2011 | A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. | Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli |