Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models

有保证的多级系统模型的持续灵活的复杂性和演化

基本信息

批准号：
17H01727
负责人：
Ishikawa Fuyuki
金额：
$ 9.15万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2017
资助国家：
日本
起止时间：
2017-04-01 至 2021-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

IRIT(フランス)

IRIT（法国）

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

Analysis on Strategies of Superposition Refinement of Event-B Specifications

B事件规范叠加细化策略分析

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Tsutomu Kobayashi;Fuyuki Ishikawa
通讯作者：
Fuyuki Ishikawa

Change Impact Analysis for Refinement-Based Formal Specification

基于细化的形式规范的变更影响分析

DOI：
10.1587/transinf.2018fop0006
发表时间：
2019
期刊：
IEICE Transactions on Information and Systems
影响因子：
0.7
作者：
SARUWATARI Shinnosuke;ISHIKAWA Fuyuki;KOBAYASHI Tsutomu;HONIDEN Shinichi
通讯作者：
HONIDEN Shinichi

Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement

在事件 B 中嵌入近似：使用证明和细化的安全混合系统设计

DOI：
发表时间：
2020
期刊：
影响因子：
0
作者：
Dupont Guillaume;Ait-Ameur Yamine;Singh Neeraj K.;Ishikawa Fuyuki;Kobayashi Tsutomu;Pantel Marc
通讯作者：
Pantel Marc

Construction of Abstract State Graphs for Understanding Event-B Models

构建抽象状态图以理解事件 B 模型

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
Daichi Morita;Fuyuki Ishikawa and Shinichi Honiden
通讯作者：
Fuyuki Ishikawa and Shinichi Honiden

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 }}

Ishikawa Fuyuki其他文献

Is Space-Efficient Polymorphic Gradual Typing Possible?

节省空间的多态渐进类型可能吗？

DOI：
发表时间：
2021
期刊：
影响因子：
0
作者：
Stankaitis Paulius;Iliasov Alexei;Kobayashi Tsutomu;Ait-Ameur Yamine;Ishikawa Fuyuki;Romanovsky Alexander;Shota Ozaki
通讯作者：
Shota Ozaki

ゲノム不安定性を解析するためのツールとしてのscRepli-seq

scRepli-seq 作为分析基因组不稳定性的工具

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Luqman-Fatah Ahmad;Watanabe Yuzo;Uno Kazuko;Ishikawa Fuyuki;Moran John V.;Miyoshi Tomoichiro;竹林慎一郎
通讯作者：
竹林慎一郎

Deadline-Constrained Cost Optimization Approaches for Workflow Scheduling in Clouds

云中工作流调度的期限约束成本优化方法

DOI：
10.1109/tpds.2017.2735400
发表时间：
2017-12
期刊：
IEEE Transactions on Parallel and Distributed Systems
影响因子：
5.3
作者：
Wu Quanwang;Zhu Qingsheng;Xia Yunni;Ishikawa Fuyuki;Wen Junhao;Wu QW
通讯作者：
Wu QW

The interferon stimulated gene-encoded protein HELZ2 inhibits human LINE-1 retrotransposition and LINE-1 RNA-mediated type I interferon induction

干扰素刺激的基因编码蛋白 HELZ2 抑制人 LINE-1 逆转录转座和 LINE-1 RNA 介导的 I 型干扰素诱导

DOI：
10.1101/2022.03.26.485892
发表时间：
2022
期刊：
bioRxiv
影响因子：
0
作者：
Luqman-Fatah Ahmad;Watanabe Yuzo;Ishikawa Fuyuki;Moran John V.;Miyoshi Tomoichiro
通讯作者：
Miyoshi Tomoichiro

Goal-Aware RSS for Complex Scenarios Via Program Logic

通过程序逻辑实现复杂场景的目标感知 RSS

DOI：
10.1109/tiv.2022.3169762
发表时间：
2022
期刊：
IEEE Transactions on Intelligent Vehicles
影响因子：
8.2
作者：
Hasuo Ichiro;Eberhart Clovis;Haydon James;Dubut Jeremy;Bohrer Rose;Kobayashi Tsutomu;Pruekprasert Sasinee;Zhang Xiao-Yi;Pallas Erik Andre;Yamada Akihisa;Suenaga Kohei;Ishikawa Fuyuki;Kamijo Kenji;Shinya Yoshiyuki;Suetomi Takamasa
通讯作者：
Suetomi Takamasa