Chikatoshi Yamada

11 papers C 2Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
Consideration of Network Anomaly Detection Models using Machine Learning.
CANDARW
Soma Kai, Chikatoshi Yamada
2017 — conf
A Study of a Fault-Tolerant System Using Dynamic Partial Reconfiguration.
CANDAR
Seiya Ogido, Chikatoshi Yamada, Kei Miyagi, Shuichi Ichikawa
2016 J jnl
Using SPIN to Check Simulink Stateflow Models.
Int. J. Networked Distributed Comput.
Chikatoshi Yamada, D. Michael Miller
2016 J jnl
Using SPIN to Check Simulink Stateflow Models.
Int. J. Networked Distributed Comput.
Chikatoshi Yamada, D. Michael Miller
2015 — conf
Using SPIN to Check Nondeterministic Simulink Stateflow Models.
ISMVL
Chikatoshi Yamada, D. Michael Miller
2015 C conf
Using SPIN to check Simulink Stateflow models.
ICIS
Chikatoshi Yamada, D. Michael Miller
2012 Misc conf
Implementation and Evaluation of Modular Multiplication Based on Coarsely Integrated Operand Scanning.
ICNC
Satoru Tamura, Chikatoshi Yamada, Shuichi Ichikawa
2011 C conf
Work in progress - Development and practice of national colleges of technology version embedded technology skill standards.
FIE
Kazuhide Sugimoto, Kentaro Noguchi, Chikatoshi Yamada, Takahiro Yonamine
2008 J jnl
Three-Valued Temporal Logic
Stud Logica
Seiki Akama, Yasunori Nagata, Chikatoshi Yamada
2006 J jnl
An Efficient Specification for System Verification.
J. Adv. Comput. Intell. Intell. Informatics
Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao
2005 J jnl
Inductive Temporal Formula Specifications for System Verification.
J. Adv. Comput. Intell. Intell. Informatics
Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao