Author of the publication

A Formal Modeling and Verification Framework for Flash Translation Layer Algorithms.

, , , and . SETTA, volume 11951 of Lecture Notes in Computer Science, page 72-88. Springer, (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 Formal Modeling and Verification Framework for Flash Translation Layer Algorithms., , , and . SETTA, volume 11951 of Lecture Notes in Computer Science, page 72-88. Springer, (2019)Secure and Efficient UAV Tracking in Space-Air-Ground Integrated Network., , , , , , and . IEEE Trans. Veh. Technol., 72 (8): 10682-10695 (August 2023)HCache: A Hash-based Hybrid Caching Model for Real-Time Streaming Data Analytics., , , , and . IEEE Trans. Serv. Comput., 14 (5): 1384-1396 (2021)Automatic Permission Optimization Framework for Privacy Enhancement of Mobile Applications., , , , , and . IEEE Internet Things J., 8 (9): 7394-7406 (2021)Development, Planning and Control of an Autonomous Mobile Manipulator for Power Substation Live-Maintaining., , , , , and . ICDL, page 500-505. IEEE, (2023)Deep Learning Backdoors., , , and . CoRR, (2020)A Semantic-Based Approach to Building Auxiliary System for Screen-Based Reading., , , , and . DASC/PiCom/DataCom/CyberSciTech, page 927-932. IEEE Computer Society, (2016)TMFN: A Target-oriented Multi-grained Fusion Network for End-to-end Aspect-based Multimodal Sentiment Analysis., , , , , and . LREC/COLING, page 16187-16197. ELRA and ICCL, (2024)Mate! Are You Really Aware? An Explainability-Guided Testing Framework for Robustness of Malware Detectors., , , , , , , , and . ESEC/SIGSOFT FSE, page 1573-1585. ACM, (2023)CRF-based Active Learning for Chinese Named Entity Recognition., , , , and . SMC, page 1557-1561. IEEE, (2009)