Research facility · founded 1985
Institute of Software
Beijing, China · english.is.cas.cn
Part of Chinese Academy of Sciences
- Citations, last 5 years
- 19.9k
- Works, last 5 years
- 3 555
- h-index
- 165
- Scientists listed
- 0
- Grants since 2016
- 16
Grants received
2023 · grant · 面上项目
抗ReDoS攻击多模态正则表达式合成方法研究
陈海明 · Institute of Software · funded by Beijing Municipal Natural Science Foundation
2022–2023 · grant · 面上专项
基于高隐藏性水印的神经网络模型所有权保护方法
张颖君 · Institute of Software · funded by Beijing Municipal Natural Science Foundation
2022–2025 · research · 怀柔科学城成果落地
微纳卫星低成本一体化智能综合处理单元研制
高龙飞 · Institute of Software · funded by Beijing Municipal Science and Technology Commission
2022–2025 · grant · 小米前沿项目
面向泛在场景的非接触式声波智能感知关键技术研究
张扶桑 · Institute of Software · funded by Beijing Municipal Natural Science Foundation
2019–2023 · grant · 面上项目
多异质嵌入式系统的建模、仿真与验证研究
淑灵 王 · Institute of Software · funded by National Natural Science Foundation of China
2019–2023 · grant · 面上项目
高维SMT公式的求解与解空间大小计算
菲菲 马 · Institute of Software · funded by National Natural Science Foundation of China
2018–2022 · grant · 面上项目
支持计数与无序的扩展表达式的理论问题与应用研究
海明 陈 · Institute of Software · funded by National Natural Science Foundation of China
2018–2023 · research · 重点项目
量子程序设计的理论基础
明生 应 · Institute of Software · funded by National Natural Science Foundation of China
2018–2020 · grant · 面上项目
基于执行轨迹挖掘的微服务架构软件故障诊断方法研究
王焘 · Institute of Software · funded by Beijing Municipal Natural Science Foundation
2017–2021 · grant · 面上项目
物联网安全漏洞态势感知关键技术研究
敬征 吴 · Institute of Software · funded by National Natural Science Foundation of China
2016–2020 · grant · 面上项目
基于频谱与几何细节分析的流体动态仿真自适应方法研究
恩华 吴 · Institute of Software · funded by National Natural Science Foundation of China
2016–2020 · grant · 面上项目
基于位置的社会化网络多尺度用户建模方法研究
浩 王 · Institute of Software · funded by National Natural Science Foundation of China
2016–2020 · grant · 面上项目
基于归纳不变式的带参协议验证
勇坚 李 · Institute of Software · funded by National Natural Science Foundation of China
2016–2020 · grant · 面上项目
Android 应用软件的高效率静态分析
俊 严 · Institute of Software · funded by National Natural Science Foundation of China
2016–2020 · grant · 面上项目
面向异构众核平台的交通图像车型检索并行计算模式研究
常有 张 · Institute of Software · funded by National Natural Science Foundation of China
2015–2020 · research · 重点项目
大规模概率并发实时系统模型检验
立军 张 · Institute of Software · funded by National Natural Science Foundation of China