Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Xiaoshan Li
2010 – today
- 2012
[j11]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)- [j10]Dan Li, Xiaoshan Li, Volker Stolz: Model querying with graphical notation of QVT relations. ACM SIGSOFT Software Engineering Notes 37(4): 1-8 (2012)
- 2011
- [j9]Dan Li, Xiaoshan Li, Volker Stolz: QVT-based model transformation using XSLT. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)
- [c29]Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz: Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS 2011: 97-114
- [c28]Dan Li, Xiaoshan Li, Volker Stolz: Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT. TTC 2011: 54-69
- [c27]Dan Li, Xiaoshan Li, Volker Stolz: Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case. TTC 2011: 223-236
- 2010
- [c26]Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin: AutoPA: Automatic Prototyping from Requirements. ISoLA (1) 2010: 609-624
2000 – 2009
- 2009
- [c25]Lijie Yang, Xiaoshan Li: Animating the Brush-writing Process of Chinese Calligraphy Characters. ACIS-ICIS 2009: 683-688
- [c24]Ling Yin, Liu Jing, Xiaoshan Li: Validating Requirements Model of a B2B System. ACIS-ICIS 2009: 1020-1025
- 2008
- [j8]Xiaoshan Li, Zhiming Liu: Prototyping System Requirements Model. Electr. Notes Theor. Comput. Sci. 207: 17-32 (2008)
- [j7]Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu: Validation of requirement models by automatic prototyping. ISSE 4(3): 241-248 (2008)
- 2007
- [c23]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
- [c22]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
- 2006
- [j6]Jifeng He, Xiaoshan Li, Zhiming Liu: A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006)
- [j5]Jifeng He, Xiaoshan Li, Zhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006)
- [c21]
- 2005
- [j4]Zhiming Liu, Jifeng He, Xiaoshan Li: Towards a Rigorous Approach to UML-Based Development. Electr. Notes Theor. Comput. Sci. 130: 57-77 (2005)
- [c20]Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He: Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30
- [c19]
- [c18]
- 2004
- [j3]Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li: Unifying Views of UML. Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004)
- [j2]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)
- [c17]Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436
- [c16]Xiaoshan Li, Zhiming Liu, Jifeng He: A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177
- [c15]Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li: Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338
- [c14]Zhiming Liu, Jifeng He, Xiaoshan Li: rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221
- [c13]Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long: Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265
- [c12]Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li: A Predicative Semantic Model for Integrating UML Models. ICTAC 2004: 170-186
- [c11]Zhiming Liu, Jifeng He, Xiaoshan Li: Contract Oriented Development of Component Software. IFIP TCS 2004: 349-366
- 2003
- [c10]Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen: A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664
- 2002
- [c9]Jifeng He, Zhiming Liu, Xiaoshan Li: Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76
- [c8]Zhiming Liu, Xiaoshan Li, Jifeng He: Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547
- 2001
- [c7]Xiaoshan Li, Zhiming Liu, Zhensheng Guo: Formal Object-Oriented Analysis and Design of an Online Ticketing System. APSEC 2001: 259-
- [c6]Xiaoshan Li, Zhiming Liu, Jifeng He: Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC 2001: 215-224
1990 – 1999
- 1999
- [j1]
- [c5]
- 1998
- [c4]Zhiming Liu, Anders P. Ravn, Xiaoshan Li: Verifying duration properties of timed transition systems. PROCOMET 1998: 327-345
- 1997
- [c3]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
- 1995
- [c2]Xiaoshan Li, Wang Juan: Specifying Optimal Design of a Steam-Boiler System. Formal Methods for Industrial Applications 1995: 359-378
- [c1]Chaochen Zhou, Dang Van Hung, Xiaoshan Li: A Duration Calculus with Infinite Intervals. FCT 1995: 16-41
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-01 22:59 CET by the dblp team