Jingde Cheng

Publication Activity (10 Years)

Years Active: 1989-2020
Publications (10 Years): 35

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

ACIIDS (2)

ACIIDS (1)

CIS

Publications

Hongbiao Gao, Jiaming Liu, Jianbin Li, Jingde Cheng
A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method. ACIIDS (2) (2020)
Yuan Zhou, Yuichi Goto, Jingde Cheng
QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. IEICE Trans. Inf. Syst. (11) (2019)
Zhe Huang, Jiaxing Li, Jingde Cheng
A Meta-Database System Approach for Business Data Sharing among Multiple Target Databases. SKG (2019)
Da Bao, Yuichi Goto, Jingde Cheng
A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. PAKDD (Workshops) (2019)
Ying Liu, Ke Wang, Liang Ge, Lei Ye, Jingde Cheng
Adaptive Evaluation of Virtual Machine Placement and Migration Scheduling Algorithms Using Stochastic Petri Nets. IEEE Access 7 (2019)
Hongbiao Gao, Jianbin Li, Jingde Cheng
Industrial Control Network Security Analysis and Decision-Making by Reasoning Method Based on Strong Relevant Logic. DASC/PiCom/DataCom/CyberSciTech (2019)
Jingchen Yan, Yating Wang, Yuichi Goto, Jingde Cheng
An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness. C2SI (2019)
Yuan Zhou, Daisuke Matsuura, Yuichi Goto, Jingde Cheng
Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Takumi Otsuka, Kentaro Fukushi, Yuichi Goto, Jingde Cheng
FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Da Bao, Wen Sun, Yuichi Goto, Jingde Cheng
Development of Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Sho Ishibashi, Jingchen Yan, Yuichi Goto, Jingde Cheng
Primitive Constituent Elements of Cryptographic Protocols. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Hiromu Hiidome, Yuichi Goto, Jingde Cheng
A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines. ACIIDS (1) (2018)
Jingchen Yan, Sho Ishibashi, Yuichi Goto, Jingde Cheng
A Study on Fine-Grained Security Properties of Cryptographic Protocols for Formal Analysis Method with Reasoning. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Jingde Cheng, Runhe Huang, Qun Jin, Jianhua Ma, Yi Pan
An Undergraduate Curriculum Model for Intelligence Science and Technology. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Hongbiao Gao, Jianbin Li, Jingde Cheng
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Jiannong Cao, Jingde Cheng, Jianhua Ma, Ju Ren
Guest editorial: special issue on transparent computing. Peer-to-Peer Netw. Appl. 11 (4) (2018)
Kai Shi, Hai Yu, Zhiliang Zhu, Jingde Cheng
Anticipatory Runway Incursion Prevention Based on Inaccurate Position Surveillance Information. ACIIDS (2) (2017)
Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng
A Supporting Environment for Formal Analysis of Cryptographic Protocols. MUE/FutureTech (2017)
Yuichi Goto, Hongbiao Gao, Jingde Cheng
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning. ACIIDS (2) (2017)
Hongbiao Gao, Jingde Cheng
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic. ACIIDS (2) (2017)
Yifeng Han, Hongbiao Gao, Jingde Cheng
A Design of Evolutionary Personal Information Partner Based on Software as a Service. CSA/CUTE (2017)
Dancheng Li, Wei Wang, Quanzuo Li, Jingde Cheng
A Comprehensive Evaluation of Scheduling Methods of Virtual Machine Migration for Energy Conservation. IEEE Syst. J. 11 (2) (2017)
Yifeng Han, Hongbiao Gao, Jingde Cheng
Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study. CIS (2016)
Huilin Chen, Da Bao, Hongbiao Gao, Jingde Cheng
A Security Evaluation and Certification Management Database Based on ISO/IEC Standards. CIS (2016)
Zhi Wang, Zhaohua Zhou, Shilin Jia, Hao Liu, Dancheng Li, Jingde Cheng
CloudEval: A Simulation Environment for Evaluating the Dynamic Cloud VM consolidation. SimuTools (2016)
Bo Wang, Hongbiao Gao, Jingde Cheng
Contract-Based Programming for Future Computing with Ada 2012. CBD (2016)
Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, Jingde Cheng
A Formal Analysis Method with Reasoning for Cryptographic Protocols. CIS (2016)
Yuan Zhou, Hongbiao Gao, Jingde Cheng
An Extension of QSL for E-voting Systems. CSA/CUTE (2016)
Hongbiao Gao, Zhe Wang, Yuan Zhou, Jingde Cheng
Development of a General-Purpose Offline E-Testing Environment. CIS (2016)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory. IScIDE (2) (2015)
Ying Liu, Shu Mao, Mingwei Zhang, Guoqi Liu, Zhiliang Zhu, Jingde Cheng
Prevention of Fault Propagation in Web Service: a Complex Network Approach. J. Web Eng. 14 (1&2) (2015)
Hongbiao Gao, Jingde Cheng
An epistemic programming approach for automated theorem finding. ICCI*CC (2015)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory. ACIIDS (1) (2015)
Jingde Cheng
Automated Knowledge Appreciation: A relevant reasoning approach to expand our knowledge and increase its value automatically. ICCI*CC (2015)
Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng
A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. ACIIDS (1) (2015)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
A systematic methodology for automated theorem finding. Theor. Comput. Sci. 554 (2014)
Yuichi Goto, Liqing Xu, Ning Zhang, Jingde Cheng
User Management in Information Security Engineering Environment ISEE. PAISI (2014)
Liqing Xu, Yuichi Goto, Ahmad Iqbal Hakim Suhaimi, Ning Zhang, Jingde Cheng
Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408. PAISI (2014)
Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng
An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs. IEICE Trans. Inf. Syst. (6) (2014)
Jingde Cheng
Computing Intentions Dynamically in a Changing World by Anticipatory Relevant Reasoning. ACIIDS (2) (2014)
Hongbiao Gao, Yuichi Goto, Jingde Cheng
Automated Theorem Finding by Forward Deduction Based on the Semi-lattice Model of Formal Theory: A Case Study in NBG Set Theory. SKG (2013)
Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng
Development of a supporting tool for translation between declarative sentences and logical formulas. ICMLC (2013)
Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, Jingde Cheng
An Analysis of Software Supportable Tasks Related with ISO/IEC 15408. CIS (2013)
Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng
Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic. COCOON (2013)
Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng
Anticipatory Emergency Elevator Evacuation Systems. ACIIDS (1) (2013)
Jianzhe Zhao, Ying Liu, Jingde Cheng
Extending and Formalizing Bayesian Networks by Strong Relevant Logic. ACIIDS (1) (2013)
Kai Shi, Yuichi Goto, Zhiliang Zhu, Jingde Cheng
Anticipatory Runway Incursion Prevention Systems. IEICE Trans. Inf. Syst. (11) (2013)
Hongbiao Gao, Kai Shi, Yuichi Goto, Jingde Cheng
Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory. ICMLC (2012)
Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, Jingde Cheng
Practical usage of freeencal: An automated forward reasoning engine for general-purpose. ICMLC (2012)
Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng
Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol. ICMLC (2012)
Yuichi Goto, Jingde Cheng
A Truth Maintenance System for Epistemic Programming Environment. SKG (2012)
Wencheng Fang, Isao Takahashi, Yuichi Goto, Jingde Cheng
Practical implementation of EPLAS: An Epistemic Programming Language for all scientists. ICMLC (2011)
Jian Xiao, Jizhou Sun, Gang Li, Chun Li, Sen Li, Jingde Cheng
MicroSSB: A Lightweight Framework for On-line Distributed Application based on Soft System Bus. ENASE (2011)
Chun-Yan Han, Yixian Liu, Ji-Peng Liu, Zhiliang Liu, Dancheng Li, Zhiliang Zhu, Jingde Cheng
Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects. ICMLC (2010)
Yuichi Goto, Jingde Cheng
Information Assurance, Privacy, and Security in Ubiquitous Questionnaire. FCST (2009)
Jingde Cheng
Uncertainty Problem in Dynamic Slicing of Concurrent Programs. ICESS (2009)
Jingde Cheng, Yuichi Goto, Daisuke Horie
ISEE: An Information Security Engineering Environment. SECRYPT (2009)
Jingde Cheng
A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes. SKG (2009)
Ahmad Iqbal, Daisuke Horie, Yuichi Goto, Jingde Cheng
A Database System for Effective Utilization of ISO/IEC 27002. FCST (2009)
Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, Ahmad Iqbal
Development of ISEE: An Information Security Engineering Environment. ISPA (2009)
Natsumi Kitajima, Yuichi Goto, Jingde Cheng
Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control. HAIS (2009)
Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. ARES (2009)
Daisuke Horie, Toshio Kasahara, Yuichi Goto, Jingde Cheng
A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems. ACIS-ICIS (2009)
Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
An Improvement of REM: A Replication Oriented Event-Based Middleware. ARES (2009)
Jingde Cheng
Deontic Relevant Logic in Knowledge-based Requirements Engineering. JCKBSE (2008)
Yuichi Goto, Takahiro Koh, Jingde Cheng
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations. KES (2) (2008)
Natsumi Kitajima, Yuichi Goto, Jingde Cheng
Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems. ARES (2008)
Jingde Cheng
Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic. HIS (2008)
Jingde Cheng
Evolutionary Personal Information Partners. CIS (1) (2008)
Jingde Cheng
Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space. ISICA (2008)
Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng
ISEDS: An Information Security Engineering Database System Based on ISO Standards. ARES (2008)
Ying Gao, Jingde Cheng
Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions). Math. Struct. Comput. Sci. 18 (1) (2008)
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
Classification, Formalization and Verification of Security Functional Requirements. SOFSEM (2008)
Jingde Cheng
Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems. KES (2) (2008)
Jingde Cheng
Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study. JCKBSE (2008)
Jingde Cheng
Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing. EUC (1) (2008)
Takahiro Koh, Yuichi Goto, Jingde Cheng
A Fast Duplication Checking Algorithm for Forward Reasoning Engines. KES (2) (2008)
Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
Ensuring Reliability and Availability of Soft System Bus. SSIRI (2008)
Isao Takahashi, Shinsuke Nara, Yuichi Goto, Jingde Cheng
EPLAS: An Epistemic Programming Language for All Scientists. International Conference on Computational Science (1) (2007)
Mohammad Reza Selim, Takumi Endo, Yuichi Goto, Jingde Cheng
Distributed hash table based design of Soft System Buses. Infoscale (2007)
Takumi Endo, Yuichi Goto, Jingde Cheng
Measuring Reactability of Persistent Computing Systems. SC@ETAPS (2007)
Mohammad Reza Selim, Yuichi Goto, Jingde Cheng
A replication oriented approach to event based middleware over structured peer to peer networks. MPAC (2007)
K. H. S. Sabaragamu Koralalage, Mohammad Reza Selim, Junichi Miura, Yuichi Goto, Jingde Cheng
POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism. SAC (2007)
Shoichi Morimoto, Jingde Cheng
A Security Specification Library with a Schemaless Database. International Conference on Computational Science (3) (2007)
Jingde Cheng
A Semilattice Model for the Theory Grid. SKG (2007)
Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, Ayaka Shionoiri
ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire. APSCC (2007)
Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing. KES (2) (2007)
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
Formal verification of security specifications with common criteria. SAC (2007)
Yuichi Goto, Jingde Cheng
A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. Electron. Notes Theor. Comput. Sci. 169 (2007)
Ying Gao, Jingde Cheng
Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. Electron. Notes Theor. Comput. Sci. 169 (2007)
Ying Gao, Jingde Cheng
Operational Semantics for Positive Relevant Logics Without Distribution. CiE (2007)
Jingde Cheng, Shinsuke Nara, Yuichi Goto
FreeEnCal: A Forward Reasoning Engine with General-Purpose. KES (2) (2007)
Jingde Cheng
Deontic relevant logic as the logical basis for legal information systems. SAC (2006)
Jianhua Ma, Qiangfu Zhao, Vipin Chaudhary, Jingde Cheng, Laurence Tianruo Yang, Runhe Huang, Qun Jin
Ubisafe Computing: Vision and Challenges (I). ATC (2006)
Jingde Cheng
Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems. ARES (2006)
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
A security specification verification technique based on the international standard ISO/IEC 15408. SAC (2006)
Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi Goto
The Theory Grid and Grid Theorists. SKG (2006)
Jingde Cheng
Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning. SMC (2006)
Yuichi Goto, Jingde Cheng
A quantitative analysis of implicational paradoxes in classical mathematical logic. SAC (2006)
Jingde Cheng
Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. Ada-Europe (2006)

Jingde Cheng.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jingde Cheng