位置：立项数据库 > 立项详情页
可信嵌入式软件系统试验环境与示范应用
  • 项目名称：可信嵌入式软件系统试验环境与示范应用
  • 项目类别：重大研究计划
  • 批准号：91218302
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：顾明
  • 依托单位：清华大学
  • 批准年度：2012
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 28
  • 0
  • 0
  • 0
  • 0
期刊论文
BUTTER:一种基于主题模型和异构网络的缺陷分发方法
考虑风险相关性的软件风险多目标优化控制研究
面向目标市场的信息最大覆盖算法
基于协同相关性模型的特征需求自动标注系统
基于评论挖掘的软件评价系统
RERM：一种基于评论挖掘的需求获取方法
基于广义模糊数的软件成本加权CBR估算研究
基于FARM降低系统性偏差的缺陷修复时间预测方法
基于内容的图像分割方法综述
Android权限滥用检测系统
可组合嵌入式软件建模与验证技术研究综述
Towards energy-efficient storage placement in large scale sensor networks
Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant
Generalized interface automata with multicast synchronization
基于接口自动机与符号执行的嵌入式软件测试用例生成
基于用户行为分析的智能终端应用管理优化
支持多工具协同的流程管理系统的设计与实现
面向服务集成的工作流模型及其实现方法
基于证据的软件过程可信度模型及评估方法
基于演化数据的软件缺陷预测性能改进
一种软件特征模型扩展和演化分析方法
基于ROS的云机器人服务框架
面向服务集成的自动化服务注册方法
基于辅助特征的Web服务QoS预测
基于时间和影响力因子的Github Pull Request评审人推荐
基于索引的分布式代码克隆检测
跨组织数据的软件成本估算方法
顾明的项目
基于定理证明的可信嵌入式软件建模与验证平台研究
期刊论文 16 会议论文 24 著作 1
嵌入式软件正确性自动证明理论研究
嵌入式系统仿真与验证平台开发
期刊论文 1
基于多物理信号的高速列车系统级健康分析仪器
面向领域的可信嵌入式软件系统试验验证环境研究
期刊论文 5 会议论文 7
中国建筑信息化技术发展战略研究
期刊论文 5
基于轨道车辆视频监测数据的快速异常检测技术研究
期刊论文 3 会议论文 3