6月25日

报告内容

9:00-9:40

报告题目(Title)：MSeer --an Advanced Technique for Locating Multiple Bugs in Parallel

报告人：Prof. Eric Wong  (University of Texas at Dallas)

9:40-10:10

报告题目(Title)：Bayesian Methods for Reliability Data Analysis

报告人:Dr. Steven Li (Western New England University)

10:30-11:00

报告题目(Title)：Towards a unified executable formal automobile OS kernel and its applications

报告人:Dr. ZHANG Min (East China Normal University)

11:00-11:30

报告题目(Title)：Evaluating Static Analysis

报告人：Dr. Shiyi Wei (University of Texas at Dallas)

11:30-12:00

报告题目(Title)：Generating Specification from Timing Requirements using Patterns in Cyber-Physical Systems

报告人： CHEN Xiaohong (East China Normal University)

14:00-14:30

报告题目(Title)：Using Bugs to Debug

报告人：Dr. Lingming Zhang (University of Texas at Dallas)

14:30-15:00

报告题目(Title): Towards Automated Requirement Modeling and Analysis: Practice in the Domains of Aviation and Aerospace Embedded Control Software

报告人:Dr. MIAO Weikai (East China Normal University)

15:30-16:00

报告题目(Title)：Predictable GPGPU Computing in Autonomous Driving Systems

报告人：Dr. Cong Liu (University of Texas at Dallas)

16:00-16:30

报告题目(Title)：SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry

报告人：Chengyu Zhang (East China Normal University)