Kazuo Yanoo

Publication Activity (10 Years)

Years Active: 1998-2014
Publications (10 Years): 0

Top Topics

Static Analysis

Technical Systems

Wireless Internet

Poisson Arrivals

Top Venues

ISSRE Workshops

IEICE Trans. Fundam. Electron. Commun. Comput. Sci.

Publications

Fumio Machida, Ryota Mibu, Junichi Gokurakuji, Kazuo Yanoo, Kumiko Tadano, Yoshiharu Maeno, Tomoyoshi Sugawara
Virtualized server infrastructure for resilient voice communication service. NOMS (2014)
Sayaka Izukura, Kazuo Yanoo, Hiroshi Sakaki, Masato Kawatsu
Determining Appropriate IT Systems Design Based on System Models. COMPSAC (2013)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Yoshiharu Maeno, Kazuo Yanoo
Coverage of Irrelevant Components in Systems with Imperfect Fault Coverage. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (7) (2013)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno
A Static Analysis of Dynamic Fault Trees with Priority-AND Gates. LADC (2013)
Jianwen Xiang, Fumio Machida, Kumiko Tadano, Kazuo Yanoo, Wei Sun, Yoshiharu Maeno
Combinatorial Analysis of Dynamic Fault Trees with Priority-AND Gates. ISSRE Workshops (2012)
Sayaka Izukura, Kazuo Yanoo, Takao Osaki, Hiroshi Sakaki, Daichi Kimura, Jianwen Xiang
Applying a Model-Based Approach to IT Systems Development Using SysML Extension. MoDELS (2011)
Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano
Automatic Synthesis of Static Fault Trees from System Models. SSIRI (2011)
Jianwen Xiang, Kazuo Yanoo, Yoshiharu Maeno, Kumiko Tadano, Fumio Machida, Atsushi Kobayashi, Takao Osaki
Efficient Analysis of Fault Trees with Voting Gates. ISSRE (2011)
Daichi Kimura, Takao Osaki, Kazuo Yanoo, Sayaka Izukura, Hiroshi Sakaki, Atsushi Kobayashi
Evaluation of IT systems considering characteristics as system of systems. SoSE (2011)
Jianwen Xiang, Kazuo Yanoo
Automatic Static Fault Tree Analysis from System Models. PRDC (2010)
Hiroshi Sakaki, Kazuo Yanoo, Ryuichi Ogawa
A Model-Based Method for Security Configuration Verification. IWSEC (2006)
Andrea Caloini, Daigo Taguchi, Kazuo Yanoo, Eiichiro Tanaka
Script-Free Scenario Authoring in MediaDesc. ACM Multimedia (1998)