Author of the publication

APIReal: an API recognition and linking approach for online developer forums.

, , , and . Empirical Software Engineering, 23 (6): 3129-3160 (2018)

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

From verified model to executable program: the PAT approach., , , and . ISSE, 12 (1): 1-26 (2016)TzuYu: Learning stateful typestates., , , , and . ASE, page 432-442. IEEE, (2013)A Neural Model for Method Name Generation from Functional Description., , , , , and . SANER, page 411-421. IEEE, (2019)Formal Design and Verification of Real-Time Embedded Software., and . APLAS, volume 3302 of Lecture Notes in Computer Science, page 382-397. Springer, (2004)CELL: A Compositional Verification Framework., , , , , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 474-477. Springer, (2013)Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning., and . FM, volume 8442 of Lecture Notes in Computer Science, page 416-431. Springer, (2014)Real-Time Embedded Software Design for Mobile and Ubiquitous Systems., , , , , , , , and . EUC, volume 4808 of Lecture Notes in Computer Science, page 718-729. Springer, (2007)Executable Operational Semantics of Solidity., , , , , and . CoRR, (2018)VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development., , , , and . J. Comput. Sci. Technol., 26 (3): 448-462 (2011)Modeling and verification of real-time embedded systems with urgency., , , , , and . Journal of Systems and Software, 82 (10): 1627-1641 (2009)