Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States

From the point of view of a software engineer, having safe and optimal controllers for real life systems like cyber physical systems is a crucial requirement before deployment. Given the mathematical model of these systems along with their specifications, model checkers can be used to synthesize controllers for them. The given work proposes novel approaches for making controller analysis easier by using machine learning to represent the controllers synthesized by model checkers in a succinct manner, while also incorporating the domain knowledge of the system. It also proposes the implementation of a visualization tool which will be integrated into existing model checkers. A lucid controller representation along with a tool to visualize it will help the software engineer debug and monitor the system much more efficiently.

Tue 12 Nov
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

ase-2019-Student-Research-Competition
15:20 - 16:00: Student Research Competition - Poster Session: Student Research Competition at Kensington Ballroom
ase-2019-Student-Research-Competition15:20 - 16:00
Shuyao JiangFudan University
ase-2019-Student-Research-Competition15:20 - 16:00
Ali GhanbariThe University of Texas at Dallas
ase-2019-Student-Research-Competition15:20 - 16:00
Shao YangCase Western Reserve University
ase-2019-Student-Research-Competition15:20 - 16:00
Krishna NeupaneRochester Institute of Technology
ase-2019-Student-Research-Competition15:20 - 16:00
Kevin ZhangWayne State University
ase-2019-Student-Research-Competition15:20 - 16:00
Bolin WeiPeking University
ase-2019-Student-Research-Competition15:20 - 16:00
Rashmi MudduluruUniversity of Washington, Seattle
ase-2019-Student-Research-Competition15:20 - 16:00
Krishna Murthy Kattiyan RamamoorthySan Diego State University
ase-2019-Student-Research-Competition15:20 - 16:00
Li YuNanjing University
ase-2019-Student-Research-Competition15:20 - 16:00
Gargi BalasubramaniamBirla Institute of Technology and Science, Pilani, K K Birla Goa Campus
File Attached
ase-2019-Student-Research-Competition15:20 - 16:00
Daye NamCarnegie Mellon University
ase-2019-Student-Research-Competition15:20 - 16:00
Martin KelloggUniversity of Washington, Seattle
ase-2019-Student-Research-Competition15:20 - 16:00
Shengcheng YuNanjing University, China
File Attached

Wed 13 Nov
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

ase-2019-Student-Research-Competition
13:40 - 15:20: Student Research Competition - Student Research Competition - Selected Presentations (Undergraduate) at South Park
Chair(s): Jie M. ZhangUniversity College London, UK, Jin L.C. GuoMcGill University
ase-2019-Student-Research-Competition13:40 - 13:55
Shengcheng YuNanjing University, China
File Attached
ase-2019-Student-Research-Competition13:55 - 14:10
Gargi BalasubramaniamBirla Institute of Technology and Science, Pilani, K K Birla Goa Campus
File Attached
ase-2019-Student-Research-Competition14:10 - 14:25
Li YuNanjing University
ase-2019-Student-Research-Competition14:25 - 14:40
Kevin ZhangWayne State University
ase-2019-Student-Research-Competition14:40 - 14:55
Shuyao JiangFudan University