Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers
Artho, Cyrille, Banzai, Kazuaki, Gros, Quentin, Rousset, Guillaume, Ma, Lei, Kitamura, Takashi, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu
Published in Software testing, verification & reliability (01.11.2020)
Published in Software testing, verification & reliability (01.11.2020)
Get full text
Journal Article
Irrigation System for Endoscopic Hematoma Evacuation
WATANABE, Takayuki, MATSUMOTO, Takashi, YAMAMOTO, Mitsuharu, DEMURA, Koichiro, SHODA, Kan
Published in Surgery for Cerebral Stroke (2022)
Published in Surgery for Cerebral Stroke (2022)
Get full text
Journal Article
Glial cell survival is enhanced during melatonin-induced neuroprotection against cerebral ischemia
Borlongan, C V, Yamamoto, M, Takei, N, Kumazaki, M, Ungsuparkorn, C, Hida, H, Sanberg, P R, Nishino, H
Published in The FASEB journal (01.07.2000)
Published in The FASEB journal (01.07.2000)
Get more information
Journal Article
Using Checkpointing and Virtualization for Fault Injection
Artho, Cyrille, Suzaki, Kuniyasu, Hagiya, Masami, Leungwattanakit, Watcharin, Potter, Richard, Platon, Eric, Tanabe, Yoshinori, Weitl, Franz, Yamamoto, Mitsuharu
Published in International Journal of Networking and Computing (2015)
Published in International Journal of Networking and Computing (2015)
Get full text
Journal Article
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Artho, C., Leungwattanakit, W., Hagiya, M., Tanabe, Y., Yamamoto, M.
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)
Get full text
Conference Proceeding
External Carotid Artery Aneurysm Developing After Embolization of a Ruptured Posterior Inferior Cerebellar Artery Aneurysm in a Patient With Cervicocephalic Fibromuscular Dysplasia: Case Report
FUSE, Takahisa, UMEZU, Masanari, YAMAMOTO, Mitsuharu, DEMURA, Koichiro, NISHIKAWA, Yusuke, NIWA, Yuji
Published in Neurologia medico-chirurgica (2006)
Published in Neurologia medico-chirurgica (2006)
Get full text
Journal Article
Evaluating the backgrounds, triggers, and early MRI findings to avoid missing reversible cerebral vasospasm syndrome in initial medical care
Kano, Yuya, Kondo, Kurando, Seko, Kento, Takada, Koji, Yamamoto, Mitsuharu, Isono, Yuji, Yamada, Kentaro, Miyatake, Hitoshi, Yuasa, Hiroyuki, Matsukawa, Noriyuki
Published in Japanese Journal of Headache (2023)
Published in Japanese Journal of Headache (2023)
Get full text
Journal Article
Software Model Checking of UDP-based Distributed Applications
Sebih, Nazim, Weitl, Franz, Artho, Cyrille, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu
Published in 2014 Second International Symposium on Computing and Networking (01.12.2014)
Published in 2014 Second International Symposium on Computing and Networking (01.12.2014)
Get full text
Conference Proceeding
Isolated crossed superior rectus palsy in a midbrain infarction
Tsukamoto, Tetsuro, Yamamoto, Mitsuharu, Fuse, Takahisa, Kimura, Masahiko
Published in Rinshō shinkeigaku (01.06.2005)
Get more information
Published in Rinshō shinkeigaku (01.06.2005)
Journal Article
Modular Software Model Checking for Distributed Systems
Leungwattanakit, Watcharin, Artho, Cyrille, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu, Takahashi, Koichi
Published in IEEE transactions on software engineering (01.05.2014)
Published in IEEE transactions on software engineering (01.05.2014)
Get full text
Journal Article
Effects of Filler Wire Selection on the Fracture Behaviour of Welded Mild Steel Plates
Oda, Isamu, Willett, Andrew, Watanabe, Naoki, Yamamoto, Mitsuharu
Published in Nihon Kikai Gakkai ronbunshū. C (01.07.2004)
Get full text
Published in Nihon Kikai Gakkai ronbunshū. C (01.07.2004)
Journal Article
Using Checkpointing and Virtualization for Fault Injection
Artho, Cyrille, Hagiya, Masami, Leungwattanakit, Watcharin, Platon, Eric, Potter, Richard, Suzaki, Kuniyasu, Tanabe, Yoshinori, Weitl, Franz, Yamamoto, Mitsuharu
Published in 2014 Second International Symposium on Computing and Networking (01.12.2014)
Published in 2014 Second International Symposium on Computing and Networking (01.12.2014)
Get full text
Conference Proceeding