岡野浩三 OKANO KOZO

研究者番号	70252632
その他のID
外部サイト
所属 (現在)	2025年度: 信州大学, 学術研究院工学系, 教授
所属 (過去の研究課題情報に基づく) *注記	2020年度 – 2024年度: 信州大学, 学術研究院工学系, 教授 2015年度 – 2019年度: 信州大学, 学術研究院工学系, 准教授 2014年度 – 2015年度: 信州大学, 工学部, 准教授 2013年度: 大阪大学, 大学院情報科学研究科, 准教授 2011年度 – 2013年度: 大阪大学, 情報科学研究科, 准教授 … もっと見る 2007年度 – 2012年度: 大阪大学, 大学院・情報科学研究科, 准教授 2006年度: 大阪大学, 大学院情報科学研究科, 助教授 2002年度 – 2005年度: 大阪大学, 大学院・情報科学研究科, 助教授 1999年度 – 2001年度: 大阪大学, 大学院・基礎工学研究科, 講師 2000年度: 大阪大学, 基礎工学研究科, 講師 1999年度: 大阪大学, 大学院・基礎工業研究科, 講師 1998年度: 大阪大学, 基礎工学研究科, 助手 1997年度 – 1998年度: 大阪大学, 大学院・基礎工学研究科, 助手 1993年度 – 1996年度: 大阪大学, 基礎工学部, 助手隠す
審査区分/研究分野	研究代表者計算機科学 / ソフトウエア / 小区分60050:ソフトウェア関連 / ソフトウェア / 理工系研究代表者以外計算機科学 / ソフトウエア / ソフトウェア / 情報通信工学 / 中区分60:情報科学、情報工学およびその関連分野 / 小区分62030:学習支援システム関連 / 小区分09070:教育工学関連
キーワード	研究代表者モデル検査 / 機械学習 / 自然語解析 / 形態素解析 / 時間オートマトン / モデル / OCL / ML / 定理証明 / 反例解析 … もっと見る / バグ局所化 / 有界モデル検査 / 自然語処理 / 制約指向 / ソフトウエア学 / CYKアルゴリズム / オートマトン / 形式記述 / 要求仕様 / 構文解析 / 状態遷移 / 要求仕様書 / NLP / 仕様記述解析 / ソフトウェア工学 / 検証 / 仕様記述 / 確率時間オートマント / CEGAR LOOP / 表明 / モデル駆動開発 / フォーマルアプローチ / ソフトウェア / JML / CEGAR / 形式手法 / timelines QoS / UPPAAL / Struts / WEB / UML / SPIN / 整合性検査 / プログラム設計 / アサーション / .net framework / F# / Component Based Design / Formal Verification / Design by Contract / Object-Oriented / 項書換え系 / 関数型プログラム言語 / 型付TRS / 検証支援システム / 図書管理システム / 契約に基づく設計 / プレスブルガー文 / 関数型プログラミング言語ML / 有理数 / プレスブルガー文真偽判定 / 試験系列生成 / 非同期バス転送 / 凸多面体 / アレンジメント / 実時間システム / 計算幾何学 / 有理数プレスブルガー文 / プログラム自動合成 / 線形計画法 / 分散実行 / 時間制約 / ペトリネットモデル / プロトコル合成 / 耐故障 / 動作仕様 / プロトコル仕様 … もっと見る研究代表者以外 LOTOS / 通信プロトコル / 実時間システム / コードクローン / VHDL / モデル検査 / マルチランデブ / レジスタ転送レベル / 代数的手法 / UML / FDT / オープンソースソフトウェア / ソフトウェア工学 / コンパイラ / 分散システム / 設計検証 / OCL / プレスブルガー文 / 時間オートマトン / 並行システム / SMIL / QoS制御 / multi-rendezvous / 形式記述技法 / E-LOTOS / マルチスレッド / マルチスレッド機構 / マルチメディアシステム / 並行プロセス / CAD / ASIC / 確率系 / ソフトウェアライブラリ / 再利用 / ソフトウェアライセンス / ソースコード / ソフトウェア解析 / 実験的評価 / リファクタリング / ソフトウェア保守 / パイプラインCPU / 拡張有限状態機械 / 同期式順序回路 / 自動検証 / 設計自動化 / プログラミング課題評価 / 状態遷移図 / モデリング教育 / 視線情報 / ログ解析 / 差分解析 / 躓き検出 / 動的解析 / 静的解析 / 誤り検出 / ステートマシン図 / 教育支援 / モデリング / ソフトウェア工学教育 / WiFi通信 / 5G / エッジコンピューティング / 実行トレース / 類似度計算 / 情報科学 / 情報工学およびその関連分野 / ライセンス / 類似度分析 / 深層学習 / エコシステム / 類似性判定 / ライセンス情報 / パッケージ依存関係 / 自動ビルド / SPDX / コードクローン検出 / ソフトウェアレポジトリマイニングMSR / オープンソースソフトウェアOSS / ソフトウェアエコシステム / 仕様記述 / 検査項目生成 / 形式検証 / 情報工学 / ゲートウェイ配置 / 自己位置推定 / アドホックネットワーク / ロボティックス / Empirical Software Eneineering / Measurement tool / Web application / Function Point / Use Case Point / 実行履歴 / オブジェクト指向プログラム / 規模見積 / 実証的ソフトウェア工学 / 計測ツール / Webアプリケーション / ファンクションポイント / ユースケースポイント / Petri-nets / Program Derivation / Timed Automaton / Sate-chart / Distributed Real-time System / Object-Oriented / 時間制約 / GUI / カラーペトリネット / プログラム自動導出 / 分散オブジェクト / Java / コンポーネントベースシステム / 分散マルチメディアシステム / 線形計画法 / Quality of Services / ペトリネット / プログラム導出 / ステートチャート / 分散実時間システム / オブジェクト指向 / Time-Action-Deadlock / Behavioral Level / Register Transfer Level / Verification Support System / Verification of Timeliness / Verification of Functional Properties / High-Leveled Design / CTL / 並列同期回路 / モデルチェッカー / 並列同期システム / 時間オートマトン群 / 時相論理式 / 整数変数つきFSM / 時間領域デッドロック / 動作仕様レベル / 検証支援システム / 時間性質の保証 / 機能性質の保証 / ハードウェア高位設計 / Presburger sentences / parallel control systems / parallel sequential machines / real-times systems / symbolic model checking / out-of-order pipelined CPU / Design and verification technique / out-of-order型パイプラインCPU / 動的性質 / 順序機械 / プレスブルガー文真偽判定 / 並列制御部 / 並列動作順序回路 / 記号モデル検査 / Out-of-order CPU / Scheduling / Communication Protocols / FDTs / Concurrent Systems / Real-Time Systems / Hardware Synthesis / ハードウェア高位合成 / スケジューリング / 形式記述言語 / ハードウェア合成 / QoS control / real-time systems / multi-thread / distributed systems / LOTOS compiler / マルチメディア / 制約指向 / LOTOSコンパイラ / High level synthesis / Register transfer level / Automatic curcuit synthesis / Hardware design / Protocol / ハードウェア化 / 高位レベル合成 / 回路自動合成 / ハードウェア / realtime system / multimedia / Qos control / compiler / State diagram transformation / Presburger sentence / Design verification / Stepwise refinement / Algebraic method / Synchronous sequential circuit / 形式的手法 / 機能設計 / グラフィカルユーザインタフェース / 高位合成 / 状態図変形 / プレスブルガ-文 / 段階的詳細化 / 確率的振舞い / 自律移動ロボット / 組込みシステム / 確率モデル検査 / てんぽらり / ソフトウェア信頼性 / Software Universe Graph / 評価 / 開発支援 / ソフトウェア検索 / 機械学習 / プログラム解析 / 依存関係可視化 / リファクタリング評価 / プログラム検索 / 依存関係グラフ / ソフトウェア資産 / 計測 / 印象 / サクロマチック数 / ソフトウェア複雑さ / 複雑度 / メトリクス / ソフトウェア / プログラム部品 / 自動推薦 / 定量化 / 作業見積り / 変更量 / UMLクラス図 / プログラム類似度 / 名詞辞書 / ソフトウェア分析 / コードクローン分析 / ソフトウェア開発効率化・安定化 / 実証データ分析 / ソフトウェア構成関連分析 / ソースコード解析 / 複雑度メトリクス / 修正保守 / プログラム依存グラフ / イーサーネット / バス結合型ネットワーク / プレスブルガ-算術 / 形式的検証 / 分散実行 / プログラム自動合成 / 検証 / ペトリネットモデル / 試験系列 / 拡張有限状態能機械 / UIO法 / 相互接続試験 / プレスブルガ文 / 順序機械型プログラム隠す

モデル検査を用いたプログラミング課題評価と課題提出システム構築
- 研究代表者
  
  関澤俊弦
- 研究期間 (年度)
  2024 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分62030:学習支援システム関連
- 研究機関
  日本大学
自然語解析と反例解析を活用したソフトウェア開発研究代表者
- 研究代表者
  
  岡野浩三
- 研究期間 (年度)
  2021 – 2024
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  信州大学
状態遷移モデリング学習を支援する学習者向けフィードバック自動生成手法の研究
- 研究代表者
  
  小形真平
- 研究期間 (年度)
  2020 – 2022
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分09070:教育工学関連
- 研究機関
  信州大学
可搬型エッジコンピューティング情報通信基盤の構築に関する研究
- 研究代表者
  
  東野輝夫
- 研究期間 (年度)
  2019
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  大阪大学
オープンソースソフトウェアのリスクや健全性診断のためのエコシステム分析法の開発
- 研究代表者
  
  井上克郎
- 研究期間 (年度)
  2018 – 2022
- 研究種目
  
  基盤研究(A)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  南山大学
   大阪大学
組み合わせテストを応用した組込みシステムの検証項目生成の研究
- 研究代表者
  
  関澤俊弦
- 研究期間 (年度)
  2017 – 2019
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  日本大学
モデルと制約に基づくソフトウェア開発に関する研究研究代表者
- 研究代表者
  
  岡野浩三
- 研究期間 (年度)
  2016 – 2018
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  信州大学
動的システムに対する組込み制御プログラムの信頼性検証に関する研究
- 研究代表者
  
  関澤俊弦
- 研究期間 (年度)
  2014 – 2016
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウェア
- 研究機関
  日本大学
多様なソフトウェア資産の収集・分析・評価と効果的な利活用の研究
- 研究代表者
  
  井上克郎
- 研究期間 (年度)
  2013 – 2017
- 研究種目
  
  基盤研究(S)
- 研究分野
  
  ソフトウェア
- 研究機関
  大阪大学
ソフトウェアプロダクトに対する印象の計測
- 研究代表者
  
  楠本真二
- 研究期間 (年度)
  2011 – 2012
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  ソフトウエア
- 研究機関
  大阪大学
巨大ソフトウェア工学データを対象とした計算ソフトウェア工学の確立
- 研究代表者
  
  井上克郎
- 研究期間 (年度)
  2009 – 2012
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  ソフトウエア
- 研究機関
  大阪大学
モデル検査技術を活用したソフトウェア設計方法に関する研究研究代表者
- 研究代表者
  
  岡野浩三
- 研究期間 (年度)
  2009 – 2013
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  大阪大学
コンテキストに応じたソフトウェア保守管理支援に関する研究
- 研究代表者
  
  楠本真二
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  大阪大学
状態爆発するWEBアプリケーションに対するソフトウェアモデル検査研究代表者
- 研究代表者
  
  岡野浩三
- 研究期間 (年度)
  2006
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  大阪大学
契約に基づいた関数型プログラム設計に対する正当性保証に関する研究研究代表者
- 研究代表者
  
  岡野浩三
- 研究期間 (年度)
  2005 – 2006
- 研究種目
  
  若手研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  大阪大学
開発早期におけるソフトウェア機能規模見積に関する研究
- 研究代表者
  
  楠本真二
- 研究期間 (年度)
  2005 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  大阪大学
関数型プログラムに対するモジュール構造を考慮にいれた効率のよい形式的検証支援研究代表者
- 研究代表者
  
  岡野浩三
- 研究期間 (年度)
  2002 – 2004
- 研究種目
  
  若手研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
ハードウェアの高位設計・検証支援システム
- 研究代表者
  
  谷口健一
- 研究期間 (年度)
  2001 – 2004
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
オブジェクト指向型ソフトウェアの仕様記述と検証及び実行プログラム導出
- 研究代表者
  
  谷口健一
- 研究期間 (年度)
  2001 – 2004
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
有理数プレスブルガー文真偽判定の高速処理系研究代表者
- 研究代表者
  
  岡野浩三
- 研究期間 (年度)
  1999 – 2000
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
時間制約付LOTOS言語で書かれた通信プロトコル仕様のハードウェア化に関する研究
- 研究代表者
  
  東野輝夫
- 研究期間 (年度)
  1999 – 2000
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報通信工学
- 研究機関
  大阪大学
並行動作順序回路システムの設計と検証に関する研究
- 研究代表者
  
  谷口健一
- 研究期間 (年度)
  1999 – 2000
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
分散システム記述言語のコンパイラ
- 研究代表者
  
  谷口健一
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
実時間マルチランデブ機構を持つ時間制約付きLOTOSプログラムの分散実行系の構築
- 研究代表者
  
  東野輝夫
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報通信工学
- 研究機関
  大阪大学
通信プロトコルの形式仕様からのハードウェア回路合成
- 研究代表者
  
  谷口健一
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
マルチランデブを含むLOTOSプログラムの分散実行系の構築
- 研究代表者
  
  谷口健一
- 研究期間 (年度)
  1996
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
複数の制御部をもつ同期式順序回路の機能検証に関する研究
- 研究代表者
  
  谷口健一
- 研究期間 (年度)
  1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
時間制約付きペトリネットモデルで記述された分散システムの動作仕様の自動導出研究代表者
- 研究代表者
  
  岡野浩三
- 研究期間 (年度)
  1995
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
通信プロトコルの相互接続試験における試験系列の自動生成に関する研究
- 研究代表者
  
  東野輝夫
- 研究期間 (年度)
  1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報通信工学
- 研究機関
  大阪大学
ペトリネット型実行制御部をもつ代数的仕様記述の検証と分散実行系
- 研究代表者
  
  谷口健一
- 研究期間 (年度)
  1994
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
分散システムにおける実行効率の良い耐故障性動体プログラムの自動導出研究代表者
- 研究代表者
  
  岡野浩三
- 研究期間 (年度)
  1994
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
代数的手法を用いたプログラムの階層的設計と開発環境に関する研究
- 研究代表者
  
  谷口健一
- 研究期間 (年度)
  1993
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
ASIC設計の上流工程設計支援システムの開発
- 研究代表者
  
  谷口健一
- 研究期間 (年度)
  1993 – 1994
- 研究種目
  
  試験研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学

[雑誌論文] Verification of Shell Script Behavior by Comparing Execution Log2023
- 著者名/発表者名
  Hitoshi Kiryu, Satoshi Suda, Shinpei Ogata, Kozo Okano
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: 14 ページ: 55-64
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-21K11826
[雑誌論文] Im- prove Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning2023
- 著者名/発表者名
  Hitoshi Kiryu, Nobutoshi Todoroki, Satoshi Suda, Shinpei Ogata, and Kozo Okano
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: 15 ページ: 15-22
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-21K11826
[雑誌論文] Executable Counterexample for Java Model Checker2022
- 著者名/発表者名
  C. M. B. Hassan, S. Ogata, and K. Okano
- 雑誌名
  
  International Journal of Informatics Society (IJIS)
  
  巻: 13, No. 3 ページ: 107-114
- 査読あり
- データソース
  KAKENHI-PROJECT-18H04094
[雑誌論文] Verification of Shell Script Behavior by Comparing Execution Log2022
- 著者名/発表者名
  H. Kiryu, S.Suda, S. Ogata, and K. Okano
- 雑誌名
  
  International Journal of Informatics Society (IJIS)
  
  巻: 14, No: 2 ページ: 55-64
- 査読あり
- データソース
  KAKENHI-PROJECT-18H04094
[雑誌論文] Executable Counterexample for Java Model Checker2022
- 著者名/発表者名
  Chellet Marwan Bernard Hassan, Shinpei Ogata, Kozo Okano
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: 13 ページ: 107-114
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-21K11826
[雑誌論文] Executable Counterexample for Java Model Checker2022
- 著者名/発表者名
  Challet M. B. Hassan, Shinpei Ogata, and Kozo Okano
- 雑誌名
  
  International Journal of Informatics Society,
  
  巻: Vol.13, No.3, pp.107-114 ページ: 107-114
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-18H04094
[雑誌論文] xecutable Counterexample for Java Model Checker,2022
- 著者名/発表者名
  Chellet Marwan Bernard Hassan, Shinpei Ogata, Kozo Okano
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: 13, No,3 ページ: 107-114
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-21K11826
[雑誌論文] Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees2021
- 著者名/発表者名
  Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sekizawa
- 雑誌名
  
  International Journal of Informatics Society,
  
  巻: Vol.12, No.3, pp.143-156 ページ: 143-156
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-18H04094
[雑誌論文] Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees2021
- 著者名/発表者名
  Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sek
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: 12, No.3 ページ: 143-156
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-21K11826
[雑誌論文] Effective Derivation of a Mapping of Variables in a Loop Structure2018
- 著者名/発表者名
  Kozo Okano, Shinji Kusumoto, and Yukihiro Sasaki
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: 10 ページ: 75-83
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-25220003
[雑誌論文] On the Generation of Human-oriented Counter-examples using a Test Automaton2017
- 著者名/発表者名
  Chikyu Yanagisawa, Shinpei Ogata, and Kozo Okano
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: 9 ページ: 41-50
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-25220003
[雑誌論文] Parallel Multiple Counter-Examples Guided Abstraction Loop - Applying to Timed Automaton -2016
- 著者名/発表者名
  Kozo Okano, Takeshi Nagaoka, Toshiaki Tanaka, Toshifusa Sekizawa, and Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: Vol. 8, No. 2 ページ: 103-116
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-26330092
[雑誌論文] 確率時間オートマトンを用いた自律移動ロボットの振舞いのモデル化2016
- 著者名/発表者名
  小林佳正，岡野浩三，関澤俊弦
- 雑誌名
  
  情報処理学会研究報告
  
  巻: Vol. 2016-SE-192, No. 14 ページ: 1-6
- データソース
  KAKENHI-PROJECT-26330092
[雑誌論文] PDGとSMTソルバを利用した表明自動導出手法の提案と評価2013
- 著者名/発表者名
  小林和貴, 佐々木幸広, 岡野浩三, 楠本真二
- 雑誌名
  
  電子情報通信学会論文誌
  
  巻: Vol.J96D, No.11(ソフトウェア基礎・応用特集号) ページ: 2657-2668
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model2013
- 著者名/発表者名
  Kozo Okano, Toshifusa Sekizawa, Hiroaki Shimba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: Vol.5, No.3 ページ: 147-155
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model2013
- 著者名/発表者名
  Kozo Okano, Toshifusa Sekizawa, Hiroaki Shinba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, and Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society (IJIS)
  
  巻: vol.5, No.1
- 査読あり
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] Implementation of a Prototype Bi-directinal Translation Tool between Ocl and Jml2013
- 著者名/発表者名
  Kentaro Hanada, Hiroaki Shimba, Kozo Okano, and Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: Vol.5, No.2 ページ: 86-96
- 査読あり
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] Implementation of a Prototype Bi-directinal Translation Tool between Ocl and Jml2013
- 著者名/発表者名
  Kentaro Hanada, Hiroaki Shinba, Kozo Okano, and Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society (IJIS)
  
  巻: vol.5, No.1
- 査読あり
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] Alloy Analyzer を用いた表明に関する欠陥の検出手法―JML による表明記述に対して―”2013
- 著者名/発表者名
  森恵弥佳, 岡野浩三, 楠本真二
- 雑誌名
  
  日本ソフトウェア科学会学会誌コンピュータソフトウェア
  
  巻: Vol.30, No.3,
- NAID
  120005575505
- 査読あり
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] Implementation of a Prototype Bi-directinal Translation Tool between Ocl and Jml2013
- 著者名/発表者名
  Kentaro Hanada, Hiroaki Shimba, Kozo Okano, Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: Vol.5, No.2 ページ: 89-96
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] Alloy Analyzerを用いた表明に関する欠陥の検出手法—JMLによる表明記述に対して—2013
- 著者名/発表者名
  森恵弥佳, 岡野浩三, 楠本真二
- 雑誌名
  
  日本ソフトウェア科学会学会誌コンピュータソフトウェア
  
  巻: Vol.30, No.3
- NAID
  120005575505
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] LASP - a Learning Assistant System for Formal Proof2013
- 著者名/発表者名
  Kiyoyuki Miyazawa, Kozo Okano, and Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society (IJIS)
  
  巻: vol.4, No.3
- 査読あり
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] PDG とSMT ソルバを利用した表明自動導出手法の提案と評価2013
- 著者名/発表者名
  小林和貴, 佐々木幸広, 岡野浩三, 楠本真二
- 雑誌名
  
  電子情報通信学会論文誌
  
  巻: Vol.J96D, No.11 ページ: 2657-2668
- 査読あり
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] LASP—a Learning Assistant System for Formal Proof2012
- 著者名/発表者名
  Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: Vol.4, No.2 ページ: 85-92
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] A Visualization Technique for Unit Testing and Static Checking with Caller-Callee Relationships2011
- 著者名/発表者名
  Yuko Muto, Kozo Okano, Shinji Kusumoto
- 雑誌名
  
  Journal of Convergences
  
  巻: Vol.2, No. 2 ページ: 1-8
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] A Model Abstraction Technique for Probabilistic Real-Time Systems Based on CEGAR for Timed Automata2011
- 著者名/発表者名
  Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society (IJIS)
  
  巻: Vol.3,No.1 ページ: 11-20
- 査読あり
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] QoS Analysis of Real-time Distributed System Based on Hybrid Analysis of Probabilistic Model Checking2011
- 著者名/発表者名
  Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: Vol.E94-D (フォーマルアプローチ特集号) ページ: 958-966
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] Daikon生成表明改善のためのテストケース自動生成手法とその評価実験2011
- 著者名/発表者名
  宮本敬三, 堀直哉, 岡野浩三, 楠本真二
- 雑誌名
  
  日本ソフトウェア科学会学会誌コンピュータソフトウェア
  
  巻: Vol. 28, No. 4
- NAID
  130004549243
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] A Model Abstraction Technique for Probabilistic Real-Time Systems Based on CEGAR for Timed Automata2011
- 著者名/発表者名
  Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: Vol.3, No.1 ページ: 11-20
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] メソッドの自動生成を用いたOCLのJMLへの変換2010
- 著者名/発表者名
  尾鷲方志, 岡野浩三, 楠本真二
- 雑誌名
  
  コンピュータソフトウェア
  
  巻: 27,2 ページ: 106-111
- NAID
  130004549165
- 査読あり
- データソース
  KAKENHI-PROJECT-20500033
[雑誌論文] メソッドの自動生成を用いたOCLのJMLへの変換2010
- 著者名/発表者名
  尾鷲方志, 岡野浩三, 楠本真二
- 雑誌名
  
  日本ソフトウェア科学会学会誌コンピュータソフトウェア
  
  巻: Vol. 27, No. 2
- NAID
  130004549165
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop2010
- 著者名/発表者名
  Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: Vol.E93-D, No.5(フォーマルアプローチ特集号) ページ: 994-1005
- NAID
  10026815323
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop2010
- 著者名/発表者名
  T.Nagaoka, K.Okano, S.Kusumoto
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E93-D,5 ページ: 994-1005
- NAID
  10026815323
- 査読あり
- データソース
  KAKENHI-PROJECT-20500033
[雑誌論文] Stepwise Approach to Design of Real-Time Systems based UML/OCL with Formal Verification2009
- 著者名/発表者名
  Takeshi Nagaoka, Eigo Nagai, Kozo Okano, Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society
  
  巻: Vol.1, No.2 ページ: 37-44
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] Stepwise Approach to Design of Real-Time Systems based UML/OCL with Formal Verification2009
- 著者名/発表者名
  Takeshi Nagaoka, Eigo Nagai, Kozo Okano, Shinji Kusumoto
- 雑誌名
  
  International Journal of Informatics Society (IJIS) Vol. 1, No. 2
  
  ページ: 37-44
- 査読あり
- データソース
  KAKENHI-PROJECT-21500036
[雑誌論文] 関数プログラミング言語MLに対するオブジェクト指向をに対応した形式検証方法の提案とび検証支援システム構築2006
- 著者名/発表者名
  吉村顕, 岡野浩三, 楠本真二
- 雑誌名
  
  ソフトウェア工学の基礎XIII
  
  ページ: 71-76
- データソース
  KAKENHI-PROJECT-17700032
[雑誌論文] UML/OCLに記述された時間QoSの階層的検証手法の提案2006
- 著者名/発表者名
  長井栄吾, 岡野浩三, 楠本真二
- 雑誌名
  
  電子情報通信学会技術研究報告 Vol. 106,No. 202
  
  ページ: 13-18
- NAID
  110004824062
- データソース
  KAKENHI-PROJECT-18049054
[雑誌論文] SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法2006
- 著者名/発表者名
  浜口優, 吉村顕, 岡野浩三, 楠本真二
- 雑誌名
  
  電子情報通信学会技術研究報告 Vol. 106,No. 202
  
  ページ: 29-34
- NAID
  110004824065
- データソース
  KAKENHI-PROJECT-18049054
[雑誌論文] A Method to Develop Distributed Real-time Applications based on UML/OCL2005
- 著者名/発表者名
  Aya MAKIDERA, Eigo NAGAI, Kozo OKANO, Kenichi TANIGUCHI
- 雑誌名
  
  TECHNICAL REPORT OF IEICE. Vol.104, No.723
  
  ページ: 1-6
- NAID
  110003277300
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13680414
[雑誌論文] A Verification method and verification support system based on the method for functional programming for ML2004
- 著者名/発表者名
  Tetsuya SAIMURA, Kozo OKANO, Kenichi TANIGUCHI
- 雑誌名
  
  Proceedings of Software Symposium, 2004 (ISBN4-916227-16-6)
  
  ページ: 53-57
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13558028
[雑誌論文] 線形制約式を用いた時間QoS一貫性の検証法2004
- 著者名/発表者名
  岡野浩三他
- 雑誌名
  
  京都大学数理解析研究所講究録 Vol.1375
  
  ページ: 151-157
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-13680414
[雑誌論文] Consistency Checking of Timeliness QoS with Linear Constraints2004
- 著者名/発表者名
  Kozo OKANO, Kazuo MORI, Kenichi TANIGUCHI
- 雑誌名
  
  Kokyuroku of Research Institute for Mathematical Sciences Kyoto University Vol.1375
  
  ページ: 151-157
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13680414
[雑誌論文] Testing Deadlock-freeness in Real-time Systems -A Formal Approach-2004
- 著者名/発表者名
  Behzad BORDBAR, Kozo OKANO
- 雑誌名
  
  Lecture Notes in Computer Science Vol.3395
  
  ページ: 95-106
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13558028
[雑誌論文] An implementation of a decision procedure for Presburger sentences in ML and its application to verification support system2004
- 著者名/発表者名
  Tetsuya SAIMURA, Kozo OKANO, Kenichi TANIGUCHI
- 雑誌名
  
  TECHNICAL REPORT OF IEICE Vol.103, No.708
  
  ページ: 7-12
- NAID
  110003276708
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13558028
[雑誌論文] Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control2004
- 著者名/発表者名
  Kazuo MORI, Kozo OKANO, Kenichi TANIGUCHI
- 雑誌名
  
  TECHNICAL REPORT OF IEICE. Vol.103, No.583
  
  ページ: 13-18
- NAID
  110003276701
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13680414
[雑誌論文] A Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments2004
- 著者名/発表者名
  Aya MAKIDERA, Kozo OKANO, Kenichi TANIGUCHI
- 雑誌名
  
  TECHNICAL REPORT OF IEICE. Vol.104, No.243
  
  ページ: 19-24
- NAID
  110003276723
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13680414
[雑誌論文] Symbolic Model Checking of Extended Finite State Machines with Linear Constraints over Integer Variables2004
- 著者名/発表者名
  Takashi TAKENAKA, Kozo OKANO, Teruo HIGASHINO, Kenichi TANIGUCHI
- 雑誌名
  
  IEICE Transactions on Information and Systems Vol.J87-DI, No.4
  
  ページ: 462-470
- NAID
  110003171323
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13558028
[雑誌論文] A verification support system for functional programming for ML2004
- 著者名/発表者名
  Tetsuya SAIMURA, Kozo OKANO, Kenichi TANIGUCHI
- 雑誌名
  
  TECHNICAL REPORT OF IEICE Vol.104, No.243
  
  ページ: 13-18
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13558028
[雑誌論文] Specification and Verification of Real-Time System with Extended Timed Automata2003
- 著者名/発表者名
  Yuichiro KATO, Hirozumi.YAMAGUCHI, Kozo OKANO, Kenichi TANIGUCHI
- 雑誌名
  
  TECHNICAL REPORT OF IEICE. Vol.102, No.616
  
  ページ: 13-18
- NAID
  110003276632
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13680414
[雑誌論文] Verification of Timeliness QoS Properties in Multimedia Systems2003
- 著者名/発表者名
  Behzad BORDBAR, Kozo OKANO
- 雑誌名
  
  Lecture Notes in Computer Science Vol.2885
  
  ページ: 523-540
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13558028
[雑誌論文] A Deriving Method for J2ME Program on Personal Appliances from Application Descriptions in Petri-nets and their Executional environment2002
- 著者名/発表者名
  Kosuke SAKAUE, Kozo OKANO, Kenichi TANIGUCHI
- 雑誌名
  
  TECHNICAL REPORT OF IEICE. Vol.102, No.246
  
  ページ: 1-6
- NAID
  110003498092
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13680414
[雑誌論文] Colored Petri-nets with time constraints for workflow descriptions2002
- 著者名/発表者名
  Kozo OKANO, Akira YAMAGUCHI, Kenichi Taniguchi
- 雑誌名
  
  TECHNICAL REPORT OF IEICE. Vol.102, No.96
  
  ページ: 13-16
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13680414
[雑誌論文] A Method for Describing Specification for GUI Controllers with Timing Restrictions.2002
- 著者名/発表者名
  Yuichiro KATO, Kozo OKANO, Kenichi TANIGUCHI
- 雑誌名
  
  TECHNICAL REPORT OF IEICE. Vol.102, No.629
  
  ページ: 15-22
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13680414
[雑誌論文] Deriving Work Schedules from Workflow Description in Colored Petri-nets with Time Constraints2002
- 著者名/発表者名
  Akira YAMAGUCHI, Kozo OKANO, Kenichi TANIGUCHI
- 雑誌名
  
  TECHNICAL REPORT OF IEICE. Vol.102, No.629
  
  ページ: 23-30
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-13680414
[雑誌論文] ワークフロー記述向きの時間付きカラーペトリネット2002
- 著者名/発表者名
  岡野浩三他
- 雑誌名
  
  電子情報通信学会技術報告 Vol.102,No.96
  
  ページ: 13-16
- NAID
  110003299879
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-13680414
[学会発表] Temporal relation identification in functional requirements2023
- 著者名/発表者名
  Maiko Onishi, Shinpei Ogata, Kozo Okano, and Daisuke Bekki
- 学会等名
  Proceedings of 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces2023
- 著者名/発表者名
  Takuma Ikeda, Kozo Okano, Shinpei Ogata, and Shin Nakajima
- 学会等名
  Proceedings of 2nd In- ternational Workshop on Intelligent Software Engineering
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] ソフトウェア要求仕様書からのCausal Component Model 作成のための自動抽出手法の比較2023
- 著者名/発表者名
  二ノ宮健来, 大戸柾之介, 高岡俊希, 小形真平, 岡野浩三
- 学会等名
  電子情報通信学会技術研究報告
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] 深層学習を用いた情報システムの非機能要求の効率的な自動分類～ BERT、GPT2 の精度比較～2023
- 著者名/発表者名
  向田和弘, 福居誠二, 長岡武志, 北川貴之, 小形真平, 岡野浩三
- 学会等名
  電子情報通信学会技術研究報告
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] DNN-based Fault Localization with Virtual Coverage based on Number of Executions2023
- 著者名/発表者名
  Takuma Ikeda, Hitoshi Kiryu, Shinpei Ogata, and Kozo Okano
- 学会等名
  Proceedings of Inter- national Workshop on Informatics 2023 (IWIN2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] ステートマシン図記述課題における答案が満たさない要求の特定・計測半自動化手法の提案2023
- 著者名/発表者名
  木村拓馬, 五島光祥, 小形真平, 槇原絵里奈, 岡野浩三
- 学会等名
  第9回実践的IT教育シンポジウム rePiT2023 in 函館
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] 差分プライバシーを用いた機械学習であるDP-SGD のロバスト性の傾向2023
- 著者名/発表者名
  神吉孝洋, 小形真平, 岡野浩三, 中島震
- 学会等名
  電子情報通信学会技術研究報告
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] 統計的なメタモルフィック・テスティングを利用したCNN モデルの歪みを示す指標の調査2023
- 著者名/発表者名
  土屋拓実, 小形真平, 岡野浩三, 中島震
- 学会等名
  電子情報通信学会技術研究報告
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] 畳み込みニューラルネットワーク(CNN)における学習プログラムの欠陥とモデルの歪みの関係性2022
- 著者名/発表者名
  土屋拓実, 岡野浩三, 小形真平, 中島震
- 学会等名
  ソフトウェアサイエンス研究会
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] アブレーションによる故障箇所特定における符号化方法とアブレーション方法の改善2022
- 著者名/発表者名
  池田拓真, 岡野浩三, 小形真平, 中島震
- 学会等名
  ソフトウェアサイエンス研究会
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] 静的解析と動的解析の組み合わせによる UMLステートマシン図答案の誤り特定自動化手法の提案2022
- 著者名/発表者名
  五島光祥，小形真平，槇原絵里奈，岡野浩三
- 学会等名
  第29回ソフトウェア工学の基礎ワークショップ FOSE 2022
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] アブレーションによる故障箇所特定における符号化方法とアブレーション方法の改善2022
- 著者名/発表者名
  池田拓真, 岡野浩三, 小形真平, 中島震
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] 視線情報と編集ログに基づくステートマシン図課題の躓き調査2022
- 著者名/発表者名
  木村拓馬，小形真平，槇原絵里奈，岡野浩三
- 学会等名
  信学技報
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] A Method for Matching Patterns Based on Event Semantics with Requirements2022
- 著者名/発表者名
  Maiko Onishi, Shinpei Ogata, Kozo Okano, and Daisuke Bekki
- 学会等名
  14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications2022
- 著者名/発表者名
  Maiko Onishi, Shinpei Ogata, Kozo Okano, and Daisuke Bekki
- 学会等名
  29th Asia-Pacific Software Engineering Conference (APSEC)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] A Bounded Model Checker for Timed Automata and Its Application to LTL Properties2022
- 著者名/発表者名
  Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamotod Daisuke Bekki
- 学会等名
  26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] 畳み込みニューラルネットワークにおける評価データの網羅性指標の比較2022
- 著者名/発表者名
  横山友杜, 岡野浩三, 小形真平, 中島震
- 学会等名
  ソフトウェアサイエンス研究会
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] 時相論理式の生成に向けた時間関係認識手法の検討2022
- 著者名/発表者名
  大西舞子, 小形真平, 岡野浩三, 戸次大介
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] A Bounded Model Checker for Timed Automata and Its Application to LTL Properties2022
- 著者名/発表者名
  Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamotod Daisuke Bekki
- 学会等名
  26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning2022
- 著者名/発表者名
  Hitoshi Kiryu, Shinpei Ogata, and Kozo Okano
- 学会等名
  16th International Workshop on Informatics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] ステートマシン図課題における学習者が満たせなかった要求文の特定・計測自動化に向けて2022
- 著者名/発表者名
  木村拓馬，五島光祥，小形真平，槇原絵里奈，岡野浩三
- 学会等名
  ソフトウェアエンジニアリングシンポジウム2022 WS3 ソフトウェア工学教育の自動化・最適化に向けて
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] 時相論理式の生成に向けた時間関係認識手法の検討2022
- 著者名/発表者名
  大西舞子, 小形真平, 岡野浩三, 戸次大介
- 学会等名
  ソフトウェアサイエンス研究会
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] A Method for Matching Patterns Based on Event Semantics with Requirements2022
- 著者名/発表者名
  Maiko Onishi, Shinpei Ogata, Kozo Okano, and Daisuke Bekki
- 学会等名
  Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning2022
- 著者名/発表者名
  Hitoshi Kiryu, Shinpei Ogata, and Kozo Okano
- 学会等名
  16th International Workshop on Informatics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] 畳み込みニューラルネットワークにおける評価データの網羅性指標の比較2022
- 著者名/発表者名
  横山友杜, 岡野浩三, 小形真平, 中島震
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications2022
- 著者名/発表者名
  Maiko Onishi, Shinpei Ogata, Kozo Okano, and Daisuke Bekki
- 学会等名
  29th Asia-Pacific Software Engineering Conference (APSEC)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] Automatic Derivation of a Transition Model from a Japanese Requirement Specification under a Restricted Grammar2022
- 著者名/発表者名
  Koki Shimokawa, Hiroya Ii, Maiko Onishi, Shinpei Ogata, and Kozo Okano
- 学会等名
  16th International Workshop on Informatics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] 静的解析によるUMLステートマシン図答案の誤り特定自動化手法の評価2022
- 著者名/発表者名
  五島光祥，小形真平，槇原絵里奈，岡野浩三
- 学会等名
  第8回実践的IT教育シンポジウム (rePiT2022)
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] 畳み込みニューラルネットワーク(CNN)における学習プログラムの欠陥とモデルの歪みの関係性2022
- 著者名/発表者名
  土屋拓実, 岡野浩三, 小形真平, 中島震
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] Automatic Derivation of a Transition Model from a Japanese Requirement Specification under a Restricted Grammar2022
- 著者名/発表者名
  Koki Shimokawa, Hiroya Ii, Maiko Onishi, Shinpei Ogata, and Kozo Okano
- 学会等名
  16th International Workshop on Informatics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] Property Lifecycle Diagram for Tracing State Machine Diagram Changes2021
- 著者名/発表者名
  Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama and Kozo Okano
- 学会等名
  16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] テスト実行結果を自動分類するためのメソッドにおける近接情報を活用した実行トレースの符号化2021
- 著者名/発表者名
  池田拓真, 小形真平, 岡野浩三, 中島震
- 学会等名
  電子情報通信学会技術研究報告
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] 仕様書の条件文における状態遷移関係の抽出方法2021
- 著者名/発表者名
  大西舞子，井浩也，小形真平, 岡野浩三, 戸
- 学会等名
  電子情報通信学会技術研究報告
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] ステートマシン図における編集時間に基づいた学習者の躓き調査2021
- 著者名/発表者名
  北村拓弥, 小形真平, 槇原絵里奈, 岡野浩三
- 学会等名
  電子情報通信学会総合大会 2021
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis,2021
- 著者名/発表者名
  Masanosuke Ohto, Hiroya Ii, Kozo Okano, and Shinpei Ogata
- 学会等名
  Proceedings of the 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] Software edutainment systems and analysis of learners’ data based docker and edutainment2021
- 著者名/発表者名
  Ryosuke Tsutsumi, Jiujun Wei, Shinpei Ogata, Masaaki Niimura, and Kozo Okano
- 学会等名
  Proceedings of International Workshop on Informatics 2021 (IWIN2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] UMLステートマシン図学習における答案の誤り特定自動化手法の提案2021
- 著者名/発表者名
  五島光祥, 小形真平, 槇原絵里奈, 岡野浩三
- 学会等名
  電子情報通信学会総合大会 2021
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] テスト実行結果を自動分類するための機械学習モデルにおける実行トレースのアブレーション2021
- 著者名/発表者名
  池田拓真, 小形真平, 岡野浩三, 中島震
- 学会等名
  電子情報通信学会技術研究報告
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] 遷移モデル自動導出を考慮した要求仕様書と導出方法の提案2021
- 著者名/発表者名
  井浩也, 大戸柾之介, 桐生仁司, 小形真平, 岡野浩
- 学会等名
  電子情報通信学会技術研究報告
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] Verification of shell script behavior by comparing execution log2021
- 著者名/発表者名
  Hitoshi Kiryu, Shinpei Ogata, and Kozo Okano
- 学会等名
  Proceedings of International Workshop on Informatics 2021 (IWIN2021)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-21K11826
[学会発表] Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Depen- dency Analysis2021
- 著者名/発表者名
  Masanosuke Ohto, Hiroya Ii, Kozo Okano, and Shinpei Ogata
- 学会等名
  Proceedings of the 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, pp.1649-1657
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] ステートマシン図学習者の躓き特定手法の提案に向けて2021
- 著者名/発表者名
  北村拓弥, 小形真平, 槇原絵里奈, 岡野浩三
- 学会等名
  信学技報
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] Property Lifecycle Diagram for Tracing State Machine Diagram Changes2021
- 著者名/発表者名
  Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama and Kozo Okano
- 学会等名
  the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] UMLステートマシン図の教育的フィードバック自動生成に向けた答案の誤り特定自動化手法の提案～特定すべき誤りの種類とその特定結果への着目～2021
- 著者名/発表者名
  五島光祥, 小形真平, 槇原絵里奈, 岡野浩三
- 学会等名
  信学技報
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] 学習者への教育的フィードバックの自動化に向けたステートマシン図間の差分検出ツールの試作2021
- 著者名/発表者名
  五島光祥, 小形真平, 槇原絵里奈, 岡野浩三
- 学会等名
  信学技報
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] 静的解析によるUMLステートマシン図答案の誤り特定自動化手法の提案2021
- 著者名/発表者名
  五島光祥，小形真平，槇原絵里奈，岡野浩三
- 学会等名
  ソフトウェアエンジニアリングシンポジウム2021 (SES 2021)
- データソース
  KAKENHI-PROJECT-20K03146
[学会発表] Java model checking: improvement of the understanding of counterexample2020
- 著者名/発表者名
  Marwan Bernard Hassan Chellet, Shinpei Ogata, and Kozo Okano
- 学会等名
  Proceedings of International Workshop on Informatics 2020 pp.95-100
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA2020
- 著者名/発表者名
  Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto
- 学会等名
  Proceedings of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems,pp.1392-1401
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] Improving Accuracy of Automatic Deriva- tion of State Variables and Transitions from a Japanese Requirements Specification2020
- 著者名/発表者名
  Hiroya Ii, Kozo Okano, and Shinpei Ogata
- 学会等名
  Pro-ceedings of the 13th International Joint Conference on Knowledge-Based Software En- gineering, JCKBSE 2020
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] Proposal and evaluation for property verification for Java functions with recursive data structures by SAW2019
- 著者名/発表者名
  Rin Karashima, Satoshi Harauchi, Shinpei Ogata, and Kozo Okano
- 学会等名
  International Workshop on Informatics 2019
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] Class diagrams with traceable relations2019
- 著者名/発表者名
  Kozo Okano
- 学会等名
  Symposium on Advanced Information Systems (SAIS2019),
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] A review assistance system for class diagram with voice assistance based on NLP2019
- 著者名/発表者名
  Masashi Nakamura, Kozo Okano, Shinpei Ogata, and Toshifusa Sekizawa
- 学会等名
  International Workshop on Informatics
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00111
[学会発表] Analysis of Specification in Japanese using Natural Language Processing2018
- 著者名/発表者名
  Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa
- 学会等名
  12th Joint Conference on Knowladge-Based Software Engineering
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K00094
[学会発表] A simulator for a network of timed automata2018
- 著者名/発表者名
  Kozo Okano
- 学会等名
  Symposium on Advanced Information Systems (SAIS2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] Applying SAW to regression verification for C functions with recursive data structure2018
- 著者名/発表者名
  Kozo Okano, Satoshi Harauchi, Shin Maruyama, and Shinpei Ogata
- 学会等名
  of International Workshop on Informatics 2018 (IWIN2018)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-18H04094
[学会発表] 自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法2018
- 著者名/発表者名
  岡野浩三高橋一真仲悠介小形真平関澤俊弦
- 学会等名
  知能ソフトウェア工学研究会
- データソース
  KAKENHI-PROJECT-16K00094
[学会発表] Analysis of Specification in Japanese Using Natural Language Processing2018
- 著者名/発表者名
  Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa
- 学会等名
  Joint Conference on Knowledge-Based Software Engineering 2018
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00111
[学会発表] Kuromoji と構文解析による要求仕様書から状態遷移系への自動変換の試み2017
- 著者名/発表者名
  田幸玄陽，小形真平，岡野浩三，関澤俊弦
- 学会等名
  ウィンターワークショップ2017・イン・飛騨高山
- 発表場所
  高山高山市民文化会館
- 年月日
  2017-01-19
- データソース
  KAKENHI-PROJECT-16K00094
[学会発表] Towards Verification of Robot Design for Self-localization2017
- 著者名/発表者名
  Ryo Watanabe, Kozo Okano, and Toshifusa Sekizawa
- 学会等名
  13th International Haifa Verification Conference
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17K00111
[学会発表] 自己位置推定を行なうロボット設計の検証に向けて2017
- 著者名/発表者名
  渡邊亮，岡野浩三，関澤俊弦
- 学会等名
  IPSJ/SIGSE SES2017 ワークショップ
- データソース
  KAKENHI-PROJECT-17K00111
[学会発表] モデル検査を用いたロボット設計の検証2017
- 著者名/発表者名
  渡邊亮，岡野浩三，関澤俊弦
- 学会等名
  JSSST FOSE2017
- データソース
  KAKENHI-PROJECT-17K00111
[学会発表] ペアワイズ法に基づいた検証項目の生成とモデル検査による組み込みシステムの検証に向けて2017
- 著者名/発表者名
  渡辺誠人，岡野浩三，関澤俊弦
- 学会等名
  IPSJ/SIGSE ウィンターワークショップ・イン・飛騨高山
- 発表場所
  高山市民文化会館
- データソース
  KAKENHI-PROJECT-26330092
[学会発表] A New Prop osal of Generating Counter -example in Model Checking Using Test Automaton2016
- 著者名/発表者名
  Chikyu Yanagisawa, Shinpei Ogata, and Kozo Okano
- 学会等名
  iwin2016
- 発表場所
  Riga, Latovia
- 年月日
  2016-08-29
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-16K00094
[学会発表] Toward Improving Ability to Repair Bugs Automatically ?A Patch Candidate Location Mechanism Using Code Similarity?2016
- 著者名/発表者名
  H. Yokoyama, Y. Higo, K. Hotta, T. Ohta, K. Okano and S. Kusumoto
- 学会等名
  31st ACM Symposium on Applied Computing
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-25220003
[学会発表] 一次元系における自己位置推定の振舞い検証に向けて2016
- 著者名/発表者名
  関澤俊弦，岡野浩三
- 学会等名
  IEICE/SIGSS ソフトウェアサイエンス研究会
- 発表場所
  沖縄県立宮古青少年の家（沖縄県宮古島市）
- 年月日
  2016-03-11
- データソース
  KAKENHI-PROJECT-26330092
[学会発表] 自然語要求仕様記述の形式検証に向けて - 話題沸騰ポットのモデル検査に向けて -2016
- 著者名/発表者名
  遠藤健，小形真平，岡野浩三，関澤俊弦
- 学会等名
  IPSJ/SIGSE ウィンターワークショップ 2016・イン・逗子
- 発表場所
  湘南国際村センター（神奈川県三浦郡）
- 年月日
  2016-02-04
- データソース
  KAKENHI-PROJECT-26330092
[学会発表] 移動時間を考慮に入れた自律移動ロボットの確率的な振舞い検証に向けて2016
- 著者名/発表者名
  小林佳正，岡野浩三，関澤俊弦
- 学会等名
  JSSST 第 23 回ソフトウェア工学の基礎ワークショップ
- 発表場所
  ことひら温泉琴参閣
- 年月日
  2016-12-01
- データソース
  KAKENHI-PROJECT-26330092
[学会発表] 二次元系における自己位置推定の振舞い検証に向けて2016
- 著者名/発表者名
  渡邊亮，岡野浩三，関澤俊弦
- 学会等名
  JSSST 第 23 回ソフトウェア工学の基礎ワークショップ
- 発表場所
  ことひら温泉琴参閣
- 年月日
  2016-12-01
- データソース
  KAKENHI-PROJECT-26330092
[学会発表] Parallel Multiple Counter-Examples Guided Abstraction Loop to Timed Automaton2015
- 著者名/発表者名
  Kozo Okano, Takeshi Nagaoka, Toshiaki Tanaka, Toshifusa Sekizawa, and Shinji Kusumoto
- 学会等名
  International Workshop on Informatics 2015
- 発表場所
  Amsterdam, Netherlands
- 年月日
  2015-09-06
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330092
[学会発表] 時間的性質を考慮に入れた自律移動ロボットの誤差検出と振舞い検証に向けて2015
- 著者名/発表者名
  小林佳正，岡野浩三，関澤俊弦
- 学会等名
  JSSST 第22回ソフトウェア工学の基礎ワークショップ
- 発表場所
  ほほえみの宿滝の湯（山形県天童市）
- 年月日
  2015-11-27
- データソース
  KAKENHI-PROJECT-26330092
[学会発表] 自律移動ロボットの誤差検出と振舞い検証に向けて2015
- 著者名/発表者名
  大槻文也，伊藤和己，岡野浩三，関澤俊弦
- 学会等名
  ウィンターワークショップ 2015
- 発表場所
  沖縄，宜野湾
- 年月日
  2015-01-22
- データソース
  KAKENHI-PROJECT-26330092
[学会発表] Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances2015
- 著者名/発表者名
  Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, and Kozo Okano
- 学会等名
  The 1st IEEE International Workshop on Dependable Software and Applications
- 発表場所
  Taichung, Taiwan
- 年月日
  2015-07-05
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-26330092
[学会発表] Formal Verification Technique for Consistency Checking between Equals and Hashcode Methods in Java2014
- 著者名/発表者名
  Hiraoki Shimba, Takafumi Ohta, Hiroki Onoue, Kozo Okano, and Shinji Kusumoto
- 学会等名
  International Workshop on Informatics (IWIN2014)
- 発表場所
  Prague, Czech Republic
- 年月日
  2014-09-09
- データソース
  KAKENHI-PROJECT-25220003
[学会発表] Java におけるequals メソッドとhashCode メソッドの整合性の検査手法の提案2014
- 著者名/発表者名
  榛葉浩章, 尾ノ上博樹, 岡野浩三, 楠本真二
- 学会等名
  電子情報通信学会技術研究報告
- 発表場所
  沖縄　那覇
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 形式手法ツール用のスクリプト言語について2014
- 著者名/発表者名
  岡野浩三
- 学会等名
  ウィンターワークショップ2013・イン・大洗
- 発表場所
  茨城　大洗
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Variable Coverage: A Metric to Evaluate the Exhaustiveness for Program Specifications Based on DbC2013
- 著者名/発表者名
  Yuko Muto, Yukihiro Sasaki, Takafumi Ohta, Kozo Okano, Shinji Kusumoto, and Kazuki Yoshioka
- 学会等名
  International Workshop on Informatics 2013
- 発表場所
  Stockholm, Sweden
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Verification of a Control Program for a Line Tracing Robot using UPPAAL Considering General Aspects2013
- 著者名/発表者名
  Toshifusa Sekizawa, Kozo Okano, Ayako Ogawa, and Shinji Kusumoto
- 学会等名
  International Workshop on Informatics 2013
- 発表場所
  Stockholm, Sweden
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] concolic execution を用いたバグ同定に関する研究2013
- 著者名/発表者名
  大田崇史，岡野浩三，楠本真二
- 学会等名
  第20 回ソフトウェア工学の基礎ワークショップFOSE 2013 in 加賀
- 発表場所
  石川　加賀
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Empirical Experiments on Software Assertion and Qualities2013
- 著者名/発表者名
  Kozo Okano, Kazuki Yoshioka, Shinji Kusumoto
- 学会等名
  Symposium on Advanced Information Systems (SAIS2013)
- 発表場所
  Copenhagen, Denmark
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 高位ソフトウェア設計検証をめざして2013
- 著者名/発表者名
  岡野浩三
- 学会等名
  高度情報シンポジウム2013
- 発表場所
  北海道　知床
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] AC2Uppaal: A Tool for automatic Generation of Timed Automata forAnalysis of Cyber-Physical Systems2013
- 著者名/発表者名
  Emsaib Geepalla, Behzad Bordbar, Kozo Okano, and Seyedhamed Seyedali
- 学会等名
  the World Congress on Internet Security 2013
- 発表場所
  London, UK
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Bidirectional Translation between OCL and JML for Round-trip Engineering2013
- 著者名/発表者名
  Hiroaki Shimba, Kentaro Hanada, Kozo Okano, and Shinji Kusumoto
- 学会等名
  International Workshop on Empirical Software Engineering in Practice 2013
- 発表場所
  Bankok, Thai
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] AC2Uppaal : A Tool for automatic Generation of Timed Automata for Analysis of Cyber-Physical Systems2013
- 著者名/発表者名
  Emsaib Geepalla, Behzad Bordbar, Kozo Okano, Seyedhamed Seyedali
- 学会等名
  the proceedings of the World Congress on Internet Security (WorldCIS-2013) IEEE
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] A Metric to Evaluate the Exhaustiveness for Program Specifications Based on DbC2013
- 著者名/発表者名
  Yuko Muto, Yukihiro Sasaki, Takafumi Ohta, Kozo Okano, Shinji Kusumoto, Kazuki Yoshioka
- 学会等名
  Proceedings of International Workshop on Informatics 2013 (IWIN2013)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] SMT ソルバと統計解析を用いたJava プログラム解析器の提案2013
- 著者名/発表者名
  佐々木幸広，岡野浩三，楠本真二
- 学会等名
  第20 回ソフトウェア工学の基礎ワークショップFOSE 2013 in 加賀
- 発表場所
  石川　加賀
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Verification of a Control Program for a Line Tracing Robot using UPPAAL Considering General Aspects2013
- 著者名/発表者名
  Toshifusa Sekizawa, Kozo Okano, Ayako Ogawa, Shinji Kusumoto
- 学会等名
  Proceedings of International Workshop on Informatics 2013 (IWIN2013)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 在庫管理プログラムに対するAlloy Analyzer を用いた検証事例2013
- 著者名/発表者名
  森恵弥佳，岡野浩三，楠本真二
- 学会等名
  ウィンターワークショップ2013・イン・那須
- 発表場所
  ラフォーレ那須(栃木県）
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] PDG とSMT ソルバを用いたJava プログラム解析器の提案2013
- 著者名/発表者名
  佐々木幸広, 岡野浩三, 楠本真二
- 学会等名
  SES2013 併設ワークショップ　プログラム・デバッグ自動化の現状と今後
- 発表場所
  東京
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 異なるスキーマ間に対応するSQL 文の整合性のAlloy Analyzer を用いた一検証手法2013
- 著者名/発表者名
  藤田悠矢, 岡野浩三, 楠本真二
- 学会等名
  電子情報通信学会技術研究報告
- 発表場所
  北海道　札幌
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Empirical Experiments on Software Assertion and Qualities2013
- 著者名/発表者名
  Kozo Okano, Kazuki Yoshioka, and Shinji Kusumoto
- 学会等名
  Symposium on Advanced Information Systems 2013
- 発表場所
  Copenhagen, Denmark
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 契約記述の変更傾向の開発履歴情報を用いた調査2013
- 著者名/発表者名
  吉岡一樹，岡野浩三，楠本真二:
- 学会等名
  電子情報通信学会技術報告, Vol.112, No.458, pp.121-126
- 発表場所
  志賀島休暇村（福岡県）
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 制約記述言語OCL とJML の双方向変換手法の提案2013
- 著者名/発表者名
  榛葉浩章，岡野浩三，楠本真二
- 学会等名
  第20 回ソフトウェア工学の基礎ワークショップFOSE 2013 in 加賀
- 発表場所
  石川　加賀
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Bidirectional Translation between OCL and JML for Round-trip Engineering2013
- 著者名/発表者名
  Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto
- 学会等名
  Accepted in the 5^<th> International Workshop on Empirical Software Engineering in Practice (IWESEP2013)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] UML/OCL を用いたテスト自動生成手法のカバレッジ向上に関する一手法の提案2013
- 著者名/発表者名
  藤田悠矢，岡野浩三，楠本真二
- 学会等名
  第20 回ソフトウェア工学の基礎ワークショップFOSE 2013 in 加賀
- 発表場所
  石川　加賀
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] ウィンターワークショップ2013・イン・那須報告2013
- 著者名/発表者名
  野田夏子, 岡野浩三, 早水公二, 戸田航史, 上野秀剛, 石尾隆, 林晋平, 妻木俊彦, 中村匡秀, 岸知二, 本橋正成, 鷲崎弘宜
- 学会等名
  情報処理学会研究報告
- 発表場所
  東京
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Implementation of a Prototype Bi-Directinal Translation Tool between Ocl and Jml2012
- 著者名/発表者名
  Kentaro Hanada, Hiroaki Shimba, Kozo Okano, Shinji Kusumoto
- 学会等名
  Proceedings of International Workshop on Informatics 2012 (IWIN2012)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] OCL との比較を用いた形式仕様記述言語JML の品質評価メトリクスの提案2012
- 著者名/発表者名
  吉岡一樹，岡野浩三，楠本真二
- 学会等名
  SES2012 併設ワークショップ　(WS-4) 形式手法の今と未来
- 発表場所
  東京電機大学（東京都）
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Implementation of a Prototype Bi-Directinal Translation Tool between Ocl and Jml,2012
- 著者名/発表者名
  Kentaro Hanada, Hiroaki Shinba, Kozo Okano, and Shinji Kusumoto
- 学会等名
  International Workshop on Informatics 2012
- 発表場所
  France
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] JMLによって記述された契約に対する品質評価手法の在庫管理プログラムへの適用2012
- 著者名/発表者名
  吉岡一樹, 武藤祐子, 岡野浩三, 楠本真二
- 学会等名
  ウインターワークショップ2012・イン・琵琶湖
- 発表場所
  長浜
- 年月日
  2012-01-20
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] ウィンターワークショップ2012・イン・琵琶湖開催報告2012
- 著者名/発表者名
  丸山勝久，大森隆行，井垣宏，中村匡秀，伏田享平，角田雅照，風戸広史，岡田譲二，岡野浩三，坂本一憲，本橋正成，岸知二，野田夏子，小林隆志，林晋平
- 学会等名
  情報処理学会研究報告, Vol.2012-SE-178, No.11
- 発表場所
  琵琶湖コンファレンスセンター（滋賀県）
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 制約記述言語OCLとJMLのモデル駆動開発技法に基づいた双方向の変換手法の提案2012
- 著者名/発表者名
  榛葉浩章, 花田健太郎, 岡野浩三
- 学会等名
  電子情報通信学会技術報告
- 発表場所
  沖縄
- 年月日
  2012-03-13
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] A Bi-directional Translation Tool between OCL and JML considering Reverse Translation2012
- 著者名/発表者名
  Kentaro Hanada, Hiroaki Shimba, Kozo Okano, Shinji Kusumoto
- 学会等名
  The 4th International Workshop on Empirical Software Engineering in Practice (IWESEP2012)
- 発表場所
  Osaka Japan (poster presentation)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] A Bi-directional Translation Tool between OCL and JML considering Reverse Translation2012
- 著者名/発表者名
  Kentaro Hanada, Hiroaki Shimba, Kozo Okano, and Shinji Kusumoto
- 学会等名
  The 4th InternationalWorkshop on Empirical Software Engineering in Practice (IWESEP2012)
- 発表場所
  大阪大学（大阪府）
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 大学での形式手法の教育の一報告2012
- 著者名/発表者名
  岡野浩三
- 学会等名
  ウインターワークショップ2012・イン・琵琶湖
- 発表場所
  長浜
- 年月日
  2012-01-20
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] OCLからJMLへのDSLを用いた変換ツールの試作型の実装2012
- 著者名/発表者名
  花田健太郎, 岡野浩三, 楠本真
- 学会等名
  ウインターワークショップ2012・イン・琵琶湖
- 発表場所
  長浜
- 年月日
  2012-01-20
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Verification of Safety Property of Line Tracer Program Using Timed Automaton Model2012
- 著者名/発表者名
  Kozo Okano, Toshifusa Sekizawa, Hiroaki Shimba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, and Shinji Kusumoto
- 学会等名
  International Workshop on Informatics 2012
- 発表場所
  France
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] ライントレーサの定量的評価および検証に向けて2012
- 著者名/発表者名
  河井秀樹, 岡野浩三, 関潭俊弦
- 学会等名
  ウインターワークショップ2012・イン・琵琶湖
- 発表場所
  長浜
- 年月日
  2012-01-20
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Practical Application of a Translation Tool from Uml/Ocl to Java Skeleton with Jml Annotation2012
- 著者名/発表者名
  Kentaro Hanada, Kozo Okano, Shinji Kusumoto, and Kiyoyuki Miyazawa
- 学会等名
  14th International Conference on Enterprise Information Systems
- 発表場所
  Poland
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Verification of Safety Property of Line Tracer Program Using Timed Automaton Model2012
- 著者名/発表者名
  Kozo Okano, Toshifusa Sekizawa, Hiroaki Shimba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, Shinji Kusumoto
- 学会等名
  Proceedings of International Workshop on Informatics 2012 (IWIN2012)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] SMT を活用したJava プログラム解析フレームワークの設計2012
- 著者名/発表者名
  佐々木幸広，岡野浩三，楠本真二
- 学会等名
  日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第16 回 8 ワークショップFOSE2012
- 発表場所
  ゆふいん山水館(大分県）
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] SMTソルバーとPDG作成ツールを用いたJavaのテストケース自動導出手法の提案2012
- 著者名/発表者名
  佐々木幸広, 小林和貴, 岡野浩三, 楠本真二
- 学会等名
  電子情報通信学会技術報告
- 発表場所
  沖縄
- 年月日
  2012-03-13
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] SMTを活用したJavaプログラム解析フレームワークの設計2012
- 著者名/発表者名
  佐々木幸広, 岡野浩三, 楠本真二
- 学会等名
  日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第19回ワークショップFOSE2012
- 発表場所
  (レクチャーノート・ソフトウェア学38ソフトウェア工学の基礎XI)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Verification of Spatio-Temporal Role Based Access Control using Timed Automata,"In Proceedings of IEEE International Workshop on Design2012
- 著者名/発表者名
  Emsaieb Geepalla, Behzad Bordbar, Kozo Okano
- 学会等名
  Analysis and Tools for Integrated Circuits and Systems
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Practical Application of a Translation Tool from Uml/Ocl to Java Skeleton with Jml Annotation2012
- 著者名/発表者名
  Kentaro Hanada, Kozo Okano, Shinji Kusumoto, Kiyoyuki Miyazawa
- 学会等名
  Proceedings of 14th International Conference on Enterprise Information Systems (ICEIS2012)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] UPPAAL によるライントレーサの安全性検証のケーススタディ2012
- 著者名/発表者名
  岡野浩三，関澤俊弦，花田健太郎，榛葉浩章，楠本真二:
- 学会等名
  SES2012 併設ワークショップ　(WS-4) 形式手法の今と未来
- 発表場所
  東京電機大学（東京都）
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] LASP-a Learning Assistant System for Formal Proof2011
- 著者名/発表者名
  Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto
- 学会等名
  International Workshop on INformatics, IWIN 2011
- 発表場所
  Venice
- 年月日
  2011-09-20
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] LASP - a Learning Assistant System for Formal Proof2011
- 著者名/発表者名
  Kiyoyuki Miyazawa, Kozo Okano, Shinji Kusumoto
- 学会等名
  Proceedings of International Workshop on Informatics 2011 (IWIN2011)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] モデル検査器とDaikonを用いた表明動的生成改善手法のシステム開発実プロジェクト教材への適用と評価2011
- 著者名/発表者名
  小林和貴, 岡野浩三, 楠本真二
- 学会等名
  電子情報通信学会技術報告
- 発表場所
  札幌
- 年月日
  2011-07-30
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] OCLからJMLへの変換ツールにおける対応クラスの拡張と教務システムに対する適用実験2011
- 著者名/発表者名
  宮澤清介, 花田健太郎, 岡野浩三, 楠本真二
- 学会等名
  電子情報通信学会技術報告
- 発表場所
  沖縄
- 年月日
  2011-03-08
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 呼び出し関係を用いた単体テストおよび静的検査の可視化手法の改善とその評価2011
- 著者名/発表者名
  武藤祐子, 岡野浩三, 楠本真二
- 学会等名
  日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第18回ワークショップFOSE2011
- 発表場所
  (レクチャーノート・ソフトウェア学37ソフトウェア工学の基礎XVIII)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton2011
- 著者名/発表者名
  Kozo Okano, Behzad Bordbar, Takeshi Nagaoka
- 学会等名
  proceedings of the 2nd International Conference on Networking and Computing
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Improvement of a Visualization Technique for the Passage Rate of Unit Testing and Static Checking and its Evaluation2011
- 著者名/発表者名
  Yuko Muto, Kozo Okano, Shinji Kusumoto
- 学会等名
  proceedings of The Joint Conference of the 21th International Workshop on Software Measurement (IWSM2011) and the 6th International Conference on Software Process and Product Measurement (Mensura)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 複数反例抽出を用いたCEGARによる時間オートマトンの抽象洗練手法2011
- 著者名/発表者名
  田中俊彰, 長岡武志, 岡野浩三, 楠本真二
- 学会等名
  情報処理学会研究報告
- 発表場所
  東京
- 年月日
  2011-03-15
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Improvement of a Visualization Technique for the Passage Rate of Unit Testing and Static Checking and its Evaluation2011
- 著者名/発表者名
  Yuko Mutoh, Kozo Okano, Shinji Kusumoto
- 学会等名
  The Joint Conference of the 21th International Workshop on Software Measurement (IWSM) and the 6th International Conference on Software Process and Product Measurement (Mensura)
- 発表場所
  Nara
- 年月日
  2011-11-03
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton2011
- 著者名/発表者名
  Kozo Okano, Behzad Bordbar, Takeshi Nagaoka
- 学会等名
  2nd International Conference on Networking and Computing
- 発表場所
  Osaka
- 年月日
  2011-12-02
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] A Visualization Technique for the Passage Rate of Unit Testing and Static Checking with Caller-Callee Relationships2011
- 著者名/発表者名
  Yuko Muto, Kozo Okano, Shinji Kusumoto
- 学会等名
  International Conference on Advanced Software Engineering 2011
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 呼び出し関係を用いた単体テストおよび静的検査の可視化手法の改善とその評価2011
- 著者名/発表者名
  武藤祐子, 岡野浩三, 楠本真二
- 学会等名
  「ソフトウェア工学の基礎」研究会第16回ワークショップFOSE2011
- 発表場所
  青森
- 年月日
  2011-11-25
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] A Visualization Technique for the Passage Rate of Unit Testing and Static Checking with Caller-Callee Relationships2011
- 著者名/発表者名
  Yuko Mutoh, Kozo Okano, Shinji Kusumoto
- 学会等名
  International Conference on Advanced Software Engineering 2011
- 発表場所
  Pusan
- 年月日
  2011-05-27
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] JMLによって記述された契約に対する品質評価手法の提案2011
- 著者名/発表者名
  武藤祐子, 岡野浩三, 楠本真二
- 学会等名
  平成23年度情報処理学会関西支部支部大会
- 発表場所
  大阪
- 年月日
  2011-09-22
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Daikonを利用した表明動的生成改善手法の実プロジェクト教材への適用実験とテストデータ生成改善手法の検討2011
- 著者名/発表者名
  小林和貴, 岡野浩三, 楠本真二
- 学会等名
  平成23年度情報処理学会関西支部支部大会
- 発表場所
  大阪
- 年月日
  2011-09-22
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出2011
- 著者名/発表者名
  小林和貴, 宮本敬三, 岡野浩三, 楠本真二
- 学会等名
  日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第17回ワークショップFOSE2010
- 発表場所
  (レクチャーノート・ソフトウェア学36ソフトウェア工学の基礎VII)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価2010
- 著者名/発表者名
  宮本敬三, 堀直哉, 岡野浩三, 楠本真二, 西本哲
- 学会等名
  日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第16回ワークショップFOSE2009
- 発表場所
  (レクチャーノート・ソフトウェア学35ソフトウェア工学の基礎XVI)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] OCLのJMLへの変換ツールの実装2010
- 著者名/発表者名
  宮澤清介, 岡野浩三, 楠本真二
- 学会等名
  電子情報通信学会技術報告
- 発表場所
  北海道大学
- 年月日
  2010-08-06
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Reachability Analysis of Probabilistic Timed Automata Based on an Abstraction Refinement Technique2010
- 著者名/発表者名
  Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, Shinji Kusumoto
- 学会等名
  International Workshop on Empirical Software Engineering in Practice 2010
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] クラス間関係を利用した単体テストおよび静的検査の網羅率可視化手法2010
- 著者名/発表者名
  武藤祐子, 岡野浩三, 楠本真二
- 学会等名
  情報処理学会ソフトウェア工学研究会ワークショップSES2010
- 発表場所
  東洋大
- 年月日
  2010-09-01
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 時間システムの到達可能性解析の並列手法と評価実験2010
- 著者名/発表者名
  田中俊彰, 長岡武志, 岡野浩三, 楠本真二
- 学会等名
  平成22年度情報処理学会関西支部支部大会
- 発表場所
  大阪
- 年月日
  2010-09-22
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Reachability Analysis of Probabilistic Real-Time Systems Based on CEGAR for Timed Automata2010
- 著者名/発表者名
  Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto
- 学会等名
  Proceedings of International Workshop on Informatics 2010 (IWIN2010)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Reachability Analysis of Probabilistic Real-Time Systems Based on CEGAR for Timed Automata2010
- 著者名/発表者名
  Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto
- 学会等名
  International Workshop on INformatics, IWIN 2010
- 発表場所
  エジンバラ英国
- 年月日
  2010-09-13
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出2010
- 著者名/発表者名
  小林和貴, 宮本敬三, 岡野浩三, 楠本真二
- 学会等名
  日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第16回ワークショップFOSE2010
- 発表場所
  新潟
- 年月日
  2010-11-19
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] クラス間関係を利用した単体テストおよび静的検査の網羅率可視化手法2010
- 著者名/発表者名
  武藤祐子, 岡野浩三, 楠本真二:
- 学会等名
  情報処理学会ソフトウェア工学研究会ワークショップSES2010,ソフトウェアエンジニアリング最前線2010
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 時間抽象を行う洗練手法を用いた確率時間システムの到達可能性解析2010
- 著者名/発表者名
  伊藤明彦, 長岡武志, 岡野浩三, 楠本真二
- 学会等名
  電子情報通信学会技術報告
- 発表場所
  鹿児島
- 年月日
  2010-03-08
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 数理論理学の形式証明に対する学習支援システムの試作と評価2010
- 著者名/発表者名
  宮澤清介, 岡野浩三, 楠本真二
- 学会等名
  平成22年度情報処理学会関西支部支部大会
- 発表場所
  大阪
- 年月日
  2010-09-22
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 時間システムの到達可能性解析の並列手法と評価実験2010
- 著者名/発表者名
  田中俊彰, 長岡武志, 岡野浩三, 楠本真二
- 学会等名
  情報処理学会研究報告
- 発表場所
  大阪大学
- 年月日
  2010-11-12
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] OCLのJMLへの変換ツールの実装と評価2010
- 著者名/発表者名
  宮澤清介, 岡野浩三, 楠本真二
- 学会等名
  情報処理学会研究報告
- 発表場所
  大阪大学
- 年月日
  2010-11-12
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] 実時間システムを対象としたCEGARによる抽象洗練の並列化手法2010
- 著者名/発表者名
  田中俊彰, 長岡武志, 岡野浩三, 楠本真二
- 学会等名
  電子情報通信学会技術報告
- 発表場所
  北海道大学
- 年月日
  2010-08-05
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] メソッドの自動生成を用いたOCLのJMLへの変換ツールの設計2009
- 著者名/発表者名
  尾鷲方志, 岡野浩三, 楠本真二
- 学会等名
  日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第16回ワークショップFOSE2009
- 発表場所
  箱根
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] メソッドの自動生成を用いたOCLのJMLへの変換ツールの設計2009
- 著者名/発表者名
  尾鷲方志, 岡野浩三, 楠本真二
- 学会等名
  日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会第16回ワークショップFOSE2009
- 発表場所
  (レクチャーノート・ソフトウェア学35ソフトウェア工学の基礎XVI)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Qos Evaluation for Real-Time Distributed Systems Using the Probabilistic Model Checker Prism2009
- 著者名/発表者名
  Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto
- 学会等名
  Proceedings of International Workshop on Informatics 2009 (IWIN2009)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] フォーマルアプローチの基本技術習得のための学習支援システムの試作2009
- 著者名/発表者名
  宮澤清介, 岡野浩三, 楠本真二
- 学会等名
  情報処理学会ソフトウェア工学研究会ワークショップSES2009
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Qualitative Analysis of Real-time Distributed Systems Considering Network Congestion by Probabilistic Model Checker PRISM2009
- 著者名/発表者名
  Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto
- 学会等名
  Proceedings of International Workshop on Empirical Software Engineering in Practice 2009 (IWESEP2009)
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Qos Evaluation for Real-Time Distributed Systems Using the Probabilistic Model Checker Prism2009
- 著者名/発表者名
  長岡武志, 伊藤明彦, 岡野浩三, 楠本真二
- 学会等名
  International Workshop on INformatics, IWIN 2009
- 発表場所
  ハワイ, USA
- データソース
  KAKENHI-PROJECT-21500036
[学会発表] Safety Verification of Multiple Autonomous Systems by Formal Approach
- 著者名/発表者名
  Kozo Okano, and Toshifusa Sekizawa
- 学会等名
  3rd Workshop on Architecting Safety in Collaborative Mobile Systems
- 発表場所
  イタリア，フィレンツェ
- 年月日
  2014-09-10 – 2014-09-12
- 招待講演
- データソース
  KAKENHI-PROJECT-26330092

1. 東野輝夫 (80173144)

共同の研究課題数: 13件

共同の研究成果数: 1件
2. 谷口健一 (00029513)

共同の研究課題数: 12件

共同の研究成果数: 13件
3. 北道淳司 (20234271)

共同の研究課題数: 9件

共同の研究成果数: 0件
4. 楠本真二 (30234438)

共同の研究課題数: 6件

共同の研究成果数: 7件
5. 山口弘純 (80314409)

共同の研究課題数: 6件

共同の研究成果数: 3件
6. 肥後芳樹 (70452414)

共同の研究課題数: 6件

共同の研究成果数: 1件
7. 関澤俊弦 (10549314)

共同の研究課題数: 5件

共同の研究成果数: 21件
8. 松浦敏雄 (40127296)

共同の研究課題数: 4件

共同の研究成果数: 0件
9. 安本慶一 (40273396)

共同の研究課題数: 4件

共同の研究成果数: 0件
10. 井上克郎 (20168438)

共同の研究課題数: 3件

共同の研究成果数: 0件
11. 松下誠 (60304028)

共同の研究課題数: 3件

共同の研究成果数: 0件
12. 石尾隆 (60452413)

共同の研究課題数: 3件

共同の研究成果数: 0件
13. 中田明夫 (60295839)

共同の研究課題数: 3件

共同の研究成果数: 0件
14. 北嶋暁 (00304030)

共同の研究課題数: 3件

共同の研究成果数: 0件
15. 小形真平 (10589279)

共同の研究課題数: 3件

共同の研究成果数: 45件
16. 吉田則裕 (00582545)

共同の研究課題数: 2件

共同の研究成果数: 0件
17. 森岡澄夫

共同の研究課題数: 2件

共同の研究成果数: 0件
18. 杉山裕二 (50116050)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. 安倍広多 (40291603)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 船曳信生 (70263225)

共同の研究課題数: 1件

共同の研究成果数: 0件
21. 見越大樹 (00634114)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. 眞鍋雄貴 (20625339)

共同の研究課題数: 1件

共同の研究成果数: 0件
23. KULA RAULA・GAIKOVINA (80749094)

共同の研究課題数: 1件

共同の研究成果数: 0件
24. 崔恩瀞 (90755943)

共同の研究課題数: 1件

共同の研究成果数: 0件
25. 神田哲也 (90780726)

共同の研究課題数: 1件

共同の研究成果数: 0件
26. 梅津高朗 (10346174)

共同の研究課題数: 1件

共同の研究成果数: 0件
27. 内山彰 (70555234)

共同の研究課題数: 1件

共同の研究成果数: 0件
28. 廣森聡仁 (90506544)

共同の研究課題数: 1件

共同の研究成果数: 0件
29. 香山瑞恵 (70233989)

共同の研究課題数: 1件

共同の研究成果数: 2件
30. 槇原絵里奈 (90822875)

共同の研究課題数: 1件

共同の研究成果数: 13件
31. 岡本圭史 (00308214)

共同の研究課題数: 1件

共同の研究成果数: 1件
32. クララウラガイコビナ

共同の研究課題数: 1件

共同の研究成果数: 0件
33. オウニアリ

共同の研究課題数: 1件

共同の研究成果数: 0件
34. デローバークーン

共同の研究課題数: 1件

共同の研究成果数: 0件
35. 真鍋雄貴

共同の研究課題数: 1件

共同の研究成果数: 0件
36. チェウンジョン

共同の研究課題数: 1件

共同の研究成果数: 0件
37. ガーマンダニエル

共同の研究課題数: 1件

共同の研究成果数: 0件
38. ケセンティニマロウアン

共同の研究課題数: 1件

共同の研究成果数: 0件
39. 大蒔和仁

共同の研究課題数: 1件

共同の研究成果数: 0件

岡野 浩三 OKANO KOZO

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

自然語解析と反例解析を活用したソフトウェア開発研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

モデルと制約に基づくソフトウェア開発に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

モデル検査技術を活用したソフトウェア設計方法に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

状態爆発するWEBアプリケーションに対するソフトウェアモデル検査研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

契約に基づいた関数型プログラム設計に対する正当性保証に関する研究研究代表者

研究代表者

岡野浩三 OKANO KOZO