Kenji Taguchi

Publication Activity (10 Years)

Years Active: 1996-2021
Publications (10 Years): 3

Top Topics

Transition Matrix

Bounded Model Checking

Modelling Language

Formal Semantics

Top Venues

SAFECOMP Workshops

Formal Aspects Comput.

ISSRE Workshops

Publications

Kenji Taguchi, Fuyuki Ishikawa
Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600. SAFECOMP Workshops (2021)
Kenji Taguchi, Ryo Kurachi, Kiyoshi Sasaki, Nobuhiko Nakamura, Kazuki Tomonaga, Shuhei Yamashita
Threat Analysis Framework for Safety Architectures in SCDL. SAFECOMP (2020)
Hideaki Nishihara, Kenji Taguchi
Comparing Risk Identification in Hazard Analysis and Threat Analysis. SAFECOMP Workshops (2018)
Kenji Taguchi, Daisuke Souma, Hideaki Nishihara
Safe & Sec Case Patterns. SAFECOMP Workshops (2015)
Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, Toshinori Takai
Linking Traceability with GSN. ISSRE Workshops (2014)
Takao Okubo, Kenji Taguchi, Haruhiko Kaiya, Nobukazu Yoshioka
MASG: Advanced Misuse Case Analysis Model with Assets and Security Goals. J. Inf. Process. 22 (3) (2014)
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
A formal semantics of extended hierarchical state transition matrices using CSP#. Formal Aspects Comput. 26 (5) (2014)
Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki
Building a Body of Knowledge on Model Checking for Software Development. COMPSAC (2013)
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda
On Accelerating SMT-based Bounded Model Checking of HSTM Designs. APSEC (2012)
Takafumi Komoto, Kenji Taguchi, Haralambos Mouratidis, Nobukazu Yoshioka, Kokichi Futatsugi
A Modelling Framework to Support Internal Control. SSIRI (Companion) (2011)
Yutaka Matsuno, Kenji Taguchi
Parameterised Argument Structure for GSN Patterns. QSIC (2011)
Kenji Taguchi, Nobukazu Yoshioka, Takayuki Tobita, Hiroyuki Kaneko
Aligning Security Requirements and Security Assurance Using the Common Criteria. SSIRI (2010)
Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno
Model checking education for software engineers in Japan. ACM SIGCSE Bull. 41 (2) (2009)
Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. TFM (2009)
Takao Okubo, Kenji Taguchi, Nobukazu Yoshioka
Misuse Cases + Assets + Security Goals. CSE (3) (2009)
Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden
Evolution of a course on model checking for practical applications. ACM SIGCSE Bull. 41 (2) (2009)
Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. ICFEM (2008)
Kenji Taguchi, Jin Song Dong
Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach. Int. J. Agent Oriented Softw. Eng. 2 (4) (2008)
Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. ASE (2007)
Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan. ICSE (2007)
Miao Kang, Kenji Taguchi
Modelling Mobile Agent Applications by Extended UML Activity Diagram. ICEIS (4) (2004)
Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu
Relating pi-calculus to Object-Z. ICECCS (2004)
Kenji Taguchi, Jin Song Dong
An Overview of Mobile Object-Z. ICFEM (2002)
Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills
Formal specification of Catalysis frameworks. APSEC (2000)
Kenji Taguchi, Keijiro Araki
A Calculus Based on the Agent-Place Model. ICFEM (1998)
Kenji Taguchi, Keijiro Araki
The State-Based CCS Semantics for Concurrent Z Specification. ICFEM (1997)
Kenji Taguchi, Keijiro Araki
Extending Z with State Transition Constraints. COMPSAC (1996)