Xiaoshan Li

According to our database, Xiaoshan Li authored at least 65 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Reducing college students' social perception biases through social network intervention.

Wenjing Wang, Xiaoshan Li

Interact. Learn. Environ., December, 2023

Reliability-Aware VNF Provisioning in Homogeneous and Heterogeneous Multi-access Edge Computing.

Haolin Liu, Zehang Tan, Zhetao Li, Saiqin Long, Shujuan Tian, Xiaoshan Li

Proceedings of the Algorithms and Architectures for Parallel Processing, 2023

2021

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, Dane Morgan

CoRR, 2021

2020

Automated Prototype Generation From Formal Requirements Model.

Yilong Yang, Xiaoshan Li, Wei Ke, Zhiming Liu

IEEE Trans. Reliab., 2020

2019

Real-Time System Modeling and Verification Through Labeled Transition System Analyzer.

Yilong Yang, Quan Zu, Wei Ke, Miaomiao Zhang, Xiaoshan Li

IEEE Access, 2019

Integrating UML With Service Refinement for Requirements Modeling and Analysis.

Yilong Yang, Wei Ke, Jing Yang, Xiaoshan Li

IEEE Access, 2019

RM2PT: Requirements Validation through Automatic Prototyping.

Yilong Yang, Wei Ke, Xiaoshan Li

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

RM2PT: a tool for automated prototype generation from requirements model.

Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

An Integrated Transfer Learning and Multitask Learning Approach for Pharmacokinetic Parameter Prediction.

Zhuyifan Ye, Yilong Yang, Xiaoshan Li, Dong-Sheng Cao, Defang Ouyang

CoRR, 2018

Deep learning for in vitro prediction of pharmaceutical formulations.

Yilong Yang, Zhuyifan Ye, Yan Su, Qianqian Zhao, Xiaoshan Li, Defang Ouyang

CoRR, 2018

Automated Prototype Generation from Formal Requirements Model.

Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen

CoRR, 2018

MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture.

Yilong Yang, Quan Zu, Peng Liu, Defang Ouyang, Xiaoshan Li

CoRR, 2018

Integrating UML with Service Refinement for Requirements Modeling and Analysis.

Yilong Yang, Jing Yang, Xiaoshan Li

CoRR, 2018

Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA).

Yilong Yang, Xiaoshan Li, Quan Zu

CoRR, 2018

MedShare: Medical Resource Sharing among Autonomous Healthcare Providers.

Yilong Yang, Xiaoshan Li, Nafees Qamar, Wei Ke, Zhiming Liu

CoRR, 2018

Predicting Oral Disintegrating Tablet Formulations by Neural Network Techniques.

Run Han, Yilong Yang, Xiaoshan Li, Defang Ouyang

CoRR, 2018

Medshare: A Novel Hybrid Cloud for Medical Resource Sharing Among Autonomous Healthcare Providers.

Yilong Yang, Xiaoshan Li, Nafees Qamar, Peng Liu, Wei Ke, Bingqing Shen, Zhiming Liu

IEEE Access, 2018

Model Checking Bounded Continuous-time Extended Linear Duration Invariants.

Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2016

Automated Enterprise Applications Generation from Requirement Model.

Yilong Yang, Xiaoshan Li

CoRR, 2016

2015

An Interactive Construction Method of 3D Objects from Chinese Ink Paintings.

Lijie Yang, Tianchen Xu, Xiaoshan Li

Trans. Edutainment, 2015

2014

An Integrated Framework for Semantic Service Composition using Answer Set Programming.

Yilong Yang, Jing Yang, Xiaoshan Li, Weiru Wang

Int. J. Web Serv. Res., 2014

Automated transformations from UML behavior models to contracts.

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz

Sci. China Inf. Sci., 2014

FIXML to Java, C# and C++ Transformations with QVTR-XSLT.

Li Dan, Danning Li, Xiaoshan Li, Volker Stolz

Proceedings of the 7th Transformation Tool Contest part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014

Feature-oriented writing process reproduction of Chinese calligraphic artwork.

Lijie Yang, Tian-Chen Xu, Xiaoshan Li, Enhua Wu

Proceedings of the SIGGRAPH Asia 2014 Technical Briefs, 2014

2013

Support Formal Component-Based Development with UML Profile.

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012

Model querying with graphical notation of QVT relations.

Dan Li, Xiaoshan Li, Volker Stolz

ACM SIGSOFT Softw. Eng. Notes, 2012

rCOS: a formal model-driven engineering method for component-based software.

Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz

Frontiers Comput. Sci. China, 2012

2011

QVT-based model transformation using XSLT.

Dan Li, Xiaoshan Li, Volker Stolz

ACM SIGSOFT Softw. Eng. Notes, 2011

Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case

Dan Li, Xiaoshan Li, Volker Stolz

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT

Dan Li, Xiaoshan Li, Volker Stolz

Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011

Interactive Transformations from Object-Oriented Models to Component-Based Models.

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

AutoPA: Automatic Prototyping from Requirements.

Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Animating the Brush-writing Process of Chinese Calligraphy Characters.

Lijie Yang, Xiaoshan Li

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

Validating Requirements Model of a B2B System.

Ling Yin, Liu Jing, Xiaoshan Li

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Validation of requirement models by automatic prototyping.

Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu

Innov. Syst. Softw. Eng., 2008

2007

Prototyping System Requirements Model.

Xiaoshan Li, Zhiming Liu

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Modelling with Relational Calculus of Object and Component Systems - rCOS.

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

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Harnessing rCOS for Tool Support - The CoCoME Experience.

Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

rCOS: A refinement calculus of object systems.

Jifeng He, Xiaoshan Li, Zhiming Liu

Theor. Comput. Sci., 2006

A Characterization of UML Diagrams and their Consistency.

Xiaoshan Li

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005

A Theory of Reactive Components.

Jifeng He, Xiaoshan Li, Zhiming Liu

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Component-Based Software Engineering.

Jifeng He, Xiaoshan Li, Zhiming Liu

Proceedings of the Theoretical Aspects of Computing, 2005

Consistency Checking of UML Requirements.

Xiaoshan Li, Zhiming Liu, Jifeng He

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

Consistent Code Generation from UML Models.

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004

Unifying proof methodologies of duration calculus and timed linear temporal logic.

Zhiming Liu, Anders P. Ravn, Xiaoshan Li

Formal Aspects Comput., 2004

Towards a Rigorous Approach to UML-Based Development.

Zhiming Liu, Jifeng He, Xiaoshan Li

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Contract Oriented Development of Component Software.

Zhiming Liu, Jifeng He, Xiaoshan Li

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

A Predicative Semantic Model for Integrating UML Models.

Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li

Proceedings of the Theoretical Aspects of Computing, 2004

Generating a Prototype from a UML Model of System Requirements.

Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long

Proceedings of the Distributed Computing and Internet Technology, 2004

rCOS: Refinement of Component and Object Systems.

Zhiming Liu, Jifeng He, Xiaoshan Li

Proceedings of the Formal Methods for Components and Objects, 2004

Linking UML Models of Design and Requirement.

Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

A Formal Semantics of UML Sequence Diagram.

Xiaoshan Li, Zhiming Liu, Jifeng He

Proceedings of the 15th Australian Software Engineering Conference (ASWEC 2004), 2004

A Relational Model for Object-Oriented Designs.

Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

Unifying Views of UML.

Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li

Proceedings of the Workshop on the Compositional Verification of UML Models, 2003

A Relational Model for Formal Object-Oriented Requirement Analysis in UML.

Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen

Proceedings of the Formal Methods and Software Engineering, 2003

2002

Using Transition Systems to Unify UML Models.

Zhiming Liu, Xiaoshan Li, Jifeng He

Proceedings of the Formal Methods and Software Engineering, 2002

Towards a Refinement Calculus for Object Systems.

Jifeng He, Zhiming Liu, Xiaoshan Li

Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001

Formal and Use-Case Driven Requirement Analysis in UML.

Xiaoshan Li, Zhiming Liu, Jifeng He

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Formal Object-Oriented Analysis and Design of an Online Ticketing System.

Xiaoshan Li, Zhiming Liu, Zhensheng Guo

Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

1999

Decidability of mean value calculus.

Xiaoshan Li

J. Comput. Sci. Technol., 1999

Specification and Simulation of a Concurrent Real-Time System.

Xiaoshan Li

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999

1998

Verifying duration properties of timed transition systems.

Zhiming Liu, Anders P. Ravn, Xiaoshan Li

Proceedings of the Programming Concepts and Methods, 1998

1997

Proving the correctness of the interlock mechanism in processor design.

Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan

Proceedings of the Advances in Hardware Design and Verification, 1997

1995

A Duration Calculus with Infinite Intervals.

Chaochen Zhou, Dang Van Hung, Xiaoshan Li

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

Specifying Optimal Design of a Steam-Boiler System.

Xiaoshan Li, Wang Juan

Proceedings of the Formal Methods for Industrial Applications, 1995