Chikatoshi Yamada

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 3

Top Topics

Statistical Model

Modular Architecture

Evaluation Measures

Implementation Details

Top Venues

Int. J. Networked Distributed Comput.

Publications

Seiya Ogido, Chikatoshi Yamada, Kei Miyagi, Shuichi Ichikawa
A Study of a Fault-Tolerant System Using Dynamic Partial Reconfiguration. CANDAR (2017)
Chikatoshi Yamada, D. Michael Miller
Using SPIN to Check Simulink Stateflow Models. Int. J. Networked Distributed Comput. 4 (1) (2016)
Chikatoshi Yamada, D. Michael Miller
Using SPIN to Check Simulink Stateflow Models. Int. J. Networked Distributed Comput. 4 (3) (2016)
Chikatoshi Yamada, D. Michael Miller
Using SPIN to Check Nondeterministic Simulink Stateflow Models. ISMVL (2015)
Chikatoshi Yamada, D. Michael Miller
Using SPIN to check Simulink Stateflow models. ICIS (2015)
Satoru Tamura, Chikatoshi Yamada, Shuichi Ichikawa
Implementation and Evaluation of Modular Multiplication Based on Coarsely Integrated Operand Scanning. ICNC (2012)
Kazuhide Sugimoto, Kentaro Noguchi, Chikatoshi Yamada, Takahiro Yonamine
Work in progress - Development and practice of national colleges of technology version embedded technology skill standards. FIE (2011)
Seiki Akama, Yasunori Nagata, Chikatoshi Yamada
and Future Contingents. Stud Logica 88 (2) (2008)
Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao
An Efficient Specification for System Verification. J. Adv. Comput. Intell. Intell. Informatics 10 (6) (2006)
Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao
Inductive Temporal Formula Specifications for System Verification. J. Adv. Comput. Intell. Intell. Informatics 9 (3) (2005)