Xiaoshan Li - RankMe

73 papers A 1B 5C 5Misc 1Journal 31Unranked 30

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Dual Debiased Recommendation Model Based on Stacked Autoencoder and Reward Mechanism for Exposure Bias and Cold Start. IEEE Access Peng Li, Lu Yao, Xiaoshan Li
2025	—	`conf`	Dynamic Event-Triggered H∞ Fault-Tolerant Control of NCSs under Dual-Channel Deception Attacks. ICRCA Chongzhi Liu, Xiaojun Tang, Zeyu Zhang, Xiaoshan Li
2025	J	`jnl`	Integrated Office Applications Promote the Sustainable Development of E-Commerce Enterprises: A Study Based on the TPB-TAM-IS Success Model. J. Theor. Appl. Electron. Commer. Res. Siqin Wang, Jiaxuan Gong, Xiaoshan Li, Yuhao Peng, Changyan Du, Ken Nah
2025	J	`jnl`	Research on mitigating popularity bias in federal recommendation based on users' behavior. J. Supercomput. Peng Li, Xinru Zhu, Xiaoshan Li, Baofeng Huo
2024	—	`conf`	Automatic Segment-Level Assessment of Regional Wall Motion Abnormality From Echocardiography Images. ISBI Kaikai Liu, Xiaoshan Li, Qing Lu, Yiyu Shi, Jian Zhuang, Hongwen Fei, Erlei Zhang, Xiaowei Xu
2024	J	`jnl`	Dynamic event-triggered dual-channel quantized sliding mode control for uncertain networked control systems under DoS attacks. J. Frankl. Inst. Chongzhi Liu, Xiaojun Tang, Zeyu Zhang, Xiaoshan Li, Zhe Li
2024	J	`jnl`	RT-Cabi: an Internet of Things based framework for anomaly behavior detection with data correction through edge collaboration and dynamic feature fusion. PeerJ Comput. Sci. Xiaoshan Li, Mingming Chen
2024	J	`jnl`	VCEMO: Multi-Modal Emotion Recognition for Chinese Voiceprints. CoRR Jinghua Tang, Liyun Zhang, Yu Lu, Dian Ding, Lanqing Yang, Yichao Chen, Minjie Bian, Xiaoshan Li, Guangtao Xue
2023	J	`jnl`	Reducing college students' social perception biases through social network intervention. Interact. Learn. Environ. Wenjing Wang, Xiaoshan Li
2023	—	`conf`	Reliability-Aware VNF Provisioning in Homogeneous and Heterogeneous Multi-access Edge Computing. ICA3PP (2) Haolin Liu, Zehang Tan, Zhetao Li, Saiqin Long, Shujuan Tian, Xiaoshan Li
2021	J	`jnl`	Performance, Successes and Limitations of Deep Learning Semantic Segmentation of Multiple Defects in Transmission Electron Micrographs. CoRR 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
2020	J	`jnl`	Automated Prototype Generation From Formal Requirements Model. IEEE Trans. Reliab. Yilong Yang, Xiaoshan Li, Wei Ke, Zhiming Liu
2019	J	`jnl`	Integrating UML With Service Refinement for Requirements Modeling and Analysis. IEEE Access Yilong Yang, Wei Ke, Jing Yang, Xiaoshan Li
2019	A	`conf`	RM2PT: Requirements Validation through Automatic Prototyping. RE Yilong Yang, Wei Ke, Xiaoshan Li
2019	—	`conf`	RM2PT: a tool for automated prototype generation from requirements model. ICSE (Companion Volume) Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke
2019	J	`jnl`	Real-Time System Modeling and Verification Through Labeled Transition System Analyzer. IEEE Access Yilong Yang, Quan Zu, Wei Ke, Miaomiao Zhang, Xiaoshan Li
2018	J	`jnl`	An Integrated Transfer Learning and Multitask Learning Approach for Pharmacokinetic Parameter Prediction. CoRR Zhuyifan Ye, Yilong Yang, Xiaoshan Li, Dong-Sheng Cao, Defang Ouyang
2018	J	`jnl`	Automated Prototype Generation from Formal Requirements Model. CoRR Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen
2018	J	`jnl`	Deep learning for in vitro prediction of pharmaceutical formulations. CoRR Yilong Yang, Zhuyifan Ye, Yan Su, Qianqian Zhao, Xiaoshan Li, Defang Ouyang
2018	J	`jnl`	Integrating UML with Service Refinement for Requirements Modeling and Analysis. CoRR Yilong Yang, Jing Yang, Xiaoshan Li
2018	J	`jnl`	MedShare: Medical Resource Sharing among Autonomous Healthcare Providers. CoRR Yilong Yang, Xiaoshan Li, Nafees Qamar, Wei Ke, Zhiming Liu
2018	J	`jnl`	Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers. IEEE Access Yilong Yang, Xiaoshan Li, Nafees Qamar, Peng Liu, Wei Ke, Bingqing Shen, Zhiming Liu
2018	J	`jnl`	MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture. CoRR Yilong Yang, Quan Zu, Peng Liu, Defang Ouyang, Xiaoshan Li
2018	—	`conf`	Model Checking Bounded Continuous-time Extended Linear Duration Invariants. HSCC Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi
2018	J	`jnl`	Predicting Oral Disintegrating Tablet Formulations by Neural Network Techniques. CoRR Run Han, Yilong Yang, Xiaoshan Li, Defang Ouyang
2018	J	`jnl`	Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA). CoRR Yilong Yang, Xiaoshan Li, Quan Zu
2016	J	`jnl`	Automated Enterprise Applications Generation from Requirement Model. CoRR Yilong Yang, Xiaoshan Li
2015	J	`jnl`	An Interactive Construction Method of 3D Objects from Chinese Ink Paintings. Trans. Edutainment Lijie Yang, Tianchen Xu, Xiaoshan Li
2014	J	`jnl`	An Integrated Framework for Semantic Service Composition using Answer Set Programming. Int. J. Web Serv. Res. Yilong Yang, Jing Yang, Xiaoshan Li, Weiru Wang
2014	J	`jnl`	Automated transformations from UML behavior models to contracts. Sci. China Inf. Sci. Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
2014	—	`conf`	FIXML to Java, C# and C++ Transformations with QVTR-XSLT. TTC@STAF Li Dan, Danning Li, Xiaoshan Li, Volker Stolz
2014	—	`conf`	Feature-oriented writing process reproduction of Chinese calligraphic artwork. SIGGRAPH ASIA Technical Briefs Lijie Yang, Tian-Chen Xu, Xiaoshan Li, Enhua Wu
2013	—	`conf`	Support Formal Component-Based Development with UML Profile. Australian Software Engineering Conference Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
2012	J	`jnl`	Model querying with graphical notation of QVT relations. ACM SIGSOFT Softw. Eng. Notes Dan Li, Xiaoshan Li, Volker Stolz
2012	J	`jnl`	rCOS: a formal model-driven engineering method for component-based software. Frontiers Comput. Sci. China Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz
2011	—	`conf`	Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz
2011	J	`jnl`	QVT-based model transformation using XSLT. ACM SIGSOFT Softw. Eng. Notes Dan Li, Xiaoshan Li, Volker Stolz
2011	—	`conf`	Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case TTC Dan Li, Xiaoshan Li, Volker Stolz
2011	—	`conf`	Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT TTC Dan Li, Xiaoshan Li, Volker Stolz
2010	—	`conf`	AutoPA: Automatic Prototyping from Requirements. ISoLA (1) Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin
2009	—	`conf`	Animating the Brush-writing Process of Chinese Calligraphy Characters. ACIS-ICIS Lijie Yang, Xiaoshan Li
2009	—	`conf`	Validating Requirements Model of a B2B System. ACIS-ICIS Ling Yin, Liu Jing, Xiaoshan Li
2008	J	`jnl`	Validation of requirement models by automatic prototyping. Innov. Syst. Softw. Eng. Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu
2007	—	`conf`	Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
2007	—	`conf`	Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 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
2007	—	`conf`	Prototyping System Requirements Model. TTSS Xiaoshan Li, Zhiming Liu
2006	B	`conf`	A Characterization of UML Diagrams and their Consistency. ICECCS Xiaoshan Li
2006	J	`jnl`	rCOS: A refinement calculus of object systems. Theor. Comput. Sci. Jifeng He, Xiaoshan Li, Zhiming Liu
2005	—	`conf`	A Theory of Reactive Components. FACS Jifeng He, Xiaoshan Li, Zhiming Liu
2005	C	`conf`	Component-Based Software Engineering. ICTAC Jifeng He, Xiaoshan Li, Zhiming Liu
2005	B	`conf`	Consistency Checking of UML Requirements. ICECCS Xiaoshan Li, Zhiming Liu, Jifeng He
2005	—	`conf`	Consistent Code Generation from UML Models. Australian Software Engineering Conference Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He
2004	—	`conf`	A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference Xiaoshan Li, Zhiming Liu, Jifeng He
2004	C	`conf`	A Predicative Semantic Model for Integrating UML Models. ICTAC Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li
2004	B	`conf`	A Relational Model for Object-Oriented Designs. APLAS Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin
2004	—	`conf`	Contract Oriented Development of Component Software. IFIP TCS Zhiming Liu, Jifeng He, Xiaoshan Li
2004	Misc	`conf`	Generating a Prototype from a UML Model of System Requirements. ICDCIT Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long
2004	—	`conf`	Linking UML Models of Design and Requirement. Australian Software Engineering Conference Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
2004	—	`conf`	Towards a Rigorous Approach to UML-Based Development. SBMF Zhiming Liu, Jifeng He, Xiaoshan Li
2004	J	`jnl`	Unifying proof methodologies of duration calculus and timed linear temporal logic. Formal Aspects Comput. Zhiming Liu, Anders P. Ravn, Xiaoshan Li
2004	—	`conf`	rCOS: Refinement of Component and Object Systems. FMCO Zhiming Liu, Jifeng He, Xiaoshan Li
2003	C	`conf`	A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
2003	—	`conf`	Unifying Views of UML. CVUML Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li
2002	—	`conf`	Towards a Refinement Calculus for Object Systems. IEEE ICCI Jifeng He, Zhiming Liu, Xiaoshan Li
2002	C	`conf`	Using Transition Systems to Unify UML Models. ICFEM Zhiming Liu, Xiaoshan Li, Jifeng He
2001	C	`conf`	Formal Object-Oriented Analysis and Design of an Online Ticketing System. APSEC Xiaoshan Li, Zhiming Liu, Zhensheng Guo
2001	B	`conf`	Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC Xiaoshan Li, Zhiming Liu, Jifeng He
1999	J	`jnl`	Decidability of mean value calculus. J. Comput. Sci. Technol. Xiaoshan Li
1999	—	`conf`	Specification and Simulation of a Concurrent Real-Time System. PDSE Xiaoshan Li
1998	—	`conf`	Verifying duration properties of timed transition systems. PROCOMET Zhiming Liu, Anders P. Ravn, Xiaoshan Li
1997	—	`conf`	Proving the correctness of the interlock mechanism in processor design. CHARME Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan
1995	B	`conf`	A Duration Calculus with Infinite Intervals. FCT Chaochen Zhou, Dang Van Hung, Xiaoshan Li
1995	—	`conf`	Specifying Optimal Design of a Steam-Boiler System. Formal Methods for Industrial Applications Xiaoshan Li, Juan Wang