|
|
|
|
- A safety checking algorithm with multi-swarm particle swarm optimization Proceedings of the Genetic and Evolutionary Computation Conference Companion 2022-07 786 ENG 789
- Uncertainty Aware Model Integration on Reinforcement Learning 2022 International Joint Conference on Neural Networks (IJCNN) 2022-07
- 深層学習における正則化へのドロップアウトデザインの適用 ソフトウェア・シンポジウム 2022論文集 2022-06 1 ENG 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 ENG 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 ENG 276
- アリコロニー最適化法を用いたモデル検査の効率化のための探索戦略 ソフトウェア・シンポジウム2021 論文集 2021-05 126 ENG 135
- 行列計算に基づくモデル検査技術 ソフトウェア・シンポジウム2020 論文集 2020-06 104 ENG 113
- A Survey on the Applications of Swarm Intelligence to Software Verification Handbook of Research on Fireworks Algorithms and Swarm Intelligence 2020-04 376 ENG 398
- Ant Colony Optimization based model checking extended by smell-like pheromone with hop counts Swarm and Evolutionary Computation 2019-02 44 511 ENG 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 ENG 96
- ACOに基づくモデル検査の匂いフェロモンを用いた拡張 情報処理学会プログラミング・シンポジウム予稿集 2018-01 59 19 ENG 29
- ACO based model checking extended by smell-like pheromone with hop counts Advances in Intelligent Systems and Computing 2017-01 514 52 ENG 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 ENG 220
- 高信頼性ソフトウェアシステムの実現ためモデル修正技術に関する研究 情報処理 2012-03 53 3 269
- Counterexample-Based Error Localization of Behavior Models NASA FORMAL METHODS 2011-04 6617 222 ENG 236
- モデルに基づく誤り特定と反例修正候補の提示 ソフトウェアエンジニアリング最前線 : 情報処理学会ソフトウェアエンジニアリングシンポジウム 2009 2009-09 55 ENG 62
- Iterative model fixing with counterexamples Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference (APSEC '08) 2008-12 369 ENG 376
- ユースケースによる安全性要求分析のための想定外シナリオ抽出法の提案 情報処理学会研究報告. SE,ソフトウェア工学研究会報告,2007-SE-155 2007-03 155 3 191 ENG 198
|