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

   

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

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

   

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

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

   

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

[1] 晏荣杰, 王思琪, 李昌文, 张健. 面向自动驾驶仿真测试的高精地图自动构造方法及装置. CN: CN117932925A, 2024-04-26.
[2] 晏荣杰, 李昌文, 张健. 一种面向自动驾驶系统的仿真测试场景生成方法. CN: CN115080388B, 2024-06-25.
[3] 陈宇航, 晏荣杰, 严俊. 基于标签统计和结果后处理的目标检测系统运行时监测方法. CN: CN113888599A, 2022-01-04.
[4] 晏荣杰, 苏静, 严俊, 杨俊杰, 黄凯. 基于汽车开放架构系统到统一软硬件表示的形式化系统模型转换和可靠性分析方法. CN: CN111400073B, 2021-08-20.
[5] 张凯, 张永泰, 严俊, 晏荣杰, 高红雨, 苏航. 基于神经元激活频率分析的测试用例优先级排序方法. CN: CN111061626B, 2023-11-14.
[6] 张凯, 张永泰, 严俊, 晏荣杰, 高红雨, 苏航. 基于神经元激活频率分析的测试用例优先级排序方法. CN: CN111061626A, 2020-04-24.

   

（1） CCTest: Critical Configuration Testing for Autonomous Driving Systems, FSE, 2025, 第 3 作者  通讯作者
（2） AdvSce：面向自动驾驶系统的安全关键场景生成工具, 中国科学:信息科学, 2023, 第 2 作者  通讯作者
（3） Simulation-based Validation for Autonomous Driving Systems, ISSTA, 2023, 第 4 作者  通讯作者
（4） Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods), Runtime Verification - 23rd International Conference, 2023, 第 3 作者
（5） Test case prioritization with neuron valuation based pattern, SCIENCE OF COMPUTER PROGRAMMING, 2022, 第 1 作者
（6） ExcePy: A Python Benchmark for Bugs with Python Built-in Types, SANER, 2022, 第 2 作者
（7） Layer-Specific Repair of Neural Network Classifiers, ICANN, 2022, 第 3 作者
（8） ComOpT: Combination and Optimization for Testing Autonomous Driving Systems, ICRA, 2022, 第 5 作者  通讯作者
（9） Continuous Safety Verification of Neural Networks, DATE, 2021, 第 2 作者  通讯作者
（10） Testing Autonomous Systems with Believed Equivalence Refinement, AI Test, 2021, 第 2 作者
（11） Stability evaluation for text localization systems via metamorphic testing, JOURNAL OF SYSTEMS AND SOFTWARE, 2021, 第 1 作者
（12） Efficient testing of GUI applications by event sequence reduction, SCIENCE OF COMPUTER PROGRAMMING, 2021, 第 5 作者
（13） Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions, IROS, 2021, 第 4 作者  通讯作者
（14） Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs, ICAPS, 2020, 第 1 作者
（15） Neuron Activation Frequency Based Test Case Prioritization, 2020 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2020), 2020, 第 11 作者
（16） SMT-based multi-objective optimization for scheduling of MPSoC applications, TASE, 2019, 
（17） Fine-Grained Communication-Aware Task Scheduling Approach for Acyclic and Cyclic Applications on MPSoCs, IEEE ACCESS, 2019, 第 6 作者
（18） Energy-Efficient Fault-Tolerant Mapping and Scheduling on Heterogeneous Multiprocessor Real-Time Systems, IEEE ACCESS, 2018, 第 4 作者
（19） Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods, FORMAL METHODS, 2018, 第 1 作者
（20） Energy-Efficient Scheduling of Periodic Applications on Safety-Critical Time-Triggered Multiprocessor Systems, ELECTRONICS, 2018, 第 4 作者
（21） Formal Collision Avoidance Analysis for Rigorous Building of Autonomous Marine Vehicles, EMBEDDED SYSTEMS TECHNOLOGY, ESTC 2017, 2018, 第 1 作者
（22） Design Verification and Validation for Reliable Safety-critical Autonomous Control Systems, 2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2018, 第 1 作者
（23） 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 作者
（24） Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation, 2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2017, 第 11 作者
（25） Component-based verification using incremental design and invariants, SOFTWARE AND SYSTEMS MODELING, 2016, 第 6 作者  通讯作者
（26） Formal Consistency Checking over Specifications in Natural Languages, 2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, 第 1 作者
（27） Communication Optimizations for Multithreaded Code Generation from Simulink Models, ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 第 3 作者  通讯作者
（28） 基于异构多核平台的同步数据流图帕累托优化与调度, Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform, 计算机科学, 2015, 第 3 作者
（29） Software Pipeline-Based Partitioning Method with Trade-Off between Workload Balance and Communication Optimization, ETRI JOURNAL, 2015, 第 5 作者
（30） 基于MARTE模型的系统可靠性预测, MARTE Models Based System Reliability Prediction, 计算机科学, 2015, 第 3 作者
（31） 面向MPSoC性能评估的高速缓存建模技术, Cache modeling for MPSoC performance estimation, 浙江大学学报：工学版, 2015, 第 5 作者
（32） Modeling and verifying of CPS component services based on hybrid automata, INTERNATIONAL JOURNAL OF MULTIMEDIA AND UBIQUITOUS ENGINEERING, 2014, 第 3 作者
（33） ILP Based Multithreaded Code Generation for Simulink Model, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, 第 6 作者
（34） High throughput VLSI architecture for H.264/AVC context-based adaptive binary arithmetic coding (CABAC) decoding, JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS & ELECTRONICS, 2013, 第 3 作者  通讯作者
（35） Communication pipelining for Code Generation from Simulink Models, 2013 12TH IEEE INTERNATIONAL CONFERENCE ON TRUST, SECURITY AND PRIVACY IN COMPUTING AND COMMUNICATIONS (TRUSTCOM 2013), 2013, 第 1 作者
（36） 基于扩展自动机的服务组合静态与动态验证方法, Static and dynamic verifying method based on extended finite automata for service compositions, 通信学报, 2012, 第 4 作者
（37） Model construction and priority synthesis for simple interaction systems, LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), 2011, 第 4 作者
（38） Improvements for the symbolic verification of timed automata, LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), 2007, 第 1 作者
（39） Improvements for the symbolic verification of timed automata, FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, 2007, 第 1 作者

   

（ 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