Abstract is missing.
- Predictive Analytics: A Shortcut to Dependable ComputingMiroslaw Malek. 3-17 [doi]
- Modeling and Monitoring of Hierarchical State Machines in ScalaKlaus Havelund, Rajeev Joshi. 21-36 [doi]
- Stochastic Activity Networks for the Verification of Knowledge BasesLuke J. W. Martin, Alexander Romanovsky. 37-44 [doi]
- A Generated Property Specification Language for Resilient Multirobot MissionsSwaib Dragule, Bart Meyers, Patrizio Pelliccione. 45-61 [doi]
- Towards a Model-Driven Security Assurance of Open Source ComponentsIrum Rauf, Elena Troubitsyna. 65-80 [doi]
- A Cyber-Physical Space Operational Approach for Crowd Evacuation HandlingHenry Muccini, Mahyar Tourchi Moghaddam. 81-95 [doi]
- Co-engineering Safety and Security in Industrial Control Systems: A Formal OutlookInna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala. 96-114 [doi]
- Evaluation of Open Source Operating Systems for Safety-Critical ApplicationsPetter Sainio Berntsson, Lars Strandén, Fredrik Warg. 117-132 [doi]
- 100 Years of Software - Adapting Cyber-Physical Systems to the Changing WorldHayley Borck, Paul Kline, Hazel Shackleton, John Gohde, Steven Johnston, Perry Alexander, Todd Carpenter. 133-148 [doi]
- Improving Robustness of AUTOSAR Software Components with Design by Contract: A Study Within Volvo ABYulai Zhou, Patrizio Pelliccione, Johan Haraldsson, Mafjiul Islam. 151-168 [doi]
- Modelling for Systems with Holistic Fault ToleranceRem Gensh, Ashur Rafiev, Fei Xia, Alexander Romanovsky, Alex Yakovlev. 169-183 [doi]
- Holistic Processing and Exploring Event LogsMarcin Kubacki, Janusz Sosnowski. 184-200 [doi]