Author of the publication

Formal Modeling and Automatic Code Synthesis for Robot System.

, , , , , and . ICECCS, page 146-149. IEEE Computer Society, (2017)

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

Introduction., , , and . Digital Fingerprinting, Springer, (2016)Conclusion., , , and . Digital Fingerprinting, Springer, (2016)Knowing your Bitcoin Customer: Money Laundering in the Bitcoin Economy., and . SADFE, page 38-45. IEEE, (2020)Monaural speech separation based on MAXVQ and CASA for robust speech recognition., , , , and . Comput. Speech Lang., 24 (1): 30-44 (2010)Secure online banking on untrusted computers., , , and . ACM Conference on Computer and Communications Security, page 720-722. ACM, (2010)DCR: Deterministic Crash Recovery for NAND Flash Storage Systems., , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (12): 2201-2214 (2019)An Efficient LSM-Tree-Based SQLite-Like Database Engine for Mobile Devices., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (9): 1635-1647 (2019)Checkpointing-Aware Loop Tiling for Energy Harvesting Powered Nonvolatile Processors., , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (1): 15-28 (2019)A testbed for evaluation and analysis of stepping stone attack attribution techniques., , , , , , and . TRIDENTCOM, IEEE, (2006)LogExtractor: Extracting digital evidence from android log messages via string and taint analysis., , , and . Digit. Investig., (2021)