Author of the publication

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.

 

Other publications of authors with the same name

A model for BPEL-like languages., , and . Frontiers of Computer Science in China, 1 (1): 9-19 (2007)An Operational Approach to BPEL-like Programming., , , and . SEW, page 236-245. IEEE Computer Society, (2007)Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning., , , , and . ICECCS, page 131-138. IEEE Computer Society, (2006)LTL Satisfiability Checking Revisited., , , , and . TIME, page 91-98. IEEE Computer Society, (2013)Path-Based Approach to Integration Testing., , and . SSIRI, page 445-446. IEEE Computer Society, (2009)The stochastic semantics and verification for periodic control systems., , , , , and . SCIENCE CHINA Information Sciences, 55 (12): 2675-2693 (2012)A Unifying Approach to Validating Specification-Oriented XML Constraints., , , , , , and . HASE, page 33-40. IEEE Computer Society, (2011)Towards Scalable Compositional Test Generation., , , , , and . QSIC, page 353-358. IEEE Computer Society, (2009)MDM: A Mode Diagram Modeling Framework for Periodic Control Systems, , , , , , , and . CoRR, (2012)Polsat: A Portfolio LTL Satisfiability Solver., , , , , and . CoRR, (2013)