Program - SPIN 2019

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

Filter

Badges

Your Program

Mon 15 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30: 26th International SPIN Symposium on Model Checking of Software - Session 1 - Invited Talk at Meeting Room 4

09:00 - 10:30
Day opening

Constrained Counting and Sampling: From Theory to Practice and Back

Kuldeep S. MeelNational University of Singapore

11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Stochastic Model Checking at Meeting Room 4

11:00 - 11:30
Talk

Statistical Model Checking of Complex Robotic Systems

Mohammed Foughali, Félix Ingrand, Cristina SeceleanuMälardalen University

11:30 - 12:00
Talk

Model Checking Branching Time Properties of Incomplete Markov Chains

Shiraj Arora, Mv P Rao

14:00 - 15:30: 26th International SPIN Symposium on Model Checking of Software - Session 3 - Model Checking at Meeting Room 4

14:00 - 14:30
Talk

Extracting Safe Thread Schedules from Incomplete Model Checking Results

Patrick Metzler, Neeraj Suri, Georg WeissenbacherTechnische Universität Wien

14:30 - 15:00
Talk

From Dynamic State Machines to Promela

Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorin

15:00 - 15:30
Talk

A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table

Omar BatainehNTU, David RosenblumNational University of Singapore, Mark ReynoldsThe Univeristy of Western Australia

16:00 - 17:30: 26th International SPIN Symposium on Model Checking of Software - Session 4 - Software Model Checking (Tools Sessions) at Meeting Room 4

16:00 - 16:30
Talk

String abstraction for model checking of C programs

Agostino CortesiUniversità Ca' Foscari Venezia, Henrich Lauko, Martina Olliaro, Petr Ročkai

16:30 - 17:00
Talk

Applying Model Checking Approach with Floating Point Arithmetic

Sergey StaroletovPolzunov Altai State Technical University, Nikolay ShilovInnopolis University

Tue 16 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:00: 26th International SPIN Symposium on Model Checking of Software - Session 1 - Invited Talk at Meeting Room 4

09:00 - 10:00
Talk

Model Verification Through Dependency Graphs

Kim Guldstrand Larsen

10:00 - 10:30: 26th International SPIN Symposium on Model Checking of Software - Session 1.5 - Conformance Testing at Meeting Room 4

10:00 - 10:30
Talk

Conformance Testing of Schedulers for DSL-based Model Checking

Nhat-Hoa Tran, Toshiaki AokiJAIST

11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Synthesis and Learning at Meeting Room 4

11:00 - 11:30
Talk

STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph

Yuan Liu, Xi WangYale University, USA, Lintao Xian, Zhongwen Guo

11:30 - 12:00
Talk

Learning Guided Enumerative Synthesis for Superoptimization

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

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: 26th International SPIN Symposium on Model Checking of Software - Session 3 - Invited Talk at Meeting Room 4

14:00 - 15:00
Talk

Efficient Evaluation of Embedded-System Design Alternatives

Maxime CordySnT, University of Luxembourg

16:00 - 17:30: 26th International SPIN Symposium on Model Checking of Software - Session 4 - Broader Approaches at Meeting Room 4

16:00 - 16:30
Talk

Swarm Model Checking on the GPU

Richard Defrancisco, Shenghsun Cho, Michael Ferdman Ferdman, Scott SmolkaStony Brook University

16:30 - 17:00
Talk

VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs

Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar

Mon 15 Jul (GMT+08:00) 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
Meeting Room 4	SPIN Session 1 - Invited Talk																								SPIN Session 2 - Stochastic Model Checking																																				SPIN Session 3 - Model Checking																								SPIN Session 4 - Software Model Checking (Tools Sessions)

Tue 16 Jul (GMT+08:00) 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
Meeting Room 4	SPIN Session 1 - Invited Talk												SPIN Session 1.5 - Conformance Testing												SPIN Session 2 - Synthesis and Learning																																				SPIN Session 3 - Invited Talk																								SPIN Session 4 - Broader Approaches

Mon 15 Jul (GMT+08:00) 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			17:00			15			30			45
Meeting Room 4	SPIN Constrained Counting and Sampling: From Theory to Practice and Back 09:00 - 10:30																								SPIN Statistical Model Checking of Complex Robotic Systems 11:00 - 11:30						SPIN Model Checking Branching Time Properties of Incomplete Markov Chains 11:30 - 12:00																														SPIN Extracting Safe Thread Schedules from Incomplete Model Checking Results 14:00 - 14:30						SPIN From Dynamic State Machines to Promela 14:30 - 15:00						SPIN A Novel Decentralized LTL Monitoring Framework Using Formula Progressio ... 15:00 - 15:30												SPIN String abstraction for model checking of C programs 16:00 - 16:30						SPIN Applying Model Checking Approach with Floating Point Arithmetic 16:30 - 17:00

Tue 16 Jul (GMT+08:00) 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			17:00			15			30			45
Meeting Room 4	SPIN Model Verification Through Dependency Graphs 09:00 - 10:00												SPIN Conformance Testing of Schedulers for DSL-based Model Checking 10:00 - 10:30												SPIN STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis v ... 11:00 - 11:30						SPIN Learning Guided Enumerative Synthesis for Superoptimization 11:30 - 12:00						SPIN A Study of Learning Data Structure Invariants Using Off-the-shelf Tools 12:00 - 12:30																								SPIN Efficient Evaluation of Embedded-System Design Alternatives 14:00 - 15:00																								SPIN Swarm Model Checking on the GPU 16:00 - 16:30						SPIN VeriVANca: An Actor-Based Framework for Formal Verification of Warning ... 16:30 - 17:00

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

SPIN 2019 Program

Mon 15 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

Mon 15 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

SPIN

SPIN

SPIN

SPIN

Tue 16 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

SPIN

SPIN

SPIN

SPIN

SPIN

Mon 15 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

Tracks

Display in different time zone

SPIN 2019 Program

Mon 15 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

Mon 15 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

SPIN

SPIN

SPIN

SPIN

Tue 16 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

SPIN

SPIN

SPIN

SPIN

SPIN

Mon 15 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change