Author of the publication

Formal Sequence: Extending UML Sequence Diagram for Behavior Description and Formal Verification.

, , , , and . COMPSAC Workshops, page 474-481. IEEE Computer Society, (2016)978-1-4673-8845-0.

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

PrivCrowd: A Secure Blockchain-Based Crowdsourcing Framework with Fine-Grained Worker Selection., , , , , , , and . Wirel. Commun. Mob. Comput., (2021)A Graphical Programming Language and Its Supporting Tool for Insect Intelligent Building., , , , and . Sci. Program., (2020)A redesigned secure and efficient data transaction protocol for mobile payment system., , , , and . J. Syst. Archit., (October 2023)Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty., , , , , and . J. Comput. Sci. Technol., 28 (1): 165-187 (2013)Leakage-Resilient Certificateless Signcryption Scheme., , and . GLOBECOM Workshops, page 1-6. IEEE, (2019)数据感知过程之间差异的检测和解决 (Detection and Resolution of Differences of Data Aware Processes)., , , , and . 计算机科学, 42 (12): 148-151 (2015)Test Case Prioritization for Service-Oriented Workflow Applications: A Perspective of Modification Impact Analysis., , , , , and . IEEE Access, (2020)An Anonymous and Efficient Certificate-Based Identity Authentication Protocol for VANET., , , , , , and . IEEE Internet Things J., 11 (7): 11232-11245 (April 2024)An efficient and secure certificateless aggregate signature scheme., , , , , , and . J. Syst. Archit., (February 2024)Refactoring and Publishing WS-BPEL Processes to Obtain More Partners, , , , , and . Proceedings of the 2011 IEEE International Conference on Web Services, page 129--136. Washington, DC, USA, IEEE Computer Society, (2011)