Forma verification of hybrid systems based on the infinitesimal programming
基于无穷小规划的混合系统形式验证
基本信息
- 批准号：25730040
- 负责人：
- 金额：$ 2.66万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2013
- 资助国家：日本
- 起止时间：2013-04-01 至 2016-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（6）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（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.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
通过强化规格的模型检查进行高效的黑盒检查
- DOI：
10.1007/978-3-030-88494-9_6 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Shijubo Junya;Waga Masaki;Suenaga Kohei - 通讯作者：
Suenaga Kohei
A guess-and-assume approach to loop fusion for program verification
用于程序验证的循环融合的猜测和假设方法
- DOI：
10.1145/3162070 - 发表时间：
2018 - 期刊：
- 影响因子：0
- 作者：
Imanishi Akifumi;Suenaga Kohei;Igarashi Atsushi - 通讯作者：
Igarashi Atsushi
The Lattice-Theoretic Essence of?Property Directed Reachability Analysis
属性导向可达性分析的格理论本质
- DOI：
10.1007/978-3-031-13185-1_12 - 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Kori Mayuko;Urabe Natsuki;Katsumata Shin-ya;Suenaga Kohei;Hasuo Ichiro - 通讯作者：
Hasuo Ichiro
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic
使用程序逻辑形式化假设检验中的统计信念
- DOI：
10.24963/kr.2021/39 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Kawamoto Yusuke;Sato Tetsuya;Suenaga Kohei - 通讯作者：
Suenaga Kohei
野生動物自身の行動や習性を逆利用した動物装着型センサネットワークの研究
利用野生动物本身的行为和习惯研究动物佩戴的传感器网络
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Hatakeyama Yuhki;Sakuma Hiroki;Konishi Yoshinori;Suenaga Kohei;小林博樹 - 通讯作者：
小林博樹
Suenaga Kohei的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ 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)
相似海外基金
保健師らのコミュニティケアリング力を高める教育教材と教育プログラムの開発と検証
开发和验证教育材料和计划，以提高公共卫生护士的社区护理能力
- 批准号：
24K14061 - 财政年份：2024
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
民生委員を対象にした短縮版ゲートキーパー養成プログラムの開発及び効果検証
民生专员缩短看门人培训计划的制定和有效性验证
- 批准号：
24K14081 - 财政年份：2024
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
看護師のためのチーム連携向上プログラムの検証
护士团队协作改进计划的验证
- 批准号：
24K13581 - 财政年份：2024
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
臨地実習指導者が必要とする教育力向上のための研修プログラムの開発及び効果検証
培训计划的开发和有效性验证，以提高临床培训讲师所需的教育技能
- 批准号：
24K13706 - 财政年份：2024
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
中小規模事業場におけるメンタルヘルス一次予防遠隔支援プログラム開発と効果検証研究
制定中小型企业心理健康一级预防的远程支持计划并进行研究以验证其有效性
- 批准号：
23K21575 - 财政年份：2024
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (B)