Software model checking methods for cloud computing middleware

云计算中间件软件模型检验方法

基本信息

  • 批准号：
    23240003
  • 负责人：
    Hagiya Masami
  • 金额：
    $ 30.95万
  • 依托单位：
    The University of Tokyo
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
  • 财政年份：
    2011
  • 资助国家：
    日本
  • 起止时间：
    2011-04-01 至 2016-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（69）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Computational soundness of indistinguishability properties without computable parsing
无需可计算解析的不可区分属性的计算可靠性
ソフトウェアモデル検査におけるLTL検証の探索範囲限定手法による効率化
软件模型检查中通过限制LTL验证的搜索范围来提高效率
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    前岡 淳;田辺 良則;石川 冬樹
  • 通讯作者：
    石川 冬樹
The Quest for Precision: A Layered Approach for Data Race Detection in Static Analysis
追求精度：静态分析中数据竞争检测的分层方法
  • DOI：
  • 发表时间：
    2013
  • 期刊：
  • 影响因子：
    0
  • 作者：
    J. Mund;R. Huuck;A. Fehnker;C. Artho
  • 通讯作者：
    C. Artho
With an Open Mind: How to Write Good Models
保持开放的心态：如何编写好的模型
  • DOI：
  • 发表时间：
    2013
  • 期刊：
  • 影响因子：
    0
  • 作者：
    C. Artho;K. Hayamizu;R. Ramler;Y. Yamagata
  • 通讯作者：
    Y. Yamagata
ネットワークアプリケーションのマスター・スレーブ方式モデル検査アルゴリズムについて
关于网络应用的主从模型检查算法
  • DOI：
  • 发表时间：
    2012
  • 期刊：
  • 影响因子：
    0
  • 作者：
    田辺良則;Cyriile Artho;Watcharin Leungwattanakit,山本光晴,萩谷昌己
  • 通讯作者：
    Watcharin Leungwattanakit,山本光晴,萩谷昌己
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Hagiya Masami其他文献

High-Dimensional Outiler Detection Algorithm via Locality Sensitive Hashing
基于局部敏感哈希的高维异常点检测算法
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Aubert-Kato Nathanael;Hagiya Masami;Zhuo Qin and Kenta Nakai
  • 通讯作者：
    Zhuo Qin and Kenta Nakai
Designing Controllers for Molecular Robots with the PEN DNA Toolbox
使用 PEN DNA 工具箱设计分子机器人控制器
A reservoir computing approach for molecular computing
分子计算的储层计算方法
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Aubert-Kato Nathanael;Yahiro Wataru;Hagiya Masami
  • 通讯作者：
    Hagiya Masami

Hagiya Masami的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Hagiya Masami', 18)}}的其他基金

Automatic generation of programming questions by symbolic execution
通过符号执行自动生成编程题
  • 批准号：
    20K12106
  • 财政年份：
    2020
  • 资助金额：
    $ 30.95万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Learning by Molecular Robot Swarm
分子机器人群学习
  • 批准号：
    17K19961
  • 财政年份：
    2017
  • 资助金额：
    $ 30.95万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Exploratory)
Testing and model checking of IoT protocols
物联网协议的测试和模型检查
  • 批准号：
    17H01719
  • 财政年份：
    2017
  • 资助金额：
    $ 30.95万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)

相似海外基金

高階関数型言語のためのソフトウェアモデル検査
高阶函数语言的软件模型检查
  • 批准号：
    12J08057
  • 财政年份：
    2012
  • 资助金额：
    $ 30.95万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
状態爆発するWEBアプリケーションに対するソフトウェアモデル検査
状态爆炸 Web 应用程序的软件模型检查
  • 批准号：
    18049054
  • 财政年份：
    2006
  • 资助金额：
    $ 30.95万
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了