权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Verification of real-time systems based on proving codes

基于验证码的实时系统验证

基本信息

批准号：
26540026
负责人：
Yuen Shoji
金额：
$ 2.16万
依托单位：
Nagoya University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2014
资助国家：
日本
起止时间：
2014-04-01 至 2017-03-31
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-26540026/
关键词：
実時間性ソフトウェア検証並行プログラム実時間プログラム関数型言語ハイブリッドシステムプログラミング言語実時間処理コード証明分離論理実時間性検証スーパーバイザ制御 Nested Timed Automaton

项目摘要

项目成果

期刊论文数量（30）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング

基于有价值任务自动机的成本感知实时任务调度

DOI：
发表时间：
2014
期刊：
電子情報通信学会技報
影响因子：
0
作者：
結縁祥治;亀井達郎
通讯作者：
亀井達郎

クロック凍結機構を持つ稠密時間プッシュダウンオートマトンのゾーン構成による検証

使用具有时钟冻结机制的密集时间下推自动机的区域配置进行验证

DOI：
发表时间：
2016
期刊：
信学技報,SS2016-25
影响因子：
0
作者：
平岡祥;結縁祥治
通讯作者：
結縁祥治

ハイブリッドシステムに対するCCSの拡張について

关于将 CCS 扩展到混合系统

DOI：
发表时间：
2016
期刊：
信学技法ソフトウェアサイエンス
影响因子：
0
作者：
川北悠人;結縁祥治
通讯作者：
結縁祥治

Toppers/SSPカーネルのタスク制御に対する低レベルコード証明

Toppers/SSP 内核任务控制的低级代码证明

DOI：
发表时间：
2015
期刊：
電子情報通信学会技報
影响因子：
0
作者：
荒川　洸;結縁祥治
通讯作者：
結縁祥治

UPPAALを用いたLEGO Mindstorms EV3制御プログラムの合成

使用 UPPAAL 合成 LEGO Mindstorms EV3 控制程序

DOI：
发表时间：
2014
期刊：
電子情報通信学会技報
影响因子：
0
作者：
荒川　洸;結縁祥治
通讯作者：
結縁祥治

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Yuen Shoji其他文献

Software-Based Resource Management Techniques for Computer Systems of Various Scales

各种规模计算机系统的基于软件的资源管理技术

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
Imai Keigo;Yoshida Nobuko;Yuen Shoji;Yasutaka Wada
通讯作者：
Yasutaka Wada

The Reversible Temporal Process Language

可逆时间过程语言

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Bocchi Laura;Lanese Ivan;Mezzina Claudio Antares;Yuen Shoji
通讯作者：
Yuen Shoji

Nested Timed Automata with Invariants

具有不变量的嵌套定时自动机

DOI：
10.1007/978-3-319-69483-2_5
发表时间：
2017
期刊：
Lecture Notes in Computer Science
影响因子：
0
作者：
Wang Yuwei;Li Guoqiang;Yuen Shoji
通讯作者：
Yuen Shoji

Reversing Imperative Parallel Programs

逆转命令式并行程序

DOI：
10.4204/eptcs.255.4
发表时间：
2017
期刊：
Electronic Proceedings in Theoretical Computer Science
影响因子：
0
作者：
Hoey James;Ulidowski Irek;Yuen Shoji
通讯作者：
Yuen Shoji

Session-ocaml: A Session-Based Library with Polarities and Lenses

Session-ocaml：具有极性和透镜的基于会话的库

DOI：
10.1007/978-3-319-59746-1_6
发表时间：
2017
期刊：
Lecture Notes in Computer Science
影响因子：
0
作者：
Imai Keigo;Yoshida Nobuko;Yuen Shoji
通讯作者：
Yuen Shoji

Yuen Shoji的其他文献

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

立即体验

{{ truncateString('Yuen Shoji', 18)}}的其他基金

Verification of real-time reactive systems in high-level programming languages

用高级编程语言验证实时反应系统

批准号：
25280023
财政年份：
2013
资助金额：
$ 2.16万
项目类别：
Grant-in-Aid for Scientific Research (B)

相似海外基金

トランスデューサ理論に基づくソフトウェア検証の深化

基于换能器理论的深化软件验证

批准号：
24K14891
财政年份：
2024
资助金额：
$ 2.16万
项目类别：
Grant-in-Aid for Scientific Research (C)

分離論理を用いたソフトウェア検証の発展

使用分离逻辑开发软件验证

批准号：
21H03421
财政年份：
2021
资助金额：
$ 2.16万
项目类别：
Grant-in-Aid for Scientific Research (B)

型システムとモデル検査の融合によるソフトウェア検証

类型系统和模型检查相结合的软件验证

批准号：
16650004
财政年份：
2004
资助金额：
$ 2.16万
项目类别：
Grant-in-Aid for Exploratory Research

日米科学協力事業「ソフトウェア検証の論理的方法」更新のための企画研究

日美科学合作项目“软件验证的逻辑方法”更新计划研究

批准号：
15630002
财政年份：
2003
资助金额：
$ 2.16万
项目类别：
Grant-in-Aid for Scientific Research (C)

会员权益说明：