ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
VenueCrowne Plaza Beijing Zhongguancun
Room nameMeeting Room 4
Floor4
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30: SPIN KeynoteWorkshop – TAV-CPS/IoT at Meeting Room 4
09:00 - 10:30
Talk
Workshop – TAV-CPS/IoT
09:00 - 10:30: Session 1 - Invited TalkSPIN at Meeting Room 4
09:00 - 10:30
Day opening
SPIN
Kuldeep S. MeelNational University of Singapore
10:30 - 11:00: Mini BreakCatering at Meeting Room 4
10:30 - 11:00
Break
Catering
15:30 - 16:00: Mini BreakCatering at Meeting Room 4
15:30 - 16:00
Break
Catering
16:00 - 17:30: Session 4 - Software Model Checking (Tools Sessions)SPIN at Meeting Room 4
16:00 - 16:30
Talk
SPIN
16:30 - 17:00
Talk
SPIN
Sergey StaroletovPolzunov Altai State Technical University, Nikolay ShilovInnopolis University

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00: Session 1 - Invited TalkSPIN at Meeting Room 4
09:00 - 10:00
Talk
SPIN
10:00 - 10:30: Session 1.5 - Conformance TestingSPIN at Meeting Room 4
10:00 - 10:30
Talk
SPIN
10:30 - 11:00: Mini BreakCatering at Meeting Room 4
10:30 - 11:00
Break
Catering
11:00 - 12:30: Session 2 - Synthesis and LearningSPIN at Meeting Room 4
11:00 - 11:30
Talk
SPIN
Yuan Liu, Xi WangYale University, USA, Lintao Xian, Zhongwen Guo
11:30 - 12:00
Talk
SPIN
Shikhar Singh, Mengshi ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin
12:00 - 12:30
Talk
SPIN
Muhammad Usman, Wenxi WangThe University of Texas at Austin, Texas, USA, Kaiyuan WangGoogle Inc., Cagdas Yelen, Nima DiniUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin
14:00 - 15:30: Session 3 - Invited TalkSPIN at Meeting Room 4
14:00 - 15:00
Talk
SPIN
Maxime CordySnT, University of Luxembourg
15:30 - 16:00: Mini BreakCatering at Meeting Room 4
15:30 - 16:00
Break
Catering