Abstract is missing.
- Informing Assurance Case Review Through a Formal Interpretation of GSN Core LogicVictor Bandur, John McDermid. 3-14 [doi]
- Representing Confidence in Assurance Case EvidenceLian Duan, Sanjai Rayadurgam, Mats Per Erik Heimdahl, Oleg Sokolsky, Insup Lee. 15-26 [doi]
- Safe & Sec Case PatternsKenji Taguchi 0001, Daisuke Souma, Hideaki Nishihara. 27-37 [doi]
- A Comprehensive Safety LifecycleJohn C. Knight, Jonathan C. Rowanhill, M. Anthony Aiello, Kimberly S. Wasson. 38-49 [doi]
- An Approach to Assure Dependability Through ArchiMateShuichiro Yamamoto. 50-61 [doi]
- Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAEKateryna Netkachova, Oleksandr Netkachov, Robin E. Bloomfield. 62-71 [doi]
- Safety.Lab: Model-Based Domain Specific Tooling for Safety ArgumentationDaniel Ratiu, Marc Zeller, Lennart Killian. 72-82 [doi]
- A Safety Condition Monitoring SystemJohn C. Knight, Jonathan C. Rowanhill, Jian Xiang. 83-94 [doi]
- Error Type Refinement for Assurance of Families of Platform-Based SystemsSam Procter, John Hatcliff, Sandy Weininger, Anura Fernando. 95-106 [doi]
- Qualitative and Quantitative Analysis of CFTs Taking Security Causes into AccountMax Steiner, Peter Liggesmeyer. 109-120 [doi]
- Sequential Logic for State/Event Fault Trees: A Methodology to Support the Failure Modeling of Cyber Physical SystemsMichael Roth, Peter Liggesmeyer. 121-132 [doi]
- Towards a Framework for Alignment Between Automotive Safety and Security StandardsChristoph Schmittner, Zhendong Ma. 133-143 [doi]
- Reconfiguration Testing for Cooperating Autonomous AgentsFrancesca Saglietti, Stefan Winzinger, Raimar Lill. 144-155 [doi]
- A Motion Certification Concept to Evaluate Operational Safety and Optimizing Operating Parameters at RuntimeSebastian Müller, Peter Liggesmeyer. 156-166 [doi]
- Approach for Demonstrating Safety for a Collision Avoidance SystemThomas Gruber, Christian Zinner. 167-177 [doi]
- Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use CaseMarco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi. 178-189 [doi]
- Towards Verification of Multicore Motor-Drive Controllers in AerospaceStylianos Basagiannis, Francisco José González-Espín. 190-200 [doi]
- FlexRay Robustness Testing Contributing to Automated Safety CertificationErwin Kristen, Egbert Althammer. 201-211 [doi]
- Towards Perfectly Scalable Real-Time SystemsPeter Priller, Werner Gruber, Niklas Olberding, Dietmar Peinsipp. 212-223 [doi]
- Dependable Cyber-Physical Systems with Redundant Consumer Single-Board Linux ComputersØyvind Netland, Amund Skavhaug. 224-234 [doi]
- A Combined Safety-Hazards and Security-Threat Analysis Method for Automotive SystemsGeorg Macher, Andrea Höller, Harald Sporer, Eric Armengaud, Christian Kreiner. 237-250 [doi]
- Safety and Security Assessment of Behavioral Properties Using AlloyJulien Brunel, David Chemouil. 251-263 [doi]
- Combining MILS with Contract-Based Design for Safety and Security RequirementsAlessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta. 264-276 [doi]
- Security Analysis of Urban Railway Systems: The Need for a Cyber-Physical PerspectiveBinbin Chen, Christoph Schmittner, Zhendong Ma, William G. Temple, Xinshu Dong, Douglas L. Jones, William H. Sanders. 277-290 [doi]
- Sequential and Parallel Attack Tree ModellingFlorian Arnold, Dennis Guck, Rajesh Kumar, Mariëlle Stoelinga. 291-299 [doi]
- Analysis of Companies Gaps in the Application of Standards for Safety-Critical SoftwareAndrea Ceccarelli, Nuno Silva. 303-313 [doi]
- Simulative Evaluation of Security Attacks in Networked Critical InfrastructuresMarco Tiloca, Francesco Racciatti, Gianluca Dini. 314-323 [doi]
- Optimization of Reconfiguration Mechanisms in Critical InfrastructuresSzilvia Varró-Gyapay, Dániel László Magyar, Melinda Kocsis-Magyar, Katalin Tasi, Attila Hoangthanh Dinh, Ágota Bausz, László Gönczy. 324-334 [doi]
- How to Use Mobile Communication in Critical Infrastructures: A Dependability AnalysisJonas Wäfler, Poul E. Heegaard. 335-344 [doi]
- Using Structured Assurance Case Approach to Analyse Security and Reliability of Critical InfrastructuresKateryna Netkachova, Robin E. Bloomfield, Peter T. Popov, Oleksandr Netkachov. 345-354 [doi]
- Multidirectional Modular Conditional Safety CertificatesTiago Amorim, Alejandra Ruiz, Christoph Dropmann, Daniel Schneider. 357-368 [doi]
- Approaches for Software Verification of An Emergency Recovery System for Micro Air VehiclesMartin Becker 0001, Markus Neumair, Alexander Söhn, Samarjit Chakraborty. 369-385 [doi]
- The Role of CM in Agile Development of Safety-Critical SoftwareTor Stålhane, Thor Myklebust. 386-396 [doi]
- Is Current Incremental Safety Assurance Sound?Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, M. Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng. 397-408 [doi]
- Dependability Arguments Supported by Fuzz-TestingUwe Becker. 409-420 [doi]