Kenji Taguchi

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