朱雪阳
【姓名】 朱雪阳
【职称】 副研究员;
【研究领域】 计算机软件及计算机应用;自动化技术;
【研究方向】 软件体系结构与形式化方法等
【发表文献关键词】 XYZ/E,体系结构风格,时态逻辑语言,软件体系结构,规范,UML,活动图,形式化语义,时序逻辑语言,XYZ/ADL,时序逻辑语言XYZ/E,体系结构描述语言,连接件,时序逻辑,结构描述语言,组件,复...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 0 1 0 0 73
中国期刊全文数据库    共找到15篇
[1]单春笑;李永健;曾纪钧;周兴龙;朱雪阳;.数字电网业务场景建模与性能分析方法[J]小型微型计算机系统.2026,(05)
[2]魏秋阳;赵旭峰;朱雪阳;张文辉;卢奕函;.区块链跨链协议IBC形式化分析[J]软件学报.2025,(11)
[3]赵颖琪;朱雪阳;李广元;包玉龙;.智能合约的时间约束模式及其形式化验证[J]软件学报.2022,(08)
[4]赵颖琪;朱雪阳;李广元;高雅;包玉龙;.带时间约束的智能合约验证[J]应用科学学报.2021,(01)
[5]包玉龙;朱雪阳;张文辉;孙鹏飞;赵颖琪;.物联网应用中访问控制智能合约的形式化验证[J]计算机应用.2021,(04)
[6]朱雪阳;.The DAO事件的形式化分析[J]信息技术与网络安全.2021,(05)
[7]刘剑;苏璞睿;杨珉;和亮;张源;朱雪阳;林惠民;.软件与网络安全研究综述[J]软件学报.2018,(01)
[8]柴叶生;朱雪阳;晏荣杰;张广泉;.基于MARTE模型的系统可靠性预测[J]计算机科学.2015,(12)
[9]顾玉磊;朱雪阳;晏荣杰;张广泉;.基于异构多核平台的同步数据流图帕累托优化与调度[J]计算机科学.2015,(11)
[10]张广泉;狄浩军;石慧娟;晏荣杰;朱雪阳;.基于扩展自动机的服务组合静态与动态验证方法[J]通信学报.2012,(S1)
更多
中国重要会议全文数据库    共找到1篇
[1]张玲红;张广泉;朱雪阳;戎玫;何玉乾;.UML与XYZ／ADL在电梯控制系统体系结构建模中的应用[A].企业应用集成系统与技术学术研究会论文集.2006-08-01
更多