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

Ono Satoshi  小野 諭

ORCIDConnect your ORCID iD *help
… Alternative Names

ONO Satoshi  小野 諭

Less
Researcher Number 90407164
Affiliation (Current) 2025: 工学院大学, 情報学部, 教授
Affiliation (based on the past Project Information) *help 2008 – 2010: 工学院大学, 情報工学部, 教授
Review Section/Research Field
Except Principal Investigator
Software
Keywords
Except Principal Investigator
構造検証 / モデル検査 / 非同期処理 / リアルタイムソフトウェア / 仕様検証 / 仕様記述
  • Research Projects

    (1 results)
  • Research Products

    (7 results)
  • Co-Researchers

    (1 People)
  •  Compositional models and its structural verification of real time software

    • Principal Investigator
      OGAWA Mizuhito
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Japan Advanced Institute of Science and Technology

All 2011 2010 2008

All Presentation

  • [Presentation] 分散型オンデマンド仮想システム構築法の提案2011

    • Author(s)
      濱田惇司、小野諭
    • Organizer
      電子情報通信学会・インターネットアーキテクチャ研究会(IA)
    • Place of Presentation
      機械振興会館(東京)
    • Year and Date
      2011-02-18
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] 分散型オンデマンド仮想システム構築法の提案2011

    • Author(s)
      濱田惇司、小野諭
    • Organizer
      電子情報通信学会・インターネットアーキテクチャ研究会
    • Place of Presentation
      東京
    • Year and Date
      2011-02-18
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] 機能ロールに基づいた動的職責分離の形式的検証手法2010

    • Author(s)
      越智通宣、小野諭
    • Organizer
      電子情報通信学会・情報セキュリティ研究会(ISEC)
    • Place of Presentation
      機械振興会館(東京)
    • Year and Date
      2010-05-21
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] 機能ロールに基づいた動的職責分離の形式的検証手法2010

    • Author(s)
      越智通宣、小野諭
    • Organizer
      電子情報通信学会・情報セキュリティ研究会
    • Place of Presentation
      東京
    • Year and Date
      2010-05-21
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] 動的職責分離を記述できるアクセス制御モデルの形式的検証手法2010

    • Author(s)
      越智通宣、小野諭
    • Organizer
      電子情報通信学会・情報セキュリティ研究会
    • Place of Presentation
      信州大学
    • Year and Date
      2010-03-04
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] スケーラブルなWebサーバ・ソフトウェア構成法の研究2008

    • Author(s)
      森春紀、小野諭
    • Organizer
      電子情報通信学会・情報セキュリティ研究会
    • Place of Presentation
      東京
    • Year and Date
      2008-12-17
    • Data Source
      KAKENHI-PROJECT-20500030
  • [Presentation] スケーラブルなWebサーバ・ソフトウェア構成法の研究2008

    • Author(s)
      森春紀, 小野諭
    • Organizer
      電子情報通信学会・情報セキュリティ研究会
    • Place of Presentation
      東京都
    • Year and Date
      2008-12-17
    • Data Source
      KAKENHI-PROJECT-20500030
  • 1.  OGAWA Mizuhito (40362024)
    # 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