晏荣杰 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 083500-软件工程 081202-计算机软件与理论招生方向嵌入式系统分析与设计教育背景 2003-09--2007-06 中国科学院软件研究所博士 1999-09--2002-04 华北电力大学硕士 1995-09--1999-06 华北电力大学学士工作简历 2011-01~现在, 中国科学院软件研究所, 助理研究员，副研究员 2008-10~2010-12,法国乔治傅立叶大学, 博士后研究员 2007-07~2008-09,中国科学院软件研究所, 助理研究员 2002-05~2003-08,华北电力大学, 助教教授课程理论计算机科学基础科研项目（ 1 ）大规模软件的自动化分析与测试, 参与, 部委级, 2017-05--2022-05 （ 2 ）验证、交互和证明, 参与, 部委级, 2017-09--2020-08 （ 3 ）智能计算系统功能测试, 参与, 国家级, 2018-06--2020-06 参与会议（1）Resource-aware design for reliable autonomous applications with multiple periods 2018-07-17 （2）Formal collision avoidance analysis for rigorous building of autonomous marine vehicles 2017-11-17 （3）Annotation and analysis combined cache modeling for native simulation 2014-01-20

研究领域

嵌入式、自治系统的分析与设计

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（1） Contention-Aware Mapping and Scheduling Optimization for NoC-Based MPSoCs, ICAPS, 2020, 第 1 作者（2） Neuron Activation Frequency Based Test Case Prioritization, TASE, 2020, 通讯作者（3） SMT-based Multi-objective Optimization for Scheduling of MPSoC Applications, TASE 2019, 2019, 第 1 作者（4） Resource-aware design for reliable autonomous applications with multiple periods, FM 2018, 2018, 第 1 作者（5） Design Verification and Validation for Reliable Safety-critical Autonomous Control Systems, ICECCS 2018, 2018, 第 1 作者（6） A hybrid multi-objective evolutionary algorithm for energy-aware allocation and scheduling optimization of MPSoCs, ICTAI 2017, 2017, 第 1 作者（7） Comprehensive static analysis for configurable software via combinatorial instantiation, COMPSAC 2017, 2017, 通讯作者（8） Component-based verification using incremental design and invariants, Software and System Modeling, 2016, 通讯作者（9） Communication optimizations for multithreaded code generation from Simulink models, ACM Trans. Embedded Comput. Syst., 2015, 通讯作者（10） Formal consistency checking over specifications in natural languages, DATE 2015, 2015, 第 1 作者