2007 |
35 | EE | Xiaofeng Yu,
Yan Zhang,
Tian Zhang,
Linzhang Wang,
Jianhua Zhao,
Guoliang Zheng,
Xuandong Li:
Towards a Model Driven Approach to Automatic BPEL Generation.
ECMDA-FA 2007: 204-218 |
2006 |
34 | EE | Xuandong Li,
Linzhang Wang,
Xiaokang Qiu,
Bin Lei,
Jiesong Yuan,
Jianhua Zhao,
Guoliang Zheng:
Runtime Verification of Java Programs for Scenario-Based Specifications.
Ada-Europe 2006: 94-105 |
33 | EE | Jun Hu,
Xuandong Li,
Guoliang Zheng,
Chenghua Wang:
Modelling and Analysis of Power Consumption for Component-Based Embedded Software.
EUC Workshops 2006: 795-804 |
32 | EE | Xuandong Li,
Bu Lei,
Jun Hu,
Jianhua Zhao,
Tao Zhang,
Guoliang Zheng:
Scenario-Based Timing Consistency Checking for Time Petri Nets.
FORTE 2006: 388-403 |
31 | EE | Yan Zhang,
Jun Hu,
Xiaofeng Yu,
Tian Zhang,
Xuandong Li,
Guoliang Zheng:
Scenario-Based Component Behavior Derivation.
ICFEM 2006: 206-225 |
30 | EE | Yan Zhang,
Jun Hu,
Xiaofeng Yu,
Tian Zhang,
Xuandong Li,
Guoliang Zheng:
Deriving Available Behavior All Out from Incompatible Component Compositions.
Electr. Notes Theor. Comput. Sci. 160: 349-361 (2006) |
29 | EE | Jianhua Zhao,
Xuandong Li,
Tao Zheng,
Guoliang Zheng:
Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.
J. Comput. Sci. Technol. 21(1): 41-51 (2006) |
2005 |
28 | EE | Jun Hu,
Xiaofeng Yu,
Yan Zhang,
Tian Zhang,
Xuandong Li,
Guoliang Zheng:
Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.
EUC 2005: 395-404 |
27 | EE | Jun Hu,
Xiaofeng Yu,
Yan Zhang,
Tian Zhang,
Linzhang Wang,
Xuandong Li,
Guoliang Zheng:
Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.
ICPP Workshops 2005: 240-247 |
26 | EE | Jianhua Zhao,
Xiuyi Zhou,
Xuandong Li,
Guoliang Zheng:
Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking.
IPDPS 2005 |
25 | EE | Xuandong Li,
Jun Hu,
Lei Bu,
Jianhua Zhao,
Guoliang Zheng:
Consistency Checking of Concurrent Models for Scenario-Based Specifications.
SDL Forum 2005: 298-312 |
24 | EE | Jianhua Zhao,
Xuandong Li,
Guoliang Zheng:
A quadratic-time DBM-based successor algorithm for checking timed automata.
Inf. Process. Lett. 96(3): 101-105 (2005) |
2004 |
23 | EE | Linzhang Wang,
Jiesong Yuan,
Xiaofeng Yu,
Jun Hu,
Xuandong Li,
Guoliang Zheng:
Generating Test Cases from UML Activity Diagram based on Gray-Box Method.
APSEC 2004: 284-291 |
22 | EE | Xuandong Li,
Jianhua Zhao,
Gong Jiayu,
Shi Yaoxin,
Guoliang Zheng:
Verifying Compositional Designs for Scenario-Based Timing Specifications.
ISORC 2004: 253-256 |
21 | EE | Xuandong Li,
Jianhua Zhao,
Tao Zheng,
Yong Li,
Guoliang Zheng:
Duration-constrained regular expressions.
Formal Asp. Comput. 16(2): 155-163 (2004) |
2003 |
20 | EE | Jianhua Zhao,
Xuandong Li,
Tao Zheng,
Guoliang Zheng:
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.
FORMATS 2003: 34-45 |
2002 |
19 | EE | Jianhua Zhao,
He Xu,
Xuandong Li,
Tao Zheng,
Guoliang Zheng:
Partial Order Path Technique for Checking Parallel Timed Automata.
FTRTFT 2002: 417-432 |
18 | EE | Xuandong Li,
Wenkai Tan,
Guoliang Zheng:
Checking MSC Specifications for Timing Inconsistency.
J. Comput. Sci. Technol. 17(1): 47-55 (2002) |
17 | EE | Xuandong Li,
Jianhua Zhao,
Pei Yu,
Yong Li,
Tao Zheng,
Guoliang Zheng:
Positive loop-closed automata: a decidable class of hybrid systems.
J. Log. Algebr. Program. 52-53: 79-108 (2002) |
2001 |
16 | EE | Xuandong Li,
Pei Yu,
Jianhua Zhao,
Yong Li,
Tao Zheng,
Guoliang Zheng:
Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.
CHARME 2001: 465-480 |
15 | EE | Xuandong Li,
Cui Meng,
Pei Yu,
Jianhua Zhao,
Guoliang Zheng:
Timing Analysis of UML Activity Diagrams.
UML 2001: 62-75 |
14 | EE | Yunfeng Wang,
Jun Pang,
Ming Zha,
Zhaohui Yang,
Guoliang Zheng:
A Formal Software Development Approach Using Refinement Calculus.
J. Comput. Sci. Technol. 16(3): 251-262 (2001) |
1999 |
13 | EE | Yunfeng Wang,
Bixin Li,
Jun Pang,
Ming Zha,
Guoliang Zheng:
A Formal Software Development Approach Based on COOZ and Refinement Calculus.
TOOLS (31) 1999: 261-266 |
12 | EE | Xiaocong Fan,
Dianxiang Xu,
Guoliang Zheng:
Reasoning about Inheritance and Cloning Behaviors of Software Agents.
TOOLS (31) 1999: 77-82 |
1998 |
11 | | Xuandong Li,
Tao Zheng,
Hou Jianmin,
Jianhua Zhao,
Guoliang Zheng:
Hybrid Regular Expressions.
HSCC 1998: 384-399 |
10 | EE | Xiaocong Fan,
Dianxiang Xu,
Hou Jianmin,
Guoliang Zheng:
SPLAW: A Computable Agent-Oriented Programming Language.
ISORC 1998: 144-145 |
9 | | Xiaocong Fan,
Dianxiang Xu,
Hou Jianmin,
Guoliang Zheng:
SPLAW: A Computable Language for Agent-oriented Programming.
SIGPLAN Notices 33(1): 61-69 (1998) |
1997 |
8 | | Xuandong Li,
Guoliang Zheng:
Enhancing Reusability and Maintainability in NDOOM.
OOIS 1997: 236-246 |
7 | | Hou Jianmin,
Xuandong Li,
Xiaocong Fan,
Guoliang Zheng:
A Message-based Real-Time Model by Object-Oriented Technique.
Operating Systems Review 31(3): 45-51 (1997) |
6 | | Chen Jiajun,
Guoliang Zheng:
NDC++: An Approach to Concurrent Extension of C++.
SIGPLAN Notices 32(3): 50-56 (1997) |
5 | | Jianhua Zhao,
Chen Jiajun,
Guoliang Zheng:
Message Conversion and A New Type System for OO Model.
SIGPLAN Notices 32(9): 61-67 (1997) |
1996 |
4 | EE | Xuandong Li,
Guoliang Zheng:
A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages.
APSEC 1996: 93- |
3 | | Guoping Jia,
Guoliang Zheng:
Fair Transition System Specification: An Integrated Approach.
SIGPLAN Notices 31(3): 14-21 (1996) |
1995 |
2 | | Dianxiang Xu,
Guoliang Zheng:
Logical Objects with Constraints.
SIGPLAN Notices 30(1): 5-10 (1995) |
1 | | Li XueDong,
Guoliang Zheng:
Introducing Virtual Instance Variables in Classes to Provide Sufficient Support for Encapsulation.
SIGPLAN Notices 30(7): 52-56 (1995) |