Author of the publication

A Verified Specification of TLSF Memory Management Allocator Using State Monads.

, , , , and . SETTA, volume 11951 of Lecture Notes in Computer Science, page 122-138. 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

Joint DNN Partition and Resource Allocation Optimization for Energy-Constrained Hierarchical Edge-Cloud Systems., , , , , and . IEEE Trans. Veh. Technol., 72 (3): 3930-3944 (March 2023)Robust perfect equilibrium in large games., , , and . J. Econ. Theory, (2022)Memory State Verification Based on Inductive and Deductive Reasoning., , and . IEEE Trans. Reliab., 70 (3): 1026-1039 (2021)LocSeq: Automated Localization for Compiler Optimization Sequence Bugs of LLVM., , , , and . IEEE Trans. Reliab., 71 (2): 896-910 (2022)Event-Triggered Adaptive Formation Keeping and Interception Scheme for Autonomous Surface Vehicles Under Malicious Attacks., , , and . IEEE Trans. Ind. Informatics, 18 (6): 3947-3957 (2022)Construction of Virtual Reality-Interactive Classroom Based on Deep Learning Algorithm., , , , and . Wirel. Commun. Mob. Comput., (2020)Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios., , , , , , , , , and . IEEE Trans. Software Eng., 48 (11): 4380-4396 (2022)Global Fixed-Priority Scheduling for Parallel Real-Time Tasks with Constrained Parallelism., , , , , and . J. Circuits Syst. Comput., 31 (8): 2250150:1-2250150:26 (2022)Deep learning based software defect prediction., , , and . Neurocomputing, (2020)SiamSampler: Video-Guided Sampling for Siamese Visual Tracking., , , , , and . IEEE Trans. Circuits Syst. Video Technol., 33 (4): 1752-1761 (April 2023)