- RISEC / AIST, Hyogo, Japan
According to our database1, Kenji Taguchi authored at least 28 papers between 1996 and 2021.
Legend:Book In proceedings Article PhD thesis Dataset Other
Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021
Proceedings of the Computer Safety, Reliability, and Security, 2020
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the Computer Safety, Reliability, and Security, 2015
J. Inf. Process., 2014
Formal Aspects Comput., 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
ACM SIGSOFT Softw. Eng. Notes, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Proceedings of the 11th International Conference on Quality Software, 2011
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
ACM SIGCSE Bull., 2009
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.
Proceedings of the Teaching Formal Methods, Second International Conference, 2009
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach.
Int. J. Agent Oriented Softw. Eng., 2008
Proceedings of the Formal Methods and Software Engineering, 2008
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Modelling Mobile Agent Applications by Extended UML Activity Diagram.
Proceedings of the ICEIS 2004, 2004
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004
Proceedings of the Formal Methods and Software Engineering, 2002
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997