Specifying Optimal Design of a Steam-Boiler System. - Xiaoshan Li; Juan Wang (Formal Methods for Industrial Applications, 1995)

A Duration Calculus with Infinite Intervals. - Chaochen Zhou; Dang Van Hung; Xiaoshan Li (FCT, 1995)

Proving the correctness of the interlock mechanism in processor design. - Xiaoshan Li; Antonio Cau; Ben C. Moszkowski; Nick Coleman; Hussein Zedan (CHARME, 1997)

Verifying duration properties of timed transition systems. - Zhiming Liu 001; Anders P. Ravn; Xiaoshan Li (PROCOMET, 1998)

Specification and Simulation of a Concurrent Real-Time System. - Xiaoshan Li (PDSE, 1999)

Decidability of mean value calculus. - Xiaoshan Li (J. Comput. Sci. Technol., 1999)

Formal Object-Oriented Analysis and Design of an Online Ticketing System. - Xiaoshan Li; Zhiming Liu 001; Zhensheng Guo (APSEC, 2001)

Formal and Use-Case Driven Requirement Analysis in UML. - Xiaoshan Li; Zhiming Liu 001; Jifeng He 001 (COMPSAC, 2001)

Towards a Refinement Calculus for Object Systems. - Jifeng He 001; Zhiming Liu 001; Xiaoshan Li (IEEE ICCI, 2002)

Using Transition Systems to Unify UML Models. - Zhiming Liu 001; Xiaoshan Li; Jifeng He 001 (ICFEM, 2002)

A Relational Model for Formal Object-Oriented Requirement Analysis in UML. - Zhiming Liu 001; Jifeng He 001; Xiaoshan Li; Yifeng Chen (ICFEM, 2003)

Unifying Views of UML. - Zhiming Liu 001; Jifeng He 001; Jing Liu 012; Xiaoshan Li (CVUML, 2003)

A Relational Model for Object-Oriented Designs. - Jifeng He 001; Zhiming Liu 001; Xiaoshan Li; Shengchao Qin (APLAS, 2004)

A Formal Semantics of UML Sequence Diagram. - Xiaoshan Li; Zhiming Liu 001; Jifeng He 001 (Australian Software Engineering Conference, 2004)

Linking UML Models of Design and Requirement. - Jing Liu 012; Zhiming Liu 001; Jifeng He 001; Xiaoshan Li (Australian Software Engineering Conference, 2004)

rCOS: Refinement of Component and Object Systems. - Zhiming Liu 001; Jifeng He 001; Xiaoshan Li (FMCO, 2004)

Generating a Prototype from a UML Model of System Requirements. - Xiaoshan Li; Zhiming Liu 001; Jifeng He 001; Quan Long (ICDCIT, 2004)

A Predicative Semantic Model for Integrating UML Models. - Jing Yang; Quan Long; Zhiming Liu 001; Xiaoshan Li (ICTAC, 2004)

Contract Oriented Development of Component Software. - Zhiming Liu 001; Jifeng He 001; Xiaoshan Li (IFIP TCS, 2004)

Towards a Rigorous Approach to UML-Based Development. - Zhiming Liu 001; Jifeng He 001; Xiaoshan Li (SBMF, 2004)

Unifying proof methodologies of duration calculus and timed linear temporal logic. - Zhiming Liu 001; Anders P. Ravn; Xiaoshan Li (Formal Aspects Comput., 2004)

Consistent Code Generation from UML Models. - Quan Long; Zhiming Liu 001; Xiaoshan Li; Jifeng He 001 (Australian Software Engineering Conference, 2005)

Consistency Checking of UML Requirements. - Xiaoshan Li; Zhiming Liu 001; Jifeng He 001 (ICECCS, 2005)

Component-Based Software Engineering. - Jifeng He 001; Xiaoshan Li; Zhiming Liu 001 (ICTAC, 2005)

A Theory of Reactive Components. - Jifeng He 001; Xiaoshan Li; Zhiming Liu 001 (FACS, 2005)

A Characterization of UML Diagrams and their Consistency. - Xiaoshan Li (ICECCS, 2006)

rCOS: A refinement calculus of object systems. - Jifeng He 001; Xiaoshan Li; Zhiming Liu 001 (Theor. Comput. Sci., 2006)

Harnessing rCOS for Tool Support - The CoCoME Experience. - Zhenbang Chen; Xiaoshan Li; Zhiming Liu 001; Volker Stolz; Lu Yang (Formal Methods and Hybrid Real-Time Systems, 2007)

Modelling with Relational Calculus of Object and Component Systems - rCOS. - Zhenbang Chen; Abdelhakim Hannousse; Dang Van Hung; Istvan Knoll; Xiaoshan Li; Zhiming Liu 001; Yang Liu; Qu Nan; Joseph C. Okika; Anders P. Ravn; Volker Stolz; Lu Yang; et al. (CoCoME, 2007)

Prototyping System Requirements Model. - Xiaoshan Li; Zhiming Liu 001 (TTSS, 2007)

Validation of requirement models by automatic prototyping. - Dan Li; Xiaoshan Li; Jicong Liu; Zhiming Liu 001 (Innov. Syst. Softw. Eng., 2008)

Validating Requirements Model of a B2B System. - Ling Yin 002; Liu Jing; Xiaoshan Li (ACIS-ICIS, 2009)

Animating the Brush-writing Process of Chinese Calligraphy Characters. - Lijie Yang; Xiaoshan Li (ACIS-ICIS, 2009)

AutoPA: Automatic Prototyping from Requirements. - Xiaoshan Li; Zhiming Liu 001; Martin Schäf; Ling Yin 002 (ISoLA (1), 2010)

Interactive Transformations from Object-Oriented Models to Component-Based Models. - Dan Li; Xiaoshan Li; Zhiming Liu 001; Volker Stolz (FACS, 2011)

Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT - Dan Li; Xiaoshan Li; Volker Stolz (TTC, 2011)

Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case - Dan Li; Xiaoshan Li; Volker Stolz (TTC, 2011)

QVT-based model transformation using XSLT. - Dan Li; Xiaoshan Li; Volker Stolz (ACM SIGSOFT Softw. Eng. Notes, 2011)

rCOS: a formal model-driven engineering method for component-based software. - Wei Ke 001; Xiaoshan Li; Zhiming Liu 001; Volker Stolz (Frontiers Comput. Sci. China, 2012)

Model querying with graphical notation of QVT relations. - Dan Li; Xiaoshan Li; Volker Stolz (ACM SIGSOFT Softw. Eng. Notes, 2012)

Support Formal Component-Based Development with UML Profile. - Dan Li; Xiaoshan Li; Zhiming Liu 001; Volker Stolz (Australian Software Engineering Conference, 2013)

Feature-oriented writing process reproduction of Chinese calligraphic artwork. - Lijie Yang 001; Tian-Chen Xu; Xiaoshan Li; Enhua Wu (SIGGRAPH ASIA Technical Briefs, 2014)

FIXML to Java, C# and C++ Transformations with QVTR-XSLT. - Li Dan; Danning Li; Xiaoshan Li; Volker Stolz (TTC@STAF, 2014)

Automated transformations from UML behavior models to contracts. - Dan Li; Xiaoshan Li; Zhiming Liu 001; Volker Stolz (Sci. China Inf. Sci., 2014)

An Integrated Framework for Semantic Service Composition using Answer Set Programming. - Yilong Yang 001; Jing Yang; Xiaoshan Li; Weiru Wang 001 (Int. J. Web Serv. Res., 2014)

An Interactive Construction Method of 3D Objects from Chinese Ink Paintings. - Lijie Yang 001; Tianchen Xu; Xiaoshan Li (Trans. Edutainment, 2015)

Automated Enterprise Applications Generation from Requirement Model. - Yilong Yang 001; Xiaoshan Li (CoRR, 2016)

Model Checking Bounded Continuous-time Extended Linear Duration Invariants. - Jie An 001; Naijun Zhan; Xiaoshan Li; Miaomiao Zhang 003; Wang Yi 001 (HSCC, 2018)

Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers. - Yilong Yang 001; Xiaoshan Li; Nafees Qamar; Peng Liu 070; Wei Ke 001; Bingqing Shen; Zhiming Liu 001 (IEEE Access, 2018)

Predicting Oral Disintegrating Tablet Formulations by Neural Network Techniques. - Run Han; Yilong Yang 001; Xiaoshan Li; Defang Ouyang (CoRR, 2018)

MedShare: Medical Resource Sharing among Autonomous Healthcare Providers. - Yilong Yang 001; Xiaoshan Li; Nafees Qamar; Wei Ke 001; Zhiming Liu 001 (CoRR, 2018)

Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA). - Yilong Yang 001; Xiaoshan Li; Quan Zu (CoRR, 2018)

Integrating UML with Service Refinement for Requirements Modeling and Analysis. - Yilong Yang 001; Jing Yang; Xiaoshan Li (CoRR, 2018)

MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture. - Yilong Yang 001; Quan Zu; Peng Liu 070; Defang Ouyang; Xiaoshan Li (CoRR, 2018)

Automated Prototype Generation from Formal Requirements Model. - Yilong Yang 001; Xiaoshan Li; Zhiming Liu 001; Wei Ke 001; Quan Zu; Xiaohong Chen 002 (CoRR, 2018)

Deep learning for in vitro prediction of pharmaceutical formulations. - Yilong Yang 001; Zhuyifan Ye; Yan Su; Qianqian Zhao; Xiaoshan Li; Defang Ouyang (CoRR, 2018)

An Integrated Transfer Learning and Multitask Learning Approach for Pharmacokinetic Parameter Prediction. - Zhuyifan Ye; Yilong Yang 001; Xiaoshan Li; Dong-Sheng Cao 001; Defang Ouyang (CoRR, 2018)

RM2PT: a tool for automated prototype generation from requirements model. - Yilong Yang 001; Xiaoshan Li; Zhiming Liu 001; Wei Ke 001 (ICSE (Companion Volume), 2019)

RM2PT: Requirements Validation through Automatic Prototyping. - Yilong Yang 001; Wei Ke 001; Xiaoshan Li (RE, 2019)

Integrating UML With Service Refinement for Requirements Modeling and Analysis. - Yilong Yang 001; Wei Ke 001; Jing Yang; Xiaoshan Li (IEEE Access, 2019)

Real-Time System Modeling and Verification Through Labeled Transition System Analyzer. - Yilong Yang 001; Quan Zu; Wei Ke 001; Miaomiao Zhang 003; Xiaoshan Li (IEEE Access, 2019)

Automated Prototype Generation From Formal Requirements Model. - Yilong Yang 001; Xiaoshan Li; Wei Ke 001; Zhiming Liu 001 (IEEE Trans. Reliab., 2020)

Performance, Successes and Limitations of Deep Learning Semantic Segmentation of Multiple Defects in Transmission Electron Micrographs. - 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; et al. (CoRR, 2021)

Reliability-Aware VNF Provisioning in Homogeneous and Heterogeneous Multi-access Edge Computing. - Haolin Liu; Zehang Tan; Zhetao Li; Saiqin Long; Shujuan Tian; Xiaoshan Li (ICA3PP (2), 2023)

Reducing college students' social perception biases through social network intervention. - Wenjing Wang; Xiaoshan Li (Interact. Learn. Environ., 2023)

Automatic Segment-Level Assessment of Regional Wall Motion Abnormality From Echocardiography Images. - Kaikai Liu; Xiaoshan Li; Qing Lu 001; Yiyu Shi 001; Jian Zhuang; Hongwen Fei; Erlei Zhang; Xiaowei Xu 004 (ISBI, 2024)

VCEMO: Multi-Modal Emotion Recognition for Chinese Voiceprints. - Jinghua Tang; Liyun Zhang; Yu Lu; Dian Ding; Lanqing Yang; YiChao Chen; Minjie Bian; Xiaoshan Li; Guangtao Xue (CoRR, 2024)

Dynamic event-triggered dual-channel quantized sliding mode control for uncertain networked control systems under DoS attacks. - Chongzhi Liu; Xiaojun Tang; Zeyu Zhang; Xiaoshan Li; Zhe Li (J. Frankl. Inst., 2024)

RT-Cabi: an Internet of Things based framework for anomaly behavior detection with data correction through edge collaboration and dynamic feature fusion. - Xiaoshan Li; Mingming Chen (PeerJ Comput. Sci., 2024)

Dynamic Event-Triggered H∞ Fault-Tolerant Control of NCSs under Dual-Channel Deception Attacks. - Chongzhi Liu; Xiaojun Tang; Zeyu Zhang; Xiaoshan Li (ICRCA, 2025)

Research on mitigating popularity bias in federal recommendation based on users' behavior. - Peng Li; Xinru Zhu; Xiaoshan Li; Baofeng Huo (J. Supercomput., 2025)