|
|
基本情報
氏名 |
熊澤 努 |
氏名(カナ) |
クマザワ ツトム |
氏名(英語) |
Kumazawa Tsutomu |
|
|
- A safety checking algorithm with multi-swarm particle swarm optimization Proceedings of the Genetic and Evolutionary Computation Conference Companion 2022/07 786 ~ 789
- Uncertainty Aware Model Integration on Reinforcement Learning 2022 International Joint Conference on Neural Networks (IJCNN) 2022/07
- 深層学習における正則化へのドロップアウトデザインの適用 ソフトウェア・シンポジウム 2022論文集 2022/06 1 ~ 10
- Exploration strategies for balancing efficiency and comprehensibility in model checking with ant colony optimization Journal of Information and Telecommunication 2022/03 6 3 341 ~ 359
- Exploration Strategies for Model Checking with Ant Colony Optimization Computational Collective Intelligence, Proceedings of 13th International Conference on Computational Collective Intelligence, ICCCI 2021, Lecture Notes on Artificial Intelligence 2021/09 264 ~ 276
- アリコロニー最適化法を用いたモデル検査の効率化のための探索戦略 ソフトウェア・シンポジウム2021 論文集 2021/05 126 ~ 135
- 行列計算に基づくモデル検査技術 ソフトウェア・シンポジウム2020 論文集 2020/06 104 ~ 113
- A Survey on the Applications of Swarm Intelligence to Software Verification Handbook of Research on Fireworks Algorithms and Swarm Intelligence 2020/04 376 ~ 398
- Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts Swarm and Evolutionary Computation 2019/02 44 511 ~ 521
- A Fast Learning Recommender Estimating Preferred Ranges of Features Takuya Watanabe , Yuji Nakazato , Hiroaki Muroi , Takuya Hashimoto , Toru Shimogaki , Takeshi Nakano , Tsutomu Kumazawa 2018/08 108 86 ~ 96
- ACOに基づくモデル検査の匂いフェロモンを用いた拡張 情報処理学会プログラミング・シンポジウム予稿集 2018/01 59 19 ~ 29
- ACO based model checking extended by smell-like pheromone with hop counts Advances in Intelligent Systems and Computing 2017/01 514 52 ~ 63
- Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone EAI Endorsed Transactions on Industrial Networks and Intelligent Systems 2016/04 3 7 e1
- Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS) (BICT'15) 2015/12 214 ~ 220
- 高信頼性ソフトウェアシステムの実現ためモデル修正技術に関する研究 情報処理 2012/03 53 3 269
- Counterexample-Based Error Localization of Behavior Models NASA FORMAL METHODS 2011/04 6617 222 ~ 236
- モデルに基づく誤り特定と反例修正候補の提示 ソフトウェアエンジニアリング最前線 : 情報処理学会ソフトウェアエンジニアリングシンポジウム 2009 2009/09 55 ~ 62
- Iterative model fixing with counterexamples Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference (APSEC '08) 2008/12 369 ~ 376
- ユースケースによる安全性要求分析のための想定外シナリオ抽出法の提案 情報処理学会研究報告. SE,ソフトウェア工学研究会報告,2007-SE-155 2007/03 155 3 191 ~ 198
|