×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [7]
内容类型
期刊论文 [5]
会议论文 [2]
发表日期
2016 [2]
2015 [1]
2014 [2]
2013 [1]
2011 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共7条,第1-7条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
Towards a verified compiler prototype for the synchronous language SIGNAL
期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 页码: 37-53
作者:
Yang, Zhibin
;
Bodeveix, Jean-Paul
;
Filali, Mamoun
;
Hu, Kai
;
Zhao, Yongwang
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
synchronous languages
SIGNAL
guarded actions
verified compiler
Coq
architecture analysis and designlanguage (AADL)
同步语言的时间可预测多线程代码生成方法
期刊论文
软件学报, 2016, 卷号: 27, 页码: 611-632
作者:
Yang, Zhi-Bin
;
Zhao, Yong-Wang
;
Huang, Zhi-Qiu
;
Hu, Kai
;
Ma, Dian-Fu
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
安全关键系统
多核处理器
时间可预测
同步语言
AADL(architecture analysis and design language)
基于时间抽象状态机的AADL模型验证?
期刊论文
软件学报, 2015, 卷号: 26, 页码: 202-222
作者:
Yang, Zhi-Bin
;
Hu, Kai
;
Zhao, Yong-Wang
;
Ma, Dian-Fu
;
Bodeveix, Jean-Paul
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2020/01/06
AADL(architecture analysis and design language)
TASM(timed abstract state machine)
模型转换
形式验证
From AADL to Timed Abstract State Machines: A verified model transformation
期刊论文
JOURNAL OF SYSTEMS AND SOFTWARE, 2014, 卷号: 93, 页码: 42-68
作者:
Yang, Zhibin
;
Hu, Kai
;
Ma, Dianfu
;
Bodeveix, Jean-Paul
;
Pi, Lei
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2020/01/06
Model-driven engineering
Architecture Analysis and Design Language (AADL)
Model transformation
Semantics preservation
Timed Abstract State Machine (TASM)
Coq
A verified transformation: From polychronous programs to a variant of clocked guarded actions
会议论文
17th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2014, St. Goar, Germany, 2014-06-10
作者:
Yang, Zhibin
;
Bodeveix, Jean-Paul
;
Filali, Mamoun
;
Hu, Kai
;
Ma, Dianfu
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2020/01/06
A comparative study of two formal semantics of the SIGNAL language
期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2013, 卷号: 7, 页码: 673-693
作者:
Yang, Zhibin
;
Bodeveix, Jean-Paul
;
Filali, Mamoun
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2020/01/06
synchronous language
SIGNAL
trace semantics
tagged model semantics
semantics equivalence
Coq
Two Formal Semantics of a Subset of the AADL
会议论文
IEEE Int Conf/Workshops on Engineering of Autonomicand Autonomous Systems/Int Conf on the Engineering of Computer-Based Systems/Int Conf on the Engineering of Complex Computer Systems, Las Vegas, NV, 2011-01-01
作者:
Yang, Zhibin
;
Hu, Kai
;
Bodeveix, Jean-Paul
;
Pi, Lei
;
Ma, Dianfu
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2020/01/06
AADL
TASM
translational semantics
operational semantics
semantics preservation
©版权所有 ©2017 CSpace - Powered by
CSpace