Program - SPIN 2019

Time Zone

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

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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: 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 Mohammed Foughali, Félix Ingrand, Cristina SeceleanuMälardalen University
	11:30 - 12:00 Talk		Model Checking Branching Time Properties of Incomplete Markov Chains 26th International SPIN Symposium on Model Checking of Software Shiraj Arora, Mv P Rao

	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 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 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 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 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 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: 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 Kim Guldstrand Larsen

	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 Nhat-Hoa Tran, Toshiaki AokiJAIST

	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: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 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 26th International SPIN Symposium on Model Checking of Software Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar

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
Meeting Room 4	26th International SPIN Symposium on Model Checking of Software Session 1 - Invited Talk																								26th International SPIN Symposium on Model Checking of Software Session 2 - Stochastic Model Checking																																				26th International SPIN Symposium on Model Checking of Software Session 3 - Model Checking																								26th International SPIN Symposium on Model Checking of Software Session 4 - Software Model Checking (Tools Sessions)

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
Meeting Room 4	26th International SPIN Symposium on Model Checking of Software Session 1 - Invited Talk												26th International SPIN Symposium on Model Checking of Software Session 1.5 - Conformance Testing												26th International SPIN Symposium on Model Checking of Software Session 2 - Synthesis and Learning																																				26th International SPIN Symposium on Model Checking of Software Session 3 - Invited Talk																								26th International SPIN Symposium on Model Checking of Software Session 4 - Broader Approaches

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
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
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 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

Filter Program

Mon 15 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

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

Mon 15 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

Tracks

SPIN 2019 Program

Filter Program

Program Display Configuration

Mon 15 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

Mon 15 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

Tue 16 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

26th International SPIN Symposium on Model Checking of Software

Mon 15 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

Mon 15 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

Mon 15 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

Mon 15 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