| The state-based CCS semantics for concurrent Z specification K Taguchi, K Araki First IEEE International Conference on Formal Engineering Methods, 283-292, 1997 | 89 | 1997 |
| IFM’99: Integrated Formal Methods, York, UK K Araki, A Galloway, K Taguchi Springer-Verlag, June, 1999 | 78* | 1999 |
| Specifying and verifying sensor networks: An experiment of formal methods JS Dong, J Sun, J Sun, K Taguchi, X Zhang Formal Methods and Software Engineering: 10th International Conference on …, 2008 | 41 | 2008 |
| Parameterised argument structure for GSN patterns Y Matsuno, K Taguchi 2011 11th International Conference on Quality Software, 96-101, 2011 | 38 | 2011 |
| 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 | 34 | 2007 |
| 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 | 33 | 2007 |
| Modelling mobile agent applications in UML 2.0 activity diagrams M Kang, L Wang, K Taguchi Proc. of 3rd SELMAS Workshop at ICSE, 104-111, 2004 | 27 | 2004 |
| Misuse cases+ assets+ security goals T Okubo, K Taguchi, N Yoshioka 2009 International Conference on Computational Science and Engineering 3 …, 2009 | 26 | 2009 |
| 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 |
| 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 | 20 | 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 Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE …, 2015 | 17 | 2015 |
| 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 | 16 | 2013 |
| 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 |
| 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 Teaching Formal Methods: Second International Conference, TFM 2009 …, 2009 | 13 | 2009 |
| Specifying concurrent systems by Z+ CCS K Taguchi, K Araki Software Engineers Association, 1997 | 13 | 1997 |
| 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 | 12 | 2009 |
| Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface J Romijn, G Smith, J Van De Pol, D Bert, E Boiten, J Bowen, M Butler, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2005 | 12 | 2005 |
