Jinyun Xue

According to our database, Jinyun Xue authored at least 58 papers between 1988 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph.

Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

2021

A Multiplayer Virtual Intelligent System Based on Distributed Virtual Reality.

Zhen You, Jiewen Huang, Jinyun Xue, Jiaxiang Chen, Jiaxin Liu, Qihong Yu, Hongwen Hu

Int. J. Pattern Recognit. Artif. Intell., 2021

Strict Linearizability and Abstract Atomicity.

Tangliu Wen, Jie Peng, Jinyun Xue, Zhen You, Lan Song

Int. J. Found. Comput. Sci., 2021

Research on the Model Transformation Method and Application of Formal Model Driven Engineering (FMDE).

Ya Liu, Jinyun Xue, Zhiheng Zhang, Yang Liu, Hongwen Hu

Proceedings of the Theoretical Computer Science, 2021

2020

Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task.

Zhuo Cheng, Jinyun Xue, Haitao Zhang, Zhen You, Qimin Hu, Yuto Lim

Proceedings of the 14th IEEE International Conference on Service Oriented Systems Engineering, 2020

Design and Implementation of Virtual Reality Geometric Modeling in Apla^+VR.

Jiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

2019

Formal Development and Verification of Reusable Component in PAR Platform.

Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

2018

Verifying OSEK/VDX automotive applications: A Spin-based model checking approach.

Haitao Zhang, Guoqiang Li, Zhuo Cheng, Jinyun Xue

Softw. Test. Verification Reliab., 2018

An iteration-based interactive analysis method to design dynamic service-oriented systems.

Wuping Xie, Jinyun Xue, Dongming Jiang, Lan Song

Softw. Pract. Exp., 2018

Formal Specification and Verification for Real-Time Scheduling Based on PAR.

Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

An efficient approach for verifying automobile distributed application systems on timing property.

Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

PAR: A Practicable Formal Method and Its Supporting Platform.

Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng

Proceedings of the Formal Methods and Software Engineering, 2018

2017

无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol).

Lan Song, Jinyun Xue, Qimin Hu, Wuping Xie, Dongming Jiang, Zhen You

计算机科学, 2017

2016

Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms.

Zhen You, Jinyun Xue, Zhengkang Zuo

Clust. Comput., 2016

Orchestration Combinators in Apla+ Language.

Zhen You, Jinyun Xue

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Formal Development of Linear Structure Reusable Components in PAR Platform.

Qimin Hu, Jinyun Xue, Zhen You

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover.

Huazhen Xu, Zhen You, Jinyun Xue

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

2015

Genericity in PAR Platform.

Jinyun Xue

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Research on Formal Development of Non-recursive Algorithms of Graph Search.

Qimin Hu, Jinyun Xue, Zhen You

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

2014

Formal Semantics of Orc Based on TLA⁺.

Zhen You, Jinyun Xue, Qimin Hu, Yi Hong

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Contract-Based Generic Programming Mechanism for Dynamic Service Orchestration.

Wuping Xie, Jinyun Xue, Dongming Jiang

Proceedings of the 14th IEEE International Conference on Computer and Information Technology, 2014

2013

Formalization of Distributed and Dynamic Resources Allocation Using Category Theory.

Zhen You, Jinyun Xue, Shi Ying, Dongming Jiang, Qimin Hu

J. Softw., 2013

Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems.

Zhengkang Zuo, Jinyun Xue, Changjing Wang

J. Networks, 2013

Preface.

Jinyun Xue, Volker Stolz

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

2012

A reputation model based on hierarchical bayesian estimation for Web services.

Dongming Jiang, Jinyun Xue, Wuping Xie

Proceedings of the IEEE 16th International Conference on Computer Supported Cooperative Work in Design, 2012

2011

A Generative Approach to Searching Algorithmic Programs Development.

Haihe Shi, Jinyun Xue

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Formal Derivation of Two Algorithms Involving Sequences.

Haihe Shi, Jinyun Xue

Proceedings of the 10th IEEE/ACIS International Conference on Computer and Information Science, 2011

2010

A problem reduction based approach to discrete optimization algorithm design.

Yujun Zheng, Jinyun Xue

Computing, 2010

Generating Provably Correct Algorithmic Programs from Formal Specifications.

Haihe Shi, Jinyun Xue

Proceedings of the 10th International Conference on Quality Software, 2010

A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development.

Yujun Zheng, Haihe Shi, Jinyun Xue

Proceedings of the New Horizons in Web-Based Learning - ICWL 2010 Workshops, 2010

Categorial Semantics of a Solution to Distributed Dining Philosophers Problem.

Zhen You, Jinyun Xue, Shi Ying

Proceedings of the Frontiers in Algorithmics, 4th International Workshop, 2010

2009

A simple greedy algorithm for a class of shuttle transportation problems.

Yujun Zheng, Chuanqing Xu, Jinyun Xue

Optim. Lett., 2009

A-Team Based Supply Chain Management Agent Architecture.

Yujun Zheng, Jinquan Wang, Jinyun Xue

Int. J. Artif. Intell. Tools, 2009

Toward an Automatic Approach to Greedy Algorithms.

Yujun Zheng, Jinyun Xue, Zhengkang Zuo

Proceedings of the Frontiers in Algorithmics, Third International Workshop, 2009

Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems.

Changjing Wang, Jinyun Xue

Proceedings of the Frontiers in Algorithmics, Third International Workshop, 2009

2008

Implementing Templated Design Patterns: A Category Theoretic Approach.

Yujun Zheng, Qimin Hu, Jinyun Xue

Int. J. Comput. Their Appl., 2008

The Research and Application of Apla-Java Reusable Components.

Anquan Jie, Lan Wan, Zhizhang Hua, Jinyun Xue

Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008

A Linear In-situ Algorithm for the Power of Cyclic Permutation.

Jinyun Xue, Bo Yang, Zhengkang Zuo

Proceedings of the Frontiers in Algorithmics, Second Annual International Workshop, 2008

A Mechanical Approach for Deriving Algorithmic Programs.

Haihe Shi, Jinyun Xue, Dawei Du

Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

Generating Algorithms plus Loop Invariants by Formal Derivation.

Haihe Shi, Dawei Du, Jinyun Xue

Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

2007

Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach.

Yujun Zheng, Jinyun Xue, Qimin Hu

J. Digit. Inf. Manag., 2007

Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs.

Haihe Shi, Jinyun Xue

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

Agent Based Framework for Emergency Rescue and Assistance Planning.

Yujun Zheng, Jinquan Wang, Jinyun Xue

Proceedings of the Intelligence and Security Informatics, Pacific Asia Workshop, 2007

From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum.

Yujun Zheng, Haihe Shi, Jinyun Xue

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2006

Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations.

Yujun Zheng, Jinyun Xue, Weibo Liu

Proceedings of the Theory and Applications of Models of Computation, 2006

An A-Team Based Architecture for Constraint Programming.

Yujun Zheng, Lianlai Wang, Jinyun Xue

Proceedings of the Agent Computing and Multi-Agent Systems, 2006

Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach.

Yujun Zheng, Qimin Hu, Jinyun Xue

Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006

Formal automatic verification of security protocols.

Meihua Xiao, Jinyun Xue

Proceedings of the 2006 IEEE International Conference on Granular Computing, 2006

Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.

Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue

Proceedings of the FM 2006: Formal Methods, 2006

2001

Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.

Jinyun Xue

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

Expanding Design Pattern to Support Parallel Programming.

J. Y. Wan, Y. Q. Sun, Jinyun Xue

Proceedings of the TOOLS Asia 2000: 36th International Conference on Technology of Object-Oriented Languages and Systems, Xi'an, China, 30 October, 2000

1998

Formal derivation of graph algorithmic programs using partition-and-recur.

Jinyun Xue

J. Comput. Sci. Technol., 1998

1997

A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program.

Jinyun Xue, Ruth Davis

Softw. Concepts Tools, 1997

A unified approach for developing efficient algorithmic programs.

Jinyun Xue

J. Comput. Sci. Technol., 1997

A Simple Program whose Derivation and Proof is Also.

Jinyun Xue, Ruth Davis

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1993

Two new strategies for developing loop invariants and their applications.

Jinyun Xue

J. Comput. Sci. Technol., 1993

1988

Developing a Linear Algorithm for Cubing a Cyclic Permutation.

Jinyun Xue, David Gries

Sci. Comput. Program., 1988

Generating a Random Cycle Permutation.

David Gries, Jinyun Xue

BIT, 1988