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 |