Kenji Taguchi

Orcid: 0000-0001-8526-5670

Affiliations:
  • RISEC / AIST, Hyogo, Japan


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

2020
Threat Analysis Framework for Safety Architectures in SCDL.
Proceedings of the Computer Safety, Reliability, and Security, 2020

2018
Comparing Risk Identification in Hazard Analysis and Threat Analysis.
Proceedings of the Computer Safety, Reliability, and Security, 2018

2015
Safe & Sec Case Patterns.
Proceedings of the Computer Safety, Reliability, and Security, 2015

2014
MASG: Advanced Misuse Case Analysis Model with Assets and Security Goals.
J. Inf. Process., 2014

A formal semantics of extended hierarchical state transition matrices using CSP#.
Formal Aspects Comput., 2014

Linking Traceability with GSN.
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.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012
Formal semantics of extended hierarchical state transition matrix by CSP.
ACM SIGSOFT Softw. Eng. Notes, 2012

On Accelerating SMT-based Bounded Model Checking of HSTM Designs.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
A Modelling Framework to Support Internal Control.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Parameterised Argument Structure for GSN Patterns.
Proceedings of the 11th International Conference on Quality Software, 2011

2010
Aligning Security Requirements and Security Assurance Using the Common Criteria.
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.
ACM SIGCSE Bull., 2009

Model checking education for software engineers in Japan.
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

Misuse Cases + Assets + Security Goals.
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.
Int. J. Agent Oriented Softw. Eng., 2008

Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.
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.
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

2004
Modelling Mobile Agent Applications by Extended UML Activity Diagram.
Proceedings of the ICEIS 2004, 2004

Relating pi-calculus to Object-Z.
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004

2002
An Overview of Mobile Object-Z.
Proceedings of the Formal Methods and Software Engineering, 2002

2000
Formal specification of Catalysis frameworks.
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000

1998
A Calculus Based on the Agent-Place Model.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997
The State-Based CCS Semantics for Concurrent Z Specification.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1996
Extending Z with State Transition Constraints.
Proceedings of the COMPSAC '96, 1996


  Loading...