![](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
Xiaoshan Li
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
- 2024
- [j16]Chongzhi Liu, Xiaojun Tang, Zeyu Zhang, Xiaoshan Li, Zhe Li:
Dynamic event-triggered dual-channel quantized sliding mode control for uncertain networked control systems under DoS attacks. J. Frankl. Inst. 361(14): 107096 (2024) - 2023
- [j15]Wenjing Wang
, Xiaoshan Li
:
Reducing college students' social perception biases through social network intervention. Interact. Learn. Environ. 31(9): 5523-5537 (2023) - [c40]Haolin Liu
, Zehang Tan, Zhetao Li, Saiqin Long, Shujuan Tian, Xiaoshan Li:
Reliability-Aware VNF Provisioning in Homogeneous and Heterogeneous Multi-access Edge Computing. ICA3PP (2) 2023: 147-167 - 2021
- [i10]Ryan Jacobs, Mingren Shen, Yuhan Liu, Wei Hao, Xiaoshan Li, Ruoyu He, Jacob R. C. Greaves, Donglin Wang, Zeming Xie, Zitong Huang, Chao Wang, Kevin G. Field, Dane Morgan:
Performance, Successes and Limitations of Deep Learning Semantic Segmentation of Multiple Defects in Transmission Electron Micrographs. CoRR abs/2110.08244 (2021) - 2020
- [j14]Yilong Yang
, Xiaoshan Li
, Wei Ke
, Zhiming Liu
:
Automated Prototype Generation From Formal Requirements Model. IEEE Trans. Reliab. 69(2): 632-656 (2020)
2010 – 2019
- 2019
- [j13]Yilong Yang
, Wei Ke
, Jing Yang, Xiaoshan Li:
Integrating UML With Service Refinement for Requirements Modeling and Analysis. IEEE Access 7: 11599-11612 (2019) - [j12]Yilong Yang
, Quan Zu, Wei Ke
, Miaomiao Zhang, Xiaoshan Li:
Real-Time System Modeling and Verification Through Labeled Transition System Analyzer. IEEE Access 7: 26314-26323 (2019) - [c39]Yilong Yang
, Xiaoshan Li, Zhiming Liu, Wei Ke
:
RM2PT: a tool for automated prototype generation from requirements model. ICSE (Companion Volume) 2019: 59-62 - [c38]Yilong Yang
, Wei Ke
, Xiaoshan Li:
RM2PT: Requirements Validation through Automatic Prototyping. RE 2019: 484-485 - 2018
- [j11]Yilong Yang
, Xiaoshan Li, Nafees Qamar, Peng Liu
, Wei Ke
, Bingqing Shen, Zhiming Liu:
Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers. IEEE Access 6: 46949-46961 (2018) - [c37]Jie An
, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi:
Model Checking Bounded Continuous-time Extended Linear Duration Invariants. HSCC 2018: 81-90 - [i9]Run Han, Yilong Yang, Xiaoshan Li, Defang Ouyang:
Predicting Oral Disintegrating Tablet Formulations by Neural Network Techniques. CoRR abs/1803.05339 (2018) - [i8]Yilong Yang, Xiaoshan Li, Nafees Qamar, Wei Ke, Zhiming Liu:
MedShare: Medical Resource Sharing among Autonomous Healthcare Providers. CoRR abs/1803.05353 (2018) - [i7]Yilong Yang, Xiaoshan Li, Quan Zu:
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA). CoRR abs/1803.05362 (2018) - [i6]Yilong Yang, Jing Yang, Xiaoshan Li:
Integrating UML with Service Refinement for Requirements Modeling and Analysis. CoRR abs/1803.05367 (2018) - [i5]Yilong Yang, Quan Zu, Peng Liu, Defang Ouyang, Xiaoshan Li:
MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture. CoRR abs/1806.02134 (2018) - [i4]Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen:
Automated Prototype Generation from Formal Requirements Model. CoRR abs/1808.10657 (2018) - [i3]Yilong Yang, Zhuyifan Ye, Yan Su, Qianqian Zhao, Xiaoshan Li, Defang Ouyang:
Deep learning for in vitro prediction of pharmaceutical formulations. CoRR abs/1809.02069 (2018) - [i2]Zhuyifan Ye, Yilong Yang, Xiaoshan Li, Dong-Sheng Cao, Defang Ouyang:
An Integrated Transfer Learning and Multitask Learning Approach for Pharmacokinetic Parameter Prediction. CoRR abs/1812.09073 (2018) - 2016
- [i1]Yilong Yang, Xiaoshan Li:
Automated Enterprise Applications Generation from Requirement Model. CoRR abs/1609.09656 (2016) - 2015
- [j10]Lijie Yang, Tianchen Xu, Xiaoshan Li:
An Interactive Construction Method of 3D Objects from Chinese Ink Paintings. Trans. Edutainment 11: 179-186 (2015) - 2014
- [j9]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Automated transformations from UML behavior models to contracts. Sci. China Inf. Sci. 57(12): 1-17 (2014) - [j8]Yilong Yang
, Jing Yang, Xiaoshan Li, Weiru Wang:
An Integrated Framework for Semantic Service Composition using Answer Set Programming. Int. J. Web Serv. Res. 11(4): 47-61 (2014) - [c36]Lijie Yang, Tian-Chen Xu, Xiaoshan Li, Enhua Wu:
Feature-oriented writing process reproduction of Chinese calligraphic artwork. SIGGRAPH ASIA Technical Briefs 2014: 5:1-5:4 - [c35]Li Dan, Danning Li, Xiaoshan Li, Volker Stolz:
FIXML to Java, C# and C++ Transformations with QVTR-XSLT. TTC@STAF 2014: 27-31 - 2013
- [c34]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference 2013: 191-200 - 2012
- [j7]Wei Ke
, Xiaoshan Li, Zhiming Liu, Volker Stolz:
rCOS: a formal model-driven engineering method for component-based software. Frontiers Comput. Sci. China 6(1): 17-39 (2012) - [j6]Dan Li, Xiaoshan Li, Volker Stolz:
Model querying with graphical notation of QVT relations. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - 2011
- [j5]Dan Li, Xiaoshan Li, Volker Stolz:
QVT-based model transformation using XSLT. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [c33]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz:
Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS 2011: 97-114 - [c32]Dan Li, Xiaoshan Li, Volker Stolz:
Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT. TTC 2011: 54-69 - [c31]Dan Li, Xiaoshan Li, Volker Stolz:
Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case. TTC 2011: 223-236 - 2010
- [c30]Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin:
AutoPA: Automatic Prototyping from Requirements. ISoLA (1) 2010: 609-624
2000 – 2009
- 2009
- [c29]Lijie Yang, Xiaoshan Li:
Animating the Brush-writing Process of Chinese Calligraphy Characters. ACIS-ICIS 2009: 683-688 - [c28]Ling Yin, Liu Jing, Xiaoshan Li:
Validating Requirements Model of a B2B System. ACIS-ICIS 2009: 1020-1025 - 2008
- [j4]Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu:
Validation of requirement models by automatic prototyping. Innov. Syst. Softw. Eng. 4(3): 241-248 (2008) - 2007
- [c27]Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang:
Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems 2007: 83-114 - [c26]Zhenbang Chen, Abdelhakim Hannousse
, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan:
Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145 - [c25]Xiaoshan Li, Zhiming Liu:
Prototyping System Requirements Model. TTSS 2007: 17-32 - 2006
- [j3]Jifeng He, Xiaoshan Li, Zhiming Liu:
rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006) - [c24]Xiaoshan Li:
A Characterization of UML Diagrams and their Consistency. ICECCS 2006: 67-76 - 2005
- [c23]Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He:
Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30 - [c22]Xiaoshan Li, Zhiming Liu, Jifeng He:
Consistency Checking of UML Requirements. ICECCS 2005: 411-420 - [c21]Jifeng He, Xiaoshan Li, Zhiming Liu:
Component-Based Software Engineering. ICTAC 2005: 70-95 - [c20]Jifeng He, Xiaoshan Li, Zhiming Liu:
A Theory of Reactive Components. FACS 2005: 173-195 - 2004
- [j2]Zhiming Liu, Anders P. Ravn, Xiaoshan Li:
Unifying proof methodologies of duration calculus and timed linear temporal logic. Formal Aspects Comput. 16(2): 140-154 (2004) - [c19]Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin
:
A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436 - [c18]Xiaoshan Li, Zhiming Liu, Jifeng He:
A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177 - [c17]Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li:
Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338 - [c16]Zhiming Liu, Jifeng He, Xiaoshan Li:
rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221 - [c15]Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long:
Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265 - [c14]Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li:
A Predicative Semantic Model for Integrating UML Models. ICTAC 2004: 170-186 - [c13]Zhiming Liu, Jifeng He, Xiaoshan Li:
Contract Oriented Development of Component Software. IFIP TCS 2004: 349-366 - [c12]Zhiming Liu, Jifeng He, Xiaoshan Li:
Towards a Rigorous Approach to UML-Based Development. SBMF 2004: 57-77 - 2003
- [c11]Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen:
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664 - [c10]Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li:
Unifying Views of UML. CVUML 2003: 95-127 - 2002
- [c9]Jifeng He, Zhiming Liu, Xiaoshan Li:
Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76 - [c8]Zhiming Liu, Xiaoshan Li, Jifeng He:
Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547 - 2001
- [c7]Xiaoshan Li, Zhiming Liu, Zhensheng Guo:
Formal Object-Oriented Analysis and Design of an Online Ticketing System. APSEC 2001: 259- - [c6]Xiaoshan Li, Zhiming Liu, Jifeng He:
Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC 2001: 215-224
1990 – 1999
- 1999
- [j1]Xiaoshan Li:
Decidability of mean value calculus. J. Comput. Sci. Technol. 14(2): 173-180 (1999) - [c5]Xiaoshan Li:
Specification and Simulation of a Concurrent Real-Time System. PDSE 1999: 197-204 - 1998
- [c4]Zhiming Liu, Anders P. Ravn, Xiaoshan Li:
Verifying duration properties of timed transition systems. PROCOMET 1998: 327-345 - 1997
- [c3]Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan:
Proving the correctness of the interlock mechanism in processor design. CHARME 1997: 5-22 - 1995
- [c2]Xiaoshan Li, Wang Juan:
Specifying Optimal Design of a Steam-Boiler System. Formal Methods for Industrial Applications 1995: 359-378 - [c1]Chaochen Zhou, Dang Van Hung, Xiaoshan Li:
A Duration Calculus with Infinite Intervals. FCT 1995: 16-41
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-08-14 22:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint