基本信息

晏荣杰  女  硕导  中国科学院软件研究所
电子邮件: yrj@ios.ac.cn
通信地址: 中关村南四街4号软件所5号楼
邮政编码: 100190

研究领域

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

招生信息

   
招生专业
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) 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 作者

科研活动

   
科研项目
( 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