Wed 7 Nov 2018 15:52 - 16:15 at Spring Lake - Models Chair(s): Hamid Bagheri

Wed 7 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:00: ModelsDemonstrations at Spring Lake
Chair(s): Hamid BagheriUniversity of Nebraska-Lincoln, USA
15:30 - 15:52
Talk
Demonstrations
Daejun ParkUniversity of Illinois at Urbana-Champaign, Yi ZhangUniversity of Illinois at Urbana-Champaign, Manasvi SaxenaRuntime Verification, Inc., Philip Daian, Grigore Ro┼čuUniversity of Illinois at Urbana-Champaign
15:52 - 16:15
Talk
Demonstrations
Kaiyuan Wang, Allison Sullivan, Darko MarinovUniversity of Illinois at Urbana-Champaign, Sarfraz KhurshidUniversity of Texas at Austin
16:15 - 16:37
Talk
Demonstrations
Lingfeng Bao Zhejiang University City College, Zhenchang XingAustralia National University, Xin XiaMonash University, David LoSingapore Management University, Shanping Li
16:37 - 17:00
Talk
Demonstrations
Ferhat ErataUNIT Information Technologies R&D Ltd., Arda GoknilUniversity of Luxembourg, Ivan KurtevAltran Netherlands, Bedir TekinerdoganWageningen University, The Netherlands