The following publications are possibly variants of this publication:
- A Spin-Based Approach for Checking OSEK/VDX ApplicationsHaitao Zhang, Toshiaki Aoki, Yuki Chiba. ftscs 2015: 239-255 [doi]
- Verifying OSEK/VDX automotive applications: A Spin-based model checking approachHaitao Zhang, Guoqiang Li 0001, Zhuo Cheng, Jinyun Xue. stvr, 28(3), 2018. [doi]
- Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking ApproachHaitao Zhang, Toshiaki Aoki, Yuki Chiba. ieicet, 98-D(10):1765-1776, 2015. [doi]
- Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approachHaitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li. ACISicis 2016: 1-6 [doi]
- Boosting Uppaal for OSEK/VDX Applications with a Sequentialization ApproachHaitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu. sofl 2018: 51-68 [doi]
- SMT-Based Bounded Model Checking for OSEK/VDX ApplicationsHaitao Zhang, Toshiaki Aoki, Hsin-hung Lin, Min Zhang 0002, Yuki Chiba, Kenro Yatake. apsec 2013: 307-314 [doi]
- A Case Study: SOFL + Model Checking for OSEK/VDX ApplicationZhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim. sofl 2016: 132-146 [doi]
- autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applicationsHaitao Zhang, Zhuo Cheng, Guoqiang Li 0001, Shaoying Liu. chinaf, 61(5), 2018. [doi]