Author of the publication

Model Checking of TTCAN Protocol Using UPPAAL.

, and . ICCSA (4), volume 10963 of Lecture Notes in Computer Science, page 550-564. Springer, (2018)

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

Sparse coding based orientation estimation for latent fingerprints., , and . Pattern Recognit., (2017)TSAGNN: Temporal link predict method based on two stream adaptive graph neural network., , , , and . Intell. Data Anal., 28 (1): 77-97 (2024)Signalling Security Analysis: Is HTTP/2 Secure in 5G Core Network?, , , , and . WCSP, page 1-6. IEEE, (2018)A multi-population quantum genetic algorithm for improving the robustness of interdependent networks., , , , , , and . ICCIP, page 326-332. ACM, (2023)AHD-SLE: Anomalous Hyperedge Detection on Hypergraph Symmetric Line Expansion., , , , and . Axioms, 13 (6): 387 (June 2024)A multi-task fully deep convolutional neural network for contactless fingerprint minutiae extraction., , and . Pattern Recognit., (2021)Empower Programmable Pipeline for Advanced Stateful Packet Processing., , , , , , , , , and 2 other author(s). NSDI, page 491-508. USENIX Association, (2024)Human action recognition with transformer based on convolutional features., and . Intell. Decis. Technol., 18 (2): 881-896 (2024)A directed link prediction method using graph convolutional network based on social ranking theory., , , , , and . Intell. Data Anal., 25 (3): 739-757 (2021)Mining Mobile Network Fraudsters with Augmented Graph Neural Networks., , , , , and . Entropy, 25 (1): 150 (January 2023)