The following publications are possibly variants of this publication:
- Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking ApproachHaitao Zhang, Toshiaki Aoki, Yuki Chiba. ieicet, 98-D(10):1765-1776, 2015. [doi]
- An Approach for Checking OSEK/VDX ApplicationsHaitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-hung Lin. qsic 2013: 113-116 [doi]
- 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: An optimized SMT-based bounded model checking approachHaitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li. ACISicis 2016: 1-6 [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]
- Formalizing Application Programming Interfaces of the OSEK/VDX Operating System SpecificationLongfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu. tase 2011: 27-34 [doi]