Get started
Author

Tsutomu Kumazawa

Observed name: T. Kumazawa
ORCID: 0000-0002-1096-1097
Observed ORCID: 0000-0002-1096-1097
OpenAlex ID: A5006314011
Counterexample-Based Error Localization of Behavior Models
2011 · Tsutomu Kumazawa, Tetsuo Tamai · Lecture notes in computer science · 13
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone
2016 · Tsutomu Kumazawa, Chihiro Yokoyama, et al. · EAI Endorsed Transactions on Industrial Networks and Intelligent Systems · 8
PDF
Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts
2018 · Tsutomu Kumazawa, Keiichiro Takada, et al. · Swarm and Evolutionary Computation · 7
A safety checking algorithm with multi-swarm particle swarm optimization
2022 · Tsutomu Kumazawa, Munehiro Takimoto, et al. · Genetic and Evolutionary Computation Conference Companion (GECCO Companion) · 5
Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization
2022 · Tsutomu Kumazawa, Munehiro Takimoto, et al. · Journal of Information and Telecommunication · 5
Exploration Strategies for Model Checking with Ant Colony Optimization
2021 · Tsutomu Kumazawa, Munehiro Takimoto, et al. · Lecture notes in computer science · 5
A Survey on the Applications of Swarm Intelligence to Software Verification
2020 · Tsutomu Kumazawa, Munehiro Takimoto, et al. · Advances in computational intelligence and robotics book series · 5
Iterative Model Fixing with Counterexamples
2008 · Tsutomu Kumazawa, Tetsuo Tamai · Asia-Pacific Software Engineering Conference (APSEC) · 4
Cooperative agent system using ontological neural network
2002 · T. Yamaguchi, T. Kumazawa, et al. · IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA) · 4
ACO Based Model Checking Extended by Smell-Like Pheromone with Hop Counts
2017 · Keiichiro Takada, Munehiro Takimoto, et al. · Advances in intelligent systems and computing · 3
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone
2016 · Tsutomu Kumazawa, Chihiro Yokoyama, et al. · International Conference on Bio-Inspired Models of Network, Information and Computing Systems (BIONETICS) · 3
Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization
2023 · Tsutomu Kumazawa, Munehiro Takimoto, et al. · Lecture notes in computer science · 2
Effectiveness of Sub-MSH Size Pruning in BCP Based ILP
2025 · Tomo Nakazawa, Tsutomu Kumazawa, et al. · International Conference on PErvasive Technologies Related to Assistive Environments (PETRA) · 1
Efficient Inductive Logic Programming Based on Neural Networks
2025 · Tomo Nakazawa, Moeko Okawara, et al. · Communications in computer and information science · 1
Efficient Inductive Logic Programming Based on Particle Swarm Optimization
2023 · Kyosuke Obara, Munehiro Takimoto, et al. · Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering · 1
Uncertainty Aware Model Integration on Reinforcement Learning
2022 · Takashi Nagata, Jinwei Xing, et al. · International Joint Conference on Neural Networks (IJCNN) · 1
A Fast Learning Recommender Estimating Preferred Ranges of Features
2018 · Takuya Watanabe, Yuji Nakazato, et al. · Smart innovation, systems and technologies · 1
Inductive Logic Programming Based on Model Interpretation
2026 · Tomo Nakazawa, Moeko Okawara, et al. · Lecture notes in computer science
Avoiding Hazardous Areas through the Dissemination of Location Data: A Novel Application of SSIDs
2026 · Shohei Taga, Munehiro Takimoto, et al. · IEEE International Conference on Intelligent Engineering Systems (INES)
A Battery-Aware Multi-Agent UAV System for Disaster Evacuation Support: An Overview
2026 · Shohei Taga, Munehiro Takimoto, et al. · International Conference on Information, Intelligence, Systems & Applications (IISA)
Memoization in Model Checking for Safety Properties with Multi-Swarm Particle Swarm Optimization
2024 · Tsutomu Kumazawa, Munehiro Takimoto, et al. · Electronics
PDF
Efficient Inductive Logic Programming based on Predictive A*-like Algorithm
2023 · Moeko Okawara, Junji Fukuhara, et al. · AHFE international
Influence of Videos With Computer-animated Characters on Learning Disaster Management
2010 · Tsutomu Kumazawa, Machi Saito · INTED proceedings
A Study on How to Elicit Anticipated Scenarios from Use Cases for Safety Requirements Analysis
2007 · Tsutomu Kumazawa, Tetsuo Tamai · IPSJ SIG Notes
Works count: 25
Citation count: 69
H-index: 5
I10-index: 1
Year
Topic
Type