Welcome to Jingde Cheng's home page

Publications

Google Scholar: Jingde Cheng

ACM author profile page: Jingde Cheng

ACM Portal: Jingde Cheng

IEEE Xplore: Jingde Cheng, Jing-De Cheng, Cheng Jingde

SpingerLink: Jingde Cheng

DBLP: Jingde Cheng

Selected Recent Papers and Representative Papers on Information Security Engineering

Selected Recent Papers and Representative Papers on Knowledge Engineering

Selected Recent Papers and Representative Papers on Software Engineering

Selected Recent Papers and Representative Papers on Information Security Engineering

• Yuan Zhou, Yuichi Goto, and Jingde Cheng, "QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems," IEICE Transactions on Information and Systems, Vol. E102-D, No. 11, pp. 2159-2175, IEICE, November 2019. ( PDF )
  

• Da Bao, Yuichi Goto, and Jingde Cheng, "A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045," in H. U. Leong and H. W. Lauw (Eds.), "Trends and Applications in Knowledge Discovery and Data Mining, PAKDD Workshops, BDM, DLKT, LDRC, PAISI, WeL, Macao, China, April 14-17, 2019, Revised Selected Papers," Lecture Notes in Artificial Intelligence, Vol. 11607, pp. 3-14, Springer, April 2019. ( PDF )
  

• Jingchen Yan, Yating Wang, Yuichi Goto, and Jingde Cheng, "An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness," in C. Carlet, S. Guilley, A. Nitaj, and E. M. Souidi (Eds.), "Codes, Cryptology and Information Security, 3rd International Conference, C2SI-2019, Rabat, Morocco, April 22-24, 2019, Proceedings," Lecture Notes in Computer Science, Vol. 11445, pp. 399-408, Springer, April 2019. ( PDF )
  

• Sho Ishibashi, Jingchen Yan, Yuichi Goto, and Jingde Cheng, "Primitive Constituent Elements of Cryptographic Protocols," Proc. IEEE SmartWorld 2018 - 4th IEEE Smart World Congress, pp. 192-197, Guangzhou, China, IEEE Computer Society Press, October 2018. ( PDF )
  

• Hongbiao Gao, Zhe Wang, Yuan Zhou, and Jingde Cheng, "Development of a General-Purpose Offline E-Testing Environment," Proc. 12th International Conference on Computational Intelligence and Security, pp. 603-607, Wuxi, China, IEEE Computer Societ Press, December 2016. ( PDF )
  

• Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, and Jingde Cheng, "A Formal Analysis Method with Reasoning for Cryptographic Protocols," Proc. 12th International Conference on Computational Intelligence and Security, pp. 566-570, Wuxi, China, IEEE Computer Societ Press, December 2016. ( PDF )
  

• Huilin Chen, Da Bao, Hongbiao Gao, and Jingde Cheng, "A Security Evaluation and Certification Management Database Based on ISO/IEC Standards," Proc. 12th International Conference on Computational Intelligence and Security, pp. 249-253, Wuxi, China, IEEE Computer Societ Press, December 2016. ( PDF )
  

• Da Bao, Hongbiao Gao, and Jingde Cheng, "Predicting New Attacks: A Case Study in Security Analysis of Cryptographic Protocols," in J.J.J.H. Park, H. Jin, Y. Jeong, and M.K. Khan (Eds.), "Advanced Multimedia and Ubiquitous Engineering - FutureTech & MUE," Lecture Notes in Electrical Engineering, Vol. 393, pp. 263-270, Springer, August 2016. ( PDF )
  

• Kazunori Wagatsuma, Yuichi Goto, and Jingde Cheng, "A Formal Analysis Method with Reasoning for Key Exchange Protocols," IPSJ Journal, Vol. 56, No. 3, pp. 903-910, IPSJ, March 2015 (in Japanese). ( PDF )
  

• Ahmad Iqbal Hakim Suhaimi, Da Bao, Huilin Chen, and Jingde Cheng, "Usefulness of ISMEE for Supporting Organizations with ISMSs," in J. J. Park, I. Stojmenovic, H. Y. Jeong, and G. Yi (Eds.), "Computer Science and its Applications: Ubiquitous Information Technologies," Lecture Notes in Electrical Engineering, Vol. 330, pp. 1331-1336, Springer, January 2015. (Best Paper Award awarded at the 2014 International Conference on Advanced Information Technology and Services) ( PDF )
  

• Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, and Jingde Cheng, "An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs," IEICE Transactions on Information and Systems, Vol. E97-D, No. 6, pp. 1516-1527, IEICE, June 2014. ( PDF )
  

• Kazunori Wagatsuma, Shogo Anze, Yuichi Goto, and Jingde Cheng, "Formalization for Formal Analysis of Cryptographic Protocols with Reasoning Approach," in J. J. Park, Y. Pan, C. Kim, and Y. Yan (Eds.), "Future Information Technology, FutureTech 2014," Lecture Notes in Electrical Engineering, Vol. 309, pp. 211-218, Springer, May 2014. ( PDF )
  

• Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, and Jingde Cheng, "An Engineering Environment Based on ISO/IEC 27000 Series Standards for Supporting Organizations with ISMSs," in J. J. Park, Y. Pan, C. Kim, and Y. Yan (Eds.), "Future Information Technology, FutureTech 2014," Lecture Notes in Electrical Engineering, Vol. 309, pp 195-201, Springer, May 2014. ( PDF )
  

• Liqing Xu, Yuichi Goto, Ahmad Iqbal Hakim Suhaimi, Ning Zhang, and Jingde Cheng, "Active and Personalized Services in an Information Security Engineering Cloud Based on ISO/IEC 15408," in M. Chau, H. Chen, G. A. Wang, and J.-H. Wang (Eds.), "Intelligence and Security Informatics - Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014, Proceedings," Lecture Notes in Computer Science, Vol. 8440, pp. 35-48, Springer, May 2014. ( PDF )
  

• Yuichi Goto, Liqing Xu, Ning Zhang, and Jingde Cheng, "User Management in Information Security Engineering Environment with ISO/IEC 15408," in M. Chau, H. Chen, G. A. Wang, and J.-H. Wang (Eds.), "Intelligence and Security Informatics - Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014, Proceedings," Lecture Notes in Computer Science, Vol. 8440, pp. 18-34, Springer, May 2014. ( PDF )
  

• Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, and Jingde Cheng, "An Analysis of Software Supportable Tasks Related with ISO/IEC 15408," Proc. 9th International Conference on Computational Intelligence and Security, pp. 601-606, Emei, China, IEEE Computer Societ Press, December 2013. ( PDF )
  

• Kai Shi, Bo Wang, Yuichi Goto, Zhiliang Zhu, and Jingde Cheng, "An Anticipatory Reasoning-Reacting System for Defending Against Malice Anticipatorily," Proc. 4th IEEE International Conference on Software Engineering and Service Science, pp. 732-737, Beijing, China, IEEE Press, May 2013. ( PDF )
  

• Liqing Xu, Kai Shi, Yuichi Goto, and Jingde Cheng, "ISEC: An Information Security Engineering Cloud," Proc. 3rd IEEE International Conference on Software Engineering and Service Science, pp. 750-753, Beijing, China, IEEE Press, June 2012. ( PDF )
  

• Gefei Sun, Kenichi Yajima, Junichi Miura, Kai Shi, Yuichi Goto, and Jingde Cheng, "A Supporting Tool for Creating and Maintaining Security Targets According to ISO/IEC 15408," Proc. 3rd IEEE International Conference on Software Engineering and Service Science, pp. 745-749, Beijing, China, IEEE Press, June 2012. ( PDF )
  

• Ahmad Iqbal Hakim Suhaimi, Takashi Manji, Yuichi Goto and Jingde Cheng, "A Systematic Management Method of ISO Information Security Standards for Information Security Engineering Environments," in A. Abd Manaf, A. Zeki, M. Zamani, S. Chuprat, and E. El-Qawasmeh (Eds.): "Informatics Engineering and Information Science, International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, Proceedings, Part I," Communications in Computer and Information Science, Vol. 251, pp. 370-384, Springer, November 2011 ( PDF )
  

• Yuichi Goto, Ryota Kuboniwa, and Jingde Cheng, "Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems," International Journal of Computing Anticipatory Systems, Vol. 24, pp. 61-72, CHAOS, December 2010. ( PDF )
  

• Yuichi Goto and Jingde Cheng, "Information Assurance, Privacy, and Security in Ubiquitous Questionnaire," Proc. 4th International Conference on Frontier of Computer Science and Technology, pp. 619-624, Shanghai, China, IEEE Computer Society Press, December 2009. ( PDF )
  

• Jingde Cheng, "Anticipatory Reasoning-Reacting Systems" (Invited Paper), Telecom Frontier, SCAT Technical Journal, No. 65, pp. 34-41, Support Center for Advanced Telecommunications Technology Research, November 2009 (in Japanese). ( PDF )
  

• Jingde Cheng, Yuichi Goto, and Daisuke Horie, "ISEE: An Information Security Engineering Environment," Proc. International Conference on Security and Cryptography, pp. 395-400, Milan, Italy, INSTICC Press, July 2009. ( PDF )
  

• Jingde Cheng, Yuichi Goto, Shoichi Morimoto, and Daisuke Horie, "A Security Engineering Environment Based on ISO/IEC Standards: Providing Standard, Formal, and Consistent Supports for Design, Development, Operation, and Maintenance of Secure Information Systems," Proc. 2nd International Conference on Information Security and Assurance, pp. 350-354, Busan, Korea, IEEE Computer Society Press, April 2008. ( PDF )
  

• Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng, "Classification, Formalization and Verification of Security Functional Requirements," in V. Geffert et al. (Eds.), "SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, High Tatras, Slovakia, January 19-25, 2008, Proceedings," Lecture Notes in Computer Science, Vol. 4910, pp. 622-633, Springer, January 2008. ( PDF )
  

• Daisuke Horie, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng, "Development and Applications of ISEDS: An Information Security Engineering Database System," IPSJ Journal, Vol. 48, No. 8, pp. 2684-2698, IPSJ, August 2007 (in Japanese). ( PDF )
  

• Shoichi Morimoto and Jingde Cheng, "A Security Specification Library with a Schemaless Database," in Y. Shi, G. D. v. Albada, J. Dongarra, and P. M. A. Sloot (Eds.), "Computational Science - ICCS 2007: 7th International Conference, Beijing, China, May 27-30, 2007, Proceedings, Part III," Lecture Notes in Computer Science, Vol. 4489, pp. 890-893, Springer, May 2007. ( PDF )
  

• Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng, "Formal Verification of Security Specifications with Common Criteria," Proc. 22nd Annual ACM Symposium on Applied Computing, pp. 1506-1512, Seoul, Korea, ACM Press, March 2007. ( PDF )
  

• K. H. S. Sabaragamu Koralalage, M. Reza Selim, Junichi Miura, Yuichi Goto, and 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," Proc. 22nd Annual ACM Symposium on Applied Computing, pp. 270-275, Seoul, Korea, ACM Press, March 2007. ( PDF )
  

• Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng, "A Security Specification Verification Technique Using Theorem Proving and Model Checking Based on ISO/IEC 15408," Computer Software - JSSST Journal, Vol. 23, No. 3, pp. 117-133, JSSST, July 2006 (in Japanese). ( PDF )
  

• Feng Shang, Shinsuke Nara, Takashi Omi, Yuichi Goto, and Jingde Cheng, "A Prototype Implementation of an Anticipatory Reasoning-Reacting System," in D. M. Dubois (Ed.), "Computing Anticipatory Systems: CASYS 2005 - Seventh International Conference, Liege, Belgium, 8-13 August 2005," AIP Conference Proceedings, Vol. 839, pp. 401-414, The American Institute of Physics, June 2006. ( PDF )
  

• Shoichi Morimoto, Daisuke Horie, and Jingde Cheng: A Security Requirement Management Database Based on ISO/IEC 15408, in M. Gavrilova et. al. (Eds.), "Computational Science and Its Applications - ICCSA 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III," Lecture Notes in Computer Science, Vol. 3982, pp. 1-10, Springer, May 2006. ( PDF )
  

• Jingde Cheng and Junichi Miura, "Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance," Proc. 1st International Conference on Availability, Reliability and Security, pp. 601-608, Vienna, Austria, IEEE Computer Society Press, April 2006. ( PDF )
  

• Shoichi Morimoto and Jingde Cheng, "Modeling Protection Profiles by UML and their Formal Verification," The IEICE Transactions on Information & Systems, Vol. J89-D, No. 4 (Special Issue: Formal Approaches), pp. 726-742, IEICE, April 2006 (in Japanese). ( PDF )
  

• Shoichi Morimoto, Daisuke Horie, and Jingde Cheng: A Security Requirement Management Database Based on ISO/IEC 15408, DBSJ Letters, Vol. 4, No. 3, pp. 13-16, DBSJ, December 2005 (in Japanese). ( PDF )
  

• Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng, "Security in Persistently Reactive Systems," in T. Enokido, L. Yan, B. Xiao, D. Kim, Y. Dai, and L. T. Yang (Eds.), "Embedded and Ubiquitous Computing - EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005, Proceedings," Lecture Notes in Computer Science, Vol. 3823, pp. 874-883, Springer, December 2005. ( PDF )
  

• Jingde Cheng, "Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning-Reacting Systems" (Invited Paper), in D. M. Dubois (Ed.), "Computing Anticipatory Systems: CASYS 2003 - Sixth International Conference, Liege, Belgium, 11-16 August 2003," AIP Conference Proceedings, Vol. 718, pp. 362-375, The American Institute of Physics, August 2004. (Best Paper Award awarded at the 6th International Conference on Computing Anticipatory Systems) ( PDF )
  

• Jingde Cheng, "Deontic Relevant Logic as the Logical Basis for Specifying and Reasoning about Information Security and Assurance," Volume of Abstracts of the 12th IUHPS/DLMPS International Congress of Logic, Methodology and Philosophy of Science, pp. 158-159, Oviedo, Spain, International Union of History and Philosophy of Science, August 2003. ( PDF )
  

• Jingde Cheng, "Anticipatory Reasoning-Reacting Systems," Proc. International Conference on Systems, Development and Self-organization, pp. 161-165, Beijing, China, November 2002. ( PDF ) also in Proc. of IPSJ SIGICS and IEICE SIG-AI Joint Meeting, IPSJ SIG Technical Reports, Vol. 2003, No. 8, ICS-131, pp. 209-214, IEICE Technical Report, Vol. 102, No. 615, pp. 71-76, IPSJ and IEICE, January 2003. ( PDF )
  

Selected Recent Papers and Representative Papers on Knowledge Engineering

• Jingde Cheng, Runhe Huang, Qun Jin, Jianhua Ma, and Yi Pan, "An Undergraduate Curriculum Model for Intelligence Science and Technology," Proc. IEEE SmartWorld 2018 - 4th IEEE Smart World Congress, pp. 234-239, Guangzhou, China, IEEE Computer Society Press, October 2018. ( PDF )
  

• Hiromu Hiidome, Yuichi Goto, and Jingde Cheng, "A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines," in N. T. Nguyen, D. H. Hoang, T-P. Hong, H. Pham, and B. Trawinski (Eds.), "Intelligent Information and Database Systems, 10th Asian Conference, ACIIDS 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings, Part I," Lecture Notes in Artificial Intelligence, Vol. 10751, pp. 59-70, Springer, March 2018. ( PDF )
  

• Yuichi Goto, Hongbiao Gao, and Jingde Cheng, "A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning," in N. T. Nguyen, S. Tojo, L. M. Nguyen, and B. Trawinski (Eds.), "Intelligent Information and Database Systems, 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II," Lecture Notes in Artificial Intelligence, Vol. 10192, pp. 125-134, Springer, April 2017. ( PDF )
  

• Hongbiao Gao, Yuichi Goto, and Jingde Cheng, "Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano's Arithmetic," in N. T. Nguyen, S. Tojo, L. M. Nguyen, and B. Trawinski (Eds.), "Intelligent Information and Database Systems, 9th Asian Conference, ACIIDS 2017, Kanazawa, Japan, April 3-5, 2017, Proceedings, Part II," Lecture Notes in Artificial Intelligence, Vol. 10192, pp. 115-124, Springer, April 2017. ( PDF )
  

• Hongbiao Gao and Jingde Cheng, "Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic: A Case Study in Tarski's Geometry," in J.J.J.H. Park, H. Jin, Y. Jeong, and M.K. Khan (Eds.), "Advanced Multimedia and Ubiquitous Engineering - FutureTech & MUE," Lecture Notes in Electrical Engineering, Vol. 393, pp. 55-61, Springer, August 2016. ( PDF )
  

• Jingde Cheng, "Relevant Reasoning and Strong Relevant Logic" (Invited Paper), Science & Technology Review, Vol. 34, No. 7, pp. 39-47, Science and Technology Review Publisheng, April 2016 (in Chinese). ( PDF )
  

• Hongbiao Gao, Yuichi Goto, and 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," in X. He, et al. (Eds.), "Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques," Lecture Notes in Computer Science, Vol. 9243, pp. 508-517, Springer, October 2015. ( PDF )
  

• Jingde Cheng, "Automated Knowledge Appreciation: A Relevant Reasoning Approach to Expand Our Knowledge and Increase Its Value Automatically," Proc. 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, pp. 175-183, Beijing, China, IEEE Computer Society Press, July 2015. ( PDF )
  

• Hongbiao Gao and Jingde Cheng, "An Epistemic Programming Approach for Automated Theorem Finding," Proc. 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing, pp. 49-58, Beijing, China, IEEE Computer Society Press, July 2015. ( PDF )
  

• Hongbiao Gao, Yuichi Goto, and Jingde Cheng, "Automated Theorem Finding by Automated Forward Reasoning Based on Strong Relevant Logic: A Case Study in Graph Theory," in J.J.J.H. Park, H.-C. Chao, H. Arabnia, and N.Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology," Lecture Notes in Electrical Engineering, Vol. 352, pp. 23-30, Springer, May 2015. ( PDF )
  

• Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, and Jingde Cheng, "A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas," in N. T. Nguyen, B. Trawinski, and R. Kosala (Eds.), "Intelligent Information and Database Systems, 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I," Lecture Notes in Artificial Intelligence, Vol. 9011, pp. 634-643, Springer, March 2015. ( PDF )
  

• Hongbiao Gao, Yuichi Goto, and Jingde Cheng, "Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory," in N. T. Nguyen, B. Trawinski, and R. Kosala (Eds.), "Intelligent Information and Database Systems, 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I," Lecture Notes in Artificial Intelligence, Vol. 9011, pp. 593-602, Springer, March 2015. ( PDF )
  

• Hongbiao Gao, Yuichi Goto, and Jingde Cheng, "A Systematic Methodology for Automated Theorem Finding," Theoretical Computer Science, Vol. 554, pp. 2-21, Elsevier B.V., October 2014. ( PDF )
  

• Jingde Cheng, "Computing Intentions Dynamically in a Changing World by Anticipatory Relevant Reasoning," in N. T. Nguyen, B. Attachoo, B. Trawinski, and K. Somboonviwat (Eds.), "Intelligent Information and Database Systems, 6th Asian Conference, ACIIDS 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part II," Lecture Notes in Artificial Intelligence, Vol. 8398, pp. 361-371, Springer, April 2014. ( PDF )
  

• Kai Shi, Yuichi Goto, Zhiliang Zhu, and Jingde Cheng, "Anticipatory Runway Incursion Prevention Systems," IEICE Transactions on Information and Systems, Vol. E96-D, No. 11, pp. 2385-2396, IEICE, November 2013. ( PDF )
  

• Hongbiao Gao, Kai Shi, Yuichi Goto, and Jingde Cheng, "Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic," in D.-Z. Du and G. Zhang (Eds.), "Computing and Combinatorics, The 19th Annual International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013, Proceedings," Lecture Notes in Computer Science, Vol. 7936, pp. 697-704, Springer, June 2013. ( PDF )
  

• Kai Shi, Yuichi Goto, Zhiliang Zhu, and Jingde Cheng, "Making Existing Reactive Systems Anticipatory," in R. Lee, et al. (Eds.), "Computer and Information Science 2013," Studies in Computational Intelligence, Vol. 493, pp. 17-32, Springer, June 2013. ( PDF )
  

• Kai Shi, Yuichi Goto, Zhiliang Zhu, and Jingde Cheng, "Anticipatory Emergency Elevator Evacuation Systems," in A. Selamat, N. T. Nguyen, and H. Haron (Eds.), "Intelligent Information and Database Systems, 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I," Lecture Notes in Artificial Intelligence, Vol. 7802, pp. 117-126, Springer, March 2013. ( PDF )
  

• Jianzhe Zhao, Ying Liu, and Jingde Cheng, "Extending and Formalizing Bayesian Networks by Strong Relevant Logic," in A. Selamat, N. T. Nguyen, and H. Haron (Eds.), "Intelligent Information and Database Systems, 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I," Lecture Notes in Artificial Intelligence, Vol. 7802, pp. 41-50, Springer, March 2013. ( PDF )
  

• Yuichi Goto and Jingde Cheng, "A Truth Maintenance System for Epistemic Programming Environment" (Invited Paper), Proc. 8th International Conference on Semantics, Knowledge and Grid, pp. 1-8, Beijing, China, IEEE Computer Society Press, October 2012. ( PDF )
  

• Ryota Kuboniwa, Yuichi Goto, and Jingde Cheng, "Evolutionary Personal Information Partners for Students Studying in Universities," in W. Zhang (Ed.), "Software Engineering and Knowledge Engineering: Theory and Practice, Selected Papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)," Advances in Intelligent and Soft Computing, Vol. 162, pp. 789-795, Springer, July 2012. ( PDF )
  

• Wencheng Fang, Isao Takahashi, Yuichi Goto, and Jingde Cheng, "Practical Implementation of EPLAS: An Epistemic Programming Language for All Scientists," Proc. 10th International Conference on Machine Learning and Cybernetics, Vol. 2, pp. 608-616, Guilin, China, The IEEE Systems, Man, and Cybernetics Society, July 2011. ( PDF )
  

• Jingde Cheng, "Adaptive Decision Making by Reasoning Based on Relevant Logics," in D. Ruan, T. Li, Y. Xu, G. Chen, and E. E. Kerre (Eds), "Computational Intelligent: Foundations and Applications, Proceedings of the 9th International FLINS Conference, Emei, Chengdu, China, 2-4 August 2010," pp. 541-546, World Scientific, August 2010. ( PDF )
  

• Takahiro Koh, Yuichi Goto, and Jingde Cheng, "A Fast Algorithm for Derivation Process in Forward Reasoning Engines," International Journal of Computational Science, Vol. 4, No. 3, pp. 219-231, Global Information Publisher, June 2010. ( PDF )
  

• Jingde Cheng, "A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes" (Invited Paper), Proc. 5th International Conference on Semantics, Knowledge and Grid, pp. 18-25, Zhuhai, China, IEEE Computer Society Press, October 2009. ( PDF )
  

• Jingde Cheng, "Qualitative Spatio-temporal Reasoning about Moving Objects in Three-dimensional Space," in L. Kang, et al. (Eds.), "Advances in Computation and Intelligence: Third International Symposium, ISICA 2008, Wuhan, China, December 2008, Proceedings," Lecture Notes in Computer Science, Springer, Vol. 5370, pp. 637-648, December 2008. ( PDF )
  

• Jingde Cheng, "Evolutionary Personal Information Partners," Proc. 2008 International Conference on Computational Intelligence and Security, Vol. 1, pp. 108-113, Suzhou, China, IEEE Computer Society Press, December 2008. ( PDF )
  

• Jingde Cheng, Yuichi Goto, and Natsumi Kitajima, "Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems" (Invited Paper), in D. M. Dubois (Ed.), "Computing Anticipatory Systems: CASYS 2007 - 8th International Conference, Liege, Belgium, 6-11 August 2007," AIP Conference Proceedings, Vol. 1051, pp. 244-254, The American Institute of Physics, November 2008. (Best Paper Award awarded at the 8th International Conference on Computing Anticipatory Systems) ( PDF )
  

• Jingde Cheng, "Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic," Proc. 8th International Conference on Hybrid Intelligent Systems, pp. 410-416, Barcelona, Spain, IEEE Computer Society Press, September 2008. ( PDF )
  

• Jingde Cheng, "Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems," in I. Lovrek, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Springer, Vol. 5178, pp. 517-525, September 2008. ( PDF )
  

• Jingde Cheng, "Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study," in M. Virvou and T. Nakamura (Eds.), "Knowledge-based Software Engineering: Proceedings of the 8th Joint Conference on Knowledge-based Software Engineering," Frontiers in Artificial Intelligence and Applications, Vol. 180, pp. 163-172, IOS Press, August 2008. ( PDF )
  

• Jingde Cheng, "Representing, Managing, and Reasoning about Mathematical Knowledge based on Strong Relevant Logic," Proc. 7th International Conference on Machine Learning and Cybernetics, pp. 299-306, Kunming, China, The IEEE Systems, Man, and Cybernetics Society, July 2008. ( PDF )
  

• Ying Gao and Jingde Cheng, "Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction (and some of its Extensions)," Mathematical Structures in Computer Science, Vol. 18, No. 1, pp. 145-164, Cambridge University Press, February 2008. ( PDF )
  

• Jingde Cheng, "A Semilattice Model for the Theory Grid," Proc. 3rd International Conference on Semantics, Knowledge and Grid, pp. 152-157, Xi'an, China, IEEE Computer Society Press, October 2007. ( PDF )
  

• Jingde Cheng, Yuichi Goto, Shinsuke Nara, and Takahiro Koh, "A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing," in B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Springer, Vol. 4693, pp. 840-851, September 2007. ( PDF )
  

• Jingde Cheng, Shinsuke Nara, and Yuichi Goto, "FreeEnCal: A Forward Reasoning Engine with General-Purpose," in B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Springer, Vol. 4693, pp. 444-452, September 2007. ( PDF )
  

• Ying Gao and Jingde Cheng, "Operational Semantics for Positive Relevant Logics without Distribution," in S. B. Cooper, B. Loewe, and A. Sorbi (Eds.), "Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings," Lecture Notes in Computer Science, Vol. 4497, pp. 325-335, Springer, June 2007. ( PDF )
  

• Isao Takahashi, Shinsuke Nara, Yuichi Goto, and Jingde Cheng, "EPLAS: An Epistemic Programming Language for All Scientists," in Y. Shi et al. (Eds.), "Computational Science - ICCS 2007: 7th International Conference, Beijing, China, May 27-30, 2007, Proceedings, Part I," Lecture Notes in Computer Science, Vol. 4487, pp. 406-413, Springer, May 2007. ( PDF )
  

• Yuichi Goto and Jingde Cheng, "A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic," Electronic Notes in Theoretical Computer Science, Vol. 169, "Proceedings of the Workshop on Logic, Model and Computer Science (LMCS 2006), Camerino, Italy, 20-22 April 2006," pp. 87-97, Elsevier B.V., March 2007. ( PDF )
  

• Jingde Cheng, Shinsuke Nara, Takahiro Koh, and Yuichi Goto, "The Theory Grid and Grid Theorists," Proc. 2nd International Conference on Semantics, Knowledge and Grid, Guilin, China, IEEE Computer Society Press, November 2006. ( PDF )
  

• Jingde Cheng, "Prediction by Anticipatory Reasoning and Its Logical Basis" (Invited Paper), The Journal of Reliability Engineering Association of Japan, Vol. 28, No. 7, pp. 451-460, REAJ, November 2006 (in Japanese). ( PDF )
  

• Jingde Cheng, "Deontic Relevant Logic as the Logical Basis for Legal Information Systems," Proc. 21st Annual ACM Symposium on Applied Computing, pp. 319-320, Dijon, France, ACM Press, April 2006. ( PDF )
  

• Jingde Cheng, "Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning," in Y. Kiyoki, J. Henno, H. Jaakkola, and H. Kangassalo (Eds.), "Information Modelling and Knowledge Bases XVII," Frontiers in Artificial Intelligence and Applications, Vol. 136, pp. 310-320, IOS Press, February 2006. ( PDF )
  

• Jingde Cheng, "Autonomous and Continuous Evolution of Information Systems," in R. Khosla, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 3681, pp. 758-767, Springer, September 2005. ( PDF )
  

• Jingde Cheng, "Reciprocal Logic: Logics for Specifying, Verifying, and Reasoning about Reciprocal Relationships," in R. Khosla, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part II," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 3682, pp. 437-445, Springer, September 2005. ( PDF )
  

• Shinsuke Nara, Yuichi Goto, and Jingde Cheng, "Improving the Performance of Forward Deduction Engines by Parallel Processing," IPSJ Transactions on Mathematical Modeling and its Applications, Vol. 46, No. SIG10 (TOM12), pp. 19-29, IPSJ, June 2005 (in Japanese). ( PDF )
  

• Feng Shang and Jingde Cheng, "Anticipatory Agents Based on Anticipatory Reasoning," in M. S. Hacid, N. Murray, Z. W. Ras, and S. Tsumoto (Eds.), "Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, USA, May 25-28, 2005, Proceedings," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 3488, pp. 445-455, Springer, May 2005. ( PDF )
  

• Jingde Cheng, "Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Mobile Multi-agent Systems," in S. Wang, K. Tanaka, et al. (Eds.), "Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 8-12, 2004, Proceedings," Lecture Notes in Computer Science, Vol. 3289, pp. 470-483, Springer, November 2004. ( PDF )
  

• Jingde Cheng and Yuichi Goto, "Representing and Reasoning about Spatial Knowledge Based on Spatial Relevant Logic," in S. Wang, K. Tanaka, et al. (Eds.), "Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 8-12, 2004, Proceedings," Lecture Notes in Computer Science, Vol. 3289, pp. 114-126, Springer, November 2004. ( PDF )
  

• Jingde Cheng, "Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic," in V. Palade, R. J. Howlett, and L. C. Jain (Eds.), "Knowledge-Based Intelligent Information and Engineering Systems, 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003, Proceedings, Part I," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 2773, pp. 68-80, Springer, September 2003. ( PDF )
  

• Jingde Cheng, Naoki Akimoto, Yuichi Goto, Masato Koide, Kouichi Nanashima, and Shinsuke Nara, "HILBERT: An Autonomous Evolutionary Information System for Teaching and Learning Logic," in C. P. Constantinou and Z. C. Zacharia (Eds.), "Computer Based Learning in Science, Conference Proceedings 2003, 6th International Conference, Nicosia, Cyprus, 5-10 July 2003," Vol. 1, pp. 245-254, University of Cyprus, July 2003. ( PDF )
  

• Takahiro Tagawa and Jingde Cheng, "Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic," in M. Ishizuka and A. Sattar (Eds.), "PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002. Proceedings," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 2417, pp. 39-48, Springer, August 2002. ( PDF )
  

• Jingde Cheng, "Autonomous Evolutionary Information Systems," Wuhan University Journal of Natural Sciences, Vol. 6, No. 1-2, Special Issue: Proceedings of the International Software Engineering Symposium 2001, pp. 333-339, Wuhan, China, Wuhan University Journals Press, March 2001. ( PDF )
  

• Jingde Cheng, "Programming with Conditionals: Epistemic Programming for Scientific Discovery," Wuhan University Journal of Natural Sciences, Vol. 6, No. 1-2, Special Issue: Proceedings of the International Software Engineering Symposium 2001, pp. 326-332, Wuhan, China, Wuhan University Journals Press, March 2001. ( PDF )
  

• Jingde Cheng, "Fuzziness and Relevance: Can We Establish a Unified Logical Basis for Approximate and Relevant Reasoning?" Proc. 4th Asian Fuzzy Systems Symposium, pp. 875-880, Tsukuba, Japan, June 2000. ( PDF )
  

• Jingde Cheng, "A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery," in E. Kawaguchi, H. Kangassalo, H. Jaakkola, and I. A. Hamid (Eds.), "Information Modelling and Knowledge Bases XI," Frontiers in Artificial Intelligence and Applications, Vol. 61, pp. 136-159, IOS Press, February 2000. ( PDF )
  

• Jingde Cheng, "Fuzzy Relevant Logic: What Is It and Why Study It?" Proc. 1999 IEEE Annual International Conference on Systems, Man, and Cybernetics, Vol. 5, pp. 250-255, Tokyo, Japan, The IEEE Systems, Man, and Cybernetics Society, October 1999. ( PDF )
  

• Jingde Cheng, "Temporal Relevant Logic: What Is It and Why Study It?" Volume of Abstracts of the 11th IUHPS/DLMPS International Congress of Logic, Methodology and Philosophy of Science, p. 253, Cracow, Poland, International Union of History and Philosophy of Science, August 1999. ( PDF )
  

• Jingde Cheng, "Epistemic Programming: Can We have a 'Science' and/or an 'Engineering' of Scientific Discovery in the 21st Century?" Proc. 1999 IPSJ Annual Summer Symposium on Programming - The Dreams of the 21st Century, pp. 19-29, Fukushima, Japan, IPSJ, August 1999. ( PDF )
  

• Jingde Cheng, "Epistemic Programming: What Is It and Why Study It?" Chinese Journal of Advanced Software Research, Vol. 6, No. 2, pp. 153-163, Allerton Press, USA, June 1999. ( PDF )
  

• Takahiro Tagawa, Junya Ohori, Jingde Cheng, and Kazuo Ushijima, "On Strong Relevance Principle in Relevant Logic," Journal of Japanese Society for Artificial Intelligence, Vol. 13, No. 3, pp. 387-394, JSAI, May 1998 (in Japanese). ( PDF )
  

• Jingde Cheng, "Relevant Reasoning as the Logical Basis of Knowledge Engineering," in F. J. Cantu, R. Soto, J. Liebowitz, and E. Sucar (Eds.), "Application of Advanced Information Technologies: 4th World Congress on Expert Systems, Mexico City, Mexico, March 1998," Vol. 1, pp. 449-457, Cognizant Communication Co., March 1998. ( PDF )
  

• Kazunori Nishi, Jingde Cheng, and Kazuo Ushijima, "Improving the Performance of Automated Forward Deduction System EnCal," in C. Polychronopoulos, K. Joe, K. Araki, and M. Amamiya (Eds.), "High Performance Computing, International Symposium, ISHPC '97, Fukuoka, Japan, November 4-6, 1997, Proceedings," Lecture Notes in Computer Science, Vol. 1336, pp. 371-380, Springer, November 1997. ( PDF )
  

• Jingde Cheng, "The Fundamental Role of Entailment in Knowledge Representation and Reasoning," Journal of Computing and Information, Vol. 2, No. 1, Special Issue: Proceedings of the 8th International Conference of Computing and Information, ICCI '96, University of Waterloo, Waterloo, Ontario, Canada, pp. 828-848, November 1996. ( PDF )
  

• Jingde Cheng, "Epistemic Programming - Toward a New Programming Paradigm for Scientific Discovery," Proc. 1996 IEEE Annual International Conference on Systems, Man, and Cybernetics, pp. 2400-2406, Beijing, China, The IEEE Systems, Man, and Cybernetics Society, October 1996. ( PDF )
  

• Jingde Cheng, "EnCal: An Automated Forward Deduction System for General-Purpose Entailment Calculus," in N. Terashima and E. Altman (Eds.), "Advanced IT Tools, IFIP World Conference on IT Tools, 2-6 September 1996, Canberra, Australia, IFIP '96 - 14th World Computer Congress," pp. 507-514, Chapman & Hall, September 1996. ( PDF )
  

• Jingde Cheng, "Entailment Calculus as the Logical Basis of Automated Theorem Finding in Scientific Discovery," in R. Valdes-Perez (Ed.), "Systematic Methods of Scientific Discovery: Papers from the 1995 Spring Symposium," AAAI Technical Report SS-95-03, pp. 105-110, AAAI Press, March 1995. ( PDF )
  

• Jingde Cheng, "A Relevant Logic Approach to Automated Theorem Finding," Proc. Workshop on Automated Theorem Proving attached to International Symposium on Fifth Generation Computer Systems 1994, pp. 8-15, Tokyo, Japan, December 1994. ( PDF )
  

• Jingde Cheng, "Entailment Calculus as the Logical Tool for Reasoning Rule Generation and Verification," in J. Liebowitz (Ed.), "Moving Towards Expert Systems Globally in the 21st Century: Refereed papers accepted and presented at the 2nd World Congress on Expert Systems, Lisbon, Portugal, January 1994," pp. 386-392, Cognizant Communication Co., March 1994. ( PDF )
  

• Jingde Cheng, "Entailment as the First-Principles of Knowledge Representation and Reasoning," Proc. 3rd International Conference for Young Computer Scientists, pp. 2.93-2.97, Beijing, China, July 1993. ( PDF )
  

• Jingde Cheng, "Rc - A Relevant Logic for Conditional Relation Representation and Reasoning," Proc. 1st Singapore International Conference on Intelligent Systems, pp. 171-176, Singapore, September 1992. ( PDF )
  

• Jingde Cheng, "Logical Tool of Knowledge Engineering: Using Entailment Logic rather than Mathematical Logic," Proc. 19th ACM Annual Computer Science Conference, pp. 228-238, San Antonio, USA, ACM Press, March 1991. ( PDF )
  

• Jingde Cheng, "An Algebraic Semantics of Notional Entailment Logic Cn," Information Processing Letters, Vol. 36, No. 3, pp. 117-121, Elsevier B.V., November 1990. ( PDF )
  

Selected Recent Papers and Representative Papers on Software Engineering

• Yuan Zhou, Yuichi Goto, and Jingde Cheng, "QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems," IEICE Transactions on Information and Systems, Vol. E102-D, No. 11, pp. 2159-2175, IEICE, November 2019. ( PDF )
  

• Bo Wang, Hongbiao Gao, and Jingde Cheng, "A New Definition-Use Net Generator for Ada 2012 Programs," ACM Ada Letters, Vol. 37, No. 1, pp. 9-25, ACM Press, June 2017. ( PDF )
  

• Dancheng Li, Wei Wang, Quanzuo Li, and Jingde Cheng, "A Comprehensive Evaluation of Scheduling Methods of Virtual Machine Migration for Energy Conservation," IEEE Systems Journal, Vol. 11, No. 2, pp. 898-909, IEEE, June 2017. ( PDF )
  

• Bo Wang, Hongbiao Gao, and Jingde Cheng, "Definition-Use Net and System Dependence Net Generators for Ada 2012 Programs and Their Applications," Ada User Journal, Vol. 38, No. 1, pp. 37-55, Ada-Europe, March 2017. ( PDF )
  

• Bo Wang, Hongbiao Gao, and Jingde Cheng, "Contract-Based Programming for Future Computing with Ada 2012," Proc. 2016 International Conference on Advanced Cloud and Big Data, pp. 322-327, Chengdu, China, IEEE Computer Society Press, August 2016. ( PDF )
  

• Yuan Zhou, Hongbiao Gao, and Jingde Cheng, "QSL: A Specification Language for E-questionnaire, E-testing, and E-voting Systems," in J.J.J.H. Park, H. Jin, Y. Jeong, and M.K. Khan (Eds.), "Advanced Multimedia and Ubiquitous Engineering - FutureTech & MUE," Lecture Notes in Electrical Engineering, Vol. 393, pp. 255-261, Springer, August 2016. ( PDF )
  

• Bo Wang, Yuichi Goto, and Jingde Cheng, "A Tasking Deadlock Detector for Ada 2012 Programs," in J.J.J.H. Park, H.-C. Chao, H. Arabnia, and N.Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology," Lecture Notes in Electrical Engineering, Vol. 352, pp. 15-22, Springer, May 2015. ( PDF )
  

• Zhe Wang, Yuan Zhou, Bo Wang, Yuichi Goto, and Jingde Cheng, "An Extension of QSL for E-Testing and its Application in an Offline E-testing Environment," in J.J.J.H. Park, H.-C. Chao, H. Arabnia, and N.Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology," Lecture Notes in Electrical Engineering, Vol. 352, pp. 7-14, Springer, May 2015. ( PDF )
  

• Ying Liu, Shu Mao, Mingwei Zhang, Guoqi Liu, Zhiliang Zhu, and Jingde Cheng, "Prevention of Fault Propagation in Web Service: A Complex Network Approach," Journal of Web Engineering, Vol. 14, No. 1&2, pp. 136-150, Rinton Press, January 2015. ( PDF )
  

• Bo Wang, Yuichi Goto, and Jingde Cheng, "Queue Operation Related Tasking Deadlocks in Ada 2012 Programs," ACM Ada Letters, Vol. 34, No. 2, pp. 9-25, ACM Press, August 2014. ( PDF )
  

• Yuan Zhou, Yuichi Goto, and Jingde Cheng, "QSL: A Specification Language for E-questionnaire Systems," Proc. 5th IEEE International Conference on Software Engineering and Service Science, pp. 224-230, Beijing, China, IEEE Press, June 2014. ( PDF )
  

• Jingde Cheng, "New Challenges in Future Software Engineering," in J. J. Park, Y. Pan, C. Kim, and Y. Yan (Eds.), "Future Information Technology, FutureTech 2014," Lecture Notes in Electrical Engineering, Vol. 309, pp. 31-36, Springer, May 2014. ( PDF )
  

• Bo Wang, Yuichi Goto, and Jingde Cheng, "New Types of Program Dependences and Interprocedural Relations in Ada 2012 Programs," Proc. 4th IEEE International Conference on Software Engineering and Service Science, pp. 718-723, Beijing, China, IEEE Press, May 2013. ( PDF )
  

• Takeo Ekiba, Yuichi Goto, and Jingde Cheng, "New Types of Tasking Deadlocks in Ada 2012 Programs," ACM Ada Letters, Vol. 33, No. 1, pp. 169-179, ACM Press, April 2013. ( PDF )
  

• Gang LI, Jian Xiao, Chun Li, Sen Li, and Jingde Cheng, "A Comparative Study between Soft System Bus and Enterprise Service Bus," Proc. 2012 International Conference on Computer Science and Service Systems, pp. 557-561, Nanjing, China, IEEE Computer Society Press, August 2012. ( PDF )
  

• Jumpei Suzuki, Yuichi Goto, and Jingde Cheng, "Development of a General-Purpose E-testing Server for Ubiquitous Test," in W. Zhang (Ed.), "Software Engineering and Knowledge Engineering: Theory and Practice, Selected Papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)," Advances in Intelligent and Soft Computing, Vol. 162, pp. 797-803, Springer, July 2012. ( PDF )
  

• Jingzhou Wang, Yuichi Goto, and Jingde Cheng, "Internationalization of ENQUETE-BAISE: A General-Purpose E-questionnaire Server for Ubiquitous Questionnaire," in W. Zhang (Ed.), "Software Engineering and Knowledge Engineering: Theory and Practice, Selected Papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)," Advances in Intelligent and Soft Computing, Vol. 162, pp. 781-787, Springer, July 2012. ( PDF )
  

• Quazi Mahera Jabeen, Muhammad Anwarul Azim, Yuichi Goto, and Jingde Cheng, "A Design of Centralized Persistent Computing System," in A. Abd Manaf, A. Zeki, M. Zamani, S. Chuprat, and E. El-Qawasmeh (Eds.): "Informatics Engineering and Information Science, International Conference, ICIEIS 2011, Kuala Lumpur, Malaysia, November 14-16, 2011, Proceedings, Part I," Communications in Computer and Information Science, Vol. 251, pp. 604-617, Springer, November 2011. (Best Paper Award) ( PDF )
  

• Jian Xiao, Jizhou Sun, Gang LI, Chun Li, Sen Li, and Jingde Cheng, "MicroSSB: A Lightweight Framework for On-line Distributed Application Based on Soft System Bus," Proc. 6th International Conference on Evaluation of Novel Approaches to Software Engineering, pp. 613-616, Beijing, China, INSTICC Press, June 2011. ( PDF )
  

• Jingde Cheng, "Uncertainty Problem in Dynamic Slicing of Concurrent Programs," Proc. 6th IEEE International Conference on Embedded Systems and Software, pp. 241-248, Hangzhou, China, IEEE Computer Society Press, May 2009. ( PDF )
  

• Jingde Cheng, "Testing and Debugging Persistent Computing Systems: A New Challenge in Ubiquitous Computing," Proc. 5th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, Vol. 1, pp. 408-414, Shanghai, China, IEEE Computer Society Press, December 2008. ( PDF )
  

• Jingde Cheng, "Deontic Relevant Logic in Knowledge-based Requirements Engineering," in M. Virvou and T. Nakamura (Eds.), "Knowledge-based Software Engineering: Proceedings of the 8th Joint Conference on Knowledge-based Software Engineering," Frontiers in Artificial Intelligence and Applications, Vol. 180, pp. 97-102, IOS Press, August 2008. ( PDF )
  

• Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng, "Ensuring Reliability and Availability of Soft System Bus," Proc. 2nd IEEE International Conference on Secure System Integration and Reliability Improvement, pp. 52-59, Yokohama, Japan, The IEEE Reliability Society and The IEEE Systems, Man, and Cybernetics Society, July 2008. ( PDF )
  

• Jingde Cheng, Yuichi Goto, Masato Koide, Keigo Nagahama, Masami Someya, Yusuke Utsumi, and Ayaka Shionoiri, "ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire," Proc. 2nd IEEE Asia-Pacific Services Computing Conference, pp. 187-194, Tsukuba, Japan, IEEE Computer Society Press, December 2007. (Best Paper Award) ( PDF )
  

• Takumi Endo, Yuichi Goto, and Jingde Cheng, "Measuring Reactability of Persistent Computing Systems," in M. Lumpe and W. Vanderperren (Eds.), "Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers," Lecture Notes in Computer Science, Vol. 4829, pp. 144-151, Springer, December 2007. ( PDF )
  

• Jingde Cheng, "Persistent Computing Systems Based on Soft System Buses as an Infrastructure of Ubiquitous Computing and Intelligence" (Invited Paper), Journal of Ubiquitous Computing and Intelligence, Vol. 1, No. 1, pp. 35-41, American Scientific Publishers, April 2007. ( PDF )
  

• Jingde Cheng and Feng Shang, "Persistent Computing Systems as an Infrastructure of Computing Anticipatory Systems," International Journal of Computing Anticipatory Systems, Vol. 18, pp. 61-74, CHAOS, December 2006. ( PDF )
  

• Mohammad Reza Selim, Takumi Endo, Yuichi Goto, and Jingde Cheng, "A Comparative Study between Soft System Bus and Traditional Middlewares," in R. Meersman, Z. Tari, P. Herrero et al. (Eds.), "On the Move to Meaningful Internet Systems and Ubiquitous Computing 2006: OTM 2006 Workshops, Montpellier, France, October 30 - November 3, 2006, Proceedings," Lecture Notes in Computer Science, Vol. 4278, pp. 1264-1273, Springer, October 2006. ( PDF )
  

• Jingde Cheng, "Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems," in L. M. Pinho and M. G. Harbour (Eds.), "Reliable Software Technologies - Ada-Europe 2006, 11th International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings," Lecture Notes in Computer Science, Vol. 4006, pp. 167-178, Springer, June 2006. ( PDF )
  

• Jingde Cheng, "Persistent Computing Systems as Continuously Available, Reliable, and Secure Systems," Proc. 1st International Conference on Availability, Reliability and Security, pp. 631-638, Vienna, Austria, IEEE Computer Society Press, April 2006. ( PDF )
  

• Jingde Cheng, "Comparing Persistent Computing with Autonomic Computing," Proc. 11th International Conference on Parallel and Distributed Systems, Vol. II, pp. 428-432, Fukuoka, Japan, IEEE Computer Society Press, July 2005. ( PDF )
  

• Jingde Cheng, "Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems," Proc. 19th International Conference on Advanced Information Networking and Applications, Vol. 1, pp. 667-672, Taipei, Taiwan, IEEE Computer Society Press, March 2005. ( PDF )
  

• Jingde Cheng, "Soft System Bus Technology for Ubiquitous Computing" (Invited Paper), JISA Bulletin, No. 76, pp. 3-13, JISA, January 2005 (in Japanese). ( PDF )
  

• Jingde Cheng, "Soft System Bus as a Future Software Technology," Proc. 8th International Symposium on Future Software Technology, Xi'an, China, SEA, October 2004. ( PDF )
  

• Masato Koide and Jingde Cheng, "A Toolkit for Developing Programs of Card Games Played on the Internet," in R. Nakatsu and J. Hoshino (Eds.), "Entertainment Computing: Technologies and Applications," pp. 57-64, Kluwer Academic Publisher, January 2003. ( PDF )
  

• Shadan E. Saniepour, Behrouz H. Far, and Jingde Cheng, "Dynamic Mirroring for Efficient Web Server Performance Management," IEICE Transactions on Communication, Vol. E85-B, No. 8, pp. 1585-1595, IEICE, August 2002. ( PDF )
  

• Yusuke Nonaka, Jingde Cheng, and Kazuo Ushijima, "Measurement Specifications and Their Applications for Development of Concurrent Self-Measurement Programs," IPSJ Journal, Vol. 43, No. 3, pp. 743-753, IPSJ, March 2002 (in Japanese). ( PDF )
  

• Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, and Jingde Cheng, "A Run-Time Deadlock Detector for Concurrent Java Programs," Proc. 8th Asia-Pacific Software Engineering Conference, pp. 45-52, Macau, China, IEEE Computer Society Press, December 2001. ( PDF )
  

• Hassan Hajji, Behrouz H. Far, and Jingde Cheng, "Detection of Network Faults and Performance Problems," Proc. 2001 IAJapan Internet Conference, pp. 159-168, Osaka, Japan, IAJapan, November 2001. (Best Paper Award) ( PDF )
  

• Yusuke Nonaka, Jingde Cheng, and Kazuo Ushijima, "A Supporting Tool for Development of Self-measurement Ada Programs," in H. B. Keller and E. Ploedereder (Eds.), "Reliable Software Technologies - Ada-Europe 2000, 5th International Conference on Reliable Software Technologies, Potsdam, Germany, June 26-30, 2000, Proceedings," Lecture Notes in Computer Science, Vol. 1845, pp. 69-81, Springer, June 2000. ( PDF )
  

• Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, and Kazuo Ushijima, "A System Dependence Net Generator for Ada Programs," Proc. 6th Asia-Pacific Software Engineering Conference, pp. 441-448, Takamatsu, Japan, IEEE Computer Society Press, December 1999. ( PDF )
  

• Jingde Cheng, "The Self-Measurement Principle: A Design Principle for Large-scale, Long-lived, and Highly Reliable Concurrent Systems," Proc. 1998 IEEE Annual International Conference on Systems, Man, and Cybernetics, Vol. 4, pp. 4010-4015, San Diego, USA, The IEEE Systems, Man, and Cybernetics Society, October 1998. ( PDF )
  

• Jingde Cheng, "Temporal Relevant Logic as the Logic Basis for Reasoning about Dynamics of Concurrent Systems," Proc. 1998 IEEE Annual International Conference on Systems, Man, and Cybernetics, Vol. 1, pp. 794-799 San Diego, USA, The IEEE Systems, Man, and Cybernetics Society, October 1998. ( PDF )
  

• Jingde Cheng, "Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications," Proc. 10th ACM Annual TRI-Ada Conference, pp. 67-78, St. Louis, USA, ACM Press, November 1997. ( PDF )
  

• Jingde Cheng, "Dependence Analysis of Parallel and Distributed Programs and Its Applications," Proc. 1997 International Conference on Advances in Parallel and Distributed Computing, pp. 370-377, Shanghai, China, IEEE Computer Society Press, March 1997. ( PDF )
  

• Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima, "Slicing Concurrent Logic Programs," in T. Ida, A. Ohori, and M. Takeichi (Eds.), "Functional and Logic Programming - Second Fuji International Workshop, Shonan Village Center, Japan, Nov 1-4, 1996," pp. 143-162, World Scientific, March 1997. ( PDF )
  

• Jianjun Zhao, Jingde Cheng, and Kazuo Ushijima, "Static Slicing of Concurrent Object-Oriented Programs," Proc. 20th Annual International Computer Software and Applications Conference, pp. 312-320, Seoul, Korea, IEEE Computer Society Press, August 1996. ( PDF )
  

• Jingde Cheng and Kazuo Ushijima, "Tasking Deadlocks in Ada 95 Programs and Their Detection," in A. Strohmeier (Ed.), "Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings," Lecture Notes in Computer Science, Vol. 1088, pp. 135-146, Springer, June 1996. ( PDF )
  

• Jianjun Zhao, Jingde Cheng and Kazuo Ushijima, "Program Dependence Analysis of Concurrent Logic Programs and Its Applications," Proc. 1996 International Conference on Parallel and Distributed Systems, pp. 282-291, Tokyo, Japan, IEEE Computer Society Press, June 1996. ( PDF )
  

• Jingde Cheng and Kazuo Ushijima, "Program Dependence Analysis in Distributed Software Engineering" (Invited Talk), Proc. International Symposium on Parallel and Distributed Supercomputing, pp. 15-24, Fukuoka, Japan, September 1995. ( PDF )
  

• Jingde Cheng, "Nondeterministic Parallel Control-Flow / Definition-Use Nets and Their Applications," in G. R. Joubert, D. Trystram, F. J. Prters, and D. J. Evans (Eds.), "Parallel Computing: Trends and Applications, Proceedings of the International Conference, ParCo93, Grenoble, France, 7-10 September 1993," pp. 589-592, Elsevier B.V., May 1994. ( PDF )
  

• Jingde Cheng, "Slicing Concurrent Programs - A Graph-Theoretical Approach," in P. A. Fritzson (Ed.), "Automated and Algorithmic Debugging, 1st International Workshop, AADEBUG '93, Linkoping, Sweden, May 3-5, 1993, Proceedings," Lecture Notes in Computer Science, Vol. 749, pp. 223-240, Springer, November 1993. ( PDF )
  

• Jingde Cheng, "Complexity Metrics for Distributed Programs," Proc. 4th International Symposium on Software Reliability Engineering, pp. 132-141, Denver, USA, IEEE Computer Society Press, November 1993. ( PDF )
  

• Jingde Cheng, "Process Dependence Net of Distributed Programs and Its Applications in Development of Distributed Systems," Proc. 17th Annual International Computer Software & Applications Conference, pp. 231-240, Phoenix, USA, IEEE Computer Society Press, November 1993. ( PDF )
  

• Jingde Cheng, "Dependence-Based Complexity Metrics for Distributed Programs," Proc. 22nd International Conference on Parallel Processing, Vol. 2, pp. 265-268, St. Charles, USA, CRC Press, August 1993. ( PDF )
  

• Jingde Cheng, "Task Dependence Net as a Representation for Concurrent Ada Programs," in J. van Katwijk (Ed.), "Ada: Moving towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, Proceedings," Lecture Notes in Computer Science, Vol. 603, pp. 150-164, Springer, June 1992. ( PDF )
  

• Jingde Cheng and Kazuo Ushijima, "Partial Order Transparency as a Tool to Reduce Interference in Monitoring Concurrent Systems," in Y. Ohno (Ed.), "Distributed Environments: Software Paradigms and Workstations," pp. 156-171, Springer, October 1991. ( PDF )
  

• Keijiro Araki, Zengo Furukawa, and Jingde Cheng, "A General Framework for Debugging," Software, Vol. 8, No. 3, pp. 14-20, IEEE Computer Society Press, May 1991. ( PDF )
  

• Jingde Cheng, "A Survey of Tasking Deadlock Detection Methods," ACM Ada Letters, Vol. 11, No. 1, pp. 82-91, ACM Press, January/February 1991. ( PDF )
  

• Jingde Cheng, "Task-Wait-For Graphs and Their Application to Handling Tasking Deadlocks," Proc. ACM 3rd Annual TRI-Ada Conference, pp. 376-390, Baltimore, USA, ACM Press, December 1990. ( PDF )
  

• Jingde Cheng, "A Classification of Tasking Deadlocks," ACM Ada Letters, Vol. 10, No. 5, pp. 110-127, ACM Press, May/June 1990. ( PDF )
  

• Jingde Cheng, Keijiro Araki, and Kazuo Ushijima, "Development and Practical Applications of EDEN -- An Event-Driven Execution Monitor for Concurrent Ada Programs," Transactions of IPSJ, Vol. 30, No. 1, pp. 12-24, IPSJ, January 1989 (in Japanese). ( PDF )
  

• Jingde Cheng and Kazuo Ushijima, "Naming Ada Tasks at Run-Time," Transactions of IPSJ, Vol. 29, No. 12, pp. 1208-1212, IPSJ, December 1988 (in Japanese). ( PDF )
  

• Jingde Cheng, Keijiro Araki, and Kazuo Ushijima, "Event-Driven Execution Monitor for Ada Tasking Programs," Proc. 11th Annual International Computer Software & Applications Conference, pp. 381-388, Tokyo, Japan, IEEE Computer Society Press, October 1987. ( PDF )