選奨セッション
システム検証とLSI・アーキテクチャの設計（C分野と共催） |
| 9月4日（水）9:30-12:00 1b会場 |
| CB-001 | 標準技術FMI/SSPを活用したシステムシミュレーション手法の提案
○磯田 誠・大森 康宏（三菱電機） |
| CB-002 | 自然言語処理モデルを利用したソフトウェア検証分野における反例予測
◎大野 亮祐・張江 洋次朗（金沢学院大学） |
| CC-001 | LSIの可検査性とグラフ構造における中心性の関係に関する考察
◎杉山 咲・山口 賢一・岩田 大志（奈良工業高等専門学校） |
| CC-002 | 時間制約検証可能なアーキテクチャベース自己適応ソフトウェアプログラミングフレームワーク
◎内藤 惇（大阪大学）・中川 博之（岡山大学）・土屋 達弘（大阪大学） |
| ソフトウェア品質 |
| 9月4日（水）15:30-17:30 3b会場 |
| B-001 | 複雑なモデルに対応した形式的ソフトウェア合成システムの提案
◎田中 涼介・織田 健（電気通信大学） |
| B-002 | LLMを利用した深層強化学習エージェントによるウェブアプリのバグの発見
◎酒井 佑旗・田原 康之・大須賀 昭彦・清 雄一（電気通信大学） |
| B-003 | テキスト構造に着目した細分化モデルの可読性評価指標
◎結城 翔・織田 健（電気通信大学） |
| B-004 | 複数プロジェクトを利用したソフトウェア信頼度成長モデル構築のためのウェブアプリケーション
○本田 澄・松田 望（大阪工業大学）・鷲崎 弘宜・深澤 良彰（早稲田大学） |
| 知能ソフトウェア工学と並列処理 |
| 9月5日（木）9:30-12:00 4b会場 |
| B-005 | ドメイン知識強化型混合エキスパートモデルによるフェイクニュース検出手法の提案
○李 姣霖・児玉 英一郎・王 家宏・Bhed Bahadur Bista・高田 豊雄（岩手県立大学） |
| B-006 | ドメイン駆動設計を用いたリファクタリングにおけるレイヤードアーキテクチャの拡張と準形式的表現
◎上原 宗大・和﨑 克己（信州大学） |
| B-007 | ドメイン駆動設計における制約条件記述を含むドメインモデルの生成AI援用リファインメント
◎水野 駆・和﨑 克己（信州大学） |
| B-008 | 未指定機能へのテストケース自動生成によるソフトウェア開発の強化
◎KIM HONGJUN・島川 博光（立命館大学） |
| B-009 | Establishment and Maintenance of Knowledge Base Utilizing Industrial Internet of Things (IIoT)
○Guo Dashuai・Wang Joseph K.H.（Volapu Research） |
| B-010 | Ada LovelaceアーキテクチャのマルチGPUクラスタシステムによる4K解像度位相型実時間電子ホログラフィ
◎土居 明可・三谷 永久・和田 翔夢・髙田 直樹（高知大学） |
| B-011 | 粒子法陽解法におけるデータレイアウトを考慮したCUDA実装
◎富岡 我空・吉田 明正（明治大学） |
| 高性能計算とOS |
| 9月5日（木）15:30-17:30 5b会場 |
| B-012 | マイクロサービス向けデータ整合性維持に関わるテスト支援フレームワークの提案と初期評価
○大越 淳平（日立製作所） |
| B-013 | 余裕時間によって動作を切り替えるEDZLに基づいたアルゴリズムの提案と可能性解析
◎上向 翔太・兪 明連・中村 徹（東京都市大学） |
| B-014 | ステートフルアプリケーションのKubernetesクラスタ間マイグレーション方式の設計
○土谷 彰義・出口 彰・柴山 司（日立製作所） |
| B-015 | ディスアグリゲーテッドコンピュータにおける高効率なデータ処理に向けたマッピング手法
◎榎原 成則・右近 祐太・有川 勇輝・山崎 晃嗣（日本電信電話） |
| B-016 | 量子計算機実機を用いた数値解析
○泉 優行・川原 仁志・鈴木 優之（伊藤忠テクノソリューションズ） |
