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
Mon 15 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Times are displayed in 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 - 10:30 Day 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 - 11:30 Talk | Statistical Model Checking of Complex Robotic Systems 26th International SPIN Symposium on Model Checking of Software | ||
11:30 - 12:00 Talk | 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 - 14:30 Talk | Extracting Safe Thread Schedules from Incomplete Model Checking Results 26th International SPIN Symposium on Model Checking of Software | ||
14:30 - 15:00 Talk | From Dynamic State Machines to Promela 26th International SPIN Symposium on Model Checking of Software | ||
15:00 - 15:30 Talk | 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 - 16:30 Talk | String abstraction for model checking of C programs 26th International SPIN Symposium on Model Checking of Software | ||
16:30 - 17:00 Talk | Applying Model Checking Approach with Floating Point Arithmetic 26th International SPIN Symposium on Model Checking of Software |
Tue 16 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Times are displayed in 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 - 10:00 Talk | 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 - 10:30 Talk | 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 - 11:30 Talk | STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph 26th International SPIN Symposium on Model Checking of Software | ||
11:30 - 12:00 Talk | 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 - 12:30 Talk | 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 - 15:00 Talk | 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 - 16:30 Talk | Swarm Model Checking on the GPU 26th International SPIN Symposium on Model Checking of Software | ||
16:30 - 17:00 Talk | VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs 26th International SPIN Symposium on Model Checking of Software |
Mon 15 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 |
---|
Tue 16 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Room | 9:00 | 30 | 10:00 | 30 | 11:00 | 30 | 12:00 | 30 | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | 17:00 | 30 |
---|
Mon 15 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 |
---|
Tue 16 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Room | 9:00 | 15 | 30 | 45 | 10:00 | 15 | 30 | 45 | 11:00 | 15 | 30 | 45 | 12:00 | 15 | 30 | 45 | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Meeting Room 4 | SPIN Model Verification Through Dependency Graphs 09:00 - 10:00 | SPIN Swarm Model Checking on the GPU 16:00 - 16:30 |
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format