![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Jinyun Xue
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c38]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: 3-11 - 2021
- [j19]Tangliu Wen
, Jie Peng, Jinyun Xue, Zhen You, Lan Song:
Strict Linearizability and Abstract Atomicity. Int. J. Found. Comput. Sci. 32(1): 1-35 (2021) - [j18]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): 2159050:1-2159050:21 (2021) - [c37]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: 234-254 - [e4]Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12723, Springer 2021, ISBN 978-3-030-77473-8 [contents] - 2020
- [c36]Jiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou:
Design and Implementation of Virtual Reality Geometric Modeling in Apla+VR. SOFL+MSVL 2020: 54-65 - [c35]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: 72-81
2010 – 2019
- 2019
- [c34]Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo:
Formal Development and Verification of Reusable Component in PAR Platform. SOFL+MSVL 2019: 155-166 - 2018
- [j17]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): 300-326 (2018) - [j16]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) - [c33]Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng:
PAR: A Practicable Formal Method and Its Supporting Platform. ICFEM 2018: 70-86 - [c32]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: 230-231 - [c31]Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie:
Formal Specification and Verification for Real-Time Scheduling Based on PAR. SOFL+MSVL 2018: 108-122 - 2017
- [j15]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): 99-104 (2017) - 2016
- [j14]Zhen You, Jinyun Xue, Zhengkang Zuo:
Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms. Clust. Comput. 19(4): 2145-2156 (2016) - [c30]Huazhen Xu, Zhen You, Jinyun Xue:
Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. SNPD 2016: 13-18 - [c29]Zhen You, Jinyun Xue:
Orchestration Combinators in Apla+ Language. SOFL+MSVL 2016: 3-14 - [c28]Qimin Hu, Jinyun Xue, Zhen You:
Formal Development of Linear Structure Reusable Components in PAR Platform. SOFL+MSVL 2016: 85-97 - 2015
- [c27]Jinyun Xue:
Genericity in PAR Platform. SOFL+MSVL 2015: 3-14 - [c26]Qimin Hu, Jinyun Xue, Zhen You:
Research on Formal Development of Non-recursive Algorithms of Graph Search. SOFL+MSVL 2015: 165-178 - 2014
- [c25]Wuping Xie, Jinyun Xue, Dongming Jiang:
Contract-Based Generic Programming Mechanism for Dynamic Service Orchestration. CIT 2014: 252-257 - [c24]Zhen You, Jinyun Xue, Qimin Hu, Yi Hong:
Formal Semantics of Orc Based on TLA+. SOFL+MSVL 2014: 147-163 - [e3]José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue:
Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8348, Springer 2014, ISBN 978-3-319-07601-0 [contents] - [e2]Jinyun Xue, Volker Stolz:
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, TTSS 2013, Jiangxi Normal University, Nanchang, China, October 27, 2013. Electronic Notes in Theoretical Computer Science 309, Elsevier 2014 [contents] - 2013
- [j13]Zhengkang Zuo, Jinyun Xue, Changjing Wang:
Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems. J. Networks 8(5): 1050-1057 (2013) - [j12]Zhen You, Jinyun Xue, Shi Ying, Dongming Jiang, Qimin Hu:
Formalization of Distributed and Dynamic Resources Allocation Using Category Theory. J. Softw. 8(12): 3088-3095 (2013) - [c23]Jinyun Xue, Volker Stolz:
Preface. TTSS 2013: 1-2 - 2012
- [c22]Dongming Jiang, Jinyun Xue, Wuping Xie:
A reputation model based on hierarchical bayesian estimation for Web services. CSCWD 2012: 88-93 - 2011
- [c21]Haihe Shi, Jinyun Xue:
Formal Derivation of Two Algorithms Involving Sequences. ACIS-ICIS 2011: 287-291 - [c20]Haihe Shi, Jinyun Xue:
A Generative Approach to Searching Algorithmic Programs Development. TASE 2011: 76-81 - 2010
- [j11]Yujun Zheng, Jinyun Xue:
A problem reduction based approach to discrete optimization algorithm design. Computing 88(1-2): 31-54 (2010) - [c19]Zhen You, Jinyun Xue, Shi Ying:
Categorial Semantics of a Solution to Distributed Dining Philosophers Problem. FAW 2010: 172-184 - [c18]Yujun Zheng, Haihe Shi, Jinyun Xue:
A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development. ICWL Workshops 2010: 237-245 - [c17]Haihe Shi, Jinyun Xue:
Generating Provably Correct Algorithmic Programs from Formal Specifications. QSIC 2010: 270-275
2000 – 2009
- 2009
- [j10]Yujun Zheng, Jinquan Wang, Jinyun Xue:
A-Team Based Supply Chain Management Agent Architecture. Int. J. Artif. Intell. Tools 18(6): 801-823 (2009) - [j9]Yujun Zheng, Chuanqing Xu, Jinyun Xue:
A simple greedy algorithm for a class of shuttle transportation problems. Optim. Lett. 3(4): 491-497 (2009) - [c16]Changjing Wang, Jinyun Xue:
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. FAW 2009: 27-39 - [c15]Yujun Zheng, Jinyun Xue, Zhengkang Zuo:
Toward an Automatic Approach to Greedy Algorithms. FAW 2009: 302-313 - [e1]Xiaotie Deng, John E. Hopcroft, Jinyun Xue:
Frontiers in Algorithmics, Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings. Lecture Notes in Computer Science 5598, Springer 2009, ISBN 978-3-642-02269-2 [contents] - 2008
- [j8]Yujun Zheng, Qimin Hu, Jinyun Xue:
Implementing Templated Design Patterns: A Category Theoretic Approach. Int. J. Comput. Their Appl. 15(3): 169-176 (2008) - [c14]Haihe Shi, Jinyun Xue, Dawei Du:
A Mechanical Approach for Deriving Algorithmic Programs. ACIS-ICIS 2008: 483-487 - [c13]Haihe Shi, Dawei Du, Jinyun Xue:
Generating Algorithms plus Loop Invariants by Formal Derivation. ACIS-ICIS 2008: 496-501 - [c12]Jinyun Xue, Bo Yang, Zhengkang Zuo:
A Linear In-situ Algorithm for the Power of Cyclic Permutation. FAW 2008: 113-123 - [c11]Anquan Jie, Lan Wan, Zhizhang Hua, Jinyun Xue:
The Research and Application of Apla-Java Reusable Components. ISCSCT (1) 2008: 356-359 - 2007
- [j7]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): 115-122 (2007) - [c10]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: 469-476 - [c9]Yujun Zheng, Jinquan Wang, Jinyun Xue:
Agent Based Framework for Emergency Rescue and Assistance Planning. PAISI 2007: 70-81 - [c8]Haihe Shi, Jinyun Xue:
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. SNPD (3) 2007: 952-957 - 2006
- [c7]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: 190-204 - [c6]Meihua Xiao, Jinyun Xue:
Formal automatic verification of security protocols. GrC 2006: 566-569 - [c5]Yujun Zheng, Qimin Hu, Jinyun Xue:
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. ISDA (1) 2006: 759-764 - [c4]Yujun Zheng, Lianlai Wang, Jinyun Xue:
An A-Team Based Architecture for Constraint Programming. PRIMA 2006: 552-557 - [c3]Yujun Zheng
, Jinyun Xue, Weibo Liu:
Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations. TAMC 2006: 601-610 - 2001
- [c2]Jinyun Xue:
Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. APLAS 2001: 159-169
1990 – 1999
- 1998
- [j6]Jinyun Xue:
Formal derivation of graph algorithmic programs using partition-and-recur. J. Comput. Sci. Technol. 13(6): 553-561 (1998) - 1997
- [j5]Jinyun Xue:
A unified approach for developing efficient algorithmic programs. J. Comput. Sci. Technol. 12(4): 314-329 (1997) - [j4]Jinyun Xue, Ruth Davis:
A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program. Softw. Concepts Tools 18(4): 149-156 (1997) - [c1]Jinyun Xue, Ruth Davis:
A Simple Program whose Derivation and Proof is Also. ICFEM 1997: 132-139 - 1993
- [j3]Jinyun Xue:
Two new strategies for developing loop invariants and their applications. J. Comput. Sci. Technol. 8(2): 147-154 (1993)
1980 – 1989
- 1988
- [j2]David Gries
, Jinyun Xue:
Generating a Random Cycle Permutation. BIT 28(3): 569-572 (1988) - [j1]Jinyun Xue, David Gries
:
Developing a Linear Algorithm for Cubing a Cyclic Permutation. Sci. Comput. Program. 11(2): 161-165 (1988)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 20:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint