Author of the publication

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

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