Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
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 KeynoteISSTA Workshop – TAV-CPS/IoT at Meeting Room 4
09:00 - 10:30
Talk
SPIN Keynote
ISSTA Workshop – TAV-CPS/IoT
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 - 14:30
Talk
Extracting Safe Thread Schedules from Incomplete Model Checking Results
26th International SPIN Symposium on Model Checking of Software
Patrick Metzler, Neeraj Suri, Georg WeissenbacherTechnische Universität Wien
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
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
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
Yuan Liu, Xi WangYale University, USA, Lintao Xian, Zhongwen Guo
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: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 - 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