( en | de | ru )

 

Disambiguation of "Yang, Junfeng"

Author of the publication

copydeleteadd this publication to your clipboard
Using model checking to find serious file system errors.

, , , and . ACM Trans. Comput. Syst., 24 (4): 393-423 (2006)

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.

Junfeng Shen

Junfeng Zheng

Junfeng Luo

Junfeng Fan

Junfeng Qu

 

Other publications of authors with the same name

A variational method using Riemannian metric for SAR image segmentation., , , , and . IGARSS, page 787-790. IEEE, (2017)Using model checking to find serious file system errors., , , and . ACM Trans. Comput. Syst., 24 (4): 393-423 (2006)Efficient deterministic multithreading through schedule relaxation., , , , and . SOSP, page 337-351. ACM, (2011)A partially parallel splitting method for multiple-block separable convex programming with applications to robust PCA., , and . Comput. Optim. Appl., 63 (1): 273-303 (2016)Performance Analysis of Delay Distribution and Packet Loss Ratio for Body-to-Body Networks., , , , , and . IEEE Internet Things J., 8 (22): 16598-16612 (2021)Learning Approximate Execution Semantics From Traces for Binary Function Similarity., , , , and . IEEE Trans. Software Eng., 49 (4): 2776-2790 (April 2023)The effects of a dual adaptive strategy with gesture recognition and perceived exertion on training efficiency of elders' functional fitness., , , , , and . Smart Learn. Environ., 6 (1): 15 (2019)Robust Perception through Equivariance., , , , , and . CoRR, (2022)Test-time Detection and Repair of Adversarial Samples via Masked Autoencoder., , , , , , and . CoRR, (2023)Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity., , , , and . CoRR, (2020)