Script-Free Scenario Authoring in MediaDesc. - Andrea Caloini; Daigo Taguchi; Kazuo Yanoo; Eiichiro Tanaka (ACM Multimedia, 1998)

A Model-Based Method for Security Configuration Verification. - Hiroshi Sakaki; Kazuo Yanoo; Ryuichi Ogawa (IWSEC, 2006)

Automatic Static Fault Tree Analysis from System Models. - Jianwen Xiang; Kazuo Yanoo (PRDC, 2010)

Efficient Analysis of Fault Trees with Voting Gates. - Jianwen Xiang; Kazuo Yanoo; Yoshiharu Maeno; Kumiko Tadano; Fumio Machida; Atsushi Kobayashi; Takao Osaki (ISSRE, 2011)

Applying a Model-Based Approach to IT Systems Development Using SysML Extension. - Sayaka Izukura; Kazuo Yanoo; Takao Osaki; Hiroshi Sakaki; Daichi Kimura; Jianwen Xiang (MoDELS, 2011)

Automatic Synthesis of Static Fault Trees from System Models. - Jianwen Xiang; Kazuo Yanoo; Yoshiharu Maeno; Kumiko Tadano (SSIRI, 2011)

Evaluation of IT systems considering characteristics as system of systems. - Daichi Kimura; Takao Osaki; Kazuo Yanoo; Sayaka Izukura; Hiroshi Sakaki; Atsushi Kobayashi (SoSE, 2011)

Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Kazuo Yanoo; Wei Sun 004; Yoshiharu Maeno (ISSRE Workshops, 2012)

Determining Appropriate IT Systems Design Based on System Models. - Sayaka Izukura; Kazuo Yanoo; Hiroshi Sakaki; Masato Kawatsu (COMPSAC, 2013)

A Static Analysis of Dynamic Fault Trees with Priority-AND Gates. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Kazuo Yanoo; Wei Sun 004; Yoshiharu Maeno (LADC, 2013)

Coverage of Irrelevant Components in Systems with Imperfect Fault Coverage. - Jianwen Xiang; Fumio Machida; Kumiko Tadano; Yoshiharu Maeno; Kazuo Yanoo (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Virtualized server infrastructure for resilient voice communication service. - Fumio Machida; Ryota Mibu; Junichi Gokurakuji; Kazuo Yanoo; Kumiko Tadano; Yoshiharu Maeno; Tomoyoshi Sugawara (NOMS, 2014)