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
Dates
Rooms
Tracks
Badges
Your Program
Mon 15 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Displayed 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. Meel National 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 Bataineh NTU, David Rosenblum National University of Singapore, Mark Reynolds The 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 | ||
Tue 16 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Displayed 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 Zhang University of Texas at Austin, USA, Sarfraz Khurshid University 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 Wang The University of Texas at Austin, Texas, USA, Kaiyuan Wang Google Inc., Cagdas Yelen , Nima Dini University of Texas at Austin, Sarfraz Khurshid University 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 Cordy SnT, 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 | ||