学生により公表された査読付き論文

2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001

2017年

  1. 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.

  2. Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, and Jingde Cheng: A Supporting Environment for Formal Analysis of Cryptographic Protocols, in J. J. J. H. Park, S.-C. Chen, and K.-K. R. Choo (Eds.), "Advanced Multimedia and Ubiquitous Engineering - MUE/FutureTech 2017," Lecture Notes in Electrical Engineering, Vol. 448, pp. 545-550, Springer, Singapore, May 2017.

  3. 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.

  4. Jingchen Yan, Hongbiao Gao, and Jingde Cheng: A Formal Analysis Method with Forward Reasoning for Cryptographic Protocols, Journal of Information Security Research, Vol. 3, No. 5, pp. 462-468, May 2017 (in Chinese).

  5. Jingchen Yan and Jingde Cheng: A Formal Specification and Verification Method for Security Specification Based on CC, Journal of Information Security Research, Vol. 3, No. 7, pp. 617-623, July 2017 (in Chinese).

  6. Da Bao, Huilin Chen, Wen Sun, and Jingde Cheng: A Supporting Environment for IT System Security Evaluation Based on CC and CEM, Journal of Information Security Research, Vol. 3, No. 7, pp. 638-646, July 2017 (in Chinese).

  7. Da Bao and Jingde Cheng: Information Security Engineering Databases Based on ISO/IEC Standards and Their Applications, Journal of Information Security Research, Vol. 3, No. 8, pp. 701-709, August 2017 (in Chinese).

  8. Yifeng Han, Hongbiao Gao, and Jingde Cheng: A Design of Evolutionary Personal Information Partner Based on Software as a Service, in J. J. Park, V. Loia, G. Yi and Y. Sung (Eds.), "Advances in Computer Science and Ubiquitous Computing - CSA-CUTE2017," Lecture Notes in Electrical Engineering, Vol. 474, pp. 407-412, Springer, Singapore, December 2017.

2016年

  1. Bo Wang, Hongbiao Gao, and Jingde Cheng: A Supporting Environment for Contract-Based Programming with Ada 2012, in J. J. 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. 69-77, Springer, Singapore, August 2016.

  2. Yuan Zhou, Hongbiao Gao, and Jingde Cheng: QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems, in J. J. 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, Singapore, August 2016.

  3. Da Bao, Kazunori Wagatsuma, Hongbiao Gao, and Jingde Cheng: Predicting New Attacks: A Case Study in Security Analysis of Cryptographic Protocols, in J. J. 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, Singapore, August 2016.

  4. Bo Wang, Hongbiao Gao, and Jingde Cheng: Contract-Based Programming for Future Computing with Ada 2012, Proceedings of 2016 International Conference on Advanced Cloud and Big Data, pp. 322-327, Chengdu, China, IEEE Computer Society Press, August 2016.

  5. Yuan Zhou, Hongbiao Gao, and Jingde Cheng: QSL: An Extension of QSL for E-voting Systems, in J. J. Park, Y. Pan, G. Yi and V. Loia (Eds.), "Advances in Computer Science and Ubiquitous Computing - CSA-CUTE2016," Lecture Notes in Electrical Engineering, Vol. 421, pp. 87-96, Springer, Singapore, November 2016.

  6. Huilin Chen, Da Bao, Hongbiao Gao, and Jingde Cheng: A Security Evaluation and Certification Management Database Based on ISO/IEC Standards, Proceedings of the 12th International Conference on Computational Intelligence and Security (CIS 2016), pp. 249-253, Wuxi, China, IEEE Computer Society Press, December 2016.

  7. Yifeng Han, Hongbiao Gao, and Jingde Cheng: Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and A Case Study, Proceedings of the 12th International Conference on Computational Intelligence and Security (CIS 2016), pp. 461-465, Wuxi, China, IEEE Computer Society Press, December 2016.

  8. Jingchen Yan, Kazunori Wagatsuma, Hongbiao Gao, and Jingde Cheng: A Formal Analysis Method with Reasoning for Cryptographic Protocols, Proceedings of the 12th International Conference on Computational Intelligence and Security (CIS 2016), pp. 566-570, Wuxi, China, IEEE Computer Society Press, December 2016.

  9. Hongbiao Gao, Zhe Wang, Yuan Zhou, and Jingde Cheng: Development of a General-Purpose Offline E-Testing Environment, Proceedings of the 12th International Conference on Computational Intelligence and Security (CIS 2016), pp. 603-607, Wuxi, China, IEEE Computer Society Press, December 2016.

2015年

  1. 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, et al. (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 (Subseries of Lecture Notes in Computer Science), Vol. 9011, pp. 593-602, Springer, March 2015.

  2. 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, et al. (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 (Subseries of Lecture Notes in Computer Science), Vol. 9011, pp. 634-643, Springer, March 2015.

  3. 我妻 和憲, 後藤 祐一, 程 京徳: 鍵交換プロトコルにおける推論的形式分析手法, 情報処理学会論文誌, Vol. 56, No. 3, pp. 903-910, 情報処理学会, 2015年3月.

  4. Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Development of a Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas and Its Application, in J. J. Park, H. Chao, H. Arabnia, and N. Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology," Lecture Notes in Electrical Engineering, Vol. 352, pp. 1-6, Springer, Heidelberg, May 2015.

  5. 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. Park, H. 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, Heidelberg, May 2015.

  6. Bo Wang, Takeo Ekiba, Yuichi Goto, and Jingde Cheng: A Tasking Deadlock Detector for Ada 2012 Programs, in J. J. Park, H. 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, Heidelberg, May 2015.

  7. Kazunori Wagatsuma, Tsubasa Harada, Shogo Anze, Yuichi Goto, and Jingde Cheng: A Supporting Tool for Spiral Model of Cryptographic Protocol Design with Reasoning-Based Formal Analysis, in J. J. Park, H. Chao, H. Arabnia, and N. Y. Yen (Eds.), "Advanced Multimedia and Ubiquitous Engineering - Future Information Technology," Lecture Notes in Electrical Engineering, Vol. 354, pp. 25-32, Springer, Heidelberg, July 2015.

2014年

  1. De Su, Yuichi Goto, and Jingde Cheng: Development of a General-Purpose E-Voting Server, Journal of Computer and Communications, Vol. 2, No. 2, pp. 97-100, Scientific Research Publication, January 2014.

  2. Yuichi Goto, Liqing Xu, Ning Zhang, and Jingde Cheng: User Management in Information Security Engineering Environment ISEE, 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, Heidelberg, May 2014.

  3. Liqing Xu, Yuichi Goto, Ahamad 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. 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, Heidelberg, May 2014.

  4. Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Research on Automated Theorem Finding: Current State and Future Directions, in J. J. Park, Y. Pan, C.-S. Kim, and Y. Yan (Eds.), "Future Information Technology, FutureTech 2014," Lecture Notes in Electrical Engineering, Vol. 309, pp 105-110, Springer, Heidelberg, May 2014.

  5. 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.-S. Kim, and Y. Yan (Eds.), "Future Information Technology, FutureTech 2014," Lecture Notes in Electrical Engineering, Vol. 309, pp 195-201, Springer, Heidelberg, May 2014.

  6. 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.-S. Kim, and Y. Yan (Eds.), "Future Information Technology, FutureTech 2014," Lecture Notes in Electrical Engineering, Vol. 309, pp 211-218, Springer, Heidelberg, May 2014.

  7. 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.

  8. Yuichi Goto, Huilin Chen, and Da Bao: Aspect-Oriented Reuse Mechanism for Security Targets and Protection Profiles, Proceedings of the 5th IEEE International Conference on Software Engineering and Service Science (ICSESS 2014), pp. 161-164, Beijing, China, IEEE press, June 2014.

  9. Yuan Zhou, Yuichi Goto, Jingde Cheng: QSL: A Specification Language for E-questionnaire Systems, Proceedings of the 5th IEEE International Conference on Software Engineering and Service Science (ICSESS 2014), pp. 224-230, Beijing, China, IEEE press, June 2014.

  10. 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.

  11. Hongbiao Gao, Yuichi Goto, and Jingde Cheng: A Systematic Methodology for Automated Theorem Finding, Theoretical Computer Science, Vol. 554, pp. 2-21, Elsevier, October 2014.

  12. Ahmad Iqbal Hakim Suhaimi, Da Bao, Yuichi Goto, and Jingde Cheng: Development of An Information Security Management Engineering Environment ISMEE, in J. J. Park, et al. (Eds.), "Computer Science and its Applications, Ubiquitous Information Technologies," Lecture Notes in Electrical Engineering, Vol. 330, pp. 1325-1330, Springer, Heidelberg, December 2014.

  13. Ahmad Iqbal Hakim Suhaimi, Da Bao, Huilin Chen, and Jingde Cheng: Usefulness of ISMEE for Supporting Organizations with ISMSs, in J. J. Park, et al. (Eds.), "Computer Science and its Applications, Ubiquitous Information Technologies," Lecture Notes in Electrical Engineering, Vol. 330, pp. 1331-1336, Springer, Heidelberg, December 2014.

  14. Da Bao, Yuichi Goto, and Jingde Cheng: Predicting New Attacks for Information Security, in J. J. Park, et al. (Eds.), "Computer Science and its Applications, Ubiquitous Information Technologies," Lecture Notes in Electrical Engineering, Vol. 330, pp. 1353-1358, Springer, Heidelberg, December 2014.

  15. Huilin Chen, Da Bao, Yuichi Goto, and Jingde Cheng: A Supporting Environment for IT System Security Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045, in J. J. Park, et al. (Eds.), "Computer Science and its Applications, Ubiquitous Information Technologies," Lecture Notes in Electrical Engineering, Vol. 330, pp. 1359-1366, Springer, Heidelberg, December 2014.

  16. Kai Shi, Kazunori Wagatsuma, Yuichi Goto, and Jingde Cheng: World Model, Predictive Model, and Behavioral Model of an Anticipatory Reasoning-Reacting System for Runway Incursion Prevention, International Journal of Computing Anticipatory Systems, Vol. 28, pp. 67-88, CHAOS, December, 2014.

  17. Kai Shi, Yuichi Goto, and Jingde Cheng: A Software Development Framework for Various Anticipatory Reasoning-Reacting Systems, International Journal of Computing Anticipatory Systems, Vol. 28, pp. 95-107, CHAOS, December, 2014.

2013年

  1. 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 (Subseries of Lecture Notes in Computer Science), Vol. 7802, pp. 117-126, Springer, March 2013.

  2. 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.

  3. Liqing Xu, Bo Wang, Ning Zhang, Yuichi Goto, Jingde Cheng: Providing Users With Suitable Services of Information Security Engineering Cloud Based on ISO/IEC 15408, Proceedings of the 4th IEEE International Conference on Software Engineering and Service Science (ICSESS 2013), pp. 321-325, Beijing, China, IEEE press, May 2013.

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

  5. Kai Shi, Bo Wang, Yuichi Goto, Zhiliang Zhu, Jingde Cheng: An Anticipatory Reasoning-Reacting System for Defending Against Malice Anticipatorily, Proceedings of the 4th IEEE International Conference on Software Engineering and Service Science (ICSESS 2013), pp. 732-737, Beijing, China, IEEE press, May 2013.

  6. Hongbiao Gao, Kai Shi, Yuichi Goto, 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, 19th International Conference, COCOON 2013, Hangzhou, China, June 21-23, 2013. Proceedings," Lecture Notes in Computer Science, Vol. 7936, pp. 697-704, Springer-Verlag, June 2013.

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

  8. Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, and Jingde Cheng: Development of a Supporting Tool for Translation between Declarative Sentences and Logical Formulas, Proceedings of the 12th International Conference on Machine Learning and Cybernetics (ICMLC 2013), pp. 1179-1184, Tianjin, China, The IEEE Systems, Man, and Cybernetics Society, July 2013.

  9. Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, and Jingde Cheng: An Analysis of Software Supportable Tasks in Information Security Management System Life Cycle Processes, Proceedings of International Conference on Information and Social Science (ISS 2013), pp. 29-58, Nagoya, Japan, September 2013.

  10. Hongbiao Gao, Yuichi Goto, and Jingde Cheng: Automated Theorem Finding by Forward Deduction based on The Semi-lattice Model of Formal Theory: A Case Study in NBG Set, Proceedings of the 9th International Conference on Semantics, Knowledge and Grid (SKG 2013), pp. 22 - 29, Beijing, China, IEEE Computer Society Press, October 2013.

  11. 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.

  12. Ning Zhang, Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, and Jingde Cheng: An Analysis of Software Supportable Tasks Related with ISO/IEC 15408, Proceedings of the 9th International Conference on Computational Intelligence and Security (CIS 2013), E'Mei Shan, China, pp. 601-606, IEEE Computer Society Press, December 2013.

  13. Ning Zhang, Da Bao, Liqing Xu, A.I.H Suhaimi, Junichi Miura, Yuichi Goto, and Jingde Cheng: Supporting Tools for Software Supportable Tasks Related with ISO/IEC 15408, Proceedings of the 2nd International Conference on Mechatronic Sciences, Electric Engineering and Computer (MEC 2013), Shenyang, China, pp. 2002-2006, IEEE Press, December 2013.

  14. Da Bao, Junichi Miura, Ning Zhang, Yuichi Goto, and Jingde Cheng: Supporting Verification and Validation of Security Targets with ISO/IEC 15408, Proceedings of the 2nd International Conference on Mechatronic Sciences, Electric Engineering and Computer (MEC 2013), Shenyang, China, pp. 2621-2628, IEEE Press, December 2013.

2012年

  1. Quazi Mahera Jabeen, Muhammad Anwarul Azim, Yuichi Goto, and Jingde Cheng: Continuous Functioning of Soft System Bus Based Centralized Persistent Computing Systems, International Journal of New Computer Architectures and their Applications, Vol. 2, No. 2, pp. 362-381, The Society of Digital Information and Wireless Communications, April 2012.

  2. Jingde Cheng, Masami Someya, Koichi Nanashima, and Yuichi Goto: Dynamic Reconfiguration of Persistent Computing Systems Based on Soft System Bus, Proceedings of the 2nd IEEE International Conference on Computer Science and Automation Engineering (CSAE 2012), Vol. 2, pp. 368-372, Zhangjiajie, China, IEEE press, May 2012.

  3. Bo Wang, Kai Shi, Yuichi Goto, and Jingde Cheng: Generation of System Dependence Nets for Ada 2005 Programs, Proceedings of the 2nd IEEE International Conference on Computer Science and Automation Engineering (CSAE 2012), Vol. 3, pp. 401-406, Zhangjiajie, China, IEEE press, May 2012.

  4. 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, Proceedings of the 3rd IEEE International Conference on Software Engineering and Service Science (ICSESS 2012), pp. 745-749, Beijing, China, IEEE press, June 2012.

  5. Liqing Xu, Kai Shi, Yuichi Goto, and Jingde Cheng: ISEC: An Information Security Engineering Cloud, Proceedings of the 3rd IEEE International Conference on Software Engineering and Service Science (ICSESS 2012), pp. 750-753, Beijing, China, IEEE press, June 2012.

  6. 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-Verlag, July 2012.

  7. 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-Verlag, July 2012.

  8. 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-Verlag, July 2012.

  9. Hongbiao Gao, Kai Shi, Yuichi Goto, and Jingde Cheng: Automated Theorem Finding by Forward Deduction Based on Strong Relevant Logic: A Case Study in NBG Set Theory, Proceedings of the 11th International Conference on Machine Learning and Cybernetics (ICMLC 2012), pp. 1859-1865, Xian, China, The IEEE Systems, Man, and Cybernetics Society, July 2012.

  10. Kazunori Wagatsuma, Yuichi Goto, and Jingde Cheng: Formal Analysis of Cryptographic Protocols by Reasoning Based on Deontic Relevant Logic: A Case Study in Needham-Schroeder Shared-Key Protocol, Proceedings of the 11th International Conference on Machine Learning and Cybernetics (ICMLC 2012), pp. 1866-1871, Xian, China, The IEEE Systems, Man, and Cybernetics Society, July 2012.

  11. Yuichi Goto, Hongbiao Gao, Takahiro Tsuji, and Jingde Cheng: Practical Usage of FreeEnCal: an Automated Forward Reasoning Engine for General-Purpose, Proceedings of the 11th International Conference on Machine Learning and Cybernetics (ICMLC 2012), pp. 1878-1883, Xian, China, The IEEE Systems, Man, and Cybernetics Society, July 2012.

  12. Ahmad Iqbal Hakim Suhaimi, Yuichi Goto, and Jingde Cheng: An Engineering Environment for Supporting Information Security Management Systems, in T. Kim, et al. (Eds.), "Computer Applications for Security, Control and System Engineering, International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings," Communications in Computer and Information Science, Vol. 339, pp. 30-37, Springer-Verlag, November 2012.

2011年

  1. Muhammad Anwarul Azim, Yuichi Goto, and Jingde Cheng: Security Analysis of Peer-to-Peer based Soft System Bus Based System, International Journal of Computer Science and Network Security, Vol. 11, No. 2, pp. 164-172, February 2011.

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

  3. Kai Shi, Kazunori Wagatsuma, Yuichi Goto, and Jingde Cheng: World Model, Predictive Model, and Behavioral Model of an Anticipatory Reasoning-Reacting System for Runway Incursion Prevention, Abstract Book of the Tenth International Conference on Computing Anticipatory Systems (CASYS '11), Symposium 4, p. 4, Liege, Belgium, CHAOS, August 2011.

  4. Kai Shi, Yuichi Goto, and Jingde Cheng: A Framework for Various Anticipatory Reasoning-Reacting Systems Abstract Book of the Tenth International Conference on Computing Anticipatory Systems (CASYS '11), Symposium 4, p. 10, Liege, Belgium, CHAOS, August 2011.

  5. Dancheng Li, Chunyan Han, Yixian Liu, Kai Shi, Zhiliang Zhu, and Jingde Cheng: Application of Deontic Epistemic Relevant Logic for Air Traffic Control, Abstract Book of the Tenth International Conference on Computing Anticipatory Systems (CASYS '11), Symposium 9, p. 6, Liege, Belgium, CHAOS, August 2011.

  6. 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, et al. (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-Verlag, November 2011.

  7. Quazi Mahera Jabeen, Muhammad Anwarul Azim, Yuichi Goto, and Jingde Cheng: A Design of Centralized Persistent Computing Systems, in A. Abd Manaf, et al. (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-Verlag, November 2011. (Best Paper Award)

2010年

  1. 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.

  2. Takahiro Koh, Yuichi Goto, and Jingde Cheng: Fast Anticipatory Reasoning for Computing Anticipatory Systems, International Journal of Computing Anticipatory Systems, Vol. 24, pp. 42-53, CHAOS, 2010.

  3. 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, 2010.

2009年

  1. Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Shelia Azreen, Yuichi Goto, and Jingde Cheng: FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408, Proceedings of the 4th International Conference on Availability, Reliability and Security (ARES '09), pp. 624-629, Fukuoka, Japan, IEEE Computer Society Press, March 2009.

  2. Youcheng Chen, Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: An Improvement of REM: A Replication Oriented Event-based Middleware, Proceedings of the 4th International Conference on Availability, Reliability and Security (ARES '09), pp. 641-646, Fukuoka, Japan, IEEE Computer Society Press, March 2009.

  3. Daisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto, and Jingde Cheng: GEST: A Generator of ISO/IEC 15408 Security Target Templates, in R. Lee, G. Hu, and H. Miao (Eds.), "Computer and Information Science 2009," Studies in Computational Intelligence, Vol. 208, pp. 149-158, Springer-Verlag, May 2009.

  4. Daisuke Horie, Toshio Kasahara, Yuichi Goto, and Jingde Cheng: A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems, Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS '09), pp. 897-902, Shanghai, China, IEEE Computer Society Press, June 2009.

  5. Natsumi Kitajima, Yuichi Goto, and Jingde Cheng: Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control, in E. Corchado, X. Wu, and E. Oja (Eds.), "Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09, Salamanca, Spain, June 10-12, Proceedings," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 5572, pp. 68-76, Springer-Verlag, June 2009.

  6. Jingde Cheng, Yuichi Goto, and Daisuke Horie: ISEE: An Information Security Engineering Environment, Proceedings of International Conference on Security and Cryptography (SECRYPT '09), pp. 395-400, Milan, Italy, INSTICC Press, July 2009.

  7. Takahiro Koh, Yuichi Goto, and Jingde Cheng: Fast Anticipatory Reasoning for Computing Anticipatory Systems, Abstract Book of the Ninth International Conference on Computing Anticipatory Systems (CASYS '09), Symposium 4, p. 5, Liege, Belgium, CHAOS, August 2009.

  8. Yuichi Goto, Ryota Kuboniwa, and Jingde Cheng: Development and Maintenance Environment for Anticipatory Reasoning-Reacting Systems, Abstract Book of the Ninth International Conference on Computing Anticipatory Systems (CASYS '09), Symposium 4, p. 8, Liege, Belgium, CHAOS, August 2009.

  9. Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, and Ahmad Iqbal, Development of ISEE: An Information Security Engineering Environment, Proceedings of the 7th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA '09), pp. 505-510, Chengdu, China, IEEE Computer Society Press, August 2009.

  10. Ahmad Iqbal, Daisuke Horie, Yuichi Goto, and Jingde Cheng: A Database System for Effective Utilization of ISO/IEC 27002, Proceedings of the 4th International Conference on Frontier of Computer Science and Technology (FCST '09), pp. 607-612, Shanghai, China, IEEE Computer Society Press, December 2009.

2008年

  1. 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-Verlag, January 2008.

  2. 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.

  3. Natsumi Kitajima, Yuichi Goto, and Jingde Cheng: Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems, Proceedings of the 3rd International Conference on Availability, Reliability and Security (ARES '08), pp. 171-178, Barcelona, Spain, IEEE Computer Society Press, March 2008.

  4. Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, and Jingde Cheng: ISEDS: An Information Security Engineering Database System Based on ISO Standards, Proceedings of the 3rd International Conference on Availability, Reliability and Security (ARES '08), pp. 1219-1225, Barcelona, Spain, IEEE Computer Society Press, March 2008.

  5. K. H. S. Sabaragamu Koralalage and Jingde Cheng: A Comparative Study of RFID Solutions for Security and Privacy: POP vs. Previous Solutions, Proceedings of the 2nd International Conference on Information Security and Assurance (ISA '08), pp. 342-349, Busan, Korea, IEEE Computer Society Press, April 2008.

  6. 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, Proceedings of the 2nd International Conference on Information Security and Assurance (ISA '08), pp. 350-354, Busan, Korea, IEEE Computer Society Press, April 2008.

  7. Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: Ensuring Reliability and Availability of Soft System Bus, Proceedings of the 2nd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI '08), pp. 52-59, Yokohama, Japan, The IEEE Reliability Society and The IEEE Systems, Man, and Cybernetics Society, July 2008.

  8. Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: A Low Cost and Resilient Message Queuing Middleware, International Journal of Computer Science and Network Security, Vol. 8, No. 8, pp. 225-237, August 2008.

  9. Takahiro Koh, Yuichi Goto, and Jingde Cheng: A Fast Duplication Checking Algorithm for Forward Reasoning Engines, 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," Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 5178, pp. 499-507, Springer-Verlag, September 2008.

  10. Yuichi Goto, Takahiro Koh, and Jingde Cheng: A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations, 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), Vol. 5178, pp. 526-535, Springer-Verlag, September 2008.

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

  12. Natsumi Kitajima, Shisuke Nara, Yuichi Goto, and Jingde Cheng: A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems, International Journal of Computing Anticipatory Systems, Vol. 20, pp. 177-190, CHAOS, December 2008.

  13. Yuichi Goto, Takumi Endo, and Jingde Cheng: Continuous Reactability of Persistent Computing Systems, International Journal of Computing Anticipatory Systems, Vol. 20, pp. 219-229, CHAOS, December 2008.

2007年

  1. 染谷 雅美, Mohammad Reza Selim, 後藤 祐一, 程 京徳: 動的再構成の観点からのソフトシステムバスとエンタープライズサービスバスの比較, 情報処理学会ソフトウェア工学研究会(SIGSE) 2007年ウィンターワークショップ(WWS '07)論文集, 情報処理学会シンポジウムシリーズ Vol. 2007, No. 2, pp. 77-78, 那覇, 日本, 情報処理学会, 2007年1月.

  2. Ying Gao and Jingde Cheng: Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction, 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. 61-71, Elsevier B.V., March 2007.

  3. K. H. S. Sabaragamu Koralalage, Mohammed 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, Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC '07), pp. 270-275, Seoul, Korea, ACM Press, March 2007.

  4. Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng: Formal Verification of Security Specifications with Common Criteria, Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC '07), pp. 1506-1512, Seoul, Korea, ACM Press, March 2007.

  5. Isao Takahashi, Shinsuke Nara, Yuichi Goto, and Jingde Cheng: EPLAS: An Epistemic Programming Language for All Scientists, 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 I," Lecture Notes in Computer Science, Vol. 4487, pp. 406-413, Springer-Verlag, May 2007.

  6. Mohammad Reza Selim, Takumi Endo, Yuichi Goto, and Jingde Cheng: Distributed Hash Table Based Design of Soft System Buses, Proceedings of the 2nd International Conference on Scalable Information Systems (INFOSCALE '07), ACM International Conference Proceeding Series, Vol. 304, Suzhou, China, ACM Press, June 2007.

  7. 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-Verlag, June 2007.

  8. Natsumi Kitajima, Shisuke Nara, Yuichi Goto, and Jingde Cheng: A Deontic Relevant Logic Approach to Reasoning about Actions in Computing Anticipatory Systems, Abstract Book of Eighth International Conference on Computing Anticipatory Systems (CASYS '07), Symposium 2, p. 12, Liege, Belgium, CHAOS, August 2007.

  9. Yuichi Goto, Takumi Endo, and Jingde Cheng: Continuous Reactability of Persistent Computing Systems, Abstract Book of Eighth International Conference on Computing Anticipatory Systems (CASYS '07), Symposium 4, p. 11, Liege, Belgium, CHAOS, August 2007.

  10. Jingde Cheng, Yuichi Goto, and Natsumi Kitajima: Anticipatory Reasoning about Mobile Objects in Anticipatory Reasoning-Reacting Systems, Abstract Book of Eighth International Conference on Computing Anticipatory Systems (CASYS '07), Symposium 4, p. 13, Liege, Belgium, CHAOS, August 2007. (Best Paper Award)

  11. 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 情報処理学会論文誌, Vol. 48, No. 8, pp. 2684-2698, 情報処理学会, 2007年8月.

  12. 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), Vol. 4693, pp. 444-452, Springer-Verlag, September 2007.

  13. 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), Vol. 4693, pp. 840-851, Springer-Verlag, September 2007.

  14. Mohammad Reza Selim, Yuichi Goto, and Jingde Cheng: A Replication Oriented Approach to Event Based Middleware Over Structured Peer to Peer Networks, Proceedings of the 5th International Workshop on Middleware for Pervasive and Ad-Hoc Computing: held at the ACM/IFIP/USENIX 8th International Middleware Conference (MPAC 2007), pp. 61-66, Newport Beach, USA, ACM Press, November 2007.

  15. 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-Verlag, December 2007.

  16. 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, Proceedings of the 2nd IEEE Asia-Pacific Services Computing Conference (APSCC '07), pp. 187-194, Tsukuba, Japan, IEEE Computer Society Press, December 2007. (Best Paper Award)

2006年

  1. 後藤 祐一, 遠藤 匠, 染谷 雅美, 高橋 勲男, 程 京徳: 人の集まりを支援するツールQWikS（クウィックス）(ポスター論文), 情報処理学会第47回プログラミング・シンポジウム報告集, pp. 175-176, 箱根, 日本, 情報処理学会, 2006年1月.

  2. 通 拉ガ, 染谷 雅美, 後藤 祐一, 程 京徳: Webアプリケーションシステムにおける パフォーマンスボトルネックの分類と考察, 情報処理学会ソフトウェア工学研究会(SIGSE) 2006年ウィンターワークショップ(WWS '06)論文集, 情報処理学会シンポジウムシリーズ Vol. 2006, No. 2, pp. 39-40, 鴨川, 日本, 情報処理学会, 2006年1月.

  3. 染谷 雅美, 内海 悠輔, 塩野入 彩香, 後藤 祐一, 程 京徳: ユビキタスサービスのための汎用電子アンケートサーバ ENQUETE-BAISE, 情報処理学会ソフトウェア工学研究会(SIGSE) 2006年ウィンターワークショップ(WWS '06)論文集, 情報処理学会シンポジウムシリーズ Vol. 2006, No. 2, pp. 41-42, 鴨川, 日本, 情報処理学会, 2006年1月.

  4. 森本 祥一, 程 京徳: UMLによるプロテクションプロファイルのモデル化とその形式的検証, 電子情報通信学会論文誌「情報・システム」, Vol. J89-D, No. 4 (フォーマルアプローチ論文特集号), pp. 726-742, 電子情報通信学会, 2006年4月.

  5. Jingde Cheng and Junichi Miura: Deontic Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning about Information Security and Information Assurance, Proceedings of the 1st International Conference on Availability, Reliability and Security (ARES '06), pp. 601-608, Vienna, Austria, IEEE Computer Society Press, April 2006.

  6. Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng: A Security Specification Verification Technique Based on the International Standard ISO/IEC 15408, Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC '06), pp. 1802-1803, Dijon, France, ACM Press, April 2006.

  7. 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-Verlag, May 2006.

  8. Daisuke Horie, Shoichi Morimoto, and Jingde Cheng: A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408, in V. N. Alexandrov et al. (Eds.), "Computational Science - ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV," Lecture Notes in Computer Science, Vol. 3994, pp. 797-804, Springer-Verlag, May 2006.

  9. 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.

  10. 森本 祥一, 重松 真二郎, 後藤 祐一, 程 京徳: ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法, 日本ソフトウェア科学会「コンピュータソフトウェア」, Vol. 23, No. 3, pp. 117-133, 日本ソフトウェア科学会, 2006年7月.

  11. Jingde Cheng, Yuichi Goto, Masami Someya, and Takumi Endo: Persistent Computing Systems as an Infrastructure for Pervasive Services, Proceedings of the 1st International Symposium on Pervasive Computing and Applications (SPCA '06), pp. 104-109, Urumchi, China, IEEE press, August 2006.

  12. 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 満田 成紀・羽生田 栄一編, ソフトウェアエンジニアリング最前線2006, pp. 59-66, 近代科学社, 2006年10月.

  13. 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 2006: OTM 2006 Workshops, Montpellier, France, October 29 - November 3, 2006, Proceedings, Part II," Lecture Notes in Computer Science, Springer-Verlag, Vol. 4278, pp. 1264-1273, October 2006.

  14. Jingde Cheng, Shinsuke Nara, Takahiro Koh, and Yuichi Goto: The Theory Grid and Grid Theorists, Proceedings of the 2nd International Conference on Semantics, Knowledge and Grid (SKG '06), Guilin, China, IEEE Computer Society Press, November 2006.

  15. 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.

  16. Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto, and Jingde Cheng: An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems, International Journal of Computing Anticipatory Systems, Vol. 18, pp. 225-234, CHAOS, December 2006.

2005年

  1. Yasushi Tojo, Shinsuke Nara, Yuichi Goto, and Jingde Cheng: Tasking Deadlocks in Programs with the Full Ada 95, ACM Ada Letters, Vol. 25, No. 1, pp. 48-56, ACM Press, March 2005.

  2. 森本 祥一, 重松 真二郎, 程 京徳: ISO/IEC 15408 の形式化に基づく情報セキュリティ仕様の形式的検証法(ポスター論文), 情報処理学会2005年先進的計算基盤システムシンポジウム(SACSIS '05)論文集, 情報処理学会シンポジウムシリーズ Vol. 2005, No. 5, pp. 201-202, つくば, 日本, 情報処理学会, 2005年5月.

  3. 遠藤 匠, 三浦 潤一, 七島 功一, 森本 祥一, 後藤 祐一, 程 京徳: 永続コンピューティング環境を実現する ソフトシステムバスパッケージの基本要求と機能(ポスター論文), 情報処理学会2005年先進的計算基盤システムシンポジウム(SACSIS '05)論文集, 情報処理学会シンポジウムシリーズ Vol. 2005, No. 5, pp. 209-210, つくば, 日本, 情報処理学会, 2005年5月.

  4. 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, Springel-Verlag, May 2005.

  5. 奈良 信介, 後藤 祐一, 程 京徳: 並列化による前向き演繹エンジンの高速化, 情報処理学会論文誌「数理モデル化と応用」, Vol. 46, No. SIG10 (TOM12), pp. 19-29, 情報処理学会, 2005年6月.

  6. Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng: Security Issues in Persistently Reactive Systems (Fast Abstract), Supplement of the 2005 International Conference on Dependable Systems and Networks (DSN '05), pp. 56-57, Yokohama, Japan, IEEE Computer Society Press, June 2005.

  7. Shoichi Morimoto, Shinjiro Shigematsu, and Jingde Cheng: A Formal Method for Verifying Security Specifications Based on International Standard ISO/IEC 15408 (Fast Abstract), Supplement of the 2005 International Conference on Dependable Systems and Networks (DSN '05), pp. 62-63, Yokohama, Japan, IEEE Computer Society Press, June 2005.

  8. Junichi Miura and Jingde Cheng: A Reasoning Approach to Security Analysis (Fast Abstract), Supplement of the 2005 International Conference on Dependable Systems and Networks (DSN '05), pp. 44-45, Yokohama, Japan, IEEE Computer Society Press, June 2005.

  9. Feng Shang, Shinsuke Nara, Takashi Omi, Yuichi Goto, and Jingde Cheng: A Prototype Implementation of an Anticipatory Reasoning-Reacting System, Abstract Book of the Seventh International Conference on Computing Anticipatory Systems (CASYS '05), Symposium 4, p. 4, Liege, Belgium, CHAOS, August 2005.

  10. Jingde Cheng and Feng Shang: Persistent Computing Systems as an Infrastructure of Computing Anticipatory Systems, Abstract Book of the Seventh International Conference on Computing Anticipatory Systems (CASYS '05), Symposium 4, p. 16, Liege, Belgium, CHAOS, August 2005.

  11. Shinsuke Nara, Feng Shang, Takashi Omi, Yuichi Goto, and Jingde Cheng: An Anticipatory Reasoning Engine for Anticipatory Reasoning-Reacting Systems, Abstract Book of the Seventh International Conference on Computing Anticipatory Systems (CASYS '05), Symposium 5, p. 5, Liege, Belgium, CHAOS, August 2005.

  12. Shinsuke Nara, Takashi Omi, Yuichi Goto, and Jingde Cheng: A General-purpose Forward Deduction Engine for Modal Logics, 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. 739-745, Springer-Verlag, September 2005.

  13. 森本 祥一, 重松 真二郎, 後藤 祐一, 程 京徳: ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法, 第二回システム検証の科学技術シンポジウム予稿集, pp. 12-23, 大阪, 日本, 2005年10月.

  14. Shoichi Morimoto and Jingde Cheng: Patterning Protection Profiles by UML for Security Specifications, Proceedings of the 2005 International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC '05), Vol. II, pp. 946-951, Vienna, Austria, IEEE Computer Society Press, November 2005.

  15. 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-Verlag, December 2005.

  16. 森本 祥一, 堀江 大輔, 程 京徳: ISO/IEC 15408に基づく情報セキュリティ要求管理データベース, 日本データベース学会Letters, Vol. 4, No. 3, pp. 13-16, 日本データベース学会, 2005年12月.

2004年

  1. 七島 功一, 後藤 祐一, 程 京徳: ソフトシステムバスの実現について -- ユビキタスコンピューティングのための永続システムを目指して, 情報処理学会2004年情報学シンポジウム論文集, pp. 77-80, 東京, 日本, 情報処理学会, 2004年1月.

  2. 後藤 祐一, 小出 雅人, 長濱 圭吾, 程 京徳: ENQUETE-BAISE: ユビキタスアンケートのための汎用電子アンケートサーバ, 情報処理学会2004年情報学シンポジウム論文集, pp. 81-84, 東京, 日本, 情報処理学会, 2004年1月.

  3. 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-Verlag, November 2004.

  4. Feng Shang and Jingde Cheng: Towards Implementation of Anticipatory Reasoning-Reacting System, International Journal of Computing Anticipatory Systems, Vol. 14, pp. 93-109, CHAOS, December 2004.

  5. Yuichi Goto, Shinsuke Nara, and Jingde Cheng: Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security, International Journal of Computing Anticipatory Systems, Vol. 14, pp. 156-171, CHAOS, December 2004.

2003年

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

  2. 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.

  3. Feng Shang and Jingde Cheng: Towards Implementation of Anticipatory Reasoning-Reacting System as a Quasi-anticipatory Computing System, Abstract Book of the Sixth International Conference on Computing Anticipatory Systems (CASYS '03), Symposium 1, p. 10, Liege, Belgium, CHAOS, August 2003.

  4. Yuichi Goto, Shinsuke Nara, and Jingde Cheng: Efficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security, Abstract Book of the Sixth International Conference on Computing Anticipatory Systems (CASYS '03), Symposium 2, p. 11, Liege, Belgium, CHAOS, August 2003.

  5. Ru Lu, Feng Shang, Yuichi Goto, and Jingde Cheng: A Digital Reference Room for E-learning, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST '03), pp. 17-21, Honjo, Japan, September 2003.

  6. Naoki Akimoto and Jingde Cheng: An Educational Game for Teaching and Learning Concurrency, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST '03), pp. 34-39, Honjo, Japan, September 2003.

  7. Feng Shang and Jingde Cheng: Implementation Issues of Anticipatory Reasoning-Reacting Systems, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST '03), pp. 60-68, Honjo, Japan, September 2003.

  8. Yuichi Goto, Takahiro Koh, and Jingde Cheng: A Comparative Study on Paradoxical Conditionals in Classical Mathematical Logic and Strong Relevant Logics, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST '03), pp. 69-75, Honjo, Japan, September 2003.

  9. Shinsuke Nara, Yuichi Goto, and Jingde Cheng: Efficient Forward Deduction for Discovery and Prediction by Parallel Processing, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST '03), pp. 76-82, Honjo, Japan, September 2003.

  10. Xiaobin Wang, Yuichi Goto, Shinsuke Nara, and Jingde Cheng: Automated Theorem Finding by Forward Deduction Based on Strong Relevant Logic: A Case Study in NBG Set Theory, Proceedings of the 1st International Conference on Knowledge Economy and Development of Science and Technology (International Workshop on Research Directions and Challenge Problems in Advanced Information Systems Engineering) (KEST '03), pp. 83-91, Honjo, Japan, September 2003.

  11. 奈良 信介, 後藤 祐一, 程 京徳: 並列化による推論エンジンの効率化, 情報処理学会第10回数理モデル化と問題解決シンポジウム論文集 -- 並列・分散処理による問題解決, 情報処理学会シンポジウムシリーズ Vol. 2003, No. 14, pp. 101-108, 京都, 日本, 情報処理学会, 2003年10月.

2002年

  1. 七島 功一, 後藤 祐一, 程 京徳: システムバスを用いた反応的システムの構築法, 情報処理学会ソフトウェア工学研究会(SIGSE) 2002年ウィンターワークショップ(WWS '02)論文集, 情報処理学会シンポジウムシリーズ Vol. 2002, No. 2, pp. 15-16, 伊東, 日本, 情報処理学会, 2002年1月.

  2. Romi S. Wahono, Behrouz H. Far, and Jingde Cheng: A Methodology for Identifying and Refining Objects from the Software Requirements Based on Object-Based Formal Specification, 情報処理学会ソフトウェア工学研究会(SIGSE) 2002年ウィンターワークショップ(WWS '02)論文集, 情報処理学会シンポジウムシリーズ Vol. 2002, No. 2, pp. 25-26, 伊東, 日本, 情報処理学会, 2002年1月.

  3. 後藤 祐一, 劉 欣, 小出 雅人, 高橋 大介, 程 京徳: 電子投票・アンケートはe-サービスになれるか, 情報処理学会ソフトウェア工学研究会(SIGSE) 2002年ウィンターワークショップ(WWS '02)論文集, 情報処理学会シンポジウムシリーズ Vol. 2002, No. 2, pp. 63-64, 伊東, 日本, 情報処理学会, 2002年1月.

  4. Masato Koide and Jingde Cheng: A Toolkit for Developing Programs of Card Games Played on the Internet, Workshop Notes of the 1st IFIP International Workshop on Entertainment Computing 2002 (IWEC '02), pp. 44-51, Makuhari, Japan, IFIP, May 2002.

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

  6. Yuichi Goto, Daisuke Takahashi, and Jingde Cheng: Improving Performance of Automated Forward Deduction System EnCal on Shared-Memory Paralell Computers, Proceedings of the 3rd International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT '02), pp. 63-68, Kanazawa, Japan, September 2002.

  7. Jingde Cheng and Yuichi Goto: A Strong Relevant Logic Approach to the Calculus of Fuzzy Conditionals, in D. Ruan, P. D'hondt, and E. E. Kerre (Ed.), "Computational Intelligent Systems for Applied Research: Proceedings of the 5th International FLINS Conference, Gent, Belgium, September 16-18, 2002," World Scientific, September 2002.

  8. Shinsuke Nara, Yuichi Goto, Daisuke Takahashi, and Jingde Cheng: Parallel Forward Deduction System for General-Purpose Entailment Calculus on Clusters of PCs, Proceedings of the IASTED International Conference on Networks, Parallel and Distributed Processing, and Applications (NPDPA '02), pp. 359-364, Tsukuba, Japan, IASTED, October 2002.

  9. Romi S. Wahono and Jingde Cheng: Extensible Requirement Patterns of Web Application for Efficient Web Application Development, Proceedings of the 1st International Symposium on Cyber Worlds: Theories and Practices (CW '02), pp. 412-418, Tokyo, Japan, IEEE Computer Society Press, November 2002.

  10. Jingde Cheng and Kouichi Nanashima: System Bus: A Mechanism for Designing, Developing and Maintaining Reconfigurable Reactive Systems, Proceedings of the International Conference on Systems, Development and Self-organization (ICSDS '02), pp. 232-236, Beijing, China, November 2002.

2001年

  1. Yuichi Goto, Daisuke Takahashi and Jingde Cheng: Parallel Forward Deduction Algorithms of General-Purpose Entailment Calculus on Shared-Memory Parallel Computers, Proceedings of the 2nd ACIS International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD '01), pp. 168-175, Nagoya, Japan, ACIS, August 2001.

  2. 小出 雅人, 程 京徳: インターネット上でカードゲームを行うための汎用プロトコル群の開発, 情報処理学会ゲーム情報学研究会(SIGGI) 第6回ゲームプログラミングワークショップ(GPW '01)論文集, 情報処理学会シンポジウムシリーズ Vol. 2001, No. 14, pp. 78-85, 箱根, 日本, 情報処理学会, 2001年10月.

  3. Hassan Hajji, Behrouz H. Far, and Jingde Cheng: Detection of Network Faults and Performance Problems, インターネットコンファレンス2001(IC '01)論文集, pp. 159-168, 大阪, 日本, 2001年11月. (論文賞受賞)

  4. Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata and Jingde Cheng: A Run-Time Deadlock Detector for Concurrent Java Programs, Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC '01), pp. 45-52, Macau, China, IEEE Computer Society Press, December 2001.