- Yulai Zhou, Patrizio Pelliccione, Johan Haraldsson and Mafijul Islam. Improving Robustness of AUTOSAR Software Components with Design by Contract: A study within Volvo AB
- Luke Martin and Alexander Romanovsky. Stochastic Activity Networks for Modelling of Knowledge Bases
- Petter Sainio Berntsson, Lars Strandén and Fredrik Warg. Evaluation of open source operating systems for safety-critical applications
- Marcin Kubacki and Janusz Sosnowski. Holistic Processing and Exploring Event Logs
- Swaib Dragule, Bart Meyers and Patrizio Pelliccione. A Generated Property Specification Language for Resilient Multirobot Missions
- Rem Gensh, Ashur Rafiev, Fei Xia, Alexander Romanovsky and Alex Yakovlev. Modelling for Systems with Holistic Fault Tolerance
- Henry Muccini and Mahyar Tourchi Moghaddam. A Cyber-Physical Space operational approach for Crowd Evacuation Handling
- Hayley Borck, Paul Kline, Hazel Shackleton, John Gohde, Steven Johnston, Perry Alexander and Todd Carpenter. 100 Years of Software – Adapting Cyber-Physical Systems to the Changing World
- Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin and Timo Latvala. Co-engineering Safety and Security in Industrial Control Systems: a Formal Outlook
- Klaus Havelund and Rajeev Joshi. Modeling and Monitoring of Hierarchical State Machines in Scala
- Irum Rauf and Elena Troubitsyna. Towards a Model-Driven Security Assurance of Open Source Components