Tsutomu Kumazawa

12 papers B 2C 1Misc 1Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2023 Misc conf
Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization.
PAAMS
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kodama, Yasushi Kambayashi
2022 — conf
A safety checking algorithm with multi-swarm particle swarm optimization.
GECCO Companion
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
2022 J jnl
Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization.
J. Inf. Telecommun.
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
2022 B conf
Uncertainty Aware Model Integration on Reinforcement Learning.
IJCNN
Takashi Nagata, Jinwei Xing, Tsutomu Kumazawa, Emre Neftci
2021 B conf
Exploration Strategies for Model Checking with Ant Colony Optimization.
ICCCI
Tsutomu Kumazawa, Munehiro Takimoto, Yasushi Kambayashi
2019 J jnl
Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts.
Swarm Evol. Comput.
Tsutomu Kumazawa, Keiichiro Takada, Munehiro Takimoto, Yasushi Kambayashi
2018 — conf
A Fast Learning Recommender Estimating Preferred Ranges of Features.
JCKBSE
Takuya Watanabe, Yuji Nakazato, Hiroaki Muroi, Takuya Hashimoto, Toru Shimogaki, Takeshi Nakano, Tsutomu Kumazawa
2017 — conf
ACO Based Model Checking Extended by Smell-Like Pheromone with Hop Counts.
ICHSA
Keiichiro Takada, Munehiro Takimoto, Tsutomu Kumazawa, Yasushi Kambayashi
2016 J jnl
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone.
EAI Endorsed Trans. Ind. Networks Intell. Syst.
Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto, Yasushi Kambayashi
2015 — conf
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone.
BICT
Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto, Yasushi Kambayashi
2011 — conf
Counterexample-Based Error Localization of Behavior Models.
NASA Formal Methods
Tsutomu Kumazawa, Tetsuo Tamai
2008 C conf
Iterative Model Fixing with Counterexamples.
APSEC
Tsutomu Kumazawa, Tetsuo Tamai