FTSCS 2018
Sixth International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2018 Satellite Event)

Gold Coast, Australia, November 16, 2018

We received 24 regular paper submissions, and accepted 10 regular papers (41%). We also have a very distinguished invited speaker (see front page).

Accepted Papers

Liana Mikaelyan, Sascha Müller, Andreas Gerndt and Thomas Noll

Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees

Yuanrui Zhang, Hengyang Wu, Yxchen Chen and Frederic Mallet

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

John Törnblom and Simin Nadjm-Tehrani

Formal Verification of Random Forests in Safety-Critical Applications

William Bombardelli Da Silva, Max Bureck, Ina Schieferdecker and Christian Hein

Model Transformation with Triple Graph Grammars and Non-terminal Symbols

Maryam Kamali, Sven Linker and Michael Fisher

Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time

Karla Morris, Colin Snook, Thai Son Hoang, Rob Armstrong and Michael Butler

Refinement of Statecharts with Run-to-Completion Semantics

Étienne André

A benchmarks library for parametric timed model checking

Nils Timm and Stefan Gruner

Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking

Asad Ahmed, Osman Hasan and Falah Awwad

Formal Stability Analysis of Control Systems

Qurat Ul Ain and Osman Hasan

Formal Timing Analysis of Digital Circuits