Jinyun Xue

Publication Activity (10 Years)

Years Active: 1988-2022
Publications (10 Years): 17

Top Topics

Recursive Algorithm

Formal Specification

Top Venues

Int. J. Pattern Recognit. Artif. Intell.

ICSE (Companion Volume)

Softw. Test. Verification Reliab.

Publications

Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph. SOFL+MSVL (2022)
Zhen You, Jiewen Huang, Jinyun Xue, Jiaxiang Chen, Jiaxin Liu, Qihong Yu, Hongwen Hu
A Multiplayer Virtual Intelligent System Based on Distributed Virtual Reality. Int. J. Pattern Recognit. Artif. Intell. 35 (14) (2021)
Tangliu Wen, Jie Peng, Jinyun Xue, Zhen You, Lan Song
Strict Linearizability and Abstract Atomicity. Int. J. Found. Comput. Sci. 32 (1) (2021)
Ya Liu, Jinyun Xue, Zhiheng Zhang, Yang Liu, Hongwen Hu
Research on the Model Transformation Method and Application of Formal Model Driven Engineering (FMDE). NCTCS (2021)
Zhuo Cheng, Jinyun Xue, Haitao Zhang, Zhen You, Qimin Hu, Yuto Lim
Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task. SOSE (2020)
Jiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou
. SOFL+MSVL (2020)
Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo
Formal Development and Verification of Reusable Component in PAR Platform. SOFL+MSVL (2019)
Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu
An efficient approach for verifying automobile distributed application systems on timing property. ICSE (Companion Volume) (2018)
Haitao Zhang, Guoqiang Li, Zhuo Cheng, Jinyun Xue
Verifying OSEK/VDX automotive applications: A Spin-based model checking approach. Softw. Test. Verification Reliab. 28 (3) (2018)
Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng
PAR: A Practicable Formal Method and Its Supporting Platform. ICFEM (2018)
Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie
Formal Specification and Verification for Real-Time Scheduling Based on PAR. SOFL+MSVL (2018)
Wuping Xie, Jinyun Xue, Dongming Jiang, Lan Song
An iteration-based interactive analysis method to design dynamic service-oriented systems. Softw. Pract. Exp. 48 (2) (2018)
Lan Song, Jinyun Xue, Qimin Hu, Wuping Xie, Dongming Jiang, Zhen You
无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol). 计算机科学 44 (9) (2017)
Zhen You, Jinyun Xue, Zhengkang Zuo
Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms. Clust. Comput. 19 (4) (2016)
Huazhen Xu, Zhen You, Jinyun Xue
Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. SNPD (2016)
Qimin Hu, Jinyun Xue, Zhen You
Formal Development of Linear Structure Reusable Components in PAR Platform. SOFL+MSVL (2016)
Zhen You, Jinyun Xue
Orchestration Combinators in Apla+ Language. SOFL+MSVL (2016)
Jinyun Xue
Genericity in PAR Platform. SOFL+MSVL (2015)
Qimin Hu, Jinyun Xue, Zhen You
Research on Formal Development of Non-recursive Algorithms of Graph Search. SOFL+MSVL (2015)
Wuping Xie, Jinyun Xue, Dongming Jiang
Contract-Based Generic Programming Mechanism for Dynamic Service Orchestration. CIT (2014)
Jinyun Xue, Volker Stolz
Preface. Electron. Notes Theor. Comput. Sci. 309 (2014)
Zhen You, Jinyun Xue, Qimin Hu, Yi Hong
. SOFL+MSVL (2014)
Zhen You, Jinyun Xue, Shi Ying, Dongming Jiang, Qimin Hu
Formalization of Distributed and Dynamic Resources Allocation Using Category Theory. J. Softw. 8 (12) (2013)
Zhengkang Zuo, Jinyun Xue, Changjing Wang
Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems. J. Networks 8 (5) (2013)
Dongming Jiang, Jinyun Xue, Wuping Xie
A reputation model based on hierarchical bayesian estimation for Web services. CSCWD (2012)
Haihe Shi, Jinyun Xue
Formal Derivation of Two Algorithms Involving Sequences. ACIS-ICIS (2011)
Haihe Shi, Jinyun Xue
A Generative Approach to Searching Algorithmic Programs Development. TASE (2011)
Zhen You, Jinyun Xue, Shi Ying
Categorial Semantics of a Solution to Distributed Dining Philosophers Problem. FAW (2010)
Yujun Zheng, Jinyun Xue
A problem reduction based approach to discrete optimization algorithm design. Computing 88 (1-2) (2010)
Haihe Shi, Jinyun Xue
Generating Provably Correct Algorithmic Programs from Formal Specifications. QSIC (2010)
Yujun Zheng, Haihe Shi, Jinyun Xue
A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development. ICWL Workshops (2010)
Yujun Zheng, Jinyun Xue, Zhengkang Zuo
Toward an Automatic Approach to Greedy Algorithms. FAW (2009)
Yujun Zheng, Jinquan Wang, Jinyun Xue
A-Team Based Supply Chain Management Agent Architecture. Int. J. Artif. Intell. Tools 18 (6) (2009)
Yujun Zheng, Chuanqing Xu, Jinyun Xue
A simple greedy algorithm for a class of shuttle transportation problems. Optim. Lett. 3 (4) (2009)
Changjing Wang, Jinyun Xue
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. FAW (2009)
Anquan Jie, Lan Wan, Zhizhang Hua, Jinyun Xue
The Research and Application of Apla-Java Reusable Components. ISCSCT (1) (2008)
Haihe Shi, Jinyun Xue, Dawei Du
A Mechanical Approach for Deriving Algorithmic Programs. ACIS-ICIS (2008)
Haihe Shi, Dawei Du, Jinyun Xue
Generating Algorithms plus Loop Invariants by Formal Derivation. ACIS-ICIS (2008)
Jinyun Xue, Bo Yang, Zhengkang Zuo
A Linear In-situ Algorithm for the Power of Cyclic Permutation. FAW (2008)
Yujun Zheng, Qimin Hu, Jinyun Xue
Implementing Templated Design Patterns: A Category Theoretic Approach. Int. J. Comput. Their Appl. 15 (3) (2008)
Yujun Zheng, Jinquan Wang, Jinyun Xue
Agent Based Framework for Emergency Rescue and Assistance Planning. PAISI (2007)
Haihe Shi, Jinyun Xue
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. SNPD (3) (2007)
Yujun Zheng, Haihe Shi, Jinyun Xue
From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum. International Conference on Computational Science (3) (2007)
Yujun Zheng, Jinyun Xue, Qimin Hu
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. J. Digit. Inf. Manag. 5 (3) (2007)
Yujun Zheng, Jinyun Xue, Weibo Liu
Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations. TAMC (2006)
Yujun Zheng, Lianlai Wang, Jinyun Xue
An A-Team Based Architecture for Constraint Programming. PRIMA (2006)
Meihua Xiao, Jinyun Xue
Formal automatic verification of security protocols. GrC (2006)
Yujun Zheng, Qimin Hu, Jinyun Xue
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. ISDA (1) (2006)
Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. FM (2006)
Jinyun Xue
Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. APLAS (2001)
Jinyun Xue
Formal derivation of graph algorithmic programs using partition-and-recur. J. Comput. Sci. Technol. 13 (6) (1998)
Jinyun Xue, Ruth Davis
A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program. Softw. Concepts Tools 18 (4) (1997)
Jinyun Xue
A unified approach for developing efficient algorithmic programs. J. Comput. Sci. Technol. 12 (4) (1997)
Jinyun Xue, Ruth Davis
A Simple Program whose Derivation and Proof is Also. ICFEM (1997)
Jinyun Xue
Two new strategies for developing loop invariants and their applications. J. Comput. Sci. Technol. 8 (2) (1993)
David Gries, Jinyun Xue
Generating a Random Cycle Permutation. BIT 28 (3) (1988)
Jinyun Xue, David Gries
Developing a Linear Algorithm for Cubing a Cyclic Permutation. Sci. Comput. Program. 11 (2) (1988)