| The state-based CCS semantics for concurrent Z specification K Taguchi, K Araki First IEEE International Conference on Formal Engineering Methods, 283-292, 1997 | 86 | 1997 |
| IFM’99: Integrated Formal Methods, York, UK K Araki, A Galloway, K Taguchi Springer-Verlag, June, 1999 | 84* | 1999 |
| Specifying and verifying sensor networks: An experiment of formal methods JS Dong, J Sun, J Sun, K Taguchi, X Zhang International Conference on Formal Engineering Methods, 318-337, 2008 | 42 | 2008 |
| Parameterised argument structure for GSN patterns Y Matsuno, K Taguchi 2011 11th International Conference on Quality Software, 96-101, 2011 | 37 | 2011 |
| Top se: Educating superarchitects who can apply software engineering tools to practical development in japan S Honiden, Y Tahara, N Yoshioka, K Taguchi, H Washizaki 29th International Conference on Software Engineering (ICSE'07), 708-718, 2007 | 36 | 2007 |
| Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models H Nakagawa, K Taguchi, S Honiden Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007 | 33 | 2007 |
| Misuse cases+ assets+ security goals T Okubo, K Taguchi, N Yoshioka 2009 International Conference on Computational Science and Engineering 3 …, 2009 | 26 | 2009 |
| Modelling mobile agent applications in UML2. 0 activity diagrams M Kang, L Wang, K Taguchi 26th International Conference on Software Engineering-W16L Workshop" Third …, 2004 | 26 | 2004 |
| An overview of mobile Object-Z K Taguchi, JS Dong International Conference on Formal Engineering Methods, 144-155, 2002 | 24 | 2002 |
| Modelling mobile agent applications by extended UML activity diagram M Kang, K Taguchi International Conference on Enterprise Information Systems 5, 519-522, 2004 | 22 | 2004 |
| Building a body of knowledge on model checking for software development K Taguchi, H Nishihara, T Aoki, F Kumeno, K Hayamizu, K Shinozaki 2013 IEEE 37th Annual Computer Software and Applications Conference, 784-789, 2013 | 19 | 2013 |
| Aligning security requirements and security assurance using the common criteria K Taguchi, N Yoshioka, T Tobita, H Kaneko 2010 Fourth International Conference on Secure Software Integration and …, 2010 | 19 | 2010 |
| Relating/spl pi/-calculus to Object-Z K Taguchi, JS Dong, G Ciobanu Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004 | 18 | 2004 |
| Safe & sec case patterns K Taguchi, D Souma, H Nishihara International Conference on Computer Safety, Reliability, and Security, 27-37, 2014 | 17 | 2014 |
| Formal specification of Catalysis frameworks JK Filipe, KK Lau, M Omaghi, K Taguchi, H Yatsu, A Wills Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 …, 2000 | 16 | 2000 |
| Specifying concurrent systems by Z+ CCS K Taguchi, K Araki Software Engineers Association, 1997 | 14 | 1997 |
| Linking traceability with GSN K Taguchi, S Daisuke, H Nishihara, T Takai 2014 IEEE International Symposium on Software Reliability Engineering …, 2014 | 13 | 2014 |
| What top-level software engineers tackle after learning formal methods: experiences from the Top SE project F Ishikawa, K Taguchi, N Yoshioka, S Honiden International Conference on Technical Formal Methods, 57-71, 2009 | 13 | 2009 |
| Model checking education for software engineers in Japan H Nishihara, K Shinozaki, K Hayamizu, T Aoki, K Taguchi, F Kumeno ACM SIGCSE Bulletin 41 (2), 45-50, 2009 | 13 | 2009 |
| Masg: Advanced misuse case analysis model with assets and security goals T Okubo, K Taguchi, H Kaiya, N Yoshioka Journal of information processing 22 (3), 536-546, 2014 | 10 | 2014 |
