Takanori Kobashi

Publication Activity (10 Years)

Years Active: 2013-2015
Publications (10 Years): 3

Top Topics

Case Based Planning

Software Development

Top Venues

COMPSAC Workshops

Publications

Takanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya
TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing. ICST (2015)
Atsuo Hazeyama, Masahito Saito, Nobukazu Yoshioka, Azusa Kumagai, Takanori Kobashi, Hironori Washizaki, Haruhiko Kaiya, Takao Okubo
Case Base for Secure Software Development Using Software Security Knowledge Base. COMPSAC Workshops (2015)
Masahito Saito, Atsuo Hazeyama, Nobukazu Yoshioka, Takanori Kobashi, Hironori Washizaki, Haruhiko Kaiya, Takao Okubo
A Case-based Management System for Secure Software Development Using Software Security Knowledge. KES (2015)
Masatoshi Yoshizawa, Takanori Kobashi, Hironori Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya, Nobukazu Yoshioka
Verifying Implementation of Security Design Patterns Using a Test Template. ARES (2014)
Takanori Kobashi, Nobukazu Yoshioka, Haruhiko Kaiya, Hironori Washizaki, Takao Okubo, Yoshiaki Fukazawa
Validating Security Design Pattern Applications by Testing Design Models. Int. J. Secur. Softw. Eng. 5 (4) (2014)
Takao Okubo, Yoshio Kakizaki, Takanori Kobashi, Hironori Washizaki, Shinpei Ogata, Haruhiko Kaiya, Nobukazu Yoshioka
Security and Privacy Behavior Definition for Behavior Driven Development. PROFES (2014)
Takanori Kobashi, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki, Yoshiaki Fukazawa
Validating Security Design Patterns Application Using Model Testing. ARES (2013)