Author of the publication

Oracles for Testing Software Timeliness with Uncertainty.

, , and . ACM Trans. Softw. Eng. Methodol., 28 (1): 1:1-1:30 (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 New Deep Learning Method Based on Unsupervised Domain Adaptation and Re-ranking in Person Re-identification., , , and . Int. J. Pattern Recognit. Artif. Intell., 34 (13): 2052011:1-2052011:21 (2020)Effects of Different Head Models in Wearable OPM-MEG., , , , , , , , and . IEEE Trans. Instrum. Meas., (2022)Weak Estimator-Based Stochastic Searching on the Line in Dynamic Dual Environments., , , and . IEEE Trans. Cybern., 52 (7): 6109-6118 (2022)PlasGUN: gene prediction in plasmid metagenomic short reads using deep learning., , , , , , and . Bioinform., 36 (10): 3239-3241 (2020)HAM-TTS: Hierarchical Acoustic Modeling for Token-Based Zero-Shot Text-to-Speech with Model and Data Scaling., , , , , , , , and . CoRR, (2024)Self-supervised Low Light Image Enhancement and Denoising., , , , , and . CoRR, (2021)User story clustering in agile development: a framework and an empirical study., , , , , and . Frontiers Comput. Sci., 17 (6): 176213 (December 2023)Multiple Source Detection Based on Spatial Clustering and Its Applications on Wearable OPM-MEG., , , , , , , , and . IEEE Trans. Biomed. Eng., 69 (10): 3131-3141 (2022)A timestamp-based covert data transmission method in Industrial Control System., , , and . DSC, page 526-532. IEEE, (2022)Modeling and Verification of the Biomechanical Characteristics of Human Upper Limb Muscles., , , , , , , , , and 1 other author(s). HCI (14), volume 14024 of Lecture Notes in Computer Science, page 432-444. Springer, (2023)