Xiaoshan Li

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 20

Top Topics

Resource Sharing

Networked Control Systems

Semantic Segmentation

Healthcare Providers

Top Venues

Interact. Learn. Environ.

Publications

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) (2024)
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)
Wenjing Wang, Xiaoshan Li
Reducing college students' social perception biases through social network intervention. Interact. Learn. Environ. 31 (9) (2023)
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 (2021)
Yilong Yang, Xiaoshan Li, Wei Ke, Zhiming Liu
Automated Prototype Generation From Formal Requirements Model. IEEE Trans. Reliab. 69 (2) (2020)
Yilong Yang, Wei Ke, Jing Yang, Xiaoshan Li
Integrating UML With Service Refinement for Requirements Modeling and Analysis. IEEE Access 7 (2019)
Yilong Yang, Wei Ke, Xiaoshan Li
RM2PT: Requirements Validation through Automatic Prototyping. RE (2019)
Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke
RM2PT: a tool for automated prototype generation from requirements model. ICSE (Companion Volume) (2019)
Yilong Yang, Quan Zu, Wei Ke, Miaomiao Zhang, Xiaoshan Li
Real-Time System Modeling and Verification Through Labeled Transition System Analyzer. IEEE Access 7 (2019)
Yilong Yang, Xiaoshan Li, Quan Zu
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA). CoRR (2018)
Yilong Yang, Xiaoshan Li, Nafees Qamar, Wei Ke, Zhiming Liu
MedShare: Medical Resource Sharing among Autonomous Healthcare Providers. CoRR (2018)
Zhuyifan Ye, Yilong Yang, Xiaoshan Li, Dong-Sheng Cao, Defang Ouyang
An Integrated Transfer Learning and Multitask Learning Approach for Pharmacokinetic Parameter Prediction. CoRR (2018)
Run Han, Yilong Yang, Xiaoshan Li, Defang Ouyang
Predicting Oral Disintegrating Tablet Formulations by Neural Network Techniques. CoRR (2018)
Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi
Model Checking Bounded Continuous-time Extended Linear Duration Invariants. HSCC (2018)
Yilong Yang, Zhuyifan Ye, Yan Su, Qianqian Zhao, Xiaoshan Li, Defang Ouyang
Deep learning for in vitro prediction of pharmaceutical formulations. CoRR (2018)
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 (2018)
Yilong Yang, Quan Zu, Peng Liu, Defang Ouyang, Xiaoshan Li
MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture. CoRR (2018)
Yilong Yang, Jing Yang, Xiaoshan Li
Integrating UML with Service Refinement for Requirements Modeling and Analysis. CoRR (2018)
Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen
Automated Prototype Generation from Formal Requirements Model. CoRR (2018)
Yilong Yang, Xiaoshan Li
Automated Enterprise Applications Generation from Requirement Model. CoRR (2016)
Lijie Yang, Tianchen Xu, Xiaoshan Li
An Interactive Construction Method of 3D Objects from Chinese Ink Paintings. Trans. Edutainment 11 (2015)
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
Automated transformations from UML behavior models to contracts. Sci. China Inf. Sci. 57 (12) (2014)
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) (2014)
Li Dan, Danning Li, Xiaoshan Li, Volker Stolz
FIXML to Java, C# and C++ Transformations with QVTR-XSLT. TTC@STAF (2014)
Lijie Yang, Tian-Chen Xu, Xiaoshan Li, Enhua Wu
Feature-oriented writing process reproduction of Chinese calligraphic artwork. SIGGRAPH ASIA Technical Briefs (2014)
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference (2013)
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) (2012)
Dan Li, Xiaoshan Li, Volker Stolz
Model querying with graphical notation of QVT relations. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Dan Li, Xiaoshan Li, Volker Stolz
Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case TTC (2011)
Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS (2011)
Dan Li, Xiaoshan Li, Volker Stolz
QVT-based model transformation using XSLT. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Dan Li, Xiaoshan Li, Volker Stolz
Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT TTC (2011)
Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin
AutoPA: Automatic Prototyping from Requirements. ISoLA (1) (2010)
Lijie Yang, Xiaoshan Li
Animating the Brush-writing Process of Chinese Calligraphy Characters. ACIS-ICIS (2009)
Ling Yin, Liu Jing, Xiaoshan Li
Validating Requirements Model of a B2B System. ACIS-ICIS (2009)
Xiaoshan Li, Zhiming Liu
Prototyping System Requirements Model. Electron. Notes Theor. Comput. Sci. 207 (2008)
Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu
Validation of requirement models by automatic prototyping. Innov. Syst. Softw. Eng. 4 (3) (2008)
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)
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)
Jifeng He, Xiaoshan Li, Zhiming Liu
A Theory of Reactive Components. Electron. Notes Theor. Comput. Sci. 160 (2006)
Jifeng He, Xiaoshan Li, Zhiming Liu
rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365 (1-2) (2006)
Xiaoshan Li
A Characterization of UML Diagrams and their Consistency. ICECCS (2006)
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He
Consistent Code Generation from UML Models. Australian Software Engineering Conference (2005)
Jifeng He, Xiaoshan Li, Zhiming Liu
Component-Based Software Engineering. ICTAC (2005)
Zhiming Liu, Jifeng He, Xiaoshan Li
Towards a Rigorous Approach to UML-Based Development. Electron. Notes Theor. Comput. Sci. 130 (2005)
Xiaoshan Li, Zhiming Liu, Jifeng He
Consistency Checking of UML Requirements. ICECCS (2005)
Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin
A Relational Model for Object-Oriented Designs. APLAS (2004)
Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li
Unifying Views of UML. Electron. Notes Theor. Comput. Sci. 101 (2004)
Zhiming Liu, Jifeng He, Xiaoshan Li
Contract Oriented Development of Component Software. IFIP TCS (2004)
Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
Linking UML Models of Design and Requirement. Australian Software Engineering Conference (2004)
Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li
A Predicative Semantic Model for Integrating UML Models. ICTAC (2004)
Zhiming Liu, Jifeng He, Xiaoshan Li
rCOS: Refinement of Component and Object Systems. FMCO (2004)
Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long
Generating a Prototype from a UML Model of System Requirements. ICDCIT (2004)
Zhiming Liu, Anders P. Ravn, Xiaoshan Li
Unifying proof methodologies of duration calculus and timed linear temporal logic. Formal Aspects Comput. 16 (2) (2004)
Xiaoshan Li, Zhiming Liu, Jifeng He
A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference (2004)
Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM (2003)
Jifeng He, Zhiming Liu, Xiaoshan Li
Towards a Refinement Calculus for Object Systems. IEEE ICCI (2002)
Zhiming Liu, Xiaoshan Li, Jifeng He
Using Transition Systems to Unify UML Models. ICFEM (2002)
Xiaoshan Li, Zhiming Liu, Zhensheng Guo
Formal Object-Oriented Analysis and Design of an Online Ticketing System. APSEC (2001)
Xiaoshan Li, Zhiming Liu, Jifeng He
Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC (2001)
Xiaoshan Li
Specification and Simulation of a Concurrent Real-Time System. PDSE (1999)
Xiaoshan Li
Decidability of mean value calculus. J. Comput. Sci. Technol. 14 (2) (1999)
Zhiming Liu, Anders P. Ravn, Xiaoshan Li
Verifying duration properties of timed transition systems. PROCOMET (1998)
Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan
Proving the correctness of the interlock mechanism in processor design. CHARME (1997)
Chaochen Zhou, Dang Van Hung, Xiaoshan Li
A Duration Calculus with Infinite Intervals. FCT (1995)
Xiaoshan Li, Wang Juan
Specifying Optimal Design of a Steam-Boiler System. Formal Methods for Industrial Applications (1995)