| 2018 | ICFEM | PAR: A Practicable Formal Method and Its Supporting Platform. | Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng |
| 2018 | ICSE | An efficient approach for verifying automobile distributed application systems on timing property. | Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu |
| 2016 | SNPD | Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. | Huazhen Xu, Zhen You, Jinyun Xue |
| 2012 | CSCWD | A reputation model based on hierarchical bayesian estimation for Web services. | Dongming Jiang, Jinyun Xue, Wuping Xie |
| 2011 | TASE | A Generative Approach to Searching Algorithmic Programs Development. | Haihe Shi, Jinyun Xue |
| 2010 | FAW | Categorial Semantics of a Solution to Distributed Dining Philosophers Problem. | Zhen You, Jinyun Xue, Shi Ying |
| 2009 | FAW | Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. | Changjing Wang, Jinyun Xue |
| 2009 | FAW | Toward an Automatic Approach to Greedy Algorithms. | Yujun Zheng, Jinyun Xue, Zhengkang Zuo |
| 2008 | FAW | A Linear In-situ Algorithm for the Power of Cyclic Permutation. | Jinyun Xue, Bo Yang, Zhengkang Zuo |
| 2007 | ICCS | From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum. | Yujun Zheng, Haihe Shi, Jinyun Xue |
| 2007 | SNPD | Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. | Haihe Shi, Jinyun Xue |
| 2006 | FM | Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. | Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue |
| 2006 | GRC | Formal automatic verification of security protocols. | Meihua Xiao, Jinyun Xue |
| 2006 | ISDA | Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. | Yujun Zheng, Qimin Hu, Jinyun Xue |
| 2006 | PRIMA | An A-Team Based Architecture for Constraint Programming. | Yujun Zheng, Lianlai Wang, Jinyun Xue |
| 2006 | TAMC | Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations. | Yujun Zheng, Jinyun Xue, Weibo Liu |
| 2001 | APLAS | Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. | Jinyun Xue |
| 1997 | ICFEM | A Simple Program whose Derivation and Proof is Also. | Jinyun Xue, Ruth Davis |