Jinyun Xue - RankMe

62 papers B 3C 6Misc 8Journal 19Unranked 23

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