Inductive Temporal Formula Specifications for System Verification. - Chikatoshi Yamada; Yasunori Nagata; Zensho Nakao (J. Adv. Comput. Intell. Intell. Informatics, 2005)

An Efficient Specification for System Verification. - Chikatoshi Yamada; Yasunori Nagata; Zensho Nakao (J. Adv. Comput. Intell. Intell. Informatics, 2006)

Three-Valued Temporal Logic Q t and Future Contingents. - Seiki Akama; Yasunori Nagata; Chikatoshi Yamada (Stud Logica, 2008)

Work in progress - Development and practice of national colleges of technology version embedded technology skill standards. - Kazuhide Sugimoto; Kentaro Noguchi; Chikatoshi Yamada; Takahiro Yonamine (FIE, 2011)

Implementation and Evaluation of Modular Multiplication Based on Coarsely Integrated Operand Scanning. - Satoru Tamura; Chikatoshi Yamada; Shuichi Ichikawa (ICNC, 2012)

Using SPIN to Check Nondeterministic Simulink Stateflow Models. - Chikatoshi Yamada; D. Michael Miller (ISMVL, 2015)

Using SPIN to Check Simulink Stateflow Models. - Chikatoshi Yamada; D. Michael Miller (Int. J. Networked Distributed Comput., 2016)

A Study of a Fault-Tolerant System Using Dynamic Partial Reconfiguration. - Seiya Ogido; Chikatoshi Yamada; Kei Miyagi; Shuichi Ichikawa (CANDAR, 2017)