PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Zheng, Guoliang"

Author of the publication

copydeleteadd this publication to your clipboard
Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking.

, , , and . IPDPS, IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zheng Li University of Stuttgart

Haoyu Zheng University of Stuttgart

Jianshu Zheng University of Stuttgart

 

Other publications of authors with the same name

Positive loop-closed automata: a decidable class of hybrid systems., , , , , and . J. Log. Algebr. Program., (2002)A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages., and . APSEC, page 93-. IEEE Computer Society, (1996)SPLAW: A Computable Language for Agent-oriented Programming., , , and . SIGPLAN Notices, 33 (1): 61-69 (1998)Timing Analysis of UML Activity Diagrams., , , , and . UML, volume 2185 of Lecture Notes in Computer Science, page 62-75. Springer, (2001)COOZ: a complete object-oriented extension to Z., , , , and . ACM SIGSOFT Softw. Eng. Notes, 23 (4): 76-81 (1998)Inheritance as sublation and its semantics., and . ACM SIGSOFT Softw. Eng. Notes, 20 (5): 62-66 (1995)Deriving Available Behavior All Out from Incompatible Component Compositions., , , , , and . Electron. Notes Theor. Comput. Sci., (2006)Logical object as a basis of knowledge based systems., and . J. Comput. Sci. Technol., 10 (5): 425-438 (1995)Improve Model Checking Efficiency Using Specific Knowledge about the System., , , and . ISoLA, page 392-396. IEEE, (2006)Verifying Compositional Designs for Scenario-Based Timing Specifications., , , , and . ISORC, page 253-256. IEEE Computer Society, (2004)