Xiaoshan Li

Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz: rCOS: a formal model-driven engineering method for component-based software. Frontiers of Computer Science in China 6(1): 17-39 (2012)

Dan Li, Xiaoshan Li, Volker Stolz: Model querying with graphical notation of QVT relations. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)

Dan Li, Xiaoshan Li, Volker Stolz: QVT-based model transformation using XSLT. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)

Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz: Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS 2011: 97-114

Dan Li, Xiaoshan Li, Volker Stolz: Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT. TTC 2011: 54-69

Dan Li, Xiaoshan Li, Volker Stolz: Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case. TTC 2011: 223-236

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

Lijie Yang, Xiaoshan Li: Animating the Brush-writing Process of Chinese Calligraphy Characters. ACIS-ICIS 2009: 683-688

Ling Yin, Liu Jing, Xiaoshan Li: Validating Requirements Model of a B2B System. ACIS-ICIS 2009: 1020-1025

Xiaoshan Li, Zhiming Liu: Prototyping System Requirements Model. Electr. Notes Theor. Comput. Sci. 207: 17-32 (2008)

Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu: Validation of requirement models by automatic prototyping. ISSE 4(3): 241-248 (2008)

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

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

Jifeng He, Xiaoshan Li, Zhiming Liu: A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006)

Jifeng He, Xiaoshan Li, Zhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006)

Xiaoshan Li: A Characterization of UML Diagrams and their Consistency. ICECCS 2006: 67-76

Zhiming Liu, Jifeng He, Xiaoshan Li: Towards a Rigorous Approach to UML-Based Development. Electr. Notes Theor. Comput. Sci. 130: 57-77 (2005)

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He: Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30

Xiaoshan Li, Zhiming Liu, Jifeng He: Consistency Checking of UML Requirements. ICECCS 2005: 411-420

Jifeng He, Xiaoshan Li, Zhiming Liu: Component-Based Software Engineering. ICTAC 2005: 70-95

Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li: Unifying Views of UML. Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004)

Zhiming Liu, Anders P. Ravn, Xiaoshan Li: Unifying proof methodologies of duration calculus and timed linear temporal logic. Formal Asp. Comput. 16(2): 140-154 (2004)

Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436

Xiaoshan Li, Zhiming Liu, Jifeng He: A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177

Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li: Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338

Zhiming Liu, Jifeng He, Xiaoshan Li: rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221

Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long: Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265

Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li: A Predicative Semantic Model for Integrating UML Models. ICTAC 2004: 170-186

Zhiming Liu, Jifeng He, Xiaoshan Li: Contract Oriented Development of Component Software. IFIP TCS 2004: 349-366

Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen: A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664

Jifeng He, Zhiming Liu, Xiaoshan Li: Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76

Zhiming Liu, Xiaoshan Li, Jifeng He: Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547

Xiaoshan Li, Zhiming Liu, Zhensheng Guo: Formal Object-Oriented Analysis and Design of an Online Ticketing System. APSEC 2001: 259-

Xiaoshan Li, Zhiming Liu, Jifeng He: Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC 2001: 215-224

Xiaoshan Li: Decidability of mean value calculus. J. Comput. Sci. Technol. 14(2): 173-180 (1999)

Xiaoshan Li: Specification and Simulation of a Concurrent Real-Time System. PDSE 1999: 197-204

Zhiming Liu, Anders P. Ravn, Xiaoshan Li: Verifying duration properties of timed transition systems. PROCOMET 1998: 327-345

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

Xiaoshan Li, Wang Juan: Specifying Optimal Design of a Steam-Boiler System. Formal Methods for Industrial Applications 1995: 359-378

Chaochen Zhou, Dang Van Hung, Xiaoshan Li: A Duration Calculus with Infinite Intervals. FCT 1995: 16-41