( en | de | ru )

 

Disambiguation of "Kumazawa, Tsutomu"

Author of the publication

copydeleteadd this publication to your clipboard
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone.

, , , and . BICT, page 214-220. ICST/ACM, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yoshinobu Kumazawa

Tsutomu Munakata

Hirofumi Kumazawa

Tsutomu Haga

 

Other publications of authors with the same name

Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization., , , and . PAAMS, volume 13955 of Lecture Notes in Computer Science, page 137-148. Springer, (2023)Counterexample-Based Error Localization of Behavior Models., and . NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, page 222-236. Springer, (2011)Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone., , , and . EAI Endorsed Trans. Ind. Networks Intell. Syst., 3 (7): e1 (2016)A safety checking algorithm with multi-swarm particle swarm optimization., , and . GECCO Companion, page 786-789. ACM, (2022)Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone., , , and . BICT, page 214-220. ICST/ACM, (2015)ACO Based Model Checking Extended by Smell-Like Pheromone with Hop Counts., , , and . ICHSA, volume 514 of Advances in Intelligent Systems and Computing, page 52-63. Springer, (2017)Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts., , , and . Swarm Evol. Comput., (2019)Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization., , and . J. Inf. Telecommun., 6 (3): 341-359 (2022)Exploration Strategies for Model Checking with Ant Colony Optimization., , and . ICCCI, volume 12876 of Lecture Notes in Computer Science, page 264-276. Springer, (2021)Iterative Model Fixing with Counterexamples., and . APSEC, page 369-376. IEEE Computer Society, (2008)