嵌入式、智能系统的分析与验证

   

083500-软件工程
081202-计算机软件与理论

嵌入式、智能系统的分析与验证

   

2011-01~现在, 中国科学院软件研究所, 助理研究员，副研究员
2008-10~2010-12,法国乔治傅立叶大学, 博士后研究员
2007-07~2008-09,中国科学院软件研究所, 助理研究员

理论计算机科学基础(习题课）
理论计算机科学基础

   

（1） 2021 IEEE Autonomous Driving AI Test Challenge 冠军, 一等奖, 其他, 2021

（ 1 ） 一种面向自动驾驶系统的仿真测试场景生成方法, 发明专利, 2022, 第 1 作者, 专利号: 202210644626

（ 2 ） 基于标签统计和结果后处理的目标检测系统运行时监测方法, 发明专利, 2022, 第 2 作者, 专利号: CN113888599A

（ 3 ） 基于神经元激活频率分析的测试用例优先级排序方法, 发明专利, 2020, 第 4 作者, 专利号: CN111061626A

（ 4 ） 基于汽车开放架构系统到统一软硬件表示的形式化系统模型转 换和可靠性分析方法, 发明专利, 2020, 第 1 作者, 专利号: 202010160806

   

（1） AdvSce：面向自动驾驶系统的安全关键场景生成工具, 中国科学:信息科学, 2023, 通讯作者
（2） Simulation-based Validation for Autonomous Driving Systems, ISSTA, 2023, 通讯作者
（3） Test case prioritization with neuron valuation based pattern, SCIENCE OF COMPUTER PROGRAMMING, 2022, 第 1 作者
（4） ExcePy: A Python Benchmark for Bugs with Python Built-in Types, 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, 第 2 作者
（5） Layer-Specific Repair of Neural Network Classifiers, Artificial Neural Networks and Machine Learning (ICANN), 2022, 第 3 作者
（6） ComOpT: Combination and Optimization for Testing Autonomous Driving Systems, ICRA, 2022, 通讯作者
（7） Continuous Safety Verification of Neural Networks, DATE, 2021, 通讯作者
（8） Testing Autonomous Systems with Believed Equivalence Refinement, AI Test, 2021, 第 2 作者
（9） Stability evaluation for text localization systems via metamorphic testing, JOURNAL OF SYSTEMS AND SOFTWARE, 2021, 第 1 作者
（10） Efficient testing of GUI applications by event sequence reduction, SCIENCE OF COMPUTER PROGRAMMING, 2021, 第 5 作者
（11） Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions, IROS, 2021, 通讯作者
（12） Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs, ICAPS, 2020, 第 1 作者
（13） Neuron Activation Frequency Based Test Case Prioritization, 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020), 2020, 通讯作者
（14） SMT-based multi-objective optimization for scheduling of MPSoC applications, TASE, 2019, 
（15） Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods, FORMAL METHODS, 2018, 第 1 作者
（16） Design Verification and Validation for Reliable Safety-critical Autonomous Control Systems, 2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2018, 第 1 作者
（17） A Hybrid Multi-Objective Evolutionary Algorithm for Energy-aware Allocation and Scheduling Optimization of MPSoCs, 2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017), 2017, 第 1 作者
（18） Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation, 2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2017, 通讯作者
（19） Component-based verification using incremental design and invariants, SOFTWARE AND SYSTEMS MODELING, 2016, 通讯作者
（20） Formal Consistency Checking over Specifications in Natural Languages, 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, 通讯作者
（21） 基于异构多核平台的同步数据流图帕累托优化与调度, Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform, 计算机科学, 2015, 第 3 作者
（22） Communication Optimizations for Multithreaded Code Generation from Simulink Models, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 通讯作者
（23） 基于MARTE模型的系统可靠性预测, MARTE Models Based System Reliability Prediction, 计算机科学, 2015, 第 3 作者
（24） 面向MPSoC性能评估的高速缓存建模技术, Cache modeling for MPSoC performance estimation, 浙江大学学报：工学版, 2015, 第 5 作者
（25） 基于扩展自动机的服务组合静态与动态验证方法, Static and dynamic verifying method based on extended finite automata for service compositions, 通信学报, 2012, 第 4 作者
（26） Improvements for the symbolic verification of timed automata, FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, 2007, 通讯作者

   

（ 1 ） 大规模软件的自动化分析与测试, 参与, 中国科学院计划, 2017-05--2022-05
（ 2 ） 验证、交互和证明, 参与, 中国科学院计划, 2017-09--2020-08
（ 3 ） 智能计算系统功能测试, 参与, 国家任务, 2018-06--2020-06
（ 4 ） 电力系统终端嵌入式组件和控制单元安全防护技术, 参与, 国家任务, 2018-07--2021-06
（ 5 ） 面向形式化验证的可信编译和程序分析, 参与, 国家任务, 2022-01--2026-12