FTSCS 2016
Fifth International Workshop on Formal Techniques for Safety-Critical Systems
(An ICFEM 2016 Satellite Event)
Tokyo, Japan, November 14, 2016
Workshop Program, November 14
10:00 - 10:10: Opening (Cyrille Artho and Peter Csaba Ölveczky)
10:10 - 11:00: Specification and verification (chair: Étienne André)
- Pedro Gomes, Dilian Gurov and Marieke Huisman:
Specification and Verification of Synchronization with Condition Variables
- Brijesh Dongol:
An interval logic for stream-processing functions: A convolution-based construction
11:00-11:30: Coffee break
11:30-12:20: Automotive and railway systems (chair: Osman Hasan)
- 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
- Eduard Kamburjan and Reiner Hähnle:
Uniform Modeling of Railway Operations
12:20-13:30: Lunch
13:30-15:20: Invited talk + Security, Internet of things (chair: Cyrille Artho)
- Invited talk: Naoki Kobayashi
On Two Higher-Order Extensions of Model Checking
- 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
15:20-15:50: Coffee break
15:50-17:05: Cyber-physical systems and parameterized verification (chair: Sofiène Tahar)
- Richard Banach and Huibiao Zhu:
Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems
- 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
- Nils Timm and Stefan Gruner:
Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction
17:05-17:20: Closing
|