Author of the publication

Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective.

, , , and . J. Circuits Syst. Comput., 28 (10): 1950177:1-1950177:21 (2019)

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 mathematical analysis of improved EigenAnt algorithm., , , and . J. Exp. Theor. Artif. Intell., 31 (2): 291-309 (2019)Isolation Modeling and Analysis Based on Mobility., , , , , , and . ACM Trans. Softw. Eng. Methodol., 28 (2): 10:1-10:31 (2019)AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi., , , , and . SEKE, page 108-113. KSI Research Inc., (2021)Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S)., , , and . SEKE, page 646-649. KSI Research Inc., (2023)Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture., , , and . SEKE, page 369-375. KSI Research Inc., (2022)Algorithm selection for software verification based on adversarial LSTM., , , , , and . BigDataSecurity, page 87-92. IEEE, (2021)PmiREN2.0: from data annotation to functional exploration of plant microRNAs., , , , , , , , , and 1 other author(s). Nucleic Acids Res., 50 (D1): 1475-1482 (2022)SPARDL: A Requirement Modeling Language for Periodic Control System., , , , , , and . ISoLA (1), volume 6415 of Lecture Notes in Computer Science, page 594-608. Springer, (2010)Formal Modeling and Security Analysis for OpenFlow-Based Networks., , , and . ICECCS, page 201-204. IEEE Computer Society, (2018)Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving., , , and . CAiSE, volume 13901 of Lecture Notes in Computer Science, page 33-49. Springer, (2023)