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 |