本位田真一

Honiden Shinichi

所属機関・部署：
職名：教授
その他の所属（所属・部署名・職名） (2件)：

研究分野 (3件)：情報ネットワーク , 計算機システム , ソフトウェア

研究キーワード (3件)：ソフトウェア工学 , 分散システム , エージェント

競争的資金等の研究課題 (18件)：

全件表示

論文 (643件)：

Kazutaka Matsuzaki, Kenji Sawada, Shinichi Honiden. Remote Security Assessment for Cyber-Physical Systems: Adapting Design Patterns for Enhanced Diagnosis. SECRYPT. 2023. 805-812
Kazutaka Matsuzaki, Shinichi Honiden. Enhancing ICS Security Diagnostics with Pseudo-Greybox Fuzzing During Maintenance Testing. ICSOFT. 2023. 660-667
川添宏介, 山内拓人, 鄭顕志, 富井規雄, 本位田真一. 列車自動運転を伴う運転整理MIPモデルの移動閉塞下への適用. 情報処理学会論文誌. 2022. 63. 3. 786-807
Jialong Li, Mingyue Zhang, Zhenyu Mao, Haiyan Zhao, Zhi Jin, Shinichi Honiden, Kenji Tei. Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation. APSEC. 2022. 189-198
Takanori Hirano, Kenji Tei, Kazuya Aizawa, Shinichi Honiden. Differential Controller Synthesis at Runtime Using Changed Parts of Environment Model. IEEE 8th International Conference on Industrial Engineering and Applications (ICIEA 2021). 2021. 91-100

MISC (120件)：

徳本晋, 本位田真一. 命令削除ミューテーションに基づく欠陥局所化の産業用ソフトウェアにおける評価. 情報処理学会論文誌. 2020. 61. 10. 1617-1628
Kenji Tei, Ryuichi Takahashi, Nicolas D’Ippolito Hiroyuki Nakagawa, Shinichi Honiden. Qualitative Analysis for Multiple Adaptation Loops. GRACE Technical Report. 2015. 1-29
島田工, 前澤悠太, 鄭顕志, 田辺良則, 本位田真一. Scalaの並行プログラム検査における状態空間探索手法. ソフトウェアエンジニアリングシンポジウム2014論文集. 2014. 2014. 54-59
澤野宏貴, 前澤悠太, 高橋竜一, 本位田真一. MVC Webアプリケーションの機能縮退を考慮した振舞い検証. ソフトウェアエンジニアリングシンポジウム2014論文集. 2014. 2014. 60-65
穐山空道, 広渕崇宏, 高野了成, 本位田真一. ページキャッシュの復元とその他のメモリ転送の並列動作による遠隔地ライブマイグレーション高速化. 研究報告システムソフトウェアとオペレーティング・システム(OS). 2013. 2013. 7. 1-8

書籍 (51件)：

XAC Project: Towards a Middleware for Open Wireless Sensor Networks", chapter in book "Designing Solutions-Based Ubiquitous and Pervasive Computing: New Issues and Trends
Edited by Francisco Milton Mendes Neto and Pedro Fernandes Ribeiro Neto. published by Information Science Publishi 2010
Data management solutions in sensing systems
In the book volume "Wireless Sensor Network Technologies for Information Explosion Era" in Springer book series "Studies in Computational Intelligence". 2010
Multi-Agent Participatory Simulations Between Experimental Economics and Role-Playing Games
in Deguchi, H. (Ed) Agent-Based Approaches in Economic and Social Complex Systems, Springer Series on Agent Based Social Systems 2007
考えるコンテンツ「スマーティブ」
丸善 2006 ISBN:4621053744
UMLによるビジネスモデリング
ソフトバンク 2002

講演・口頭発表等 (131件)：

モバイルAR環境による日常技能練習のゲーミフィケーション
(22nd Workshop on Interactive Systems and Software (WISS 2014) 2014)
フィードバック指向ランダムテストを用いたQuickCheckの改良
(第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) ポスターセッション 2014)
ページキャッシュの復元による遠隔地ライブマイグレーション高速化システムの実演
(第24回コンピュータシステム・シンポジウム(ComSys 2012) ポスターセッション 2012)
ページキャッシュの復元による遠隔地ライブマイグレーションの高速化
(第123回システムソフトウェアとオペレーティング・システム研究会 2012)
閾値ベースの確率的オンラインセンサ・タスク割当て手法
(マルチメディア、分散、協調とモバイル(DICOMO2012)シンポジウム 2012)

Works (5件)：

学位 (1件)：

経歴 (7件)：

全件表示

受賞 (18件)：

全件表示

所属学会 (5件)：

IEEE , ACM , 人工知能学会 , 情報処理学会 , ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

本位田 真一