Author of the publication

Answering Who/When, What, How, Why through Constructing Data Graph, Information Graph, Knowledge Graph and Wisdom Graph.

, , , , , and . SEKE, page 1-6. KSI Research Inc. and Knowledge Systems Institute Graduate School, (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

Fine-Grained Neural Network Abstraction for Efficient Formal Verification., , and . SEKE, page 144-149. KSI Research Inc., (2021)FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain., , , , , , , , , and 1 other author(s). CoRR, (2023)Agent based ServiceBSP Model with Superstep Service for Grid Computing., and . GCC, page 255-260. IEEE Computer Society, (2007)Generating Test Cases from Requirements: A Case Study in Railway Control System Domain., , , and . TASE, page 183-190. IEEE, (2021)Prema: A Tool for Precise Requirements Editing, Modeling and Analysis., , , , , , , and . ASE, page 1166-1169. IEEE, (2019)A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software., , , , and . APSEC, page 15-22. IEEE, (2019)A Formal Specification-Based Testing Approach to Accurate Web Service Selection., and . APSCC, page 259-266. IEEE Computer Society, (2011)A framework for Requirements specification of machine-learning systems., and . SEKE, page 7-12. KSI Research Inc., (2022)A Formal Engineering Approach to Product Family Modeling., , and . TASE, page 87-94. IEEE, (2021)FakePolisher: Making DeepFakes More Detection-Evasive by Shallow Reconstruction., , , , , , , , , and . ACM Multimedia, page 1217-1226. ACM, (2020)