OKANO KOZO 岡野浩三

… Alternative Names

OKANO Kozo 岡野浩三

Less

Researcher Number	70252632
Other IDs
External Links
Affiliation (Current)	2025: 信州大学, 学術研究院工学系, 教授
Affiliation (based on the past Project Information) *help	2020 – 2024: 信州大学, 学術研究院工学系, 教授 2015 – 2019: 信州大学, 学術研究院工学系, 准教授 2014 – 2015: 信州大学, 工学部, 准教授 2013: 大阪大学, 大学院情報科学研究科, 准教授 2011 – 2013: 大阪大学, 情報科学研究科, 准教授 … More 2007 – 2012: Osaka University, Department of Computer Science Graduate School of Information Science and Technology, Associate Professor 2006: 大阪大学, 大学院情報科学研究科, 助教授 2002 – 2005: 大阪大学, 大学院・情報科学研究科, 助教授 1999 – 2001: 大阪大学, 大学院・基礎工学研究科, 講師 2000: 大阪大学, 基礎工学研究科, 講師 1999: 大阪大学, 大学院・基礎工業研究科, 講師 1998: Osaka University, Department of Informatics and Mathematical Science, Research A, 基礎工学研究科, 助手 1997 – 1998: 大阪大学, 大学院・基礎工学研究科, 助手 1993 – 1996: 大阪大学, 基礎工学部, 助手 Less
Review Section/Research Field	Principal Investigator 計算機科学 / Software / Basic Section 60050:Software-related / Software / Science and Engineering Except Principal Investigator 計算機科学 / Software / Software / 情報通信工学 / Medium-sized Section 60:Information science, computer engineering, and related fields / Basic Section 62030:Learning support system-related / Basic Section 09070:Educational technology-related
Keywords	Principal Investigator モデル検査 / 機械学習 / 自然語解析 / 形態素解析 / 時間オートマトン / モデル / OCL / ML / 定理証明 / 反例解析 … More / バグ局所化 / 有界モデル検査 / 自然語処理 / 制約指向 / ソフトウエア学 / 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 / 有理数 / プレスブルガー文真偽判定 / 試験系列生成 / 非同期バス転送 / 凸多面体 / アレンジメント / 実時間システム / 計算幾何学 / 有理数プレスブルガー文 / プログラム自動合成 / 線形計画法 / 分散実行 / 時間制約 / ペトリネットモデル / プロトコル合成 / 耐故障 / 動作仕様 / プロトコル仕様 … More Except Principal Investigator 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法 / 相互接続試験 / プレスブルガ文 / 順序機械型プログラム Less

モデル検査を用いたプログラミング課題評価と課題提出システム構築
- Principal Investigator
  
  関澤俊弦
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 62030:Learning support system-related
- Research Institution
  Nihon University
自然語解析と反例解析を活用したソフトウェア開発Principal Investigator
- Principal Investigator
  
  岡野浩三
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Shinshu University
Research on an automatic feedback generation method for learners to support state transition modeling learning
- Principal Investigator
  
  Ogata Shinpei
- Project Period (FY)
  2020 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 09070:Educational technology-related
- Research Institution
  Shinshu University
Research on development of portable edge computing based ICT infrastructure
- Principal Investigator
  
  東野輝夫
- Project Period (FY)
  2019
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Osaka University
Evaluation of Risk and Soundness of Open Source Software
- Principal Investigator
  
  Inoue Katsuro
- Project Period (FY)
  2018 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Nanzan University
  Osaka University
A Research on property generation for embedded systems based on combination testing methodology
- Principal Investigator
  
  Sekizawa Toshifusa
- Project Period (FY)
  2017 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nihon University
Software Development based on Models and ConstraintsPrincipal Investigator
- Principal Investigator
  
  OKANO KOZO
- Project Period (FY)
  2016 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Shinshu University
A research on verification of embedded control program for dynamic systems
- Principal Investigator
  
  SEKIZAWA Toshifusa
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nihon University
Collecting, Analyzing, and Evaluating Software Assets for Effective Reuse
- Principal Investigator
  
  INOUE Katsuro
- Project Period (FY)
  2013 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (S)
- Research Field
  
  Software
- Research Institution
  Osaka University
On a measurement of software impression
- Principal Investigator
  
  KUSUMOTO Shinji
- Project Period (FY)
  2011 – 2012
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  Osaka University
Establishing Calculation Software Engineering for Big Data of Software Engineering
- Principal Investigator
  
  KATSURO Inoue
- Project Period (FY)
  2009 – 2012
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  Osaka University
Software Design using Model ChekingPrincipal Investigator
- Principal Investigator
  
  OKANO Kozo
- Project Period (FY)
  2009 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Osaka University
Study on Software Maintenance Support Based on its Context
- Principal Investigator
  
  KUSUMOTO Shinji
- Project Period (FY)
  2008 – 2010
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Osaka University
状態爆発するWEBアプリケーションに対するソフトウェアモデル検査Principal Investigator
- Principal Investigator
  
  岡野浩三
- Project Period (FY)
  2006
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  Osaka University
契約に基づいた関数型プログラム設計に対する正当性保証に関する研究Principal Investigator
- Principal Investigator
  
  岡野浩三
- Project Period (FY)
  2005 – 2006
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Osaka University
On Functional Size Measurement in the Early Software Development
- Principal Investigator
  
  KUSUMOTO Shinji
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Osaka University
関数型プログラムに対するモジュール構造を考慮にいれた効率のよい形式的検証支援Principal Investigator
- Principal Investigator
  
  岡野浩三
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
Higher Level Design and Verification Support Systems for Hardware
- Principal Investigator
  
  TANIGUSHI Kenichi
- Project Period (FY)
  2001 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
Specification for Object-Oriented Software and Derivation of Programs
- Principal Investigator
  
  TANIGUCHI Kenichi
- Project Period (FY)
  2001 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
有理数プレスブルガー文真偽判定の高速処理系Principal Investigator
- Principal Investigator
  
  岡野浩三
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
Hardware Synthesis of Communication Protocols in Real-Time LOTOS Language
- Principal Investigator
  
  HIGASHINO Teruo
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  情報通信工学
- Research Institution
  Osaka University
"A Study on design and verification of parallel sequential machines"
- Principal Investigator
  
  KENICHI Taniguchi
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
"Implementation of LOTOS specifications on distributed environments"
- Principal Investigator
  
  TANIGUCHI Kenichi
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
Development of compiler for real-time LOTOS programs with real-time multi-redezvous
- Principal Investigator
  
  HIGASHINO Teruo
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  情報通信工学
- Research Institution
  Osaka University
Hardware syntesis from formal descriptions of communication prorocols
- Principal Investigator
  
  TANIGUCHI Kenichi
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
マルチランデブを含むLOTOSプログラムの分散実行系の構築
- Principal Investigator
  
  谷口健一
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
複数の制御部をもつ同期式順序回路の機能検証に関する研究
- Principal Investigator
  
  谷口健一
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
時間制約付きペトリネットモデルで記述された分散システムの動作仕様の自動導出Principal Investigator
- Principal Investigator
  
  岡野浩三
- Project Period (FY)
  1995
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
通信プロトコルの相互接続試験における試験系列の自動生成に関する研究
- Principal Investigator
  
  東野輝夫
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  情報通信工学
- Research Institution
  Osaka University
ペトリネット型実行制御部をもつ代数的仕様記述の検証と分散実行系
- Principal Investigator
  
  谷口健一
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
分散システムにおける実行効率の良い耐故障性動体プログラムの自動導出Principal Investigator
- Principal Investigator
  
  岡野浩三
- Project Period (FY)
  1994
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
代数的手法を用いたプログラムの階層的設計と開発環境に関する研究
- Principal Investigator
  
  TANIGUCHI Kenichi
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University
Development of ASIC Design Support System
- Principal Investigator
  
  TANIGUCHI Kenichi
- Project Period (FY)
  1993 – 1994
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  Osaka University

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

1. HIGASINO Teruo (80173144)

# of Collaborated Projects: 13 results

# of Collaborated Products: 1 results
2. TANIGUCHI Kenichi (00029513)

# of Collaborated Projects: 12 results

# of Collaborated Products: 13 results
3. KITAMITI Junji (20234271)

# of Collaborated Projects: 9 results

# of Collaborated Products: 0 results
4. KUSUMOTO Shinji (30234438)

# of Collaborated Projects: 6 results

# of Collaborated Products: 7 results
5. YAMAGUCHI Hirozumi (80314409)

# of Collaborated Projects: 6 results

# of Collaborated Products: 3 results
6. HIGO Yoshiki (70452414)

# of Collaborated Projects: 6 results

# of Collaborated Products: 1 results
7. SEKIZAWA Toshifusa (10549314)

# of Collaborated Projects: 5 results

# of Collaborated Products: 21 results
8. MATSUURA Toshio (40127296)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
9. YASUMOTO Keiichi (40273396)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
10. KATSURO Inoue (20168438)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
11. MATSUSHITA Makoto (60304028)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
12. ISHIO Takashi (60452413)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
13. NAKATA Akio (60295839)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
14. KITAJIMA Akira (00304030)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
15. Ogata Shinpei (10589279)

# of Collaborated Projects: 3 results

# of Collaborated Products: 45 results
16. 吉田則裕 (00582545)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
17. MORIOKA Sumio

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
18. SUGIYAMA Yuuji (50116050)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. ABE Kota (40291603)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 船曳信生 (70263225)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 見越大樹 (00634114)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 眞鍋雄貴 (20625339)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. KULA RAULA・GAIKOVINA (80749094)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 崔恩瀞 (90755943)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. 神田哲也 (90780726)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. 梅津高朗 (10346174)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. 内山彰 (70555234)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. 廣森聡仁 (90506544)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. 香山瑞恵 (70233989)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
30. 槇原絵里奈 (90822875)

# of Collaborated Projects: 1 results

# of Collaborated Products: 13 results
31. 岡本圭史 (00308214)

# of Collaborated Projects: 1 results

# of Collaborated Products: 1 results
32. KULA RAULA GAIKOVINA

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. OUNI Ali

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. DE ROOVER Coen

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. MANABE Yuki

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. CHOI Eunjong

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. GERMAN Daniel

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. KESSENTINI Marouane

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. 大蒔和仁

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

OKANO KOZO 岡野 浩三

OKANO Kozo 岡野 浩三

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

自然語解析と反例解析を活用したソフトウェア開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software Development based on Models and ConstraintsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software Design using Model ChekingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

状態爆発するWEBアプリケーションに対するソフトウェアモデル検査Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

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

OKANO KOZO 岡野浩三

OKANO Kozo 岡野浩三