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 |