The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Guoliang Zheng: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  36. Improve Model Checking Efficiency Using Specific Knowledge about the System. [Citation Graph (, )][DBLP]


  37. Scenario-based Component Behavior Filtration. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002