ISSTA 2019 (series) / SPIN 2019 (series) /
SPIN 2019 Program
This is the SPIN 2019 program - see the full program for ISSTA 2019 and all affiliated events.
Filter Program
Conference Dates
Conference Dates are in time zone (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Conference DayMon 15 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Conference Day
Mon 15 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:30 | Session 1 - Invited Talk26th International SPIN Symposium on Model Checking of Software at Meeting Room 4 | ||
09:00 90mDay opening | Constrained Counting and Sampling: From Theory to Practice and Back 26th International SPIN Symposium on Model Checking of Software Kuldeep S. MeelNational University of Singapore | ||
11:00 - 12:30 | Session 2 - Stochastic Model Checking26th International SPIN Symposium on Model Checking of Software at Meeting Room 4 | ||
11:00 30mTalk | Statistical Model Checking of Complex Robotic Systems 26th International SPIN Symposium on Model Checking of Software | ||
11:30 30mTalk | Model Checking Branching Time Properties of Incomplete Markov Chains 26th International SPIN Symposium on Model Checking of Software | ||
14:00 - 15:30 | Session 3 - Model Checking26th International SPIN Symposium on Model Checking of Software at Meeting Room 4 | ||
14:00 30mTalk | Extracting Safe Thread Schedules from Incomplete Model Checking Results 26th International SPIN Symposium on Model Checking of Software | ||
14:30 30mTalk | From Dynamic State Machines to Promela 26th International SPIN Symposium on Model Checking of Software | ||
15:00 30mTalk | A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table 26th International SPIN Symposium on Model Checking of Software Omar BatainehNTU, David RosenblumNational University of Singapore, Mark ReynoldsThe Univeristy of Western Australia | ||
16:00 - 17:30 | Session 4 - Software Model Checking (Tools Sessions)26th International SPIN Symposium on Model Checking of Software at Meeting Room 4 | ||
16:00 30mTalk | String abstraction for model checking of C programs 26th International SPIN Symposium on Model Checking of Software | ||
16:30 30mTalk | Applying Model Checking Approach with Floating Point Arithmetic 26th International SPIN Symposium on Model Checking of Software | ||
Conference DayTue 16 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Conference Day
Tue 16 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:00 | Session 1 - Invited Talk26th International SPIN Symposium on Model Checking of Software at Meeting Room 4 | ||
09:00 60mTalk | Model Verification Through Dependency Graphs 26th International SPIN Symposium on Model Checking of Software | ||
10:00 - 10:30 | Session 1.5 - Conformance Testing26th International SPIN Symposium on Model Checking of Software at Meeting Room 4 | ||
10:00 30mTalk | Conformance Testing of Schedulers for DSL-based Model Checking 26th International SPIN Symposium on Model Checking of Software | ||
11:00 - 12:30 | Session 2 - Synthesis and Learning26th International SPIN Symposium on Model Checking of Software at Meeting Room 4 | ||
11:00 30mTalk | STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph 26th International SPIN Symposium on Model Checking of Software | ||
11:30 30mTalk | Learning Guided Enumerative Synthesis for Superoptimization 26th International SPIN Symposium on Model Checking of Software Shikhar Singh, Mengshi ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin | ||
12:00 30mTalk | A Study of Learning Data Structure Invariants Using Off-the-shelf Tools 26th International SPIN Symposium on Model Checking of Software 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 Talk26th International SPIN Symposium on Model Checking of Software at Meeting Room 4 | ||
14:00 60mTalk | Efficient Evaluation of Embedded-System Design Alternatives 26th International SPIN Symposium on Model Checking of Software Maxime CordySnT, University of Luxembourg | ||
16:00 - 17:30 | Session 4 - Broader Approaches26th International SPIN Symposium on Model Checking of Software at Meeting Room 4 | ||
16:00 30mTalk | Swarm Model Checking on the GPU 26th International SPIN Symposium on Model Checking of Software | ||
16:30 30mTalk | VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs 26th International SPIN Symposium on Model Checking of Software | ||