FTSCS 2016
Fifth International Workshop on Formal Techniques for Safety-Critical Systems

(An ICFEM 2016 Satellite Event)

Tokyo, Japan, November 14, 2016

We received 23 regular paper submissions, and accepted 9 regular papers (39%). We also have a very distinguished invited speaker (see Invited Speakers page).

Accepted Papers

Eduard Kamburjan and Reiner Hähnle

Uniform Modeling of Railway Operations

Richard Banach and Huibiao Zhu

Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems

Brijesh Dongol

An interval logic for stream-processing functions: A convolution-based construction

Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori and Shoji Yuen

Automating Time Series Safety Analysis for Automotive Control Systems in STPA using Weighted Partial Max-SMT

Nils Timm and Stefan Gruner

Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction

Pedro Gomes, Dilian Gurov and Marieke Huisman

Specification and Verification of Synchronization with Condition Variables

Baptiste Parquier, Laurent Rioux, Rafik Henia, Romain Soulat, Olivier Roux, Didier Lime and Étienne André

Applying parametric model-checking techniques for reusing real-time critical systems

Imran Abbasi, Faiq Khalid Lodhi, Awais Kamboh and Osman Hasan

Formal Verification of Gate-Level Multiple Side Channel Parameters to detect Hardware Trojans

Maissa Elleuch, Osman Hasan, Sofiene Tahar and Mohamed Abid

Formal Probabilistic Analysis of a WSN-based Monitoring Framework for IoT Applications