• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

OKANO KOZO  岡野 浩三

ORCIDConnect your ORCID iD *help
… Alternative Names

OKANO Kozo  岡野 浩三

Less
Researcher Number 70252632
Other IDs
External Links
Affiliation (Current) 2026: 信州大学, 学術研究院工学系, 教授
Affiliation (based on the past Project Information) *help 2026: 信州大学, 学術研究院工学系, 教授
2020 – 2024: 信州大学, 学術研究院工学系, 教授
2015 – 2019: 信州大学, 学術研究院工学系, 准教授
2014 – 2015: 信州大学, 工学部, 准教授
2013: 大阪大学, 大学院情報科学研究科, 准教授 … More
2011 – 2013: 大阪大学, 情報科学研究科, 准教授
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
計算機科学 / Basic Section 60050:Software-related / Software / 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 / バグ局所化 / 有界モデル検査 / 自然語処理 / STAMP/STPA / LLM / コード解析 / 安全性検証 / 自然言語処理 / モデル導出 / 制約指向 / ソフトウエア学 / 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
  • Research Projects

    (34 results)
  • Research Products

    (217 results)
  • Co-Researchers

    (39 People)
  •  信頼性保証のある機械学習ベースのソフトウェア開発Principal Investigator

    • Principal Investigator
      岡野 浩三
    • Project Period (FY)
      2026 – 2028
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Shinshu University
  •  モデル検査を用いたプログラミング課題評価と課題提出システム構築

    • 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
  •  Software development utilizing natural language analysis and counterexample analysisPrincipal Investigator

    • Principal Investigator
      Okano Kozo
    • 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

All 2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2006 2005 2004 2003 2002 Other

All Journal Article Presentation

  • [Journal Article] A Study of Multi-Robot Tracking Problem in One-Dimensional System Using Probabilistic Model Checking2025

    • Author(s)
      SEKIZAWA Toshifusa、YONEZAWA Naoaki、OKANO Kozo、NARUSE Keitaro
    • Journal Title

      IEICE Trans. Inf. & Syst.

      Volume: E108.D Issue: 8 Pages: 1033-1036

    • DOI

      10.1587/transinf.2025EDL8001

    • ISSN
      0916-8532, 1745-1361
    • Year and Date
      2025-08-01
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24K15233
  • [Journal Article] Fault Localization with Virtual Coverage and Supervised Learning based on Execution Count Information2024

    • Author(s)
      Takuma Ikeda, Hitoshi Kiryu, Satoshi Suda, Shinpei Ogata, Kozo Okano
    • Journal Title

      International Journal of Informatics Society

      Volume: Vol.16, No.1, Pages: 33-42

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [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] RAdam 使用時のCNN モデルの汎化性能とロバスト性能の調査2025

    • Author(s)
      安田悠介, 岡野浩三, 小形真平, 中島震
    • Organizer
      電子情報通信学会技術研究報告, vol. 124, no. 326, pp.13-18 (2025-03)
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] 大規模言語モデルの多肢選択問題を用いたロバスト性テスト手法と温度パラメータの影響分析2025

    • Author(s)
      太田辰斗, 岡野浩三, 小形真平, 中島震
    • Organizer
      電子情報通信学会技術研究報告, vol. 124, no. 326, pp.19-24 (2025-03)
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Function Calling in the Latest Large Language Models for Automated Classification of Non-Functional Requirements in Information Systems2024

    • Author(s)
      Kazuhiro Mukaida, Seiji Fukui, Takeshi Nagaoka, Takayuki Kitagawa, Shinpei Ogata, and Kozo Okano
    • Organizer
      International Workshop on Informatics 2024 (IWIN2024) pp.9-16
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] CNN モデルの内部活性化状態を用いた訓練データセットのデバックとテスティング2024

    • Author(s)
      大渕大地, 勝家拓巳, 岡野浩三, 小形真平, 中島震
    • Organizer
      電子情報通信学会技術研究報告, vol. 124, no. 133, pp.1-6 (2024-07)
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Automated Generation of Extraction Rules for Japanese Functional Requirements2024

    • Author(s)
      Maiko Onishi and Kozo Okano
    • Organizer
      International Workshop on Informatics 2024 (IWIN2024) pp.17-22
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] A Method for Automatic Creation of State Transition Diagrams from Software Requirement Specifications2024

    • Author(s)
      Takeki Ninomiya, Maiko Onishi, Shinpei Ogata, and Kozo Okano
    • Organizer
      International Workshop on Informatics 2024 (IWIN2024) pp.17-22
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] Training Data Debugging through a Lens of Outliers in Neuron Coverage2024

    • Author(s)
      Kozo Okano, Daichi Ofuchi, Shinpei Ogata, and Shin Nakajima
    • Organizer
      2024 Conference on AI, Science, Engineering, and Technology (AIxSET)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [Presentation] CNN モデルを対象とした転移学習モデルにおける訓練データセットのプライバシー保護2024

    • Author(s)
      勝家拓巳, 岡野浩三, 小形真平, 中島震
    • Organizer
      電子情報通信学会技術研究報告, vol. 124, no. 133, pp.1-6 (2024-07)
    • Data Source
      KAKENHI-PROJECT-21K11826
  • [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: 53 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

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi