课题基金 / 基金详情

Quantitative extension of formal models and its application to software analysis

Quantitative extension of formal models and its application to software analysis
形式模型的定量扩展及其在软件分析中的应用
批准号：
19H04083
负责人：
Seki Hiroyuki
金额：
$10.98万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2023-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19H04083/
关键词：
ソフトウェア検証モデル検査プログラム自動合成レジスタオートマトン形式言語理論量的情報流線形時相論理セキュリティゲーム構造アクティブ学習重み付き文脈自由文法mu-計算プログラム合成XML

项目摘要

项目成果

Seki Hiroyuki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(24)
专著(0)
科研奖励(0)
会议论文
Optimal run problem for weighted register automata
加权寄存器自动机的最优运行问题
DOI： 10.1016/j.tcs.2020.11.003
发表时间： 2021
期刊： Theoretical Computer Science
影响因子： 1.1
作者： [Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata]
通讯作者： Reo Yoshimura and Yoshiaki Takata
Generalized Register Context-Free Grammars
广义寄存器上下文无关语法
DOI： 10.1587/transinf.2019fcp0010
发表时间： 2020
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki]
通讯作者： Yoshiaki Takata and Hiroyuki Seki
Forward Regularity Preservation Property of Register Pushdown Systems
寄存器下推系统的前向正则性保持特性
DOI： 10.1587/transinf.2020fcp0008
发表时间： 2021
期刊： IEICE Transactions on Information and Systems
影响因子： 0.7
作者： [Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki]
通讯作者： Yoshiaki Takata and Hiroyuki Seki
Pumping Lemmas for Languages Expressed by Computational Models with Registers
用寄存器计算模型表达的语言的引理
DOI： --
发表时间： 2022
期刊：
影响因子： --
作者： [Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki, 小出走，関浩之, 坂尾優斗，関浩之, 井上裕介，橋本健二，関浩之, 中西凜道，高田喜朗，関浩之]
通讯作者： 中西凜道，高田喜朗，関浩之
共 22 条
    Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy
    • 批准号：
      15H02684
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.48万
    • 财政年份：
      2015
    • 负责人：
      Seki Hiroyuki
    • 依托单位：
      Nagoya University
    Formal models for quantitative analysis of software security
    • 批准号：
      26540025
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.33万
    • 财政年份：
      2014
    • 负责人：
      Seki Hiroyuki
    • 依托单位：
      Nagoya University
    Software Analysis based on Formaly Language Theory and Its Application to Security Verification
    海外基金