基本信息
晏荣杰 女 硕导 中国科学院软件研究所
电子邮件: yrj@ios.ac.cn
通信地址: 中关村南四街4号软件所5号楼
邮政编码:
电子邮件: yrj@ios.ac.cn
通信地址: 中关村南四街4号软件所5号楼
邮政编码:
研究领域
嵌入式、智能系统的分析与验证
招生信息
招生专业
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