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

Wed 7 Nov

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