Kenji Taguchi

According to our database, Kenji Taguchi authored at least 28 papers between 1996 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600.

Kenji Taguchi, Fuyuki Ishikawa

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

2020

Threat Analysis Framework for Safety Architectures in SCDL.

Kenji Taguchi, Ryo Kurachi, Kiyoshi Sasaki, Nobuhiko Nakamura, Kazuki Tomonaga, Shuhei Yamashita

Proceedings of the Computer Safety, Reliability, and Security, 2020

2018

Comparing Risk Identification in Hazard Analysis and Threat Analysis.

Hideaki Nishihara, Kenji Taguchi

Proceedings of the Computer Safety, Reliability, and Security, 2018

2015

Safe & Sec Case Patterns.

Kenji Taguchi, Daisuke Souma, Hideaki Nishihara

Proceedings of the Computer Safety, Reliability, and Security, 2015

2014

MASG: Advanced Misuse Case Analysis Model with Assets and Security Goals.

Takao Okubo, Kenji Taguchi, Haruhiko Kaiya, Nobukazu Yoshioka

J. Inf. Process., 2014

A formal semantics of extended hierarchical state transition matrices using CSP#.

Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi

Formal Aspects Comput., 2014

Linking Traceability with GSN.

Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, Toshinori Takai

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2013

Building a Body of Knowledge on Model Checking for Software Development.

Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

Formal semantics of extended hierarchical state transition matrix by CSP.

Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi

ACM SIGSOFT Softw. Eng. Notes, 2012

On Accelerating SMT-based Bounded Model Checking of HSTM Designs.

Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

A Modelling Framework to Support Internal Control.

Takafumi Komoto, Kenji Taguchi, Haralambos Mouratidis, Nobukazu Yoshioka, Kokichi Futatsugi

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Parameterised Argument Structure for GSN Patterns.

Yutaka Matsuno, Kenji Taguchi

Proceedings of the 11th International Conference on Quality Software, 2011

2010

Aligning Security Requirements and Security Assurance Using the Common Criteria.

Kenji Taguchi, Nobukazu Yoshioka, Takayuki Tobita, Hiroyuki Kaneko

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

2009

Evolution of a course on model checking for practical applications.

Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden

ACM SIGCSE Bull., 2009

Model checking education for software engineers in Japan.

Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno

ACM SIGCSE Bull., 2009

What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.

Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Misuse Cases + Assets + Security Goals.

Takao Okubo, Kenji Taguchi, Nobukazu Yoshioka

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008

Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach.

Kenji Taguchi, Jin Song Dong

Int. J. Agent Oriented Softw. Eng., 2008

Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.

Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang

Proceedings of the Formal Methods and Software Engineering, 2008

2007

Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.

Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden

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.

Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2004

Modelling Mobile Agent Applications by Extended UML Activity Diagram.

Miao Kang, Kenji Taguchi

Proceedings of the ICEIS 2004, 2004

Relating pi-calculus to Object-Z.

Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu

Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

2002

An Overview of Mobile Object-Z.

Kenji Taguchi, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2002

2000

Formal specification of Catalysis frameworks.

Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills

Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1998

A Calculus Based on the Agent-Place Model.

Kenji Taguchi, Keijiro Araki

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

The State-Based CCS Semantics for Concurrent Z Specification.

Kenji Taguchi, Keijiro Araki

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996

Extending Z with State Transition Constraints.

Kenji Taguchi, Keijiro Araki

Proceedings of the COMPSAC '96, 1996