Chikatoshi Yamada

According to our database, Chikatoshi Yamada authored at least 8 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

A Study of a Fault-Tolerant System Using Dynamic Partial Reconfiguration.

Seiya Ogido, Chikatoshi Yamada, Kei Miyagi, Shuichi Ichikawa

Proceedings of the Fifth International Symposium on Computing and Networking, 2017

2016

Using SPIN to Check Simulink Stateflow Models.

Chikatoshi Yamada, D. Michael Miller

Int. J. Networked Distributed Comput., 2016

2015

Using SPIN to Check Nondeterministic Simulink Stateflow Models.

Chikatoshi Yamada, D. Michael Miller

Proceedings of the 2015 IEEE International Symposium on Multiple-Valued Logic, 2015

2012

Implementation and Evaluation of Modular Multiplication Based on Coarsely Integrated Operand Scanning.

Satoru Tamura, Chikatoshi Yamada, Shuichi Ichikawa

Proceedings of the Third International Conference on Networking and Computing, 2012

2011

Work in progress - Development and practice of national colleges of technology version embedded technology skill standards.

Kazuhide Sugimoto, Kentaro Noguchi, Chikatoshi Yamada, Takahiro Yonamine

Proceedings of the 2011 Frontiers in Education Conference, 2011

2008

Three-Valued Temporal Logic <i>Q</i> _<i>t</i> and Future Contingents.

Seiki Akama, Yasunori Nagata, Chikatoshi Yamada

Stud Logica, 2008

2006

An Efficient Specification for System Verification.

Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao

J. Adv. Comput. Intell. Intell. Informatics, 2006

2005

Inductive Temporal Formula Specifications for System Verification.

Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao

J. Adv. Comput. Intell. Intell. Informatics, 2005