• An FPRAS for two terminal reliability in directed acyclic graphs2023-12-01
• 概率递归关系尾概率的自动化分析2023-11-01
• 2nd-SKLCS Seminar on”Alternating Good-for-MDPs Automata”2023-10-20
• 1st-SKLCS Seminar on”Fast Verified SCCs for Probabilistic Model Checking”2023-10-20
• TrustInSoft Analyzer: a formal methods-based software for industry2023-10-10
• 【08-31】SKLCS Seminar on”Integrating SAT Techniques in Hard Problem Solving”2023-08-15
• 【08-05】 Building the Theory Foundation for Real-Time Robotic Operating System (ROS)2023-07-31
• 【06-19】SKLCS Seminar on “Functional Verification in RTL Models using Concolic Testing”2023-06-12
• 【05-31】SKLCS Seminar on “Algorithmic Perspectives on Certification of Machine Learning”2023-05-25
• 【05-17】SKLCS Seminar on “ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration”2023-05-09
• 【05-08】SKLCS Seminar on “ 模糊测试的种子输入生成技术”2023-05-03
• 【05-05】SKLCS Seminar on “Design Automation for Learning-Enabled Cyber-Physical Systems”2023-05-03
• 【04-26】SKLCS Seminar on “ StateFuzz：状态敏感的Linux内核驱动程序模糊测试”2023-04-09
• 【04-07】SKLCS Seminar on “MIMOS: from theory to tools for embedded software design & update“2023-04-01
• 【2022-09-06】SKLCS Seminar on”人工智能安全攻防对抗”2023-01-11