Jiaqi Yin, Huibiao Zhu, Yuan-fei, Yucheng Fang. Modeling and Verifying Spark on YARN Using Process Algebra. In Dongjin Yu, Vu Nguyen 0003, Congfeng Jiang, editors, 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019. pages 208-215, IEEE, 2019. [doi]