Guoliang Zheng

Inf. Process. Lett., 2005

Deriving Available Behavior All Out from Incompatible Component Compositions.

[BibT_eX]

[DOI]

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

Consistency Checking of Concurrent Models for Scenario-Based Specifications.

[BibT_eX]

[DOI]

Proceedings of the SDL 2005: Model Driven, 2005

Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

Scenario-Based Specifications Verification for Component-Based Embedded Software Designs.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), 2005

Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.

[BibT_eX]

[DOI]

Proceedings of the Embedded and Ubiquitous Computing, 2005

2004

Duration-constrained regular expressions.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Verifying Compositional Designs for Scenario-Based Timing Specifications.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

Generating Test Cases from UML Activity Diagram based on Gray-Box Method.

[BibT_eX]

[DOI]

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003

Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002

Positive loop-closed automata: a decidable class of hybrid systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2002

Checking MSC Specifications for Timing Inconsistency.

[BibT_eX]

[DOI]

Wenkai Tan

J. Comput. Sci. Technol., 2002

Partial Order Path Technique for Checking Parallel Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

A Formal Software Development Approach Using Refinement Calculus.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2001

Timing Analysis of UML Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2001

1999

Reasoning about concurrent actions in multi-agent systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1999

A Formal Software Development Approach Based on COOZ and Refinement Calculus.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999

Reasoning about Inheritance and Cloning Behaviors of Software Agents.

[BibT_eX]

[DOI]

Xiaocong Fan

Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999

1998

COOZ: a complete object-oriented extension to Z.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1998

Duration calculus in COOZ.

[BibT_eX]

[DOI]

Xiaodong Yuan

ACM SIGSOFT Softw. Eng. Notes, 1998

Two-dimensional software development model combining object-oriented method with formal method.

[BibT_eX]

[DOI]

Xiaodong Yuan

ACM SIGSOFT Softw. Eng. Notes, 1998

Compositional model-checking for real-time systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1998

Reasoning about team tracking.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1998

Research on concurrent actions in multi-agent systems.

[BibT_eX]

[DOI]

Xiaocong Fan

Guanling Chen

ACM SIGSOFT Softw. Eng. Notes, 1998

A multi-threaded object-oriented programming model.

[BibT_eX]

[DOI]

Xiaodong Yuan

ACM SIGSOFT Softw. Eng. Notes, 1998

SPLAW: A Computable Language for Agent-oriented Programming.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1998

Complete Object-Oriented Z and Its Supporting Environment COOZ-Tools.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 1998

SPLAW: A Computable Agent-Oriented Programming Language.

[BibT_eX]

[DOI]

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Hybrid Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997

Message Conversion and A New Type System for OO Model.

[BibT_eX]

[DOI]

Jianhua Zhao

ACM SIGPLAN Notices, 1997

NDC++: An Approach to Concurrent Extension of C++.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1997

A Message-based Real-Time Model by Object-Oriented Technique.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1997

Enhancing Reusability and Maintainability in NDOOM.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Conference on Object Oriented Information Systems, 1997

1996

Fair Transition System Specification: An Integrated Approach.

[BibT_eX]

[DOI]

Guoping Jia

ACM SIGPLAN Notices, 1996

Towards a declarative semantics of inheritance with exceptions.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1996

A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages.

[BibT_eX]

[DOI]

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995

Inheritance as sublation and its semantics.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1995

Introducing Virtual Instance Variables in Classes to Provide Sufficient Support for Encapsulation.

[BibT_eX]

[DOI]

XueDong Li

ACM SIGPLAN Notices, 1995

Logical Objects with Constraints.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1995

Logical object as a basis of knowledge based systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1995

1988

The kernel of Modula-2 integrated environment.

[BibT_eX]

[DOI]