通博·(中国)官方网站

通博与软件研究所

学术报告

[2023-11-01][11-02]概率递归关系尾概率的自动化分析
[2023-10-17][10-23]Linear Hybrid Systems are Hard: The Case of Linear Complementarity Systems and The Quest F...
[2023-09-18][09-20] From Vision to Text: Data-driven Automated Bug Replay
[2023-06-08][06-12]Model-based Analysis from Traditional to Intelligent Software
[2023-05-17][05-26]Verification-in-the-loop: A Safe Reinforcement Learning Framework
[2023-05-10][05-10]移动应用质量保障关键技术研究
[2023-05-10][05-17]ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration
[2023-05-04][05-08]SKLCS Seminar on “ 模糊测试的种子输入生成技术”
[2023-05-04][05-04]SKLCS Seminar on “解密模糊测试的基础机制"
[2023-04-20][4-26]StateFuzz ：状态敏感的Linux内核驱动程序模糊测试
[2023-04-06][04-07] SKLCS Seminar on “MIMOS: from theory to tools for embedded software design & update”
[2022-12-12][12-23] Latticed k-Induction with an Application to Probabilistic Programs
[2022-11-30][12-01] SKLCS Seminar on “智能数字服务生态系统演化支撑理论与应用”
[2022-10-11][10-14] Optimization, Generalization and Implicit bias of Gradient Methods in Deep Learning
[2022-09-29][10-07] 基于算法模式合成高效程序
[2022-09-22][09-30] Stability analysis of time-delay systems
[2022-09-21][09-22] 可信任的分布式隐私保护机器学习方法与应用
[2022-09-05][09-06] 人工智能安全攻防对抗
[2022-08-22][08-26] 约束满足解的近线性时间采样算法
[2022-08-18][08-19] 多项式优化：理论与实践
[2022-06-29][07-01] Algorithmic Foundation of Blockchain: the Case of Broadcast
[2022-06-29][07-01] Local Search for SMT on Linear Integer Arithmetic
[2022-05-25][05-27] 数值程序分析、验证与修复
[2022-04-27][04-28] 区块链发展形势与区块链服务网络（BSN）创新实践
[2022-04-11][04-27] 片上系统的模块化规范与形式化验证

12 3 4 5 »下5页

Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版权所有 © 通博与软件研究所　京ICP备05046678号-1　文保网安备1101080077
电话：86-10-62661012　传真：86-10-62562533　电子邮箱：info@iscas.ac.cn