- K. Taguchi, N. Yoshioka, T. Tobita, H. Kaneko:
**Aligning Security Requirements and Security Assurance Using the Common Criteria**, in Proceedings of IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI) '10, pp69-77, Singapore (2010)

- T. Okubo, K. Taguchi, N. Yoshioka:
**Misuse cases + Assets + Security Goals**, in Proceedings of IEEE International Conference on Computational Science and Engineering (CSE) '09, pp424-429, Vancouver (2009) - F. Ishikawa, K. Taguchi, N. Yoshioka, S. Honiden:
**What Top-Level Engineers Tackle after Learning Formal Methods -Experiences from the Top SE Project**, in Proceedings of Teaching Formal Methods (TFM) '09, LNCS 5846, Springer, pp57-71, Eindhoven (2009) - F. Ishikawa, K. Taguchi, S. Honiden:
**How Top-Level Engineers Learn and Investigate VDM: Experiences in the Top SE Project**, in Proceedings of the 7th VDM-Overture Workshop '09, pp41-50, Eindhoven (2009) - H. Nishihara, K. Shinozaki, K. Hayamizu, T. Aoki, K. Taguchi, F. Kumeno:
**Model Checking Education for Software Engineers in Japan**, in ACM SIGCSE Bulletin inroads, vol 41, issue 2, June, pp45-50 (2009) - Y. Tahara, N. Yoshioka, K. Taguchi, T. Aoki, S. Honiden:
**Evolution of a Course on Model Checking for Practical Applications**, in ACM SIGCSE Bulletin inroads, vol 41, issue 2, June, pp38-44 (2009)

- Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi and Zian Zhang:
**Specifying and Verifying Sensor Networks: an Experiment of Formal Methods**in Proceedings of the 10th International Conference on Formal Engineering Methods (ICFEM) '08, pp.318-337, LNCS5256, Springer (2008) - Kenji Taguchi, Jin Song Dong:
**Formally specifying and verifying mobile agents - model checking mobility: The MobiOZ approach**in International Journal of Agent-Oriented Software Engineering, Vol. 2:4 pp.449-474 (2008) - Nakagawa, K. Taguchi, S. Honiden:
**Constructing Formal Specifications from Requirements Specifications based on Model Transformation**in Journal of IPSJ Vol.49 No.7 pp.2304-2318 (2008) - Kenji Taguchi and Yasuyuki Tahara:
**Curriculum design and methodology for security requirements analysis**in Progress in Informatics, Special issue: The future of software engineering for security and privacy, No. 5, pp.19-34, (2008) - Cyrille Artho, Kenji Taguchi, Y. Tahara, S. Honiden, Y. Tanabe:
**Teaching Software Model Checking**in Proceedings of Workshop on Formal Methods in Computer Science Education (FORMED) '08, pp171-179 (2008)

- S. Honiden, Y. Tahara, N. Yoshioka, K. Taguchi, H. Washizaki:
**TopSE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan**in Proceedings of IEEE/ACM International Conference on Software Engineering (ICSE) '07, pp708-718 (2007) - H. Nakagawa, K. Taguchi, S. Honiden:
**Formal Specification Generator for KAOS -Model Transformation Approach to Generate Formal Specificatiions from KAOS Requirements Models -**in Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) '07 (Tool Demo), pp.531-532 (2007) - T. Tsumaki, H. Kaiya, Y. Tahara, N. Yoshioka, K. Taguchi, S. Honiden:
**Errors and Misconceptions in Learning i***in the 2nd International Workshop on Requirements Engineering Education and Training (REET) '07 (2007)

- K. Taguchi, J. S. Dong, G. Ciobanu:
**Relating pi-calculus to Object-Z**in Proceedings of IEEE International Conference on Engineering Complex Computer Systems (ICECCS) '04, pp97-106 (2004) - M. Kang, K. Taguchi:
**Modelling Mobile Agent Applications by Extended UML Activity Diagrams**in Proceedings of International Conference on Enterprise Information System (ICEIS) '04, pp519-522 (2004)

- K. Taguchi, J. S. Dong:
**An Overview of Mobile Object-Z**in Proceedings of the 4th International Conference of Formal Engineering Methods (ICFEM), pp144-155, Oct (2002)

- K. Taguchi:
**Integrating the Z Notation and Behavioural Formalisms**Ph-D thesis, Dept. Information Science, Uppsala University, Feb (2001)

- K-K. Lau, . J.K. Filipe, M. Ormaghi, K. Taguchi, H. Yatsu and A. Wills:
**Formal Specification of Catalysis Frameworks**in Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC), IEEE, pp180-187, Dec (2000)

- K. Araki, A. Galloway and K. Taguchi (editors):
**Proceedings of the first international conference on Integrated Formal Methods**Springer (London) (1999) - S. Takata, K. Taguchi, K. Joe, A. Fukuda:
**Specification and Verification of Memory Consistency Models for Shared-Memory Multiprocessor Systems**in Transactions on Mathematical Modelling and Problem Solving, Information Processing Society of Japan, vol. 40, No. SIG2 (TOM1), pp33-44, Feb (1999) - S. Takata, K. Taguchi, K. Joe, A. Fukuda:
**Implementation and Formal Specification of Release Consistency Models**in Transactions on Mathematical Modelling and Problem Solving, Information Processing Society of Japan, vo. 40, No. SIG9 (TOM2), pp1-17, Dec (1999) (in Japanese)

- S. Takata, K. Taguchi, K. Joe, A. Fukuda:
**Specification and Verification of Memory Consistency Models for Shared-Memory Multiprocessor Systems**in Proceedings of International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA) '98, pp923-930 CSREA Press(1998) - P. Yugopuspito, K. Taguchi, K. Araki:
**Formalizing IDEF1X in Z Specification**in Proceedings of International Symposium on Future Software Technology (ISFST) '98, Software Engineers Association, pp15-20 (1998) - K. Taguchi:
**An Introduction to Formal Methods for OO Engineers**A Mini Tutorial given at National Symposium on Object-Orientation '98, in Proceedingss of OO Symposium'98, pp222-227, Asakura Shoten (in Japanese) (1998) - K. Taguchi, K. Araki:
**A Calculus based on the Agent-Place Model**in Proceedings of International Conference of Formal Engineering Methods (ICFEM) '98, IEEE, pp56-63 (1998)

- K. Taguchi, K. Araki:
**The State-based CCS Semantics for Concurrent Z Specification**in Proceedings of International Conference of Formal Engineering Methods (ICFEM), pp283-292, IEEE (1997) - T. Tanaka, H-M. Chang, K. Taguchi, K. Araki:
**Formal Specification and Verification of Security Protocol in RSL**in Proceedings of International Symposium on Future Software Technology (ISFST) '97, pp143-150, Software Engineers Association (1997) - K. Taguchi, K. Araki:
**Specifying Concurrent Systems by Z + CCS**in Proceedings of International Symposium on Future Software Technology (ISFST) '97, pp101-108, Software Engineers Association (1997)

- K. Taguchi, K. Araki:
**Extending Z with State-Transition Constraints**in Proceedings of International Conference on Computer Software and Applications (COMPSAC), pp254-260, IEEE (1996)