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

Towards an executable semantics of automobile RTOS standard and its application to conformance verification., , and . CoRR, (2017)Research on the Application of Face Symbol in Thematic Map Making., , , and . BigMM, page 348-351. IEEE Computer Society, (2015)End-to-End Automated Verification for OS Kernels., , and . APSEC, page 139-148. IEEE, (2018)Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective., , , and . J. Circuits Syst. Comput., 28 (10): 1950177:1-1950177:21 (2019)KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine., , , , , , , , , and 1 other author(s). CSF, page 204-217. IEEE Computer Society, (2018)KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification., , , , , and . IEEE Access, (2019)Algebraic Formalization and Verification of PKMv3 Protocol using Maude., , and . SEKE, page 167-172. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2017)A novelty degradation assessment method for equipment based on multi-kernel SVDD., , , and . CASE, page 753-756. IEEE, (2012)Toward a Unified Executable Formal Automobile OS Kernel and Its Applications., , , , , and . IEEE Trans. Reliab., 68 (3): 1117-1133 (2019)