Abstract is missing.
- A Framework for Assessing Safety Argumentation ConfidenceRui Wang, Jérémie Guiochet, Gilles Motet. 3-12 [doi]
- Configurable Fault TreesChristine Jakobs, Peter Tröger, Matthias Werner. 13-27 [doi]
- A Formal Approach to Designing Reliable Advisory SystemsLuke J. W. Martin, Alexander Romanovsky. 28-42 [doi]
- Verifying Multi-core Schedulability with Data Decision DiagramsDimitri Racordon, Didier Buchs. 45-61 [doi]
- Formal Verification of the On-the-Fly Vehicle Platooning ProtocolPiergiuseppe Mallozzi, Massimo Sciancalepore, Patrizio Pelliccione. 62-75 [doi]
- WRAD: Tool Support for Workflow Resiliency Analysis and DesignJohn C. Mace, Charles Morisset, Aad P. A. van Moorsel. 79-87 [doi]
- Designing a Resilient Deployment and Reconfiguration Infrastructure for Remotely Managed Cyber-Physical SystemsSubhav Pradhan, Abhishek Dubey, Aniruddha S. Gokhale. 88-104 [doi]
- cloud-ATAM: Method for Analysing Resilient Attributes of Cloud-Based ArchitecturesDavid Ebo Adjepon-Yamoah. 105-114 [doi]
- Automated Test Case Generation for the CTRL Programming Language Using Pex: Lessons LearnedStefan Klikovits, David P. Y. Lawrence, Manuel Gonzalez-Berges, Didier Buchs. 117-132 [doi]
- A/B Testing in E-commerce Sales ProcessesKostantinos Koukouvis, Roberto Alcañiz Cubero, Patrizio Pelliccione. 133-148 [doi]