Forma verification of hybrid systems based on the infinitesimal programming

基于无穷小规划的混合系统形式验证

基本信息

  • 批准号：
    25730040
  • 负责人：
    Suenaga Kohei
  • 金额：
    $ 2.66万
  • 依托单位：
    Kyoto University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
  • 财政年份：
    2013
  • 资助国家：
    日本
  • 起止时间：
    2013-04-01 至 2016-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（6）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
制御入力値生成装置、制御入力値生成方法、および、プログラム
控制输入​​值生成装置、控制输入值生成方法以及程序
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
不変条件生成装置，コンピュータプログラム，不変条件生成方法，プログラムコード製造方法
不变条件生成装置、计算机程序、不变条件生成方法、程序代码制作方法
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Input Synthesis for Sampled Data Sytems by Program Logic
通过程序逻辑对采样数据系统进行输入合成
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Minoru Kinoshita;Kohei Suenaga and Atsushi Igarashi;山田真澄，大邑潤三，後藤浩之;Takumi Akazaki
  • 通讯作者：
    Takumi Akazaki
京都大学 Teen Racketeer 養成コース
京都大学青少年敲击训练课程
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    五十嵐 淳;中澤 巧爾;馬谷 誠二;関山 太朗;花田 裕一朗;大元 武;宮本 洋平;末永 幸平
  • 通讯作者：
    末永 幸平
Automatic Synthesis of Combiners in the MapReduce Framework --- An Approach with Right Inverse
MapReduce框架中组合器的自动合成——一种右逆方法
  • DOI：
  • 发表时间：
    2014
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Minoru Kinoshita;Kohei Suenaga and Atsushi Igarashi
  • 通讯作者：
    Kohei Suenaga and Atsushi Igarashi
{{ 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 }}

Suenaga Kohei其他文献

Efficient Black-Box Checking via Model Checking with Strengthened Specifications
通过强化规格的模型检查进行高效的黑盒检查
A guess-and-assume approach to loop fusion for program verification
用于程序验证的循环融合的猜测和假设方法
  • DOI：
    10.1145/3162070
  • 发表时间：
    2018
  • 期刊：
    Proceedings of PEPM 2018
  • 影响因子：
    0
  • 作者：
    Imanishi Akifumi;Suenaga Kohei;Igarashi Atsushi
  • 通讯作者：
    Igarashi Atsushi
The Lattice-Theoretic Essence of?Property Directed Reachability Analysis
属性导向可达性分析的格理论本质
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic
使用程序逻辑形式化假设检验中的统计信念
皮膚からみたアレルギー発症のメカニズム-免疫の視点から--皮膚バリアの視点から
从皮肤角度看过敏发生机制 - 从免疫角度 - 从皮肤屏障角度
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Nishida Yuki;Saito Hiromasa;Chen Ran;Kawata Akira;Furuse Jun;Suenaga Kohei;Igarashi Atsushi;椛島健治
  • 通讯作者：
    椛島健治

Suenaga Kohei的其他文献

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

{{ truncateString('Suenaga Kohei', 18)}}的其他基金

Automated Theorem Proving with Machine Learning for Automating Mathematics
使用机器学习自动证明数学自动化
  • 批准号：
    19K22842
  • 财政年份：
    2019
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Challenging Research (Exploratory)

相似海外基金

π計算を介したプログラム検証・解析
通过π计算进行程序验证和分析
  • 批准号：
    24K20731
  • 财政年份：
    2024
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
依存篩型と述語制約によるプログラム検証の深化
使用依赖筛类型和谓词约束深化程序验证
  • 批准号：
    23K24826
  • 财政年份：
    2024
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Search for the Dimuon decay of the Standard Model Higgs Boson using ATLAS
使用 ATLAS 搜索标准模型希格斯玻色子的 Dimuon 衰变
  • 批准号：
    2907975
  • 财政年份：
    2024
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Studentship
並行・並列プログラミングのためのスケーラブルな自動プログラム検証技術
用于并发/并行编程的可扩展自动程序验证技术
  • 批准号：
    24H00699
  • 财政年份：
    2024
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
論理制約付き項書換えに関する余帰納法に基づくプログラム検証法の開発
基于逻辑约束术语重写的共归纳法程序验证方法的开发
  • 批准号：
    24K02900
  • 财政年份：
    2024
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Search for Q-balls and Nuclearites emitting thermal shock waves in IceCube
在 IceCube 中寻找发射热冲击波的 Q 球和核子
  • 批准号：
    24K17062
  • 财政年份：
    2024
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
WoU-MMA: Targeted Search for Binary Mergers with Multiple Harmonics in Gravitational Wave Data
WoU-MMA：引力波数据中多重谐波二元合并的定向搜索
  • 批准号：
    2309360
  • 财政年份：
    2023
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Continuing Grant
A Search For Failed Supernovae and Other Observational Constraints on the Supernova Mechanism
寻找失败的超新星和超新星机制的其他观测限制
  • 批准号：
    2307385
  • 财政年份：
    2023
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Standard Grant
Search for damage-associated molecular patterns (DAMPs) derived from cochlear hair cells and its clinical application
耳蜗毛细胞损伤相关分子模式（DAMPs）的探索及其临床应用
  • 批准号：
    23K08924
  • 财政年份：
    2023
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Search for therapeutic target molecules based on temporal hierarchical analysis of Oral squamous cell carcinoma and functional RNA molecules
基于口腔鳞状细胞癌和功能RNA分子的时间层次分析寻找治疗靶分子
  • 批准号：
    23K16142
  • 财政年份：
    2023
  • 资助金额：
    $ 2.66万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了