| 2025 | ICFEM | Modeling and Analysis of Cyber-Physical Systems in the Hybrid π-Calculus Using Extended Sequence Diagrams. | Xiong Xu, Jixiang Miao, Shuling Wang, Jean-Pierre Talpin |
| 2025 | SETTA | HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes. | Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan |
| 2024 | SETTA | The Design of Intelligent Temperature Control System of Smart House with MARS. | Yihao Yin, Hao Wu, Shuling Wang, Xiong Xu, Fanjiang Xu, Naijun Zhan |
| 2023 | SETTA | Session Types with Multiple Senders Single Receiver. | Zekun Ji, Shuling Wang, Xiong Xu |
| 2022 | ICFEM | Machine-Checked Executable Semantics of Stateflow. | Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan |
| 2022 | ITP | Compositional Verification of Interacting Systems Using Event Monads. | Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia |
| 2021 | ICRA | PENet: Towards Precise and Efficient Image Guided Depth Completion. | Mu Hu, Shuling Wang, Bin Li, Shiyu Ning, Li Fan, Xiaojin Gong |
| 2021 | WACV | Self-supervised Visual-LiDAR Odometry with Flip Consistency. | Bin Li, Mu Hu, Shuling Wang, Lianghao Wang, Xiaojin Gong |
| 2021 | RTAS | Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. | Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan |
| 2021 | SETTA | Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization. | Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun |
| 2021 | SETTA | Formal Analysis of 5G AKMA. | Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao |
| 2020 | AAIM | The List L(2, 1)-Labeling of Planar Graphs with Large Girth. | Haiyang Zhu, Junlei Zhu, Ying Liu, Shuling Wang, Danjun Huang, Lianying Miao |
| 2019 | CAV | Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. | Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan |
| 2017 | APLAS | Synthesizing SystemC Code from Delay Hybrid CSP. | Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan |
| 2017 | SETTA | Compositional Hoare-Style Reasoning About Hybrid CSP in the Duration Calculus. | Dimitar P. Guelev, Shuling Wang, Naijun Zhan |
| 2016 | FM | Approximate Bisimulation and Discretization of Hybrid CSP. | Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan |
| 2015 | ATVA | Formal Verification of Simulink/Stateflow Diagrams. | Liang Zou, Naijun Zhan, Shuling Wang, Martin Frnzle |
| 2015 | ICFEM | An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems. | Shuling Wang, Naijun Zhan, Liang Zou |
| 2015 | SETTA | Extending Hybrid CSP with Probability and Stochasticity. | Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang |
| 2015 | TASE | Verifying Interaction between Methods in Classes. | Tingting Hu, Shuling Wang, Zongyan Qiu |
| 2014 | FORTE | Denial-of-Service Security Attack in the Continuous-Time World. | Shuling Wang, Flemming Nielson, Hanne Riis Nielson |
| 2013 | EMSOFT | Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. | Liang Zou, Naijun Zhan, Shuling Wang, Martin Frnzle, Shengchao Qin |
| 2013 | ICTAC | Formal Modelling, Analysis and Verification of Hybrid Systems. | Naijun Zhan, Shuling Wang, Hengjun Zhao |
| 2012 | TAMC | An Assume/Guarantee Based Compositional Calculus for Hybrid CSP. | Shuling Wang, Naijun Zhan, Dimitar P. Guelev |
| 2012 | TASE | Verifying OO Programs by Linking Algebraic and Abstract Specifications. | Qin Shu, Shuling Wang, Yijing Liu |
| 2010 | CADE | Proving Simpson's Four-Slot Algorithm Using Ownership Transfer. | Shuling Wang, Xu Wang |
| 2009 | ICFEM | A Graph-Based Operational Semantics of OO Programs. | Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao |
| 2008 | TASE | A Relational Model for Confined Separation Logic. | Shuling Wang, Lus Soares Barbosa, Jos Nuno Oliveira |
| 2008 | TASE | A Generic Model for Confinement and its Application. | Shuling Wang, Zongyan Qiu |
| 2006 | ICTAC | Type Safety for FJ and FGJ. | Shuling Wang, Quan Long, Zongyan Qiu |
| 2006 | ICWS | A Formal Model forWeb Service Choreography Description Language (WS-CDL). | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Geguang Pu, Shuling Wang |
| 2005 | FM | Semantics of BPEL4WS-Like Fault and Compensation Handling. | Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao |
| 2004 | SEFM | An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi |